0b9957ff21
signal handler. Explicitly check for jumps to anywhere other than the current stack, since such jumps are undefined according to POSIX. While we're at it, convert thread cancellation to use continuations, since it's cleaner than the original cancellation code. Avoid delivering a signal to a thread twice. This was a pre-existing bug, but was likely unexposed until these other changes were made. Defer signals generated by pthread_kill() so that they can be delivered on the appropriate stack. deischen claims that this is unnecessary, which is likely true, but without this change, pthread_kill() can cause undefined priority queue states and/or PANICs in [sig|_]longjmp(), so I'm leaving this in for now. To compile this code out and exercise the bug, define the _NO_UNDISPATCH cpp macro. Defining _PTHREADS_INVARIANTS as well will cause earlier crashes. PR: kern/14685 Collaboration with: deischen
126 lines
4.0 KiB
C
126 lines
4.0 KiB
C
/*
|
|
* Copyright (c) 1995 John Birrell <jb@cimlogic.com.au>.
|
|
* All rights reserved.
|
|
*
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions
|
|
* are met:
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution.
|
|
* 3. All advertising materials mentioning features or use of this software
|
|
* must display the following acknowledgement:
|
|
* This product includes software developed by John Birrell.
|
|
* 4. Neither the name of the author nor the names of any co-contributors
|
|
* may be used to endorse or promote products derived from this software
|
|
* without specific prior written permission.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY JOHN BIRRELL AND CONTRIBUTORS ``AS IS'' AND
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
* SUCH DAMAGE.
|
|
*
|
|
* $FreeBSD$
|
|
*/
|
|
#include <errno.h>
|
|
#ifdef _THREAD_SAFE
|
|
#include <pthread.h>
|
|
#include "pthread_private.h"
|
|
|
|
int
|
|
pthread_join(pthread_t pthread, void **thread_return)
|
|
{
|
|
int ret = 0;
|
|
pthread_t pthread1 = NULL;
|
|
|
|
_thread_enter_cancellation_point();
|
|
|
|
/* Check if the caller has specified an invalid thread: */
|
|
if (pthread == NULL || pthread->magic != PTHREAD_MAGIC) {
|
|
/* Invalid thread: */
|
|
_thread_leave_cancellation_point();
|
|
return(EINVAL);
|
|
}
|
|
|
|
/* Check if the caller has specified itself: */
|
|
if (pthread == _thread_run) {
|
|
/* Avoid a deadlock condition: */
|
|
_thread_leave_cancellation_point();
|
|
return(EDEADLK);
|
|
}
|
|
|
|
/*
|
|
* Find the thread in the list of active threads or in the
|
|
* list of dead threads:
|
|
*/
|
|
if (_find_thread(pthread) == 0 ||
|
|
_find_dead_thread(pthread) == 0)
|
|
pthread1 = pthread;
|
|
|
|
if (pthread1 == NULL)
|
|
/* Return an error: */
|
|
ret = ESRCH;
|
|
|
|
/* Check if this thread has been detached: */
|
|
else if ((pthread->attr.flags & PTHREAD_DETACHED) != 0)
|
|
/* Return an error: */
|
|
ret = ESRCH;
|
|
|
|
/* Check if the thread is not dead: */
|
|
else if (pthread->state != PS_DEAD) {
|
|
/* Clear the interrupted flag: */
|
|
_thread_run->interrupted = 0;
|
|
|
|
/*
|
|
* Protect against being context switched out while
|
|
* adding this thread to the join queue.
|
|
*/
|
|
_thread_kern_sig_defer();
|
|
|
|
/* Add the running thread to the join queue: */
|
|
TAILQ_INSERT_TAIL(&(pthread->join_queue), _thread_run, qe);
|
|
|
|
/* Schedule the next thread: */
|
|
_thread_kern_sched_state(PS_JOIN, __FILE__, __LINE__);
|
|
|
|
if (_thread_run->interrupted != 0)
|
|
TAILQ_REMOVE(&(pthread->join_queue), _thread_run, qe);
|
|
|
|
_thread_kern_sig_undefer();
|
|
|
|
if (_thread_run->interrupted != 0 &&
|
|
_thread_run->continuation != NULL)
|
|
_thread_run->continuation(_thread_run);
|
|
|
|
/* Check if the thread is not detached: */
|
|
if ((pthread->attr.flags & PTHREAD_DETACHED) == 0) {
|
|
/* Check if the return value is required: */
|
|
if (thread_return)
|
|
/* Return the thread's return value: */
|
|
*thread_return = pthread->ret;
|
|
}
|
|
else
|
|
/* Return an error: */
|
|
ret = ESRCH;
|
|
|
|
/* Check if the return value is required: */
|
|
} else if (thread_return != NULL)
|
|
/* Return the thread's return value: */
|
|
*thread_return = pthread->ret;
|
|
|
|
_thread_leave_cancellation_point();
|
|
|
|
/* Return the completion status: */
|
|
return (ret);
|
|
}
|
|
#endif
|