1996-01-22 00:23:58 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Copyright (C) 2003 Daniel M. Eischen <deischen@freebsd.org>
|
|
|
|
* Copyright (C) 2002 Jonathon Mini <mini@freebsd.org>
|
1998-04-29 09:59:34 +00:00
|
|
|
* Copyright (c) 1995-1998 John Birrell <jb@cimlogic.com.au>
|
1996-01-22 00:23:58 +00:00
|
|
|
* 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
|
1999-03-23 05:07:56 +00:00
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
1996-01-22 00:23:58 +00:00
|
|
|
* 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.
|
|
|
|
*
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#include <sys/cdefs.h>
|
2003-04-18 07:45:03 +00:00
|
|
|
__FBSDID("$FreeBSD$");
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
#include <sys/types.h>
|
|
|
|
#include <sys/kse.h>
|
|
|
|
#include <sys/signalvar.h>
|
|
|
|
#include <sys/queue.h>
|
|
|
|
#include <machine/atomic.h>
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
#include <machine/sigframe.h>
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
#include <assert.h>
|
2003-04-22 20:28:33 +00:00
|
|
|
#include <errno.h>
|
2003-04-18 05:04:16 +00:00
|
|
|
#include <signal.h>
|
1996-01-22 00:23:58 +00:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
2003-04-18 05:04:16 +00:00
|
|
|
#include <time.h>
|
|
|
|
#include <ucontext.h>
|
1996-01-22 00:23:58 +00:00
|
|
|
#include <unistd.h>
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
#include "atomic_ops.h"
|
2002-09-16 08:45:36 +00:00
|
|
|
#include "thr_private.h"
|
2003-04-18 05:04:16 +00:00
|
|
|
#include "libc_private.h"
|
2003-06-23 23:15:06 +00:00
|
|
|
#include "ksd.h"
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*#define DEBUG_THREAD_KERN */
|
2000-10-13 22:12:32 +00:00
|
|
|
#ifdef DEBUG_THREAD_KERN
|
|
|
|
#define DBG_MSG stdout_debug
|
|
|
|
#else
|
|
|
|
#define DBG_MSG(x...)
|
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Define a high water mark for the maximum number of threads that
|
|
|
|
* will be cached. Once this level is reached, any extra threads
|
|
|
|
* will be free()'d.
|
|
|
|
*
|
|
|
|
* XXX - It doesn't make sense to worry about the maximum number of
|
|
|
|
* KSEs that we can cache because the system will limit us to
|
|
|
|
* something *much* less than the maximum number of threads
|
|
|
|
* that we can have. Disregarding KSEs in their own group,
|
|
|
|
* the maximum number of KSEs is the number of processors in
|
|
|
|
* the system.
|
|
|
|
*/
|
|
|
|
#define MAX_CACHED_THREADS 100
|
|
|
|
#define KSE_STACKSIZE 16384
|
2002-11-12 00:55:01 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define KSE_SET_MBOX(kse, thrd) \
|
|
|
|
(kse)->k_mbx.km_curthread = &(thrd)->tmbx
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define KSE_SET_EXITED(kse) (kse)->k_flags |= KF_EXITED
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Macros for manipulating the run queues. The priority queue
|
|
|
|
* routines use the thread's pqe link and also handle the setting
|
|
|
|
* and clearing of the thread's THR_FLAGS_IN_RUNQ flag.
|
|
|
|
*/
|
|
|
|
#define KSE_RUNQ_INSERT_HEAD(kse, thrd) \
|
|
|
|
_pq_insert_head(&(kse)->k_schedq->sq_runq, thrd)
|
|
|
|
#define KSE_RUNQ_INSERT_TAIL(kse, thrd) \
|
|
|
|
_pq_insert_tail(&(kse)->k_schedq->sq_runq, thrd)
|
|
|
|
#define KSE_RUNQ_REMOVE(kse, thrd) \
|
|
|
|
_pq_remove(&(kse)->k_schedq->sq_runq, thrd)
|
|
|
|
#define KSE_RUNQ_FIRST(kse) _pq_first(&(kse)->k_schedq->sq_runq)
|
|
|
|
|
2003-04-28 23:56:12 +00:00
|
|
|
#define KSE_RUNQ_THREADS(kse) ((kse)->k_schedq->sq_runq.pq_threads)
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* We've got to keep track of everything that is allocated, not only
|
|
|
|
* to have a speedy free list, but also so they can be deallocated
|
|
|
|
* after a fork().
|
|
|
|
*/
|
|
|
|
static TAILQ_HEAD(, kse) active_kseq;
|
|
|
|
static TAILQ_HEAD(, kse) free_kseq;
|
|
|
|
static TAILQ_HEAD(, kse_group) free_kse_groupq;
|
|
|
|
static TAILQ_HEAD(, kse_group) active_kse_groupq;
|
2003-04-18 07:09:43 +00:00
|
|
|
static TAILQ_HEAD(, kse_group) gc_ksegq;
|
2003-04-18 05:04:16 +00:00
|
|
|
static struct lock kse_lock; /* also used for kseg queue */
|
|
|
|
static int free_kse_count = 0;
|
|
|
|
static int free_kseg_count = 0;
|
|
|
|
static TAILQ_HEAD(, pthread) free_threadq;
|
|
|
|
static struct lock thread_lock;
|
|
|
|
static int free_thread_count = 0;
|
|
|
|
static int inited = 0;
|
2003-05-24 02:29:25 +00:00
|
|
|
static int active_threads = 1;
|
2003-04-18 05:04:16 +00:00
|
|
|
static int active_kse_count = 0;
|
|
|
|
static int active_kseg_count = 0;
|
2003-05-24 02:29:25 +00:00
|
|
|
static u_int64_t next_uniqueid = 1;
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-05-19 23:04:50 +00:00
|
|
|
#ifdef DEBUG_THREAD_KERN
|
|
|
|
static void dump_queues(struct kse *curkse);
|
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
static void kse_check_completed(struct kse *kse);
|
|
|
|
static void kse_check_waitq(struct kse *kse);
|
|
|
|
static void kse_fini(struct kse *curkse);
|
2003-04-23 21:46:50 +00:00
|
|
|
static void kse_reinit(struct kse *kse);
|
2003-04-18 05:04:16 +00:00
|
|
|
static void kse_sched_multi(struct kse *curkse);
|
2003-04-21 04:02:56 +00:00
|
|
|
#ifdef NOT_YET
|
2003-04-18 05:04:16 +00:00
|
|
|
static void kse_sched_single(struct kse *curkse);
|
2003-04-21 04:02:56 +00:00
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
static void kse_switchout_thread(struct kse *kse, struct pthread *thread);
|
2003-04-21 04:02:56 +00:00
|
|
|
static void kse_wait(struct kse *kse, struct pthread *td_wait);
|
2003-04-18 07:09:43 +00:00
|
|
|
static void kse_free_unlocked(struct kse *kse);
|
2003-04-22 20:28:33 +00:00
|
|
|
static void kseg_free_unlocked(struct kse_group *kseg);
|
2003-04-18 05:04:16 +00:00
|
|
|
static void kseg_init(struct kse_group *kseg);
|
2003-04-21 04:02:56 +00:00
|
|
|
static void kseg_reinit(struct kse_group *kseg);
|
2003-04-18 05:04:16 +00:00
|
|
|
static void kse_waitq_insert(struct pthread *thread);
|
2003-04-28 23:56:12 +00:00
|
|
|
static void kse_wakeup_multi(struct kse *curkse);
|
|
|
|
static void kse_wakeup_one(struct pthread *thread);
|
2003-04-18 05:04:16 +00:00
|
|
|
static void thr_cleanup(struct kse *kse, struct pthread *curthread);
|
2003-05-24 02:29:25 +00:00
|
|
|
static void thr_link(struct pthread *thread);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
static void thr_resume_wrapper(int sig, siginfo_t *, ucontext_t *);
|
2003-04-18 05:04:16 +00:00
|
|
|
static void thr_resume_check(struct pthread *curthread, ucontext_t *ucp,
|
|
|
|
struct pthread_sigframe *psf);
|
|
|
|
static int thr_timedout(struct pthread *thread, struct timespec *curtime);
|
2003-05-24 02:29:25 +00:00
|
|
|
static void thr_unlink(struct pthread *thread);
|
2003-04-18 05:04:16 +00:00
|
|
|
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* This is called after a fork().
|
|
|
|
* No locks need to be taken here since we are guaranteed to be
|
|
|
|
* single threaded.
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
*
|
|
|
|
* XXX
|
|
|
|
* POSIX says for threaded process, fork() function is used
|
|
|
|
* only to run new programs, and the effects of calling functions
|
|
|
|
* that require certain resources between the call to fork() and
|
|
|
|
* the call to an exec function are undefined.
|
|
|
|
*
|
|
|
|
* Here it is not safe to reinitialize the library after fork().
|
|
|
|
* Because memory management may be corrupted, further calling
|
|
|
|
* malloc()/free() may cause undefined behavior.
|
2003-04-18 05:04:16 +00:00
|
|
|
*/
|
2000-10-13 22:12:32 +00:00
|
|
|
void
|
2003-04-18 05:04:16 +00:00
|
|
|
_kse_single_thread(struct pthread *curthread)
|
2000-10-13 22:12:32 +00:00
|
|
|
{
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
#ifdef NOTYET
|
2003-05-24 02:29:25 +00:00
|
|
|
struct kse *kse;
|
|
|
|
struct kse_group *kseg;
|
|
|
|
struct pthread *thread;
|
2003-04-18 05:04:16 +00:00
|
|
|
kse_critical_t crit;
|
|
|
|
int i;
|
2001-01-24 13:03:38 +00:00
|
|
|
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
|
1998-04-29 09:59:34 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Disable upcalls and clear the threaded flag.
|
|
|
|
* XXX - I don't think we need to disable upcalls after a fork().
|
|
|
|
* but it doesn't hurt.
|
1998-04-29 09:59:34 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
crit = _kse_critical_enter();
|
|
|
|
__isthreaded = 0;
|
2003-05-24 02:29:25 +00:00
|
|
|
active_threads = 1;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
_thr_signal_deinit();
|
2002-10-30 06:07:18 +00:00
|
|
|
|
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Enter a loop to remove and free all threads other than
|
|
|
|
* the running thread from the active thread list:
|
2002-10-30 06:07:18 +00:00
|
|
|
*/
|
2003-05-24 02:29:25 +00:00
|
|
|
while ((thread = TAILQ_FIRST(&_thread_list)) != NULL) {
|
|
|
|
THR_GCLIST_REMOVE(thread);
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Remove this thread from the list (the current
|
|
|
|
* thread will be removed but re-added by libpthread
|
|
|
|
* initialization.
|
2002-10-30 06:07:18 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_REMOVE(&_thread_list, thread, tle);
|
|
|
|
/* Make sure this isn't the running thread: */
|
|
|
|
if (thread != curthread) {
|
|
|
|
_thr_stack_free(&thread->attr);
|
|
|
|
if (thread->specific != NULL)
|
|
|
|
free(thread->specific);
|
|
|
|
for (i = 0; i < MAX_THR_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&thread->lockusers[i]);
|
|
|
|
}
|
|
|
|
_lock_destroy(&thread->lock);
|
|
|
|
free(thread);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
TAILQ_INIT(&curthread->mutexq); /* initialize mutex queue */
|
|
|
|
curthread->joiner = NULL; /* no joining threads yet */
|
2003-05-24 02:29:25 +00:00
|
|
|
curthread->refcount = 0;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
SIGEMPTYSET(curthread->sigpend); /* clear pending signals */
|
2003-04-18 05:04:16 +00:00
|
|
|
if (curthread->specific != NULL) {
|
|
|
|
free(curthread->specific);
|
|
|
|
curthread->specific = NULL;
|
|
|
|
curthread->specific_data_count = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Free the free KSEs: */
|
|
|
|
while ((kse = TAILQ_FIRST(&free_kseq)) != NULL) {
|
|
|
|
TAILQ_REMOVE(&free_kseq, kse, k_qe);
|
2003-05-24 02:29:25 +00:00
|
|
|
for (i = 0; i < MAX_KSE_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&kse->k_lockusers[i]);
|
|
|
|
}
|
|
|
|
_lock_destroy(&kse->k_lock);
|
2003-04-18 05:04:16 +00:00
|
|
|
_ksd_destroy(&kse->k_ksd);
|
2003-04-21 04:02:56 +00:00
|
|
|
if (kse->k_stack.ss_sp != NULL)
|
|
|
|
free(kse->k_stack.ss_sp);
|
2003-04-18 05:04:16 +00:00
|
|
|
free(kse);
|
|
|
|
}
|
|
|
|
free_kse_count = 0;
|
|
|
|
|
|
|
|
/* Free the active KSEs: */
|
2003-05-24 02:29:25 +00:00
|
|
|
while ((kse = TAILQ_FIRST(&active_kseq)) != NULL) {
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_REMOVE(&active_kseq, kse, k_qe);
|
|
|
|
for (i = 0; i < MAX_KSE_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&kse->k_lockusers[i]);
|
2002-10-30 06:07:18 +00:00
|
|
|
}
|
2003-05-24 02:29:25 +00:00
|
|
|
_lock_destroy(&kse->k_lock);
|
2003-04-21 04:02:56 +00:00
|
|
|
if (kse->k_stack.ss_sp != NULL)
|
|
|
|
free(kse->k_stack.ss_sp);
|
2003-04-18 05:04:16 +00:00
|
|
|
free(kse);
|
|
|
|
}
|
|
|
|
active_kse_count = 0;
|
|
|
|
|
|
|
|
/* Free the free KSEGs: */
|
|
|
|
while ((kseg = TAILQ_FIRST(&free_kse_groupq)) != NULL) {
|
|
|
|
TAILQ_REMOVE(&free_kse_groupq, kseg, kg_qe);
|
|
|
|
_lock_destroy(&kseg->kg_lock);
|
2003-04-18 07:09:43 +00:00
|
|
|
_pq_free(&kseg->kg_schedq.sq_runq);
|
2003-04-18 05:04:16 +00:00
|
|
|
free(kseg);
|
|
|
|
}
|
|
|
|
free_kseg_count = 0;
|
|
|
|
|
|
|
|
/* Free the active KSEGs: */
|
2003-05-24 02:29:25 +00:00
|
|
|
while ((kseg = TAILQ_FIRST(&active_kse_groupq)) != NULL) {
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_REMOVE(&active_kse_groupq, kseg, kg_qe);
|
|
|
|
_lock_destroy(&kseg->kg_lock);
|
2003-04-18 07:09:43 +00:00
|
|
|
_pq_free(&kseg->kg_schedq.sq_runq);
|
2003-04-18 05:04:16 +00:00
|
|
|
free(kseg);
|
|
|
|
}
|
|
|
|
active_kseg_count = 0;
|
|
|
|
|
|
|
|
/* Free the free threads. */
|
|
|
|
while ((thread = TAILQ_FIRST(&free_threadq)) != NULL) {
|
|
|
|
TAILQ_REMOVE(&free_threadq, thread, tle);
|
|
|
|
if (thread->specific != NULL)
|
|
|
|
free(thread->specific);
|
|
|
|
for (i = 0; i < MAX_THR_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&thread->lockusers[i]);
|
|
|
|
}
|
|
|
|
_lock_destroy(&thread->lock);
|
|
|
|
free(thread);
|
|
|
|
}
|
|
|
|
free_thread_count = 0;
|
|
|
|
|
|
|
|
/* Free the to-be-gc'd threads. */
|
|
|
|
while ((thread = TAILQ_FIRST(&_thread_gc_list)) != NULL) {
|
2003-04-18 07:09:43 +00:00
|
|
|
TAILQ_REMOVE(&_thread_gc_list, thread, gcle);
|
2003-04-23 21:46:50 +00:00
|
|
|
for (i = 0; i < MAX_THR_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&thread->lockusers[i]);
|
|
|
|
}
|
|
|
|
_lock_destroy(&thread->lock);
|
2003-04-18 05:04:16 +00:00
|
|
|
free(thread);
|
|
|
|
}
|
2003-04-18 07:09:43 +00:00
|
|
|
TAILQ_INIT(&gc_ksegq);
|
|
|
|
_gc_count = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
if (inited != 0) {
|
|
|
|
/*
|
|
|
|
* Destroy these locks; they'll be recreated to assure they
|
|
|
|
* are in the unlocked state.
|
|
|
|
*/
|
|
|
|
_lock_destroy(&kse_lock);
|
|
|
|
_lock_destroy(&thread_lock);
|
|
|
|
_lock_destroy(&_thread_list_lock);
|
|
|
|
inited = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* After a fork(), the leftover thread goes back to being
|
|
|
|
* scope process.
|
|
|
|
*/
|
|
|
|
curthread->attr.flags &= ~PTHREAD_SCOPE_SYSTEM;
|
|
|
|
curthread->attr.flags |= PTHREAD_SCOPE_PROCESS;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* After a fork, we are still operating on the thread's original
|
|
|
|
* stack. Don't clear the THR_FLAGS_USER from the thread's
|
|
|
|
* attribute flags.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* Initialize the threads library. */
|
|
|
|
curthread->kse = NULL;
|
|
|
|
curthread->kseg = NULL;
|
|
|
|
_kse_initial = NULL;
|
|
|
|
_libpthread_init(curthread);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
#else
|
|
|
|
_ksd_readandclear_tmbx();
|
|
|
|
__isthreaded = 0;
|
|
|
|
active_threads = 0;
|
|
|
|
_thr_signal_deinit();
|
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This is used to initialize housekeeping and to initialize the
|
|
|
|
* KSD for the KSE.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
_kse_init(void)
|
|
|
|
{
|
|
|
|
if (inited == 0) {
|
|
|
|
TAILQ_INIT(&active_kseq);
|
|
|
|
TAILQ_INIT(&active_kse_groupq);
|
|
|
|
TAILQ_INIT(&free_kseq);
|
|
|
|
TAILQ_INIT(&free_kse_groupq);
|
|
|
|
TAILQ_INIT(&free_threadq);
|
2003-04-18 07:09:43 +00:00
|
|
|
TAILQ_INIT(&gc_ksegq);
|
2003-04-18 05:04:16 +00:00
|
|
|
if (_lock_init(&kse_lock, LCK_ADAPTIVE,
|
|
|
|
_kse_lock_wait, _kse_lock_wakeup) != 0)
|
|
|
|
PANIC("Unable to initialize free KSE queue lock");
|
|
|
|
if (_lock_init(&thread_lock, LCK_ADAPTIVE,
|
|
|
|
_kse_lock_wait, _kse_lock_wakeup) != 0)
|
|
|
|
PANIC("Unable to initialize free thread queue lock");
|
|
|
|
if (_lock_init(&_thread_list_lock, LCK_ADAPTIVE,
|
|
|
|
_kse_lock_wait, _kse_lock_wakeup) != 0)
|
|
|
|
PANIC("Unable to initialize thread list lock");
|
|
|
|
active_kse_count = 0;
|
|
|
|
active_kseg_count = 0;
|
2003-04-18 07:09:43 +00:00
|
|
|
_gc_count = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
inited = 1;
|
2002-10-30 06:07:18 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
_kse_isthreaded(void)
|
|
|
|
{
|
|
|
|
return (__isthreaded != 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This is called when the first thread (other than the initial
|
|
|
|
* thread) is created.
|
|
|
|
*/
|
2003-04-21 04:02:56 +00:00
|
|
|
int
|
2003-04-18 05:04:16 +00:00
|
|
|
_kse_setthreaded(int threaded)
|
|
|
|
{
|
|
|
|
if ((threaded != 0) && (__isthreaded == 0)) {
|
|
|
|
/*
|
|
|
|
* Locking functions in libc are required when there are
|
|
|
|
* threads other than the initial thread.
|
|
|
|
*/
|
|
|
|
__isthreaded = 1;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Tell the kernel to create a KSE for the initial thread
|
|
|
|
* and enable upcalls in it.
|
|
|
|
*/
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
_thr_signal_init();
|
2003-04-21 04:02:56 +00:00
|
|
|
_kse_initial->k_flags |= KF_STARTED;
|
|
|
|
if (kse_create(&_kse_initial->k_mbx, 0) != 0) {
|
|
|
|
_kse_initial->k_flags &= ~KF_STARTED;
|
2003-04-28 23:56:12 +00:00
|
|
|
__isthreaded = 0;
|
2003-04-21 04:02:56 +00:00
|
|
|
/* may abort() */
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
PANIC("kse_create() failed\n");
|
2003-04-21 04:02:56 +00:00
|
|
|
return (-1);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_SET_MBOX(_kse_initial, _thr_initial);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
_thr_start_sig_daemon();
|
2003-04-28 23:56:12 +00:00
|
|
|
_thr_setmaxconcurrency();
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
return (0);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Lock wait and wakeup handlers for KSE locks. These are only used by
|
|
|
|
* KSEs, and should never be used by threads. KSE locks include the
|
|
|
|
* KSE group lock (used for locking the scheduling queue) and the
|
|
|
|
* kse_lock defined above.
|
|
|
|
*
|
|
|
|
* When a KSE lock attempt blocks, the entire KSE blocks allowing another
|
|
|
|
* KSE to run. For the most part, it doesn't make much sense to try and
|
|
|
|
* schedule another thread because you need to lock the scheduling queue
|
|
|
|
* in order to do that. And since the KSE lock is used to lock the scheduling
|
|
|
|
* queue, you would just end up blocking again.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
_kse_lock_wait(struct lock *lock, struct lockuser *lu)
|
|
|
|
{
|
|
|
|
struct kse *curkse = (struct kse *)_LCK_GET_PRIVATE(lu);
|
|
|
|
struct timespec ts;
|
2003-04-21 04:02:56 +00:00
|
|
|
int saved_flags;
|
2002-10-30 06:07:18 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
if (curkse->k_mbx.km_curthread != NULL)
|
|
|
|
PANIC("kse_lock_wait does not disable upcall.\n");
|
2002-10-30 06:07:18 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Enter a loop to wait until we get the lock.
|
2002-10-30 06:07:18 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
ts.tv_sec = 0;
|
|
|
|
ts.tv_nsec = 1000000; /* 1 sec */
|
2003-05-24 02:29:25 +00:00
|
|
|
while (!_LCK_GRANTED(lu)) {
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Yield the kse and wait to be notified when the lock
|
|
|
|
* is granted.
|
|
|
|
*/
|
2003-04-21 04:02:56 +00:00
|
|
|
saved_flags = curkse->k_mbx.km_flags;
|
2003-04-22 20:28:33 +00:00
|
|
|
curkse->k_mbx.km_flags |= KMF_NOUPCALL | KMF_NOCOMPLETED;
|
2003-04-21 04:02:56 +00:00
|
|
|
kse_release(&ts);
|
|
|
|
curkse->k_mbx.km_flags = saved_flags;
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
_kse_lock_wakeup(struct lock *lock, struct lockuser *lu)
|
|
|
|
{
|
|
|
|
struct kse *curkse;
|
|
|
|
struct kse *kse;
|
2003-05-16 19:58:30 +00:00
|
|
|
struct kse_mailbox *mbx;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
curkse = _get_curkse();
|
|
|
|
kse = (struct kse *)_LCK_GET_PRIVATE(lu);
|
|
|
|
|
|
|
|
if (kse == curkse)
|
|
|
|
PANIC("KSE trying to wake itself up in lock");
|
2003-05-16 19:58:30 +00:00
|
|
|
else {
|
|
|
|
mbx = &kse->k_mbx;
|
|
|
|
_lock_grant(lock, lu);
|
2002-10-30 06:07:18 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Notify the owning kse that it has the lock.
|
2003-05-16 19:58:30 +00:00
|
|
|
* It is safe to pass invalid address to kse_wakeup
|
|
|
|
* even if the mailbox is not in kernel at all,
|
|
|
|
* and waking up a wrong kse is also harmless.
|
2002-10-30 06:07:18 +00:00
|
|
|
*/
|
2003-05-16 19:58:30 +00:00
|
|
|
kse_wakeup(mbx);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Thread wait and wakeup handlers for thread locks. These are only used
|
|
|
|
* by threads, never by KSEs. Thread locks include the per-thread lock
|
|
|
|
* (defined in its structure), and condition variable and mutex locks.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
_thr_lock_wait(struct lock *lock, struct lockuser *lu)
|
|
|
|
{
|
|
|
|
struct pthread *curthread = (struct pthread *)lu->lu_private;
|
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
do {
|
|
|
|
THR_SCHED_LOCK(curthread, curthread);
|
|
|
|
THR_SET_STATE(curthread, PS_LOCKWAIT);
|
|
|
|
THR_SCHED_UNLOCK(curthread, curthread);
|
|
|
|
_thr_sched_switch(curthread);
|
2003-05-24 02:29:25 +00:00
|
|
|
} while (!_LCK_GRANTED(lu));
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2002-10-30 06:07:18 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
void
|
|
|
|
_thr_lock_wakeup(struct lock *lock, struct lockuser *lu)
|
|
|
|
{
|
|
|
|
struct pthread *thread;
|
|
|
|
struct pthread *curthread;
|
|
|
|
|
|
|
|
curthread = _get_curthread();
|
|
|
|
thread = (struct pthread *)_LCK_GET_PRIVATE(lu);
|
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
THR_SCHED_LOCK(curthread, thread);
|
|
|
|
_lock_grant(lock, lu);
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_setrunnable_unlocked(thread);
|
2003-05-16 19:58:30 +00:00
|
|
|
THR_SCHED_UNLOCK(curthread, thread);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
kse_critical_t
|
|
|
|
_kse_critical_enter(void)
|
|
|
|
{
|
|
|
|
kse_critical_t crit;
|
|
|
|
|
2003-06-23 09:49:16 +00:00
|
|
|
crit = _ksd_readandclear_tmbx();
|
2003-04-18 05:04:16 +00:00
|
|
|
return (crit);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
_kse_critical_leave(kse_critical_t crit)
|
|
|
|
{
|
|
|
|
struct pthread *curthread;
|
|
|
|
|
|
|
|
_ksd_set_tmbx(crit);
|
|
|
|
if ((crit != NULL) && ((curthread = _get_curthread()) != NULL))
|
|
|
|
THR_YIELD_CHECK(curthread);
|
|
|
|
}
|
|
|
|
|
2003-04-23 21:46:50 +00:00
|
|
|
int
|
|
|
|
_kse_in_critical(void)
|
|
|
|
{
|
|
|
|
return (_ksd_get_tmbx() == NULL);
|
|
|
|
}
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
void
|
|
|
|
_thr_critical_enter(struct pthread *thread)
|
|
|
|
{
|
|
|
|
thread->critical_count++;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
_thr_critical_leave(struct pthread *thread)
|
|
|
|
{
|
|
|
|
thread->critical_count--;
|
|
|
|
THR_YIELD_CHECK(thread);
|
|
|
|
}
|
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
void
|
|
|
|
_thr_sched_switch(struct pthread *curthread)
|
|
|
|
{
|
|
|
|
struct kse *curkse;
|
|
|
|
|
|
|
|
(void)_kse_critical_enter();
|
|
|
|
curkse = _get_curkse();
|
|
|
|
KSE_SCHED_LOCK(curkse, curkse->k_kseg);
|
|
|
|
_thr_sched_switch_unlocked(curthread);
|
|
|
|
}
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* XXX - We may need to take the scheduling lock before calling
|
|
|
|
* this, or perhaps take the lock within here before
|
|
|
|
* doing anything else.
|
|
|
|
*/
|
|
|
|
void
|
2003-05-16 19:58:30 +00:00
|
|
|
_thr_sched_switch_unlocked(struct pthread *curthread)
|
2003-04-18 05:04:16 +00:00
|
|
|
{
|
2003-05-16 19:58:30 +00:00
|
|
|
struct pthread *td;
|
2003-04-18 05:04:16 +00:00
|
|
|
struct pthread_sigframe psf;
|
|
|
|
struct kse *curkse;
|
2003-05-16 19:58:30 +00:00
|
|
|
int ret;
|
|
|
|
volatile int uts_once;
|
|
|
|
volatile int resume_once = 0;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
ucontext_t uc;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/* We're in the scheduler, 5 by 5: */
|
|
|
|
curkse = _get_curkse();
|
|
|
|
|
|
|
|
curthread->need_switchout = 1; /* The thread yielded on its own. */
|
|
|
|
curthread->critical_yield = 0; /* No need to yield anymore. */
|
|
|
|
curthread->slice_usec = -1; /* Restart the time slice. */
|
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
/* Thread can unlock the scheduler lock. */
|
|
|
|
curthread->lock_switch = 1;
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* The signal frame is allocated off the stack because
|
|
|
|
* a thread can be interrupted by other signals while
|
|
|
|
* it is running down pending signals.
|
|
|
|
*/
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
psf.psf_valid = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
curthread->curframe = &psf;
|
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
/*
|
|
|
|
* Enter the scheduler if any one of the following is true:
|
|
|
|
*
|
|
|
|
* o The current thread is dead; it's stack needs to be
|
|
|
|
* cleaned up and it can't be done while operating on
|
|
|
|
* it.
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
* o The current thread has signals pending, should
|
|
|
|
* let scheduler install signal trampoline for us.
|
2003-05-16 19:58:30 +00:00
|
|
|
* o There are no runnable threads.
|
|
|
|
* o The next thread to run won't unlock the scheduler
|
|
|
|
* lock. A side note: the current thread may be run
|
|
|
|
* instead of the next thread in the run queue, but
|
|
|
|
* we don't bother checking for that.
|
|
|
|
*/
|
|
|
|
if ((curthread->state == PS_DEAD) ||
|
|
|
|
(((td = KSE_RUNQ_FIRST(curkse)) == NULL) &&
|
|
|
|
(curthread->state != PS_RUNNING)) ||
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
((td != NULL) && (td->lock_switch == 0))) {
|
|
|
|
curkse->k_switch = 1;
|
2003-05-16 19:58:30 +00:00
|
|
|
_thread_enter_uts(&curthread->tmbx, &curkse->k_mbx);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
}
|
2003-05-16 19:58:30 +00:00
|
|
|
else {
|
|
|
|
uts_once = 0;
|
|
|
|
THR_GETCONTEXT(&curthread->tmbx.tm_context);
|
|
|
|
if (uts_once == 0) {
|
|
|
|
uts_once = 1;
|
|
|
|
|
|
|
|
/* Switchout the current thread. */
|
|
|
|
kse_switchout_thread(curkse, curthread);
|
|
|
|
|
|
|
|
/* Choose another thread to run. */
|
|
|
|
td = KSE_RUNQ_FIRST(curkse);
|
|
|
|
KSE_RUNQ_REMOVE(curkse, td);
|
|
|
|
curkse->k_curthread = td;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Make sure the current thread's kse points to
|
|
|
|
* this kse.
|
|
|
|
*/
|
|
|
|
td->kse = curkse;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Reset accounting.
|
|
|
|
*/
|
|
|
|
td->tmbx.tm_uticks = 0;
|
|
|
|
td->tmbx.tm_sticks = 0;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Reset the time slice if this thread is running
|
|
|
|
* for the first time or running again after using
|
|
|
|
* its full time slice allocation.
|
|
|
|
*/
|
|
|
|
if (td->slice_usec == -1)
|
|
|
|
td->slice_usec = 0;
|
|
|
|
|
|
|
|
/* Mark the thread active. */
|
|
|
|
td->active = 1;
|
|
|
|
|
|
|
|
/* Remove the frame reference. */
|
|
|
|
td->curframe = NULL;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
/*
|
|
|
|
* Continue the thread at its current frame:
|
|
|
|
*/
|
|
|
|
ret = _thread_switch(&td->tmbx, NULL);
|
|
|
|
/* This point should not be reached. */
|
|
|
|
if (ret != 0)
|
|
|
|
PANIC("Bad return from _thread_switch");
|
|
|
|
PANIC("Thread has returned from _thread_switch");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
if (psf.psf_valid) {
|
|
|
|
/*
|
|
|
|
* It is ugly we must increase critical count, because we
|
|
|
|
* have a frame saved, we must backout state in psf
|
|
|
|
* before we can process signals.
|
|
|
|
*/
|
|
|
|
curthread->critical_count++;
|
|
|
|
}
|
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
if (curthread->lock_switch != 0) {
|
|
|
|
/*
|
|
|
|
* Unlock the scheduling queue and leave the
|
|
|
|
* critical region.
|
|
|
|
*/
|
|
|
|
/* Don't trust this after a switch! */
|
|
|
|
curkse = _get_curkse();
|
|
|
|
|
|
|
|
curthread->lock_switch = 0;
|
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
|
|
|
_kse_critical_leave(&curthread->tmbx);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* This thread is being resumed; check for cancellations.
|
|
|
|
*/
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
if ((psf.psf_valid || curthread->check_pending)) {
|
|
|
|
resume_once = 0;
|
|
|
|
THR_GETCONTEXT(&uc);
|
|
|
|
if (resume_once == 0) {
|
|
|
|
resume_once = 1;
|
|
|
|
curthread->check_pending = 0;
|
|
|
|
thr_resume_check(curthread, &uc, &psf);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2003-05-16 19:58:30 +00:00
|
|
|
THR_ACTIVATE_LAST_LOCK(curthread);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This is the scheduler for a KSE which runs a scope system thread.
|
|
|
|
* The multi-thread KSE scheduler should also work for a single threaded
|
|
|
|
* KSE, but we use a separate scheduler so that it can be fine-tuned
|
|
|
|
* to be more efficient (and perhaps not need a separate stack for
|
|
|
|
* the KSE, allowing it to use the thread's stack).
|
|
|
|
*
|
|
|
|
* XXX - This probably needs some work.
|
|
|
|
*/
|
2003-04-21 04:02:56 +00:00
|
|
|
#ifdef NOT_YET
|
2003-04-18 05:04:16 +00:00
|
|
|
static void
|
|
|
|
kse_sched_single(struct kse *curkse)
|
|
|
|
{
|
2003-04-21 04:02:56 +00:00
|
|
|
struct pthread *curthread = curkse->k_curthread;
|
|
|
|
struct pthread *td_wait;
|
2003-04-18 05:04:16 +00:00
|
|
|
struct timespec ts;
|
|
|
|
int level;
|
|
|
|
|
|
|
|
if (curthread->active == 0) {
|
|
|
|
if (curthread->state != PS_RUNNING) {
|
|
|
|
/* Check to see if the thread has timed out. */
|
|
|
|
KSE_GET_TOD(curkse, &ts);
|
|
|
|
if (thr_timedout(curthread, &ts) != 0) {
|
|
|
|
curthread->timeout = 1;
|
|
|
|
curthread->state = PS_RUNNING;
|
|
|
|
}
|
2002-10-30 06:07:18 +00:00
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
}
|
2002-10-30 06:07:18 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
/* This thread no longer needs to yield the CPU: */
|
|
|
|
curthread->critical_yield = 0;
|
|
|
|
curthread->need_switchout = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
/*
|
|
|
|
* Lock the scheduling queue.
|
|
|
|
*
|
|
|
|
* There is no scheduling queue for single threaded KSEs,
|
|
|
|
* but we need a lock for protection regardless.
|
|
|
|
*/
|
|
|
|
KSE_SCHED_LOCK(curkse, curkse->k_kseg);
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
/*
|
|
|
|
* This has to do the job of kse_switchout_thread(), only
|
|
|
|
* for a single threaded KSE/KSEG.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
switch (curthread->state) {
|
|
|
|
case PS_DEAD:
|
2003-05-24 02:29:25 +00:00
|
|
|
/* Unlock the scheduling queue and exit the KSE and thread. */
|
|
|
|
thr_cleaup(curkse, curthread);
|
2003-04-21 04:02:56 +00:00
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
|
|
|
break;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
case PS_COND_WAIT:
|
|
|
|
case PS_SLEEP_WAIT:
|
|
|
|
/* Only insert threads that can timeout: */
|
|
|
|
if (curthread->wakeup_time.tv_sec != -1) {
|
|
|
|
/* Insert into the waiting queue: */
|
|
|
|
KSE_WAITQ_INSERT(curkse, curthread);
|
2002-10-30 06:07:18 +00:00
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
break;
|
2002-11-24 06:45:45 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
case PS_LOCKWAIT:
|
|
|
|
level = curthread->locklevel - 1;
|
2003-05-24 02:29:25 +00:00
|
|
|
if (!_LCK_GRANTED(&curthread->lockusers[level]))
|
2003-04-21 04:02:56 +00:00
|
|
|
KSE_WAITQ_INSERT(curkse, curthread);
|
|
|
|
else
|
|
|
|
THR_SET_STATE(curthread, PS_RUNNING);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case PS_JOIN:
|
|
|
|
case PS_MUTEX_WAIT:
|
|
|
|
case PS_RUNNING:
|
|
|
|
case PS_SIGSUSPEND:
|
|
|
|
case PS_SIGWAIT:
|
|
|
|
case PS_SUSPENDED:
|
|
|
|
case PS_DEADLOCK:
|
|
|
|
default:
|
|
|
|
/*
|
|
|
|
* These states don't timeout and don't need
|
|
|
|
* to be in the waiting queue.
|
|
|
|
*/
|
|
|
|
break;
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
while (curthread->state != PS_RUNNING) {
|
2003-04-21 04:02:56 +00:00
|
|
|
curthread->active = 0;
|
|
|
|
td_wait = KSE_WAITQ_FIRST(curkse);
|
|
|
|
|
|
|
|
kse_wait(curkse, td_wait);
|
|
|
|
|
|
|
|
if (td_wait != NULL) {
|
|
|
|
KSE_GET_TOD(curkse, &ts);
|
|
|
|
if (thr_timedout(curthread, &ts)) {
|
|
|
|
/* Indicate the thread timedout: */
|
|
|
|
td_wait->timeout = 1;
|
|
|
|
|
|
|
|
/* Make the thread runnable. */
|
|
|
|
THR_SET_STATE(td_wait, PS_RUNNING);
|
|
|
|
KSE_WAITQ_REMOVE(curkse, td_wait);
|
|
|
|
}
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2002-11-24 06:45:45 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Remove the frame reference. */
|
|
|
|
curthread->curframe = NULL;
|
2002-11-24 06:45:45 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Unlock the scheduling queue. */
|
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
2002-11-24 06:45:45 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Continue the thread at its current frame:
|
|
|
|
*/
|
2003-04-21 04:02:56 +00:00
|
|
|
DBG_MSG("Continuing bound thread %p\n", curthread);
|
2003-04-18 05:04:16 +00:00
|
|
|
_thread_switch(&curthread->tmbx, &curkse->k_mbx.km_curthread);
|
2003-04-21 04:02:56 +00:00
|
|
|
PANIC("Thread has returned from _thread_switch");
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-05-19 23:04:50 +00:00
|
|
|
#ifdef DEBUG_THREAD_KERN
|
|
|
|
static void
|
2003-04-18 05:04:16 +00:00
|
|
|
dump_queues(struct kse *curkse)
|
|
|
|
{
|
|
|
|
struct pthread *thread;
|
|
|
|
|
|
|
|
DBG_MSG("Threads in waiting queue:\n");
|
|
|
|
TAILQ_FOREACH(thread, &curkse->k_kseg->kg_schedq.sq_waitq, pqe) {
|
|
|
|
DBG_MSG(" thread %p, state %d, blocked %d\n",
|
|
|
|
thread, thread->state, thread->blocked);
|
|
|
|
}
|
|
|
|
}
|
2003-05-19 23:04:50 +00:00
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* This is the scheduler for a KSE which runs multiple threads.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
kse_sched_multi(struct kse *curkse)
|
|
|
|
{
|
2003-04-21 04:02:56 +00:00
|
|
|
struct pthread *curthread, *td_wait;
|
2003-04-18 05:04:16 +00:00
|
|
|
struct pthread_sigframe *curframe;
|
|
|
|
int ret;
|
|
|
|
|
2003-04-22 20:28:33 +00:00
|
|
|
THR_ASSERT(curkse->k_mbx.km_curthread == NULL,
|
|
|
|
"Mailbox not null in kse_sched_multi");
|
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
/* Check for first time initialization: */
|
|
|
|
if ((curkse->k_flags & KF_INITIALIZED) == 0) {
|
|
|
|
/* Setup this KSEs specific data. */
|
|
|
|
_ksd_setprivate(&curkse->k_ksd);
|
|
|
|
_set_curkse(curkse);
|
|
|
|
|
|
|
|
/* Set this before grabbing the context. */
|
|
|
|
curkse->k_flags |= KF_INITIALIZED;
|
|
|
|
}
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* This may have returned from a kse_release(). */
|
2003-04-22 20:28:33 +00:00
|
|
|
if (KSE_WAITING(curkse)) {
|
|
|
|
DBG_MSG("Entered upcall when KSE is waiting.");
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_CLEAR_WAIT(curkse);
|
2003-04-22 20:28:33 +00:00
|
|
|
}
|
2002-10-30 06:07:18 +00:00
|
|
|
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
/*If this is an upcall; take the scheduler lock. */
|
|
|
|
if (curkse->k_switch == 0)
|
2003-04-28 23:56:12 +00:00
|
|
|
KSE_SCHED_LOCK(curkse, curkse->k_kseg);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
curkse->k_switch = 0;
|
|
|
|
|
|
|
|
curthread = curkse->k_curthread;
|
2002-10-30 06:07:18 +00:00
|
|
|
|
2003-05-24 02:29:25 +00:00
|
|
|
if (KSE_IS_IDLE(curkse)) {
|
|
|
|
KSE_CLEAR_IDLE(curkse);
|
|
|
|
curkse->k_kseg->kg_idle_kses--;
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* If the current thread was completed in another KSE, then
|
|
|
|
* it will be in the run queue. Don't mark it as being blocked.
|
|
|
|
*/
|
2003-04-28 23:56:12 +00:00
|
|
|
if ((curthread != NULL) &&
|
2003-04-18 05:04:16 +00:00
|
|
|
((curthread->flags & THR_FLAGS_IN_RUNQ) == 0) &&
|
|
|
|
(curthread->need_switchout == 0)) {
|
|
|
|
/*
|
|
|
|
* Assume the current thread is blocked; when the
|
|
|
|
* completed threads are checked and if the current
|
|
|
|
* thread is among the completed, the blocked flag
|
|
|
|
* will be cleared.
|
|
|
|
*/
|
|
|
|
curthread->blocked = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Check for any unblocked threads in the kernel. */
|
|
|
|
kse_check_completed(curkse);
|
2002-10-30 06:07:18 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Check for threads that have timed-out.
|
|
|
|
*/
|
|
|
|
kse_check_waitq(curkse);
|
2002-10-30 06:07:18 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Switchout the current thread, if necessary, as the last step
|
|
|
|
* so that it is inserted into the run queue (if it's runnable)
|
|
|
|
* _after_ any other threads that were added to it above.
|
|
|
|
*/
|
|
|
|
if (curthread == NULL)
|
|
|
|
; /* Nothing to do here. */
|
|
|
|
else if ((curthread->need_switchout == 0) &&
|
|
|
|
(curthread->blocked == 0) && (THR_IN_CRITICAL(curthread))) {
|
|
|
|
/*
|
|
|
|
* Resume the thread and tell it to yield when
|
|
|
|
* it leaves the critical region.
|
|
|
|
*/
|
2003-04-28 23:56:12 +00:00
|
|
|
curthread->critical_yield = 1;
|
2003-04-18 05:04:16 +00:00
|
|
|
curthread->active = 1;
|
|
|
|
if ((curthread->flags & THR_FLAGS_IN_RUNQ) != 0)
|
|
|
|
KSE_RUNQ_REMOVE(curkse, curthread);
|
|
|
|
curkse->k_curthread = curthread;
|
|
|
|
curthread->kse = curkse;
|
|
|
|
DBG_MSG("Continuing thread %p in critical region\n",
|
|
|
|
curthread);
|
2003-04-30 01:15:21 +00:00
|
|
|
kse_wakeup_multi(curkse);
|
2003-05-16 19:58:30 +00:00
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
|
|
|
ret = _thread_switch(&curthread->tmbx,
|
|
|
|
&curkse->k_mbx.km_curthread);
|
2003-04-18 05:04:16 +00:00
|
|
|
if (ret != 0)
|
|
|
|
PANIC("Can't resume thread in critical region\n");
|
2002-10-30 06:07:18 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
else if ((curthread->flags & THR_FLAGS_IN_RUNQ) == 0)
|
|
|
|
kse_switchout_thread(curkse, curthread);
|
|
|
|
curkse->k_curthread = NULL;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-28 23:56:12 +00:00
|
|
|
kse_wakeup_multi(curkse);
|
|
|
|
|
2003-05-05 05:01:19 +00:00
|
|
|
#ifdef DEBUG_THREAD_KERN
|
2003-04-18 05:04:16 +00:00
|
|
|
dump_queues(curkse);
|
2003-05-05 05:01:19 +00:00
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/* Check if there are no threads ready to run: */
|
|
|
|
while (((curthread = KSE_RUNQ_FIRST(curkse)) == NULL) &&
|
|
|
|
(curkse->k_kseg->kg_threadcount != 0)) {
|
|
|
|
/*
|
|
|
|
* Wait for a thread to become active or until there are
|
|
|
|
* no more threads.
|
|
|
|
*/
|
2003-04-21 04:02:56 +00:00
|
|
|
td_wait = KSE_WAITQ_FIRST(curkse);
|
|
|
|
kse_wait(curkse, td_wait);
|
|
|
|
kse_check_completed(curkse);
|
2003-04-18 05:04:16 +00:00
|
|
|
kse_check_waitq(curkse);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Check for no more threads: */
|
|
|
|
if (curkse->k_kseg->kg_threadcount == 0) {
|
|
|
|
/*
|
|
|
|
* Normally this shouldn't return, but it will if there
|
|
|
|
* are other KSEs running that create new threads that
|
|
|
|
* are assigned to this KSE[G]. For instance, if a scope
|
|
|
|
* system thread were to create a scope process thread
|
|
|
|
* and this kse[g] is the initial kse[g], then that newly
|
|
|
|
* created thread would be assigned to us (the initial
|
|
|
|
* kse[g]).
|
|
|
|
*/
|
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
|
|
|
kse_fini(curkse);
|
2003-05-24 02:29:25 +00:00
|
|
|
/* never returns */
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
THR_ASSERT(curthread != NULL,
|
|
|
|
"Return from kse_wait/fini without thread.");
|
|
|
|
THR_ASSERT(curthread->state != PS_DEAD,
|
|
|
|
"Trying to resume dead thread!");
|
|
|
|
KSE_RUNQ_REMOVE(curkse, curthread);
|
2000-10-13 22:12:32 +00:00
|
|
|
|
2002-09-16 19:52:52 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Make the selected thread the current thread.
|
2002-09-16 19:52:52 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
curkse->k_curthread = curthread;
|
2002-02-09 19:58:41 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Make sure the current thread's kse points to this kse.
|
|
|
|
*/
|
|
|
|
curthread->kse = curkse;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Reset accounting.
|
|
|
|
*/
|
|
|
|
curthread->tmbx.tm_uticks = 0;
|
|
|
|
curthread->tmbx.tm_sticks = 0;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Reset the time slice if this thread is running for the first
|
|
|
|
* time or running again after using its full time slice allocation.
|
|
|
|
*/
|
|
|
|
if (curthread->slice_usec == -1)
|
|
|
|
curthread->slice_usec = 0;
|
|
|
|
|
|
|
|
/* Mark the thread active. */
|
|
|
|
curthread->active = 1;
|
|
|
|
|
|
|
|
/* Remove the frame reference. */
|
|
|
|
curframe = curthread->curframe;
|
|
|
|
curthread->curframe = NULL;
|
|
|
|
|
2003-04-28 23:56:12 +00:00
|
|
|
kse_wakeup_multi(curkse);
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* The thread's current signal frame will only be NULL if it
|
|
|
|
* is being resumed after being blocked in the kernel. In
|
|
|
|
* this case, and if the thread needs to run down pending
|
|
|
|
* signals or needs a cancellation check, we need to add a
|
|
|
|
* signal frame to the thread's context.
|
|
|
|
*/
|
2003-04-18 07:09:43 +00:00
|
|
|
#ifdef NOT_YET
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
if ((((curframe == NULL) && (curthread->check_pending != 0)) ||
|
2003-04-18 05:04:16 +00:00
|
|
|
(((curthread->cancelflags & THR_AT_CANCEL_POINT) == 0) &&
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
((curthread->cancelflags & PTHREAD_CANCEL_ASYNCHRONOUS) != 0))) &&
|
|
|
|
!THR_IN_CRITICAL(curthread))
|
2003-04-28 23:56:12 +00:00
|
|
|
signalcontext(&curthread->tmbx.tm_context, 0,
|
|
|
|
(__sighandler_t *)thr_resume_wrapper);
|
|
|
|
#else
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
if ((curframe == NULL) && (curthread->check_pending != 0) &&
|
|
|
|
!THR_IN_CRITICAL(curthread)) {
|
|
|
|
curthread->check_pending = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
signalcontext(&curthread->tmbx.tm_context, 0,
|
|
|
|
(__sighandler_t *)thr_resume_wrapper);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
#endif
|
|
|
|
/*
|
|
|
|
* Continue the thread at its current frame:
|
|
|
|
*/
|
2003-05-16 19:58:30 +00:00
|
|
|
if (curthread->lock_switch != 0) {
|
|
|
|
/*
|
|
|
|
* This thread came from a scheduler switch; it will
|
|
|
|
* unlock the scheduler lock and set the mailbox.
|
|
|
|
*/
|
|
|
|
ret = _thread_switch(&curthread->tmbx, NULL);
|
2003-04-28 23:56:12 +00:00
|
|
|
} else {
|
2003-05-16 19:58:30 +00:00
|
|
|
/* This thread won't unlock the scheduler lock. */
|
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
2003-04-28 23:56:12 +00:00
|
|
|
ret = _thread_switch(&curthread->tmbx,
|
2003-05-16 19:58:30 +00:00
|
|
|
&curkse->k_mbx.km_curthread);
|
2003-04-28 23:56:12 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
if (ret != 0)
|
|
|
|
PANIC("Thread has returned from _thread_switch");
|
2001-01-24 13:03:38 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* This point should not be reached. */
|
|
|
|
PANIC("Thread has returned from _thread_switch");
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
thr_resume_wrapper(int sig, siginfo_t *siginfo, ucontext_t *ucp)
|
2000-10-13 22:12:32 +00:00
|
|
|
{
|
2003-04-18 05:04:16 +00:00
|
|
|
struct pthread *curthread = _get_curthread();
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
struct kse *curkse;
|
|
|
|
int ret;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
DBG_MSG(">>> sig wrapper\n");
|
|
|
|
if (curthread->lock_switch)
|
|
|
|
PANIC("thr_resume_wrapper, lock_switch != 0\n");
|
2003-04-18 05:04:16 +00:00
|
|
|
thr_resume_check(curthread, ucp, NULL);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
_kse_critical_enter();
|
|
|
|
curkse = _get_curkse();
|
|
|
|
curthread->tmbx.tm_context = *ucp;
|
|
|
|
ret = _thread_switch(&curthread->tmbx, &curkse->k_mbx.km_curthread);
|
|
|
|
if (ret != 0)
|
|
|
|
PANIC("thr_resume_wrapper: thread has returned "
|
|
|
|
"from _thread_switch");
|
|
|
|
/* THR_SETCONTEXT(ucp); */ /* not work, why ? */
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2002-09-16 19:52:52 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
static void
|
|
|
|
thr_resume_check(struct pthread *curthread, ucontext_t *ucp,
|
|
|
|
struct pthread_sigframe *psf)
|
|
|
|
{
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
_thr_sig_rundown(curthread, ucp, psf);
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-28 23:56:12 +00:00
|
|
|
#ifdef NOT_YET
|
2003-04-18 05:04:16 +00:00
|
|
|
if (((curthread->cancelflags & THR_AT_CANCEL_POINT) == 0) &&
|
|
|
|
((curthread->cancelflags & PTHREAD_CANCEL_ASYNCHRONOUS) != 0))
|
|
|
|
pthread_testcancel();
|
2003-04-28 23:56:12 +00:00
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Clean up a thread. This must be called with the thread's KSE
|
|
|
|
* scheduling lock held. The thread must be a thread from the
|
|
|
|
* KSE's group.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
thr_cleanup(struct kse *curkse, struct pthread *thread)
|
|
|
|
{
|
|
|
|
struct pthread *joiner;
|
2003-05-24 02:29:25 +00:00
|
|
|
int sys_scope;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
if ((joiner = thread->joiner) != NULL) {
|
2003-05-24 02:29:25 +00:00
|
|
|
/* Joinee scheduler lock held; joiner won't leave. */
|
|
|
|
if (joiner->kseg == curkse->k_kseg) {
|
|
|
|
if (joiner->join_status.thread == thread) {
|
|
|
|
joiner->join_status.thread = NULL;
|
|
|
|
joiner->join_status.ret = thread->ret;
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_setrunnable_unlocked(joiner);
|
2003-05-24 02:29:25 +00:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
|
|
|
/* The joiner may have removed itself and exited. */
|
|
|
|
if (_thr_ref_add(thread, joiner, 0) == 0) {
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_SCHED_LOCK(curkse, joiner->kseg);
|
2003-05-24 02:29:25 +00:00
|
|
|
if (joiner->join_status.thread == thread) {
|
|
|
|
joiner->join_status.thread = NULL;
|
|
|
|
joiner->join_status.ret = thread->ret;
|
|
|
|
_thr_setrunnable_unlocked(joiner);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_SCHED_UNLOCK(curkse, joiner->kseg);
|
2003-05-24 02:29:25 +00:00
|
|
|
_thr_ref_delete(thread, joiner);
|
2002-11-12 00:55:01 +00:00
|
|
|
}
|
2003-05-24 02:29:25 +00:00
|
|
|
KSE_SCHED_LOCK(curkse, curkse->k_kseg);
|
1996-01-22 00:23:58 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
thread->attr.flags |= PTHREAD_DETACHED;
|
|
|
|
}
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-05-24 02:29:25 +00:00
|
|
|
if (!(sys_scope = (thread->attr.flags & PTHREAD_SCOPE_SYSTEM))) {
|
2003-04-18 07:09:43 +00:00
|
|
|
/*
|
|
|
|
* Remove the thread from the KSEG's list of threads.
|
|
|
|
*/
|
|
|
|
KSEG_THRQ_REMOVE(thread->kseg, thread);
|
|
|
|
/*
|
|
|
|
* Migrate the thread to the main KSE so that this
|
|
|
|
* KSE and KSEG can be cleaned when their last thread
|
|
|
|
* exits.
|
|
|
|
*/
|
|
|
|
thread->kseg = _kse_initial->k_kseg;
|
|
|
|
thread->kse = _kse_initial;
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
thread->flags |= THR_FLAGS_GC_SAFE;
|
2003-04-18 07:09:43 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* We can't hold the thread list lock while holding the
|
|
|
|
* scheduler lock.
|
|
|
|
*/
|
|
|
|
KSE_SCHED_UNLOCK(curkse, curkse->k_kseg);
|
|
|
|
DBG_MSG("Adding thread %p to GC list\n", thread);
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_LOCK_ACQUIRE(curkse, &_thread_list_lock);
|
2003-04-18 07:09:43 +00:00
|
|
|
THR_GCLIST_ADD(thread);
|
2003-05-24 02:29:25 +00:00
|
|
|
/* Use thread_list_lock */
|
|
|
|
active_threads--;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
if (active_threads == 1) {
|
2003-05-24 02:29:25 +00:00
|
|
|
KSE_LOCK_RELEASE(curkse, &_thread_list_lock);
|
|
|
|
exit(0);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_LOCK_RELEASE(curkse, &_thread_list_lock);
|
2003-05-24 02:29:25 +00:00
|
|
|
if (sys_scope) {
|
|
|
|
/*
|
|
|
|
* System scope thread is single thread group,
|
|
|
|
* when thread is exited, its kse and ksegrp should
|
|
|
|
* be recycled as well.
|
|
|
|
*/
|
|
|
|
kse_exit();
|
|
|
|
PANIC("kse_exit() failed for system scope thread");
|
|
|
|
}
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_SCHED_LOCK(curkse, curkse->k_kseg);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
void
|
2003-04-18 07:09:43 +00:00
|
|
|
_thr_gc(struct pthread *curthread)
|
2003-04-18 05:04:16 +00:00
|
|
|
{
|
2003-04-18 07:09:43 +00:00
|
|
|
struct pthread *td, *td_next;
|
|
|
|
kse_critical_t crit;
|
2003-04-21 04:02:56 +00:00
|
|
|
TAILQ_HEAD(, pthread) worklist;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
TAILQ_INIT(&worklist);
|
2003-04-18 07:09:43 +00:00
|
|
|
crit = _kse_critical_enter();
|
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &_thread_list_lock);
|
|
|
|
|
|
|
|
/* Check the threads waiting for GC. */
|
|
|
|
for (td = TAILQ_FIRST(&_thread_gc_list); td != NULL; td = td_next) {
|
|
|
|
td_next = TAILQ_NEXT(td, gcle);
|
|
|
|
if ((td->flags & THR_FLAGS_GC_SAFE) == 0)
|
|
|
|
continue;
|
2003-05-24 02:29:25 +00:00
|
|
|
else if (((td->attr.flags & PTHREAD_SCOPE_SYSTEM) != 0) &&
|
|
|
|
((td->kse->k_mbx.km_flags & KMF_DONE) == 0)) {
|
2003-04-18 07:09:43 +00:00
|
|
|
/*
|
|
|
|
* The thread and KSE are operating on the same
|
|
|
|
* stack. Wait for the KSE to exit before freeing
|
|
|
|
* the thread's stack as well as everything else.
|
|
|
|
*/
|
|
|
|
continue;
|
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
/*
|
|
|
|
* Remove the thread from the GC list. If the thread
|
|
|
|
* isn't yet detached, it will get added back to the
|
|
|
|
* GC list at a later time.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
THR_GCLIST_REMOVE(td);
|
2003-04-21 04:02:56 +00:00
|
|
|
DBG_MSG("Freeing thread %p stack\n", td);
|
|
|
|
/*
|
|
|
|
* We can free the thread stack since it's no longer
|
|
|
|
* in use.
|
|
|
|
*/
|
2003-04-18 07:09:43 +00:00
|
|
|
_thr_stack_free(&td->attr);
|
2003-04-21 04:02:56 +00:00
|
|
|
if (((td->attr.flags & PTHREAD_DETACHED) != 0) &&
|
|
|
|
(td->refcount == 0)) {
|
|
|
|
/*
|
|
|
|
* The thread has detached and is no longer
|
|
|
|
* referenced. It is safe to remove all
|
|
|
|
* remnants of the thread.
|
|
|
|
*/
|
2003-04-28 23:56:12 +00:00
|
|
|
THR_LIST_REMOVE(td);
|
2003-04-21 04:02:56 +00:00
|
|
|
TAILQ_INSERT_HEAD(&worklist, td, gcle);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &_thread_list_lock);
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
|
|
|
|
while ((td = TAILQ_FIRST(&worklist)) != NULL) {
|
|
|
|
TAILQ_REMOVE(&worklist, td, gcle);
|
2003-04-18 07:09:43 +00:00
|
|
|
|
2003-05-24 02:29:25 +00:00
|
|
|
if ((td->attr.flags & PTHREAD_SCOPE_SYSTEM) != 0) {
|
2003-04-21 04:02:56 +00:00
|
|
|
crit = _kse_critical_enter();
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &kse_lock);
|
|
|
|
kse_free_unlocked(td->kse);
|
2003-04-22 20:28:33 +00:00
|
|
|
kseg_free_unlocked(td->kseg);
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
/*
|
|
|
|
* XXX we don't free initial thread, because there might
|
|
|
|
* have some code referencing initial thread.
|
|
|
|
*/
|
|
|
|
if (td != _thr_initial) {
|
|
|
|
DBG_MSG("Freeing thread %p\n", td);
|
|
|
|
_thr_free(curthread, td);
|
|
|
|
} else
|
|
|
|
DBG_MSG("Initial thread won't be freed\n");
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2003-05-24 02:29:25 +00:00
|
|
|
/* XXX free kse and ksegrp list should be looked as well */
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Only new threads that are running or suspended may be scheduled.
|
|
|
|
*/
|
2003-04-22 20:28:33 +00:00
|
|
|
int
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_schedule_add(struct pthread *curthread, struct pthread *newthread)
|
|
|
|
{
|
|
|
|
kse_critical_t crit;
|
2003-04-22 20:28:33 +00:00
|
|
|
int ret;
|
2002-11-12 00:55:01 +00:00
|
|
|
|
2003-05-24 02:29:25 +00:00
|
|
|
/* Add the new thread. */
|
|
|
|
thr_link(newthread);
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* If this is the first time creating a thread, make sure
|
|
|
|
* the mailbox is set for the current thread.
|
|
|
|
*/
|
|
|
|
if ((newthread->attr.flags & PTHREAD_SCOPE_SYSTEM) != 0) {
|
2003-04-21 04:02:56 +00:00
|
|
|
#ifdef NOT_YET
|
|
|
|
/* We use the thread's stack as the KSE's stack. */
|
|
|
|
new_thread->kse->k_mbx.km_stack.ss_sp =
|
|
|
|
new_thread->attr.stackaddr_attr;
|
|
|
|
new_thread->kse->k_mbx.km_stack.ss_size =
|
|
|
|
new_thread->attr.stacksize_attr;
|
|
|
|
#endif
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* No need to lock the scheduling queue since the
|
|
|
|
* KSE/KSEG pair have not yet been started.
|
|
|
|
*/
|
|
|
|
KSEG_THRQ_ADD(newthread->kseg, newthread);
|
|
|
|
if (newthread->state == PS_RUNNING)
|
|
|
|
THR_RUNQ_INSERT_TAIL(newthread);
|
2003-04-21 04:02:56 +00:00
|
|
|
newthread->kse->k_curthread = NULL;
|
|
|
|
newthread->kse->k_mbx.km_flags = 0;
|
|
|
|
newthread->kse->k_mbx.km_func = (kse_func_t *)kse_sched_multi;
|
2003-04-22 21:32:32 +00:00
|
|
|
newthread->kse->k_mbx.km_quantum = 0;
|
2003-04-21 04:02:56 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* This thread needs a new KSE and KSEG.
|
|
|
|
*/
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
newthread->kse->k_flags &= ~KF_INITIALIZED;
|
|
|
|
newthread->kse->k_flags |= KF_STARTED;
|
2003-04-22 20:28:33 +00:00
|
|
|
ret = kse_create(&newthread->kse->k_mbx, 1);
|
|
|
|
if (ret != 0)
|
|
|
|
ret = errno;
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
/*
|
|
|
|
* Lock the KSE and add the new thread to its list of
|
|
|
|
* assigned threads. If the new thread is runnable, also
|
|
|
|
* add it to the KSE's run queue.
|
|
|
|
*/
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
crit = _kse_critical_enter();
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_SCHED_LOCK(curthread->kse, newthread->kseg);
|
|
|
|
KSEG_THRQ_ADD(newthread->kseg, newthread);
|
|
|
|
if (newthread->state == PS_RUNNING)
|
|
|
|
THR_RUNQ_INSERT_TAIL(newthread);
|
|
|
|
if ((newthread->kse->k_flags & KF_STARTED) == 0) {
|
2002-09-16 19:52:52 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* This KSE hasn't been started yet. Start it
|
|
|
|
* outside of holding the lock.
|
2002-09-16 19:52:52 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
newthread->kse->k_flags |= KF_STARTED;
|
2003-04-21 04:02:56 +00:00
|
|
|
newthread->kse->k_mbx.km_func =
|
|
|
|
(kse_func_t *)kse_sched_multi;
|
|
|
|
newthread->kse->k_mbx.km_flags = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
kse_create(&newthread->kse->k_mbx, 0);
|
2003-05-24 02:29:25 +00:00
|
|
|
} else if ((newthread->state == PS_RUNNING) &&
|
|
|
|
KSE_IS_IDLE(newthread->kse)) {
|
1996-01-22 00:23:58 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* The thread is being scheduled on another KSEG.
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
2003-04-28 23:56:12 +00:00
|
|
|
kse_wakeup_one(newthread);
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
}
|
2003-05-24 02:29:25 +00:00
|
|
|
KSE_SCHED_UNLOCK(curthread->kse, newthread->kseg);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
_kse_critical_leave(crit);
|
2003-04-22 20:28:33 +00:00
|
|
|
ret = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2003-05-24 02:29:25 +00:00
|
|
|
if (ret != 0)
|
|
|
|
thr_unlink(newthread);
|
|
|
|
|
2003-04-22 20:28:33 +00:00
|
|
|
return (ret);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
void
|
|
|
|
kse_waitq_insert(struct pthread *thread)
|
|
|
|
{
|
|
|
|
struct pthread *td;
|
|
|
|
|
|
|
|
if (thread->wakeup_time.tv_sec == -1)
|
|
|
|
TAILQ_INSERT_TAIL(&thread->kse->k_schedq->sq_waitq, thread,
|
|
|
|
pqe);
|
|
|
|
else {
|
|
|
|
td = TAILQ_FIRST(&thread->kse->k_schedq->sq_waitq);
|
|
|
|
while ((td != NULL) && (td->wakeup_time.tv_sec != -1) &&
|
|
|
|
((td->wakeup_time.tv_sec < thread->wakeup_time.tv_sec) ||
|
|
|
|
((td->wakeup_time.tv_sec == thread->wakeup_time.tv_sec) &&
|
|
|
|
(td->wakeup_time.tv_nsec <= thread->wakeup_time.tv_nsec))))
|
|
|
|
td = TAILQ_NEXT(td, pqe);
|
|
|
|
if (td == NULL)
|
|
|
|
TAILQ_INSERT_TAIL(&thread->kse->k_schedq->sq_waitq,
|
|
|
|
thread, pqe);
|
|
|
|
else
|
|
|
|
TAILQ_INSERT_BEFORE(td, thread, pqe);
|
|
|
|
}
|
|
|
|
thread->flags |= THR_FLAGS_IN_WAITQ;
|
|
|
|
}
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* This must be called with the scheduling lock held.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
kse_check_completed(struct kse *kse)
|
|
|
|
{
|
|
|
|
struct pthread *thread;
|
|
|
|
struct kse_thr_mailbox *completed;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
int sig;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
if ((completed = kse->k_mbx.km_completed) != NULL) {
|
|
|
|
kse->k_mbx.km_completed = NULL;
|
|
|
|
while (completed != NULL) {
|
|
|
|
thread = completed->tm_udata;
|
|
|
|
DBG_MSG("Found completed thread %p, name %s\n",
|
|
|
|
thread,
|
|
|
|
(thread->name == NULL) ? "none" : thread->name);
|
|
|
|
thread->blocked = 0;
|
2003-05-04 16:17:01 +00:00
|
|
|
if (thread != kse->k_curthread) {
|
|
|
|
if ((thread->flags & THR_FLAGS_SUSPENDED) != 0)
|
|
|
|
THR_SET_STATE(thread, PS_SUSPENDED);
|
|
|
|
else
|
|
|
|
KSE_RUNQ_INSERT_TAIL(kse, thread);
|
2003-05-16 19:58:30 +00:00
|
|
|
if ((thread->kse != kse) &&
|
|
|
|
(thread->kse->k_curthread == thread)) {
|
|
|
|
thread->kse->k_curthread = NULL;
|
|
|
|
thread->active = 0;
|
|
|
|
}
|
2003-05-04 16:17:01 +00:00
|
|
|
}
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
if ((sig = thread->tmbx.tm_syncsig.si_signo) != 0) {
|
|
|
|
if (SIGISMEMBER(thread->sigmask, sig))
|
|
|
|
SIGADDSET(thread->sigpend, sig);
|
|
|
|
else
|
|
|
|
_thr_sig_add(thread, sig, &thread->tmbx.tm_syncsig);
|
|
|
|
thread->tmbx.tm_syncsig.si_signo = 0;
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
completed = completed->tm_next;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* This must be called with the scheduling lock held.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
kse_check_waitq(struct kse *kse)
|
|
|
|
{
|
|
|
|
struct pthread *pthread;
|
|
|
|
struct timespec ts;
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_GET_TOD(kse, &ts);
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Wake up threads that have timedout. This has to be
|
|
|
|
* done before adding the current thread to the run queue
|
|
|
|
* so that a CPU intensive thread doesn't get preference
|
|
|
|
* over waiting threads.
|
|
|
|
*/
|
|
|
|
while (((pthread = KSE_WAITQ_FIRST(kse)) != NULL) &&
|
|
|
|
thr_timedout(pthread, &ts)) {
|
|
|
|
/* Remove the thread from the wait queue: */
|
|
|
|
KSE_WAITQ_REMOVE(kse, pthread);
|
|
|
|
DBG_MSG("Found timedout thread %p in waitq\n", pthread);
|
|
|
|
|
|
|
|
/* Indicate the thread timedout: */
|
|
|
|
pthread->timeout = 1;
|
|
|
|
|
|
|
|
/* Add the thread to the priority queue: */
|
2003-05-04 16:17:01 +00:00
|
|
|
if ((pthread->flags & THR_FLAGS_SUSPENDED) != 0)
|
|
|
|
THR_SET_STATE(pthread, PS_SUSPENDED);
|
|
|
|
else {
|
|
|
|
THR_SET_STATE(pthread, PS_RUNNING);
|
|
|
|
KSE_RUNQ_INSERT_TAIL(kse, pthread);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
thr_timedout(struct pthread *thread, struct timespec *curtime)
|
|
|
|
{
|
|
|
|
if (thread->wakeup_time.tv_sec < 0)
|
|
|
|
return (0);
|
|
|
|
else if (thread->wakeup_time.tv_sec > curtime->tv_sec)
|
|
|
|
return (0);
|
|
|
|
else if ((thread->wakeup_time.tv_sec == curtime->tv_sec) &&
|
|
|
|
(thread->wakeup_time.tv_nsec > curtime->tv_nsec))
|
|
|
|
return (0);
|
|
|
|
else
|
|
|
|
return (1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This must be called with the scheduling lock held.
|
|
|
|
*
|
|
|
|
* Each thread has a time slice, a wakeup time (used when it wants
|
|
|
|
* to wait for a specified amount of time), a run state, and an
|
|
|
|
* active flag.
|
|
|
|
*
|
|
|
|
* When a thread gets run by the scheduler, the active flag is
|
|
|
|
* set to non-zero (1). When a thread performs an explicit yield
|
|
|
|
* or schedules a state change, it enters the scheduler and the
|
|
|
|
* active flag is cleared. When the active flag is still seen
|
|
|
|
* set in the scheduler, that means that the thread is blocked in
|
|
|
|
* the kernel (because it is cleared before entering the scheduler
|
|
|
|
* in all other instances).
|
|
|
|
*
|
|
|
|
* The wakeup time is only set for those states that can timeout.
|
|
|
|
* It is set to (-1, -1) for all other instances.
|
|
|
|
*
|
|
|
|
* The thread's run state, aside from being useful when debugging,
|
|
|
|
* is used to place the thread in an appropriate queue. There
|
|
|
|
* are 2 basic queues:
|
|
|
|
*
|
|
|
|
* o run queue - queue ordered by priority for all threads
|
|
|
|
* that are runnable
|
|
|
|
* o waiting queue - queue sorted by wakeup time for all threads
|
|
|
|
* that are not otherwise runnable (not blocked
|
|
|
|
* in kernel, not waiting for locks)
|
|
|
|
*
|
|
|
|
* The thread's time slice is used for round-robin scheduling
|
|
|
|
* (the default scheduling policy). While a SCHED_RR thread
|
|
|
|
* is runnable it's time slice accumulates. When it reaches
|
|
|
|
* the time slice interval, it gets reset and added to the end
|
|
|
|
* of the queue of threads at its priority. When a thread no
|
|
|
|
* longer becomes runnable (blocks in kernel, waits, etc), its
|
|
|
|
* time slice is reset.
|
|
|
|
*
|
|
|
|
* The job of kse_switchout_thread() is to handle all of the above.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
kse_switchout_thread(struct kse *kse, struct pthread *thread)
|
|
|
|
{
|
|
|
|
int level;
|
2003-05-16 19:58:30 +00:00
|
|
|
int i;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
int restart;
|
|
|
|
siginfo_t siginfo;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Place the currently running thread into the
|
|
|
|
* appropriate queue(s).
|
|
|
|
*/
|
|
|
|
DBG_MSG("Switching out thread %p, state %d\n", thread, thread->state);
|
2003-05-16 19:58:30 +00:00
|
|
|
|
|
|
|
THR_DEACTIVATE_LAST_LOCK(thread);
|
2003-04-18 05:04:16 +00:00
|
|
|
if (thread->blocked != 0) {
|
2003-04-28 23:56:12 +00:00
|
|
|
thread->active = 0;
|
|
|
|
thread->need_switchout = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
/* This thread must have blocked in the kernel. */
|
|
|
|
/* thread->slice_usec = -1;*/ /* restart timeslice */
|
|
|
|
if ((thread->slice_usec != -1) &&
|
|
|
|
(thread->attr.sched_policy != SCHED_FIFO))
|
|
|
|
thread->slice_usec += (thread->tmbx.tm_uticks
|
|
|
|
+ thread->tmbx.tm_sticks) * _clock_res_usec;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
/*
|
|
|
|
* Check for pending signals for this thread to
|
|
|
|
* see if we need to interrupt it in the kernel.
|
|
|
|
*/
|
|
|
|
if (thread->check_pending != 0) {
|
|
|
|
for (i = 1; i <= _SIG_MAXSIG; ++i) {
|
|
|
|
if (SIGISMEMBER(thread->sigpend, i) &&
|
|
|
|
!SIGISMEMBER(thread->sigmask, i)) {
|
|
|
|
restart = _thread_sigact[1 - 1].sa_flags & SA_RESTART;
|
|
|
|
kse_thr_interrupt(&thread->tmbx,
|
|
|
|
restart ? -2 : -1);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
else {
|
|
|
|
switch (thread->state) {
|
|
|
|
case PS_DEAD:
|
1996-01-22 00:23:58 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* The scheduler is operating on a different
|
|
|
|
* stack. It is safe to do garbage collecting
|
|
|
|
* here.
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
2003-04-28 23:56:12 +00:00
|
|
|
thread->active = 0;
|
|
|
|
thread->need_switchout = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
thr_cleanup(kse, thread);
|
|
|
|
return;
|
|
|
|
break;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
case PS_RUNNING:
|
2003-05-04 16:17:01 +00:00
|
|
|
if ((thread->flags & THR_FLAGS_SUSPENDED) != 0)
|
|
|
|
THR_SET_STATE(thread, PS_SUSPENDED);
|
2003-04-18 05:04:16 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case PS_COND_WAIT:
|
|
|
|
case PS_SLEEP_WAIT:
|
|
|
|
/* Insert into the waiting queue: */
|
|
|
|
KSE_WAITQ_INSERT(kse, thread);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case PS_LOCKWAIT:
|
2000-01-19 07:04:50 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* This state doesn't timeout.
|
2000-01-19 07:04:50 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
thread->wakeup_time.tv_sec = -1;
|
|
|
|
thread->wakeup_time.tv_nsec = -1;
|
|
|
|
level = thread->locklevel - 1;
|
2003-05-24 02:29:25 +00:00
|
|
|
if (!_LCK_GRANTED(&thread->lockusers[level]))
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_WAITQ_INSERT(kse, thread);
|
|
|
|
else
|
|
|
|
THR_SET_STATE(thread, PS_RUNNING);
|
|
|
|
break;
|
|
|
|
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
case PS_SIGWAIT:
|
|
|
|
KSE_WAITQ_INSERT(kse, thread);
|
|
|
|
break;
|
2003-04-18 05:04:16 +00:00
|
|
|
case PS_JOIN:
|
|
|
|
case PS_MUTEX_WAIT:
|
|
|
|
case PS_SIGSUSPEND:
|
|
|
|
case PS_SUSPENDED:
|
|
|
|
case PS_DEADLOCK:
|
|
|
|
default:
|
2000-01-19 07:04:50 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* These states don't timeout.
|
2000-01-19 07:04:50 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
thread->wakeup_time.tv_sec = -1;
|
|
|
|
thread->wakeup_time.tv_nsec = -1;
|
|
|
|
|
|
|
|
/* Insert into the waiting queue: */
|
|
|
|
KSE_WAITQ_INSERT(kse, thread);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (thread->state != PS_RUNNING) {
|
|
|
|
/* Restart the time slice: */
|
|
|
|
thread->slice_usec = -1;
|
2002-10-30 06:07:18 +00:00
|
|
|
} else {
|
2003-04-18 05:04:16 +00:00
|
|
|
if (thread->need_switchout != 0)
|
|
|
|
/*
|
|
|
|
* The thread yielded on its own;
|
|
|
|
* restart the timeslice.
|
|
|
|
*/
|
|
|
|
thread->slice_usec = -1;
|
|
|
|
else if ((thread->slice_usec != -1) &&
|
|
|
|
(thread->attr.sched_policy != SCHED_FIFO)) {
|
|
|
|
thread->slice_usec += (thread->tmbx.tm_uticks
|
|
|
|
+ thread->tmbx.tm_sticks) * _clock_res_usec;
|
|
|
|
/* Check for time quantum exceeded: */
|
|
|
|
if (thread->slice_usec > TIMESLICE_USEC)
|
|
|
|
thread->slice_usec = -1;
|
2002-11-12 00:55:01 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
if (thread->slice_usec == -1) {
|
|
|
|
/*
|
|
|
|
* The thread exceeded its time quantum or
|
|
|
|
* it yielded the CPU; place it at the tail
|
|
|
|
* of the queue for its priority.
|
|
|
|
*/
|
|
|
|
KSE_RUNQ_INSERT_TAIL(kse, thread);
|
|
|
|
} else {
|
2002-11-12 00:55:01 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* The thread hasn't exceeded its interval
|
|
|
|
* Place it at the head of the queue for its
|
|
|
|
* priority.
|
2002-11-12 00:55:01 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_RUNQ_INSERT_HEAD(kse, thread);
|
|
|
|
}
|
1996-01-22 00:23:58 +00:00
|
|
|
}
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
thread->active = 0;
|
|
|
|
thread->need_switchout = 0;
|
2003-05-16 19:58:30 +00:00
|
|
|
if (thread->check_pending != 0) {
|
|
|
|
/* Install pending signals into the frame. */
|
|
|
|
thread->check_pending = 0;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
KSE_LOCK_ACQUIRE(kse, &_thread_signal_lock);
|
|
|
|
for (i = 1; i <= _SIG_MAXSIG; i++) {
|
|
|
|
if (SIGISMEMBER(thread->sigmask, i))
|
|
|
|
continue;
|
|
|
|
if (SIGISMEMBER(thread->sigpend, i))
|
2003-06-30 06:16:50 +00:00
|
|
|
_thr_sig_add(thread, i, &thread->siginfo[i-1]);
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
else if (SIGISMEMBER(_thr_proc_sigpending, i) &&
|
|
|
|
_thr_getprocsig_unlocked(i, &siginfo)) {
|
|
|
|
_thr_sig_add(thread, i, &siginfo);
|
|
|
|
}
|
2003-05-16 19:58:30 +00:00
|
|
|
}
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
KSE_LOCK_RELEASE(kse, &_thread_signal_lock);
|
2003-05-16 19:58:30 +00:00
|
|
|
}
|
1996-01-22 00:23:58 +00:00
|
|
|
}
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* This function waits for the smallest timeout value of any waiting
|
|
|
|
* thread, or until it receives a message from another KSE.
|
|
|
|
*
|
|
|
|
* This must be called with the scheduling lock held.
|
|
|
|
*/
|
|
|
|
static void
|
2003-04-21 04:02:56 +00:00
|
|
|
kse_wait(struct kse *kse, struct pthread *td_wait)
|
1996-01-22 00:23:58 +00:00
|
|
|
{
|
2003-04-21 04:02:56 +00:00
|
|
|
struct timespec ts, ts_sleep;
|
|
|
|
int saved_flags;
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
KSE_GET_TOD(kse, &ts);
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
if ((td_wait == NULL) || (td_wait->wakeup_time.tv_sec < 0)) {
|
2003-04-22 20:28:33 +00:00
|
|
|
/* Limit sleep to no more than 1 minute. */
|
|
|
|
ts_sleep.tv_sec = 60;
|
2003-04-21 04:02:56 +00:00
|
|
|
ts_sleep.tv_nsec = 0;
|
|
|
|
} else {
|
|
|
|
TIMESPEC_SUB(&ts_sleep, &td_wait->wakeup_time, &ts);
|
2003-04-22 20:28:33 +00:00
|
|
|
if (ts_sleep.tv_sec > 60) {
|
|
|
|
ts_sleep.tv_sec = 60;
|
2003-04-18 05:04:16 +00:00
|
|
|
ts_sleep.tv_nsec = 0;
|
|
|
|
}
|
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
/* Don't sleep for negative times. */
|
|
|
|
if ((ts_sleep.tv_sec >= 0) && (ts_sleep.tv_nsec >= 0)) {
|
2003-04-28 23:56:12 +00:00
|
|
|
KSE_SET_IDLE(kse);
|
|
|
|
kse->k_kseg->kg_idle_kses++;
|
2003-04-21 04:02:56 +00:00
|
|
|
KSE_SCHED_UNLOCK(kse, kse->k_kseg);
|
|
|
|
saved_flags = kse->k_mbx.km_flags;
|
|
|
|
kse->k_mbx.km_flags |= KMF_NOUPCALL;
|
|
|
|
kse_release(&ts_sleep);
|
|
|
|
kse->k_mbx.km_flags = saved_flags;
|
|
|
|
KSE_SCHED_LOCK(kse, kse->k_kseg);
|
2003-04-28 23:56:12 +00:00
|
|
|
if (KSE_IS_IDLE(kse)) {
|
|
|
|
KSE_CLEAR_IDLE(kse);
|
|
|
|
kse->k_kseg->kg_idle_kses--;
|
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
}
|
1996-01-22 00:23:58 +00:00
|
|
|
}
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Avoid calling this kse_exit() so as not to confuse it with the
|
|
|
|
* system call of the same name.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
kse_fini(struct kse *kse)
|
1998-11-15 09:58:26 +00:00
|
|
|
{
|
2003-05-24 02:29:25 +00:00
|
|
|
/* struct kse_group *free_kseg = NULL; */
|
2003-04-18 05:04:16 +00:00
|
|
|
struct timespec ts;
|
2001-01-24 13:03:38 +00:00
|
|
|
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
/*
|
2003-04-18 07:09:43 +00:00
|
|
|
* Check to see if this is one of the main kses.
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
*/
|
2003-05-24 02:29:25 +00:00
|
|
|
if (kse->k_kseg != _kse_initial->k_kseg) {
|
|
|
|
PANIC("shouldn't get here");
|
|
|
|
/* This is for supporting thread groups. */
|
|
|
|
#ifdef NOT_YET
|
2003-04-18 07:09:43 +00:00
|
|
|
/* Remove this KSE from the KSEG's list of KSEs. */
|
|
|
|
KSE_SCHED_LOCK(kse, kse->k_kseg);
|
|
|
|
TAILQ_REMOVE(&kse->k_kseg->kg_kseq, kse, k_kgqe);
|
2003-04-22 20:28:33 +00:00
|
|
|
kse->k_kseg->kg_ksecount--;
|
2003-04-18 07:09:43 +00:00
|
|
|
if (TAILQ_EMPTY(&kse->k_kseg->kg_kseq))
|
|
|
|
free_kseg = kse->k_kseg;
|
|
|
|
KSE_SCHED_UNLOCK(kse, kse->k_kseg);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Add this KSE to the list of free KSEs along with
|
|
|
|
* the KSEG if is now orphaned.
|
|
|
|
*/
|
|
|
|
KSE_LOCK_ACQUIRE(kse, &kse_lock);
|
|
|
|
if (free_kseg != NULL)
|
2003-04-22 20:28:33 +00:00
|
|
|
kseg_free_unlocked(free_kseg);
|
2003-04-18 07:09:43 +00:00
|
|
|
kse_free_unlocked(kse);
|
|
|
|
KSE_LOCK_RELEASE(kse, &kse_lock);
|
|
|
|
kse_exit();
|
|
|
|
/* Never returns. */
|
2003-05-24 02:29:25 +00:00
|
|
|
PANIC("kse_exit()");
|
|
|
|
#endif
|
2003-04-18 07:09:43 +00:00
|
|
|
} else {
|
2003-05-24 02:29:25 +00:00
|
|
|
#ifdef NOT_YET
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
2003-05-24 02:29:25 +00:00
|
|
|
* In future, we might allow program to kill
|
|
|
|
* kse in initial group.
|
2003-04-18 05:04:16 +00:00
|
|
|
*/
|
2003-05-24 02:29:25 +00:00
|
|
|
if (kse != _kse_initial) {
|
|
|
|
KSE_SCHED_LOCK(kse, kse->k_kseg);
|
|
|
|
TAILQ_REMOVE(&kse->k_kseg->kg_kseq, kse, k_kgqe);
|
|
|
|
kse->k_kseg->kg_ksecount--;
|
|
|
|
KSE_SCHED_UNLOCK(kse, kse->k_kseg);
|
|
|
|
KSE_LOCK_ACQUIRE(kse, &kse_lock);
|
|
|
|
kse_free_unlocked(kse);
|
|
|
|
KSE_LOCK_RELEASE(kse, &kse_lock);
|
|
|
|
kse_exit();
|
|
|
|
/* Never returns. */
|
|
|
|
PANIC("kse_exit() failed for initial kseg");
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
KSE_SCHED_LOCK(kse, kse->k_kseg);
|
|
|
|
KSE_SET_IDLE(kse);
|
|
|
|
kse->k_kseg->kg_idle_kses++;
|
|
|
|
KSE_SCHED_UNLOCK(kse, kse->k_kseg);
|
2003-04-18 05:04:16 +00:00
|
|
|
ts.tv_sec = 120;
|
|
|
|
ts.tv_nsec = 0;
|
2003-05-24 02:29:25 +00:00
|
|
|
kse->k_mbx.km_flags = 0;
|
|
|
|
kse_release(&ts);
|
|
|
|
/* Never reach */
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
1998-11-15 09:58:26 +00:00
|
|
|
}
|
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
void
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_set_timeout(const struct timespec *timeout)
|
1996-01-22 00:23:58 +00:00
|
|
|
{
|
2001-01-24 13:03:38 +00:00
|
|
|
struct pthread *curthread = _get_curthread();
|
2003-04-18 05:04:16 +00:00
|
|
|
struct timespec ts;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/* Reset the timeout flag for the running thread: */
|
2001-01-24 13:03:38 +00:00
|
|
|
curthread->timeout = 0;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/* Check if the thread is to wait forever: */
|
|
|
|
if (timeout == NULL) {
|
|
|
|
/*
|
|
|
|
* Set the wakeup time to something that can be recognised as
|
2000-11-09 05:08:26 +00:00
|
|
|
* different to an actual time of day:
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
2001-01-24 13:03:38 +00:00
|
|
|
curthread->wakeup_time.tv_sec = -1;
|
|
|
|
curthread->wakeup_time.tv_nsec = -1;
|
1996-01-22 00:23:58 +00:00
|
|
|
}
|
|
|
|
/* Check if no waiting is required: */
|
2003-04-18 05:04:16 +00:00
|
|
|
else if ((timeout->tv_sec == 0) && (timeout->tv_nsec == 0)) {
|
1996-01-22 00:23:58 +00:00
|
|
|
/* Set the wake up time to 'immediately': */
|
2001-01-24 13:03:38 +00:00
|
|
|
curthread->wakeup_time.tv_sec = 0;
|
|
|
|
curthread->wakeup_time.tv_nsec = 0;
|
1996-01-22 00:23:58 +00:00
|
|
|
} else {
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Calculate the time for the current thread to wakeup: */
|
|
|
|
KSE_GET_TOD(curthread->kse, &ts);
|
|
|
|
TIMESPEC_ADD(&curthread->wakeup_time, &ts, timeout);
|
1996-01-22 00:23:58 +00:00
|
|
|
}
|
|
|
|
}
|
1999-03-23 05:07:56 +00:00
|
|
|
|
|
|
|
void
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_panic_exit(char *file, int line, char *msg)
|
1999-03-23 05:07:56 +00:00
|
|
|
{
|
2003-04-18 05:04:16 +00:00
|
|
|
char buf[256];
|
2001-01-24 13:03:38 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
snprintf(buf, sizeof(buf), "(%s:%d) %s\n", file, line, msg);
|
|
|
|
__sys_write(2, buf, strlen(buf));
|
|
|
|
abort();
|
1999-03-23 05:07:56 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_setrunnable(struct pthread *curthread, struct pthread *thread)
|
1999-03-23 05:07:56 +00:00
|
|
|
{
|
2003-04-18 05:04:16 +00:00
|
|
|
kse_critical_t crit;
|
|
|
|
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
KSE_SCHED_LOCK(curthread->kse, thread->kseg);
|
|
|
|
_thr_setrunnable_unlocked(thread);
|
|
|
|
KSE_SCHED_UNLOCK(curthread->kse, thread->kseg);
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
_thr_setrunnable_unlocked(struct pthread *thread)
|
|
|
|
{
|
2003-05-04 16:17:01 +00:00
|
|
|
if ((thread->kseg->kg_flags & KGF_SINGLE_THREAD) != 0) {
|
2003-04-18 05:04:16 +00:00
|
|
|
/* No silly queues for these threads. */
|
2003-05-04 16:17:01 +00:00
|
|
|
if ((thread->flags & THR_FLAGS_SUSPENDED) != 0)
|
|
|
|
THR_SET_STATE(thread, PS_SUSPENDED);
|
|
|
|
else
|
|
|
|
THR_SET_STATE(thread, PS_RUNNING);
|
2003-05-16 19:58:30 +00:00
|
|
|
} else if (thread->state != PS_RUNNING) {
|
2003-04-18 05:04:16 +00:00
|
|
|
if ((thread->flags & THR_FLAGS_IN_WAITQ) != 0)
|
|
|
|
KSE_WAITQ_REMOVE(thread->kse, thread);
|
2003-05-04 16:17:01 +00:00
|
|
|
if ((thread->flags & THR_FLAGS_SUSPENDED) != 0)
|
|
|
|
THR_SET_STATE(thread, PS_SUSPENDED);
|
|
|
|
else {
|
|
|
|
THR_SET_STATE(thread, PS_RUNNING);
|
2003-05-16 19:58:30 +00:00
|
|
|
if ((thread->blocked == 0) && (thread->active == 0) &&
|
2003-05-04 16:17:01 +00:00
|
|
|
(thread->flags & THR_FLAGS_IN_RUNQ) == 0)
|
|
|
|
THR_RUNQ_INSERT_TAIL(thread);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
/*
|
|
|
|
* XXX - Threads are not yet assigned to specific KSEs; they are
|
|
|
|
* assigned to the KSEG. So the fact that a thread's KSE is
|
|
|
|
* waiting doesn't necessarily mean that it will be the KSE
|
|
|
|
* that runs the thread after the lock is granted. But we
|
|
|
|
* don't know if the other KSEs within the same KSEG are
|
|
|
|
* also in a waiting state or not so we err on the side of
|
|
|
|
* caution and wakeup the thread's last known KSE. We
|
|
|
|
* ensure that the threads KSE doesn't change while it's
|
|
|
|
* scheduling lock is held so it is safe to reference it
|
|
|
|
* (the KSE). If the KSE wakes up and doesn't find any more
|
|
|
|
* work it will again go back to waiting so no harm is done.
|
|
|
|
*/
|
2003-04-28 23:56:12 +00:00
|
|
|
kse_wakeup_one(thread);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
kse_wakeup_one(struct pthread *thread)
|
|
|
|
{
|
|
|
|
struct kse *ke;
|
|
|
|
|
|
|
|
if (KSE_IS_IDLE(thread->kse)) {
|
|
|
|
KSE_CLEAR_IDLE(thread->kse);
|
|
|
|
thread->kseg->kg_idle_kses--;
|
2003-04-18 05:04:16 +00:00
|
|
|
KSE_WAKEUP(thread->kse);
|
2003-04-28 23:56:12 +00:00
|
|
|
} else {
|
|
|
|
TAILQ_FOREACH(ke, &thread->kseg->kg_kseq, k_kgqe) {
|
|
|
|
if (KSE_IS_IDLE(ke)) {
|
|
|
|
KSE_CLEAR_IDLE(ke);
|
|
|
|
ke->k_kseg->kg_idle_kses--;
|
|
|
|
KSE_WAKEUP(ke);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
kse_wakeup_multi(struct kse *curkse)
|
|
|
|
{
|
|
|
|
struct kse *ke;
|
|
|
|
int tmp;
|
|
|
|
|
|
|
|
if ((tmp = KSE_RUNQ_THREADS(curkse)) && curkse->k_kseg->kg_idle_kses) {
|
|
|
|
TAILQ_FOREACH(ke, &curkse->k_kseg->kg_kseq, k_kgqe) {
|
|
|
|
if (KSE_IS_IDLE(ke)) {
|
|
|
|
KSE_CLEAR_IDLE(ke);
|
|
|
|
ke->k_kseg->kg_idle_kses--;
|
|
|
|
KSE_WAKEUP(ke);
|
|
|
|
if (--tmp == 0)
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
struct pthread *
|
|
|
|
_get_curthread(void)
|
|
|
|
{
|
2003-06-23 09:49:16 +00:00
|
|
|
return (_ksd_curthread());
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* This assumes the caller has disabled upcalls. */
|
|
|
|
struct kse *
|
|
|
|
_get_curkse(void)
|
|
|
|
{
|
2003-06-23 09:49:16 +00:00
|
|
|
return (_ksd_curkse());
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
_set_curkse(struct kse *kse)
|
|
|
|
{
|
|
|
|
_ksd_setprivate(&kse->k_ksd);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Allocate a new KSEG.
|
|
|
|
*
|
2003-04-18 07:09:43 +00:00
|
|
|
* We allow the current thread to be NULL in the case that this
|
2003-04-18 05:04:16 +00:00
|
|
|
* is the first time a KSEG is being created (library initialization).
|
|
|
|
* In this case, we don't need to (and can't) take any locks.
|
|
|
|
*/
|
|
|
|
struct kse_group *
|
2003-04-18 07:09:43 +00:00
|
|
|
_kseg_alloc(struct pthread *curthread)
|
2003-04-18 05:04:16 +00:00
|
|
|
{
|
|
|
|
struct kse_group *kseg = NULL;
|
2003-04-18 07:09:43 +00:00
|
|
|
kse_critical_t crit;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-18 07:09:43 +00:00
|
|
|
if ((curthread != NULL) && (free_kseg_count > 0)) {
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Use the kse lock for the kseg queue. */
|
2003-04-18 07:09:43 +00:00
|
|
|
crit = _kse_critical_enter();
|
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &kse_lock);
|
2003-04-18 05:04:16 +00:00
|
|
|
if ((kseg = TAILQ_FIRST(&free_kse_groupq)) != NULL) {
|
|
|
|
TAILQ_REMOVE(&free_kse_groupq, kseg, kg_qe);
|
|
|
|
free_kseg_count--;
|
|
|
|
active_kseg_count++;
|
|
|
|
TAILQ_INSERT_TAIL(&active_kse_groupq, kseg, kg_qe);
|
|
|
|
}
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
2003-04-21 04:02:56 +00:00
|
|
|
if (kseg)
|
|
|
|
kseg_reinit(kseg);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2001-01-24 13:03:38 +00:00
|
|
|
|
1999-03-23 05:07:56 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* If requested, attempt to allocate a new KSE group only if the
|
|
|
|
* KSE allocation was successful and a KSE group wasn't found in
|
|
|
|
* the free list.
|
1999-03-23 05:07:56 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
if ((kseg == NULL) &&
|
|
|
|
((kseg = (struct kse_group *)malloc(sizeof(*kseg))) != NULL)) {
|
2003-04-18 07:09:43 +00:00
|
|
|
if (_pq_alloc(&kseg->kg_schedq.sq_runq,
|
|
|
|
THR_MIN_PRIORITY, THR_LAST_PRIORITY) != 0) {
|
|
|
|
free(kseg);
|
|
|
|
kseg = NULL;
|
|
|
|
} else {
|
|
|
|
kseg_init(kseg);
|
|
|
|
/* Add the KSEG to the list of active KSEGs. */
|
|
|
|
if (curthread != NULL) {
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &kse_lock);
|
|
|
|
active_kseg_count++;
|
|
|
|
TAILQ_INSERT_TAIL(&active_kse_groupq,
|
|
|
|
kseg, kg_qe);
|
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
} else {
|
|
|
|
active_kseg_count++;
|
|
|
|
TAILQ_INSERT_TAIL(&active_kse_groupq,
|
|
|
|
kseg, kg_qe);
|
|
|
|
}
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
return (kseg);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This must be called with the kse lock held and when there are
|
|
|
|
* no more threads that reference it.
|
|
|
|
*/
|
|
|
|
static void
|
2003-04-22 20:28:33 +00:00
|
|
|
kseg_free_unlocked(struct kse_group *kseg)
|
2003-04-18 05:04:16 +00:00
|
|
|
{
|
2003-04-18 07:09:43 +00:00
|
|
|
TAILQ_REMOVE(&active_kse_groupq, kseg, kg_qe);
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_INSERT_HEAD(&free_kse_groupq, kseg, kg_qe);
|
|
|
|
free_kseg_count++;
|
|
|
|
active_kseg_count--;
|
|
|
|
}
|
|
|
|
|
2003-04-22 20:28:33 +00:00
|
|
|
void
|
|
|
|
_kseg_free(struct kse_group *kseg)
|
|
|
|
{
|
|
|
|
struct kse *curkse;
|
|
|
|
kse_critical_t crit;
|
|
|
|
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
curkse = _get_curkse();
|
|
|
|
KSE_LOCK_ACQUIRE(curkse, &kse_lock);
|
|
|
|
kseg_free_unlocked(kseg);
|
|
|
|
KSE_LOCK_RELEASE(curkse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Allocate a new KSE.
|
|
|
|
*
|
2003-04-18 07:09:43 +00:00
|
|
|
* We allow the current thread to be NULL in the case that this
|
2003-04-18 05:04:16 +00:00
|
|
|
* is the first time a KSE is being created (library initialization).
|
|
|
|
* In this case, we don't need to (and can't) take any locks.
|
|
|
|
*/
|
|
|
|
struct kse *
|
2003-04-18 07:09:43 +00:00
|
|
|
_kse_alloc(struct pthread *curthread)
|
2003-04-18 05:04:16 +00:00
|
|
|
{
|
|
|
|
struct kse *kse = NULL;
|
2003-04-18 07:09:43 +00:00
|
|
|
kse_critical_t crit;
|
2003-04-18 05:04:16 +00:00
|
|
|
int need_ksd = 0;
|
|
|
|
int i;
|
|
|
|
|
2003-04-18 07:09:43 +00:00
|
|
|
if ((curthread != NULL) && (free_kse_count > 0)) {
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &kse_lock);
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Search for a finished KSE. */
|
|
|
|
kse = TAILQ_FIRST(&free_kseq);
|
|
|
|
while ((kse != NULL) &&
|
2003-05-24 02:29:25 +00:00
|
|
|
((kse->k_mbx.km_flags & KMF_DONE) == 0)) {
|
2003-04-18 05:04:16 +00:00
|
|
|
kse = TAILQ_NEXT(kse, k_qe);
|
|
|
|
}
|
|
|
|
if (kse != NULL) {
|
2003-05-24 02:29:25 +00:00
|
|
|
DBG_MSG("found an unused kse.\n");
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_REMOVE(&free_kseq, kse, k_qe);
|
|
|
|
free_kse_count--;
|
|
|
|
TAILQ_INSERT_TAIL(&active_kseq, kse, k_qe);
|
2003-04-22 20:28:33 +00:00
|
|
|
active_kse_count++;
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
2003-04-23 21:46:50 +00:00
|
|
|
if (kse != NULL)
|
|
|
|
kse_reinit(kse);
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
if ((kse == NULL) &&
|
|
|
|
((kse = (struct kse *)malloc(sizeof(*kse))) != NULL)) {
|
|
|
|
bzero(kse, sizeof(*kse));
|
|
|
|
|
|
|
|
/* Initialize the lockusers. */
|
|
|
|
for (i = 0; i < MAX_KSE_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_init(&kse->k_lockusers[i], (void *)kse);
|
|
|
|
_LCK_SET_PRIVATE2(&kse->k_lockusers[i], NULL);
|
|
|
|
}
|
2003-04-21 04:02:56 +00:00
|
|
|
/* _lock_init(kse->k_lock, ...) */
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/* We had to malloc a kse; mark it as needing a new ID.*/
|
|
|
|
need_ksd = 1;
|
In the words of the author:
o The polling mechanism for I/O readiness was changed from
select() to poll(). In additon, a wrapped version of poll()
is now provided.
o The wrapped select routine now converts each fd_set to a
poll array so that the thread scheduler doesn't have to
perform a bitwise search for selected fds each time file
descriptors are polled for I/O readiness.
o The thread scheduler was modified to use a new queue (_workq)
for threads that need work. Threads waiting for I/O readiness
and spinblocks are added to the work queue in addition to the
waiting queue. This reduces the time spent forming/searching
the array of file descriptors being polled.
o The waiting queue (_waitingq) is now maintained in order of
thread wakeup time. This allows the thread scheduler to
find the nearest wakeup time by looking at the first thread
in the queue instead of searching the entire queue.
o Removed file descriptor locking for select/poll routines. An
application should not rely on the threads library for providing
this locking; if necessary, the application should use mutexes
to protect selecting/polling of file descriptors.
o Retrieve and use the kernel clock rate/resolution at startup
instead of hardcoding the clock resolution to 10 msec (tested
with kernel running at 1000 HZ).
o All queues have been changed to use queue.h macros. These
include the queues of all threads, dead threads, and threads
waiting for file descriptor locks.
o Added reinitialization of the GC mutex and condition variable
after a fork. Also prevented reallocation of the ready queue
after a fork.
o Prevented the wrapped close routine from closing the thread
kernel pipes.
o Initialized file descriptor table for stdio entries at thread
init.
o Provided additional flags to indicate to what queues threads
belong.
o Moved TAILQ initialization for statically allocated mutex and
condition variables to after the spinlock.
o Added dispatching of signals to pthread_kill. Removing the
dispatching of signals from thread activation broke sigsuspend
when pthread_kill was used to send a signal to a thread.
o Temporarily set the state of a thread to PS_SUSPENDED when it
is first created and placed in the list of threads so that it
will not be accidentally scheduled before becoming a member
of one of the scheduling queues.
o Change the signal handler to queue signals to the thread kernel
pipe if the scheduling queues are protected. When scheduling
queues are unprotected, signals are then dequeued and handled.
o Ensured that all installed signal handlers block the scheduling
signal and that the scheduling signal handler blocks all
other signals. This ensures that the signal handler is only
interruptible for and by non-scheduling signals. An atomic
lock is used to decide which instance of the signal handler
will handle pending signals.
o Removed _lock_thread_list and _unlock_thread_list as they are
no longer used to protect the thread list.
o Added missing RCS IDs to modified files.
o Added checks for appropriate queue membership and activity when
adding, removing, and searching the scheduling queues. These
checks add very little overhead and are enabled when compiled
with _PTHREADS_INVARIANTS defined. Suggested and implemented
by Tor Egge with some modification by me.
o Close a race condition in uthread_close. (Tor Egge)
o Protect the scheduling queues while modifying them in
pthread_cond_signal and _thread_fd_unlock. (Tor Egge)
o Ensure that when a thread gets a mutex, the mutex is on that
threads list of owned mutexes. (Tor Egge)
o Set the kernel-in-scheduler flag in _thread_kern_sched_state
and _thread_kern_sched_state_unlock to prevent a scheduling
signal from calling the scheduler again. (Tor Egge)
o Don't use TAILQ_FOREACH macro while searching the waiting
queue for threads in a sigwait state, because a change of
state destroys the TAILQ link. It is actually safe to do
so, though, because once a sigwaiting thread is found, the
loop ends and the function returns. (Tor Egge)
o When dispatching signals to threads, make the thread inherit
the signal deferral flag of the currently running thread.
(Tor Egge)
Submitted by: Daniel Eischen <eischen@vigrid.com> and
Tor Egge <Tor.Egge@fast.no>
1999-06-20 08:28:48 +00:00
|
|
|
|
2000-11-09 05:08:26 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Create the KSE context.
|
|
|
|
*
|
|
|
|
* XXX - For now this is done here in the allocation.
|
|
|
|
* In the future, we may want to have it done
|
|
|
|
* outside the allocation so that scope system
|
|
|
|
* threads (one thread per KSE) are not required
|
|
|
|
* to have a stack for an unneeded kse upcall.
|
2000-10-13 22:12:32 +00:00
|
|
|
*/
|
2003-04-21 04:02:56 +00:00
|
|
|
kse->k_mbx.km_func = (kse_func_t *)kse_sched_multi;
|
2003-04-18 05:04:16 +00:00
|
|
|
kse->k_mbx.km_stack.ss_sp = (char *)malloc(KSE_STACKSIZE);
|
|
|
|
kse->k_mbx.km_stack.ss_size = KSE_STACKSIZE;
|
|
|
|
kse->k_mbx.km_udata = (void *)kse;
|
|
|
|
kse->k_mbx.km_quantum = 20000;
|
2003-04-21 04:02:56 +00:00
|
|
|
/*
|
|
|
|
* We need to keep a copy of the stack in case it
|
|
|
|
* doesn't get used; a KSE running a scope system
|
|
|
|
* thread will use that thread's stack.
|
|
|
|
*/
|
|
|
|
kse->k_stack.ss_sp = kse->k_mbx.km_stack.ss_sp;
|
|
|
|
kse->k_stack.ss_size = kse->k_mbx.km_stack.ss_size;
|
|
|
|
if (kse->k_mbx.km_stack.ss_sp == NULL) {
|
|
|
|
for (i = 0; i < MAX_KSE_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&kse->k_lockusers[i]);
|
|
|
|
}
|
|
|
|
/* _lock_destroy(&kse->k_lock); */
|
2003-04-18 05:04:16 +00:00
|
|
|
free(kse);
|
|
|
|
kse = NULL;
|
|
|
|
}
|
1999-03-23 05:07:56 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
if ((kse != NULL) && (need_ksd != 0)) {
|
|
|
|
/* This KSE needs initialization. */
|
2003-04-18 07:09:43 +00:00
|
|
|
if (curthread != NULL) {
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &kse_lock);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Initialize KSD inside of the lock. */
|
|
|
|
if (_ksd_create(&kse->k_ksd, (void *)kse, sizeof(*kse)) != 0) {
|
2003-04-18 07:09:43 +00:00
|
|
|
if (curthread != NULL) {
|
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
free(kse->k_mbx.km_stack.ss_sp);
|
|
|
|
for (i = 0; i < MAX_KSE_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&kse->k_lockusers[i]);
|
|
|
|
}
|
|
|
|
free(kse);
|
|
|
|
return (NULL);
|
|
|
|
}
|
|
|
|
kse->k_flags = 0;
|
|
|
|
TAILQ_INSERT_TAIL(&active_kseq, kse, k_qe);
|
2003-04-22 20:28:33 +00:00
|
|
|
active_kse_count++;
|
2003-04-18 07:09:43 +00:00
|
|
|
if (curthread != NULL) {
|
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
return (kse);
|
1999-03-23 05:07:56 +00:00
|
|
|
}
|
|
|
|
|
2003-04-23 21:46:50 +00:00
|
|
|
static void
|
|
|
|
kse_reinit(struct kse *kse)
|
|
|
|
{
|
2003-05-24 02:29:25 +00:00
|
|
|
/*
|
|
|
|
* XXX - For now every kse has its stack.
|
|
|
|
* In the future, we may want to have it done
|
|
|
|
* outside the allocation so that scope system
|
|
|
|
* threads (one thread per KSE) are not required
|
|
|
|
* to have a stack for an unneeded kse upcall.
|
|
|
|
*/
|
|
|
|
kse->k_mbx.km_flags = 0;
|
2003-04-23 21:46:50 +00:00
|
|
|
kse->k_curthread = 0;
|
|
|
|
kse->k_kseg = 0;
|
|
|
|
kse->k_schedq = 0;
|
|
|
|
kse->k_locklevel = 0;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
SIGEMPTYSET(kse->k_sigmask);
|
2003-04-23 21:46:50 +00:00
|
|
|
bzero(&kse->k_sigq, sizeof(kse->k_sigq));
|
|
|
|
kse->k_check_sigq = 0;
|
2003-04-28 23:56:12 +00:00
|
|
|
kse->k_flags = 0;
|
2003-04-23 21:46:50 +00:00
|
|
|
kse->k_waiting = 0;
|
2003-05-24 02:29:25 +00:00
|
|
|
kse->k_idle = 0;
|
2003-04-23 21:46:50 +00:00
|
|
|
kse->k_error = 0;
|
|
|
|
kse->k_cpu = 0;
|
|
|
|
kse->k_done = 0;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
kse->k_switch = 0;
|
2003-04-23 21:46:50 +00:00
|
|
|
}
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
void
|
2003-04-18 07:09:43 +00:00
|
|
|
kse_free_unlocked(struct kse *kse)
|
1999-03-23 05:07:56 +00:00
|
|
|
{
|
2003-04-22 20:28:33 +00:00
|
|
|
TAILQ_REMOVE(&active_kseq, kse, k_qe);
|
2003-04-18 05:04:16 +00:00
|
|
|
active_kse_count--;
|
|
|
|
kse->k_kseg = NULL;
|
2003-04-22 21:32:32 +00:00
|
|
|
kse->k_mbx.km_quantum = 20000;
|
2003-05-24 02:29:25 +00:00
|
|
|
kse->k_flags = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_INSERT_HEAD(&free_kseq, kse, k_qe);
|
|
|
|
free_kse_count++;
|
2003-04-18 07:09:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
_kse_free(struct pthread *curthread, struct kse *kse)
|
|
|
|
{
|
|
|
|
kse_critical_t crit;
|
|
|
|
|
|
|
|
if (curthread == NULL)
|
|
|
|
kse_free_unlocked(kse);
|
|
|
|
else {
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &kse_lock);
|
|
|
|
kse_free_unlocked(kse);
|
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &kse_lock);
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|
1999-03-23 05:07:56 +00:00
|
|
|
}
|
2001-01-24 13:03:38 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
static void
|
|
|
|
kseg_init(struct kse_group *kseg)
|
2003-04-21 04:02:56 +00:00
|
|
|
{
|
|
|
|
kseg_reinit(kseg);
|
|
|
|
_lock_init(&kseg->kg_lock, LCK_ADAPTIVE, _kse_lock_wait,
|
|
|
|
_kse_lock_wakeup);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
kseg_reinit(struct kse_group *kseg)
|
2001-01-24 13:03:38 +00:00
|
|
|
{
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_INIT(&kseg->kg_kseq);
|
|
|
|
TAILQ_INIT(&kseg->kg_threadq);
|
|
|
|
TAILQ_INIT(&kseg->kg_schedq.sq_waitq);
|
|
|
|
kseg->kg_threadcount = 0;
|
2003-04-22 20:28:33 +00:00
|
|
|
kseg->kg_ksecount = 0;
|
2003-04-18 05:04:16 +00:00
|
|
|
kseg->kg_idle_kses = 0;
|
|
|
|
kseg->kg_flags = 0;
|
|
|
|
}
|
2001-01-24 13:03:38 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
struct pthread *
|
|
|
|
_thr_alloc(struct pthread *curthread)
|
|
|
|
{
|
|
|
|
kse_critical_t crit;
|
2003-04-30 15:05:17 +00:00
|
|
|
void *p;
|
2003-04-18 05:04:16 +00:00
|
|
|
struct pthread *thread = NULL;
|
|
|
|
|
|
|
|
if (curthread != NULL) {
|
2003-04-18 07:09:43 +00:00
|
|
|
if (GC_NEEDED())
|
|
|
|
_thr_gc(curthread);
|
2003-04-18 05:04:16 +00:00
|
|
|
if (free_thread_count > 0) {
|
|
|
|
crit = _kse_critical_enter();
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &thread_lock);
|
2003-04-18 05:04:16 +00:00
|
|
|
if ((thread = TAILQ_FIRST(&free_threadq)) != NULL) {
|
|
|
|
TAILQ_REMOVE(&free_threadq, thread, tle);
|
|
|
|
free_thread_count--;
|
|
|
|
}
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &thread_lock);
|
2003-04-28 23:56:12 +00:00
|
|
|
_kse_critical_leave(crit);
|
2003-04-18 05:04:16 +00:00
|
|
|
}
|
|
|
|
}
|
2003-04-30 15:05:17 +00:00
|
|
|
if (thread == NULL) {
|
|
|
|
p = malloc(sizeof(struct pthread) + THR_ALIGNBYTES);
|
|
|
|
if (p != NULL) {
|
|
|
|
thread = (struct pthread *)THR_ALIGN(p);
|
|
|
|
thread->alloc_addr = p;
|
|
|
|
}
|
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
return (thread);
|
2001-01-24 13:03:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_free(struct pthread *curthread, struct pthread *thread)
|
2001-01-24 13:03:38 +00:00
|
|
|
{
|
2003-04-18 05:04:16 +00:00
|
|
|
kse_critical_t crit;
|
2003-04-21 04:02:56 +00:00
|
|
|
int i;
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-18 07:09:43 +00:00
|
|
|
DBG_MSG("Freeing thread %p\n", thread);
|
2003-04-21 04:02:56 +00:00
|
|
|
if ((curthread == NULL) || (free_thread_count >= MAX_CACHED_THREADS)) {
|
|
|
|
for (i = 0; i < MAX_THR_LOCKLEVEL; i++) {
|
|
|
|
_lockuser_destroy(&thread->lockusers[i]);
|
|
|
|
}
|
|
|
|
_lock_destroy(&thread->lock);
|
2003-04-30 15:05:17 +00:00
|
|
|
free(thread->alloc_addr);
|
2003-04-21 04:02:56 +00:00
|
|
|
}
|
2003-04-18 05:04:16 +00:00
|
|
|
else {
|
|
|
|
crit = _kse_critical_enter();
|
2003-04-21 04:02:56 +00:00
|
|
|
KSE_LOCK_ACQUIRE(curthread->kse, &thread_lock);
|
2003-06-08 17:35:11 +00:00
|
|
|
TAILQ_INSERT_TAIL(&free_threadq, thread, tle);
|
2003-04-18 05:04:16 +00:00
|
|
|
free_thread_count++;
|
2003-04-18 07:09:43 +00:00
|
|
|
KSE_LOCK_RELEASE(curthread->kse, &thread_lock);
|
2003-04-18 05:04:16 +00:00
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|
2001-01-24 13:03:38 +00:00
|
|
|
}
|
2003-05-24 02:29:25 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Add an active thread:
|
|
|
|
*
|
|
|
|
* o Assign the thread a unique id (which GDB uses to track
|
|
|
|
* threads.
|
|
|
|
* o Add the thread to the list of all threads and increment
|
|
|
|
* number of active threads.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
thr_link(struct pthread *thread)
|
|
|
|
{
|
|
|
|
kse_critical_t crit;
|
|
|
|
struct kse *curkse;
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
struct pthread *curthread;
|
2003-05-24 02:29:25 +00:00
|
|
|
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
curkse = _get_curkse();
|
o Use a daemon thread to monitor signal events in kernel, if pending
signals were changed in kernel, it will retrieve the pending set and
try to find a thread to dispatch the signal. The dispatching process
can be rolled back if the signal is no longer in kernel.
o Create two functions _thr_signal_init() and _thr_signal_deinit(),
all signal action settings are retrieved from kernel when threading
mode is turned on, after a fork(), child process will reset them to
user settings by calling _thr_signal_deinit(). when threading mode
is not turned on, all signal operations are direct past to kernel.
o When a thread generated a synchoronous signals and its context returned
from completed list, UTS will retrieve the signal from its mailbox and try
to deliver the signal to thread.
o Context signal mask is now only used when delivering signals, thread's
current signal mask is always the one in pthread structure.
o Remove have_signals field in pthread structure, replace it with
psf_valid in pthread_signal_frame. when psf_valid is true, in context
switch time, thread will backout itself from some mutex/condition
internal queues, then begin to process signals. when a thread is not
at blocked state and running, check_pending indicates there are signals
for the thread, after preempted and then resumed time, UTS will try to
deliver signals to the thread.
o At signal delivering time, not only pending signals in thread will be
scanned, process's pending signals will be scanned too.
o Change sigwait code a bit, remove field sigwait in pthread_wait_data,
replace it with oldsigmask in pthread structure, when a thread calls
sigwait(), its current signal mask is backuped to oldsigmask, and waitset
is copied to its signal mask and when the thread gets a signal in the
waitset range, its current signal mask is restored from oldsigmask,
these are done in atomic fashion.
o Two additional POSIX APIs are implemented, sigwaitinfo() and sigtimedwait().
o Signal code locking is better than previous, there is fewer race conditions.
o Temporary disable most of code in _kse_single_thread as it is not safe
after fork().
2003-06-28 09:55:02 +00:00
|
|
|
curthread = _get_curthread();
|
|
|
|
thread->sigmask = curthread->sigmask;
|
2003-05-24 02:29:25 +00:00
|
|
|
KSE_LOCK_ACQUIRE(curkse, &_thread_list_lock);
|
|
|
|
/*
|
|
|
|
* Initialize the unique id (which GDB uses to track
|
|
|
|
* threads), add the thread to the list of all threads,
|
|
|
|
* and
|
|
|
|
*/
|
|
|
|
thread->uniqueid = next_uniqueid++;
|
|
|
|
THR_LIST_ADD(thread);
|
|
|
|
active_threads++;
|
|
|
|
KSE_LOCK_RELEASE(curkse, &_thread_list_lock);
|
|
|
|
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Remove an active thread.
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
thr_unlink(struct pthread *thread)
|
|
|
|
{
|
|
|
|
kse_critical_t crit;
|
|
|
|
struct kse *curkse;
|
|
|
|
|
|
|
|
crit = _kse_critical_enter();
|
|
|
|
curkse = _get_curkse();
|
|
|
|
|
|
|
|
KSE_LOCK_ACQUIRE(curkse, &_thread_list_lock);
|
|
|
|
THR_LIST_REMOVE(thread);
|
|
|
|
active_threads--;
|
|
|
|
KSE_LOCK_RELEASE(curkse, &_thread_list_lock);
|
|
|
|
|
|
|
|
_kse_critical_leave(crit);
|
|
|
|
}
|