xref: /dflybsd-src/lib/libthread_xu/thread/thr_cancel.c (revision 940be950819fa932cd401a01f1182bf686a2e61e)
171b3fa15SDavid Xu /*
271b3fa15SDavid Xu  * Copyright (c) 2005, David Xu <davidxu@freebsd.org>
371b3fa15SDavid Xu  * All rights reserved.
471b3fa15SDavid Xu  *
571b3fa15SDavid Xu  * Redistribution and use in source and binary forms, with or without
671b3fa15SDavid Xu  * modification, are permitted provided that the following conditions
771b3fa15SDavid Xu  * are met:
871b3fa15SDavid Xu  * 1. Redistributions of source code must retain the above copyright
971b3fa15SDavid Xu  *    notice unmodified, this list of conditions, and the following
1071b3fa15SDavid Xu  *    disclaimer.
1171b3fa15SDavid Xu  * 2. Redistributions in binary form must reproduce the above copyright
1271b3fa15SDavid Xu  *    notice, this list of conditions and the following disclaimer in the
1371b3fa15SDavid Xu  *    documentation and/or other materials provided with the distribution.
1471b3fa15SDavid Xu  *
1571b3fa15SDavid Xu  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
1671b3fa15SDavid Xu  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
1771b3fa15SDavid Xu  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
1871b3fa15SDavid Xu  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
1971b3fa15SDavid Xu  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
2071b3fa15SDavid Xu  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2171b3fa15SDavid Xu  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2271b3fa15SDavid Xu  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2371b3fa15SDavid Xu  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
2471b3fa15SDavid Xu  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2571b3fa15SDavid Xu  *
2671b3fa15SDavid Xu  */
2771b3fa15SDavid Xu 
28fc71f871SDavid Xu #include "namespace.h"
299e2ee207SJoerg Sonnenberger #include <machine/tls.h>
3071b3fa15SDavid Xu #include <pthread.h>
31fc71f871SDavid Xu #include "un-namespace.h"
32fc71f871SDavid Xu 
3371b3fa15SDavid Xu #include "thr_private.h"
3471b3fa15SDavid Xu 
3571b3fa15SDavid Xu int
_pthread_cancel(pthread_t pthread)3671b3fa15SDavid Xu _pthread_cancel(pthread_t pthread)
3771b3fa15SDavid Xu {
38*940be950Szrj 	pthread_t curthread = tls_get_curthread();
3971b3fa15SDavid Xu 	int oldval, newval = 0;
4071b3fa15SDavid Xu 	int oldtype;
4171b3fa15SDavid Xu 	int ret;
4271b3fa15SDavid Xu 
4371b3fa15SDavid Xu 	/*
4471b3fa15SDavid Xu 	 * POSIX says _pthread_cancel should be async cancellation safe,
4571b3fa15SDavid Xu 	 * so we temporarily disable async cancellation.
4671b3fa15SDavid Xu 	 */
4771b3fa15SDavid Xu 	_pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, &oldtype);
4871b3fa15SDavid Xu 	if ((ret = _thr_ref_add(curthread, pthread, 0)) != 0) {
4971b3fa15SDavid Xu 		_pthread_setcanceltype(oldtype, NULL);
5071b3fa15SDavid Xu 		return (ret);
5171b3fa15SDavid Xu 	}
5271b3fa15SDavid Xu 
5371b3fa15SDavid Xu 	do {
5471b3fa15SDavid Xu 		oldval = pthread->cancelflags;
5571b3fa15SDavid Xu 		if (oldval & THR_CANCEL_NEEDED)
5671b3fa15SDavid Xu 			break;
5771b3fa15SDavid Xu 		newval = oldval | THR_CANCEL_NEEDED;
5871b3fa15SDavid Xu 	} while (!atomic_cmpset_acq_int(&pthread->cancelflags, oldval, newval));
5971b3fa15SDavid Xu 
6071b3fa15SDavid Xu 	if (!(oldval & THR_CANCEL_NEEDED) && SHOULD_ASYNC_CANCEL(newval))
6171b3fa15SDavid Xu 		_thr_send_sig(pthread, SIGCANCEL);
6271b3fa15SDavid Xu 
6371b3fa15SDavid Xu 	_thr_ref_delete(curthread, pthread);
6471b3fa15SDavid Xu 	_pthread_setcanceltype(oldtype, NULL);
6571b3fa15SDavid Xu 	return (0);
6671b3fa15SDavid Xu }
6771b3fa15SDavid Xu 
6871b3fa15SDavid Xu static inline void
testcancel(pthread_t curthread)69*940be950Szrj testcancel(pthread_t curthread)
7071b3fa15SDavid Xu {
7171b3fa15SDavid Xu 	int newval;
7271b3fa15SDavid Xu 
7371b3fa15SDavid Xu 	newval = curthread->cancelflags;
7471b3fa15SDavid Xu 	if (SHOULD_CANCEL(newval))
75fc71f871SDavid Xu 		_pthread_exit(PTHREAD_CANCELED);
7671b3fa15SDavid Xu }
7771b3fa15SDavid Xu 
7871b3fa15SDavid Xu int
_pthread_setcancelstate(int state,int * oldstate)7971b3fa15SDavid Xu _pthread_setcancelstate(int state, int *oldstate)
8071b3fa15SDavid Xu {
81*940be950Szrj 	pthread_t curthread = tls_get_curthread();
828979fd9cSzrj 	int oldval;
8371b3fa15SDavid Xu 
8471b3fa15SDavid Xu 	oldval = curthread->cancelflags;
8571b3fa15SDavid Xu 	if (oldstate != NULL)
8671b3fa15SDavid Xu 		*oldstate = ((oldval & THR_CANCEL_DISABLE) ?
8771b3fa15SDavid Xu 		    PTHREAD_CANCEL_DISABLE : PTHREAD_CANCEL_ENABLE);
8871b3fa15SDavid Xu 	switch (state) {
8971b3fa15SDavid Xu 	case PTHREAD_CANCEL_DISABLE:
9071b3fa15SDavid Xu 		atomic_set_int(&curthread->cancelflags, THR_CANCEL_DISABLE);
9171b3fa15SDavid Xu 		break;
9271b3fa15SDavid Xu 	case PTHREAD_CANCEL_ENABLE:
9371b3fa15SDavid Xu 		atomic_clear_int(&curthread->cancelflags, THR_CANCEL_DISABLE);
9471b3fa15SDavid Xu 		testcancel(curthread);
9571b3fa15SDavid Xu 		break;
9671b3fa15SDavid Xu 	default:
978979fd9cSzrj 		return (EINVAL);
9871b3fa15SDavid Xu 	}
9971b3fa15SDavid Xu 
1008979fd9cSzrj 	return (0);
10171b3fa15SDavid Xu }
10271b3fa15SDavid Xu 
10371b3fa15SDavid Xu int
_pthread_setcanceltype(int type,int * oldtype)10471b3fa15SDavid Xu _pthread_setcanceltype(int type, int *oldtype)
10571b3fa15SDavid Xu {
106*940be950Szrj 	pthread_t curthread = tls_get_curthread();
1078979fd9cSzrj 	int oldval;
10871b3fa15SDavid Xu 
10971b3fa15SDavid Xu 	oldval = curthread->cancelflags;
11071b3fa15SDavid Xu 	if (oldtype != NULL)
11171b3fa15SDavid Xu 		*oldtype = ((oldval & THR_CANCEL_AT_POINT) ?
11271b3fa15SDavid Xu 				 PTHREAD_CANCEL_ASYNCHRONOUS :
11371b3fa15SDavid Xu 				 PTHREAD_CANCEL_DEFERRED);
11471b3fa15SDavid Xu 	switch (type) {
11571b3fa15SDavid Xu 	case PTHREAD_CANCEL_ASYNCHRONOUS:
11671b3fa15SDavid Xu 		atomic_set_int(&curthread->cancelflags, THR_CANCEL_AT_POINT);
11771b3fa15SDavid Xu 		testcancel(curthread);
11871b3fa15SDavid Xu 		break;
11971b3fa15SDavid Xu 	case PTHREAD_CANCEL_DEFERRED:
12071b3fa15SDavid Xu 		atomic_clear_int(&curthread->cancelflags, THR_CANCEL_AT_POINT);
12171b3fa15SDavid Xu 		break;
12271b3fa15SDavid Xu 	default:
1238979fd9cSzrj 		return (EINVAL);
12471b3fa15SDavid Xu 	}
12571b3fa15SDavid Xu 
1268979fd9cSzrj 	return (0);
12771b3fa15SDavid Xu }
12871b3fa15SDavid Xu 
12971b3fa15SDavid Xu void
_pthread_testcancel(void)13071b3fa15SDavid Xu _pthread_testcancel(void)
13171b3fa15SDavid Xu {
1329e2ee207SJoerg Sonnenberger 	testcancel(tls_get_curthread());
13371b3fa15SDavid Xu }
13471b3fa15SDavid Xu 
13571b3fa15SDavid Xu int
_thr_cancel_enter(pthread_t curthread)136*940be950Szrj _thr_cancel_enter(pthread_t curthread)
13771b3fa15SDavid Xu {
13871b3fa15SDavid Xu 	int oldval;
13971b3fa15SDavid Xu 
14071b3fa15SDavid Xu 	oldval = curthread->cancelflags;
14171b3fa15SDavid Xu 	if (!(oldval & THR_CANCEL_AT_POINT)) {
14271b3fa15SDavid Xu 		atomic_set_int(&curthread->cancelflags, THR_CANCEL_AT_POINT);
14371b3fa15SDavid Xu 		testcancel(curthread);
14471b3fa15SDavid Xu 	}
14571b3fa15SDavid Xu 	return (oldval);
14671b3fa15SDavid Xu }
14771b3fa15SDavid Xu 
14871b3fa15SDavid Xu void
_thr_cancel_leave(pthread_t curthread,int previous)149*940be950Szrj _thr_cancel_leave(pthread_t curthread, int previous)
15071b3fa15SDavid Xu {
15171b3fa15SDavid Xu 	if (!(previous & THR_CANCEL_AT_POINT))
15271b3fa15SDavid Xu 		atomic_clear_int(&curthread->cancelflags, THR_CANCEL_AT_POINT);
15371b3fa15SDavid Xu }
1545a1048c8SDavid Xu 
1555a1048c8SDavid Xu __strong_reference(_pthread_cancel, pthread_cancel);
1565a1048c8SDavid Xu __strong_reference(_pthread_setcancelstate, pthread_setcancelstate);
1575a1048c8SDavid Xu __strong_reference(_pthread_setcanceltype, pthread_setcanceltype);
1585a1048c8SDavid Xu __strong_reference(_pthread_testcancel, pthread_testcancel);
159