1996-01-22 00:23:58 +00:00
|
|
|
/*
|
1998-04-03 09:31:15 +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-08-05 12:08:10 +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.
|
|
|
|
*
|
|
|
|
* Private thread definitions for the uthread kernel.
|
|
|
|
*
|
1999-08-28 00:22:10 +00:00
|
|
|
* $FreeBSD$
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
|
|
|
|
2002-09-16 08:45:36 +00:00
|
|
|
#ifndef _THR_PRIVATE_H
|
|
|
|
#define _THR_PRIVATE_H
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Include files.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#include <setjmp.h>
|
1996-01-22 00:23:58 +00:00
|
|
|
#include <signal.h>
|
2000-10-13 22:12:32 +00:00
|
|
|
#include <stdio.h>
|
1998-04-11 07:47:22 +00:00
|
|
|
#include <sys/queue.h>
|
1996-01-22 00:23:58 +00:00
|
|
|
#include <sys/types.h>
|
|
|
|
#include <sys/time.h>
|
2000-03-18 22:36:46 +00:00
|
|
|
#include <sys/cdefs.h>
|
2002-10-30 06:07:18 +00:00
|
|
|
#include <sys/kse.h>
|
1998-03-08 02:37:27 +00:00
|
|
|
#include <sched.h>
|
2002-02-17 17:21:27 +00:00
|
|
|
#include <ucontext.h>
|
2003-04-18 05:04:16 +00:00
|
|
|
#include <unistd.h>
|
|
|
|
#include <pthread.h>
|
1999-03-23 05:07:56 +00:00
|
|
|
#include <pthread_np.h>
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#include "ksd.h"
|
|
|
|
#include "lock.h"
|
|
|
|
#include "pthread_md.h"
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Evaluate the storage class specifier.
|
|
|
|
*/
|
|
|
|
#ifdef GLOBAL_PTHREAD_PRIVATE
|
|
|
|
#define SCLASS
|
|
|
|
#define SCLASS_PRESET(x...) = x
|
|
|
|
#else
|
|
|
|
#define SCLASS extern
|
|
|
|
#define SCLASS_PRESET(x...)
|
|
|
|
#endif
|
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
/*
|
|
|
|
* Kernel fatal error handler macro.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define PANIC(string) _thr_exit(__FILE__,__LINE__,string)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2000-10-13 22:12:32 +00:00
|
|
|
|
1998-04-29 09:59:34 +00:00
|
|
|
/* Output debug messages like this: */
|
2003-04-18 05:04:16 +00:00
|
|
|
#define stdout_debug(args...) _thread_printf(STDOUT_FILENO, ##args)
|
|
|
|
#define stderr_debug(args...) _thread_printf(STDOUT_FILENO, ##args)
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define DBG_MUTEX 0x0001
|
|
|
|
#define DBG_SIG 0x0002
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2000-10-13 22:12:32 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_ASSERT(cond, msg) do { \
|
|
|
|
if (!(cond)) \
|
|
|
|
PANIC(msg); \
|
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
|
|
|
} while (0)
|
|
|
|
|
1999-03-23 05:07:56 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* State change macro without scheduling queue change:
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_SET_STATE(thrd, newstate) do { \
|
1997-02-05 23:26:09 +00:00
|
|
|
(thrd)->state = newstate; \
|
|
|
|
(thrd)->fname = __FILE__; \
|
|
|
|
(thrd)->lineno = __LINE__; \
|
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
|
|
|
} while (0)
|
1997-02-05 23:26:09 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
|
1999-03-23 05:07:56 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Define the signals to be used for scheduling.
|
1999-03-23 05:07:56 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define _ITIMER_SCHED_TIMER ITIMER_PROF
|
|
|
|
#define _SCHED_SIGNAL SIGPROF
|
|
|
|
|
|
|
|
#define TIMESPEC_ADD(dst, src, val) \
|
|
|
|
do { \
|
|
|
|
(dst)->tv_sec = (src)->tv_sec + (val)->tv_sec; \
|
|
|
|
(dst)->tv_nsec = (src)->tv_nsec + (val)->tv_nsec; \
|
|
|
|
if ((dst)->tv_nsec > 1000000000) { \
|
|
|
|
(dst)->tv_sec++; \
|
|
|
|
(dst)->tv_nsec -= 1000000000; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
#define TIMESPEC_SUB(dst, src, val) \
|
|
|
|
do { \
|
|
|
|
(dst)->tv_sec = (src)->tv_sec - (val)->tv_sec; \
|
|
|
|
(dst)->tv_nsec = (src)->tv_nsec - (val)->tv_nsec; \
|
|
|
|
if ((dst)->tv_nsec < 0) { \
|
|
|
|
(dst)->tv_sec--; \
|
|
|
|
(dst)->tv_nsec += 1000000000; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
1999-03-23 05:07:56 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Priority queues.
|
|
|
|
*
|
|
|
|
* XXX It'd be nice if these were contained in uthread_priority_queue.[ch].
|
|
|
|
*/
|
|
|
|
typedef struct pq_list {
|
2000-05-26 02:09:24 +00:00
|
|
|
TAILQ_HEAD(, pthread) pl_head; /* list of threads at this priority */
|
|
|
|
TAILQ_ENTRY(pq_list) pl_link; /* link for queue of priority lists */
|
1999-03-23 05:07:56 +00:00
|
|
|
int pl_prio; /* the priority of this list */
|
|
|
|
int pl_queued; /* is this in the priority queue */
|
|
|
|
} pq_list_t;
|
|
|
|
|
|
|
|
typedef struct pq_queue {
|
2000-05-26 02:09:24 +00:00
|
|
|
TAILQ_HEAD(, pq_list) pq_queue; /* queue of priority lists */
|
1999-03-23 05:07:56 +00:00
|
|
|
pq_list_t *pq_lists; /* array of all priority lists */
|
|
|
|
int pq_size; /* number of priority lists */
|
2003-04-18 05:04:16 +00:00
|
|
|
#define PQF_ACTIVE 0x0001
|
|
|
|
int pq_flags;
|
2003-04-28 23:56:12 +00:00
|
|
|
int pq_threads;
|
1999-03-23 05:07:56 +00:00
|
|
|
} pq_queue_t;
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Each KSEG has a scheduling queue. For now, threads that exist in their
|
|
|
|
* own KSEG (system scope) will get a full priority queue. In the future
|
|
|
|
* this can be optimized for the single thread per KSEG case.
|
|
|
|
*/
|
|
|
|
struct sched_queue {
|
|
|
|
pq_queue_t sq_runq;
|
|
|
|
TAILQ_HEAD(, pthread) sq_waitq; /* waiting in userland */
|
|
|
|
};
|
|
|
|
|
|
|
|
/* Used to maintain pending and active signals: */
|
|
|
|
struct sigstatus {
|
|
|
|
siginfo_t *info; /* arg 2 to signal handler */
|
|
|
|
int pending; /* Is this a pending signal? */
|
|
|
|
int blocked; /*
|
|
|
|
* This signal has occured and hasn't
|
|
|
|
* yet been handled; ignore subsequent
|
|
|
|
* signals until the handler is done.
|
|
|
|
*/
|
|
|
|
int signo;
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef struct kse_thr_mailbox *kse_critical_t;
|
|
|
|
|
|
|
|
struct kse_group;
|
|
|
|
|
|
|
|
#define MAX_KSE_LOCKLEVEL 3
|
|
|
|
struct kse {
|
|
|
|
struct kse_mailbox k_mbx; /* kernel kse mailbox */
|
|
|
|
/* -- location and order specific items for gdb -- */
|
|
|
|
struct pthread *k_curthread; /* current thread */
|
|
|
|
struct kse_group *k_kseg; /* parent KSEG */
|
|
|
|
struct sched_queue *k_schedq; /* scheduling queue */
|
|
|
|
/* -- end of location and order specific items -- */
|
2003-04-18 07:09:43 +00:00
|
|
|
TAILQ_ENTRY(kse) k_qe; /* KSE list link entry */
|
|
|
|
TAILQ_ENTRY(kse) k_kgqe; /* KSEG's KSE list entry */
|
2003-04-18 05:04:16 +00:00
|
|
|
struct ksd k_ksd; /* KSE specific data */
|
|
|
|
/*
|
|
|
|
* Items that are only modified by the kse, or that otherwise
|
|
|
|
* don't need to be locked when accessed
|
|
|
|
*/
|
|
|
|
struct lock k_lock;
|
|
|
|
struct lockuser k_lockusers[MAX_KSE_LOCKLEVEL];
|
|
|
|
int k_locklevel;
|
|
|
|
sigset_t k_sigmask;
|
|
|
|
struct sigstatus k_sigq[NSIG];
|
2003-04-21 04:02:56 +00:00
|
|
|
stack_t k_stack;
|
2003-04-18 05:04:16 +00:00
|
|
|
int k_check_sigq;
|
|
|
|
int k_flags;
|
|
|
|
#define KF_STARTED 0x0001 /* kernel kse created */
|
|
|
|
#define KF_INITIALIZED 0x0002 /* initialized on 1st upcall */
|
2003-04-21 04:02:56 +00:00
|
|
|
int k_waiting;
|
2003-04-28 23:56:12 +00:00
|
|
|
int k_idle; /* kse is idle */
|
2003-04-23 21:46:50 +00:00
|
|
|
int k_error; /* syscall errno in critical */
|
2003-04-18 05:04:16 +00:00
|
|
|
int k_cpu; /* CPU ID when bound */
|
|
|
|
int k_done; /* this KSE is done */
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Each KSE group contains one or more KSEs in which threads can run.
|
|
|
|
* At least for now, there is one scheduling queue per KSE group; KSEs
|
|
|
|
* within the same KSE group compete for threads from the same scheduling
|
|
|
|
* queue. A scope system thread has one KSE in one KSE group; the group
|
|
|
|
* does not use its scheduling queue.
|
|
|
|
*/
|
|
|
|
struct kse_group {
|
|
|
|
TAILQ_HEAD(, kse) kg_kseq; /* list of KSEs in group */
|
|
|
|
TAILQ_HEAD(, pthread) kg_threadq; /* list of threads in group */
|
|
|
|
TAILQ_ENTRY(kse_group) kg_qe; /* link entry */
|
|
|
|
struct sched_queue kg_schedq; /* scheduling queue */
|
|
|
|
struct lock kg_lock;
|
|
|
|
int kg_threadcount; /* # of assigned threads */
|
2003-04-22 20:28:33 +00:00
|
|
|
int kg_ksecount; /* # of assigned KSEs */
|
2003-04-18 05:04:16 +00:00
|
|
|
int kg_idle_kses;
|
|
|
|
int kg_flags;
|
|
|
|
#define KGF_SINGLE_THREAD 0x0001 /* scope system kse group */
|
|
|
|
#define KGF_SCHEDQ_INITED 0x0002 /* has an initialized schedq */
|
|
|
|
};
|
|
|
|
|
2003-04-18 07:09:43 +00:00
|
|
|
/*
|
|
|
|
* Add/remove threads from a KSE's scheduling queue.
|
|
|
|
* For now the scheduling queue is hung off the KSEG.
|
|
|
|
*/
|
|
|
|
#define KSEG_THRQ_ADD(kseg, thr) \
|
|
|
|
do { \
|
|
|
|
TAILQ_INSERT_TAIL(&(kseg)->kg_threadq, thr, kle);\
|
|
|
|
(kseg)->kg_threadcount++; \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
#define KSEG_THRQ_REMOVE(kseg, thr) \
|
|
|
|
do { \
|
|
|
|
TAILQ_REMOVE(&(kseg)->kg_threadq, thr, kle); \
|
|
|
|
(kseg)->kg_threadcount--; \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Lock acquire and release for KSEs.
|
|
|
|
*/
|
|
|
|
#define KSE_LOCK_ACQUIRE(kse, lck) \
|
|
|
|
do { \
|
|
|
|
if ((kse)->k_locklevel >= MAX_KSE_LOCKLEVEL) \
|
|
|
|
PANIC("Exceeded maximum lock level"); \
|
|
|
|
else { \
|
|
|
|
(kse)->k_locklevel++; \
|
|
|
|
_lock_acquire((lck), \
|
|
|
|
&(kse)->k_lockusers[(kse)->k_locklevel - 1], 0); \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
#define KSE_LOCK_RELEASE(kse, lck) \
|
|
|
|
do { \
|
|
|
|
if ((kse)->k_locklevel > 0) { \
|
|
|
|
_lock_release((lck), \
|
|
|
|
&(kse)->k_lockusers[(kse)->k_locklevel - 1]); \
|
|
|
|
(kse)->k_locklevel--; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Lock our own KSEG.
|
|
|
|
*/
|
|
|
|
#define KSE_LOCK(curkse) \
|
|
|
|
KSE_LOCK_ACQUIRE(curkse, &(curkse)->k_kseg->kg_lock)
|
|
|
|
#define KSE_UNLOCK(curkse) \
|
|
|
|
KSE_LOCK_RELEASE(curkse, &(curkse)->k_kseg->kg_lock)
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Lock a potentially different KSEG.
|
|
|
|
*/
|
|
|
|
#define KSE_SCHED_LOCK(curkse, kseg) \
|
|
|
|
KSE_LOCK_ACQUIRE(curkse, &(kseg)->kg_lock)
|
|
|
|
#define KSE_SCHED_UNLOCK(curkse, kseg) \
|
|
|
|
KSE_LOCK_RELEASE(curkse, &(kseg)->kg_lock)
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Waiting queue manipulation macros (using pqe link):
|
|
|
|
*/
|
|
|
|
#define KSE_WAITQ_REMOVE(kse, thrd) \
|
|
|
|
do { \
|
|
|
|
if (((thrd)->flags & THR_FLAGS_IN_WAITQ) != 0) { \
|
|
|
|
TAILQ_REMOVE(&(kse)->k_schedq->sq_waitq, thrd, pqe); \
|
|
|
|
(thrd)->flags &= ~THR_FLAGS_IN_WAITQ; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
#define KSE_WAITQ_INSERT(kse, thrd) kse_waitq_insert(thrd)
|
|
|
|
#define KSE_WAITQ_FIRST(kse) TAILQ_FIRST(&(kse)->k_schedq->sq_waitq)
|
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
#define KSE_SET_WAIT(kse) atomic_store_rel_int(&(kse)->k_waiting, 1)
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-28 23:56:12 +00:00
|
|
|
#define KSE_CLEAR_WAIT(kse) atomic_store_rel_int(&(kse)->k_waiting, 0)
|
2003-04-18 05:04:16 +00:00
|
|
|
|
2003-04-21 04:02:56 +00:00
|
|
|
#define KSE_WAITING(kse) (kse)->k_waiting != 0
|
2003-04-18 05:04:16 +00:00
|
|
|
#define KSE_WAKEUP(kse) kse_wakeup(&(kse)->k_mbx)
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-04-28 23:56:12 +00:00
|
|
|
#define KSE_SET_IDLE(kse) ((kse)->k_idle = 1)
|
|
|
|
#define KSE_CLEAR_IDLE(kse) ((kse)->k_idle = 0)
|
|
|
|
#define KSE_IS_IDLE(kse) ((kse)->k_idle != 0)
|
|
|
|
|
1999-03-23 05:07:56 +00:00
|
|
|
/*
|
|
|
|
* TailQ initialization values.
|
|
|
|
*/
|
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
|
|
|
#define TAILQ_INITIALIZER { NULL, NULL }
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* lock initialization values.
|
1996-08-20 08:22:01 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define LCK_INITIALIZER { NULL, NULL, LCK_DEFAULT }
|
1996-08-20 08:22:01 +00:00
|
|
|
|
|
|
|
struct pthread_mutex {
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Lock for accesses to this structure.
|
|
|
|
*/
|
|
|
|
struct lock m_lock;
|
1996-08-20 08:22:01 +00:00
|
|
|
enum pthread_mutextype m_type;
|
1999-03-23 05:07:56 +00:00
|
|
|
int m_protocol;
|
2000-05-26 02:09:24 +00:00
|
|
|
TAILQ_HEAD(mutex_head, pthread) m_queue;
|
1996-08-20 08:22:01 +00:00
|
|
|
struct pthread *m_owner;
|
|
|
|
long m_flags;
|
2003-04-18 05:04:16 +00:00
|
|
|
int m_count;
|
1999-03-23 05:07:56 +00:00
|
|
|
int m_refcount;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Used for priority inheritence and protection.
|
|
|
|
*
|
|
|
|
* m_prio - For priority inheritence, the highest active
|
|
|
|
* priority (threads locking the mutex inherit
|
|
|
|
* this priority). For priority protection, the
|
|
|
|
* ceiling priority of this mutex.
|
|
|
|
* m_saved_prio - mutex owners inherited priority before
|
|
|
|
* taking the mutex, restored when the owner
|
|
|
|
* unlocks the mutex.
|
|
|
|
*/
|
|
|
|
int m_prio;
|
|
|
|
int m_saved_prio;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Link for list of all mutexes a thread currently owns.
|
|
|
|
*/
|
2000-05-26 02:09:24 +00:00
|
|
|
TAILQ_ENTRY(pthread_mutex) m_qe;
|
1996-08-20 08:22:01 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Flags for mutexes.
|
|
|
|
*/
|
|
|
|
#define MUTEX_FLAGS_PRIVATE 0x01
|
|
|
|
#define MUTEX_FLAGS_INITED 0x02
|
|
|
|
#define MUTEX_FLAGS_BUSY 0x04
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Static mutex initialization values.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define PTHREAD_MUTEX_STATIC_INITIALIZER \
|
|
|
|
{ LCK_INITIALIZER, PTHREAD_MUTEX_DEFAULT, PTHREAD_PRIO_NONE, \
|
|
|
|
TAILQ_INITIALIZER, NULL, MUTEX_FLAGS_PRIVATE, 0, 0, 0, 0, \
|
|
|
|
TAILQ_INITIALIZER }
|
1996-08-20 08:22:01 +00:00
|
|
|
|
|
|
|
struct pthread_mutex_attr {
|
|
|
|
enum pthread_mutextype m_type;
|
1999-03-23 05:07:56 +00:00
|
|
|
int m_protocol;
|
|
|
|
int m_ceiling;
|
1996-08-20 08:22:01 +00:00
|
|
|
long m_flags;
|
|
|
|
};
|
|
|
|
|
2001-01-24 13:03:38 +00:00
|
|
|
#define PTHREAD_MUTEXATTR_STATIC_INITIALIZER \
|
|
|
|
{ PTHREAD_MUTEX_DEFAULT, PTHREAD_PRIO_NONE, 0, MUTEX_FLAGS_PRIVATE }
|
|
|
|
|
1996-08-20 08:22:01 +00:00
|
|
|
/*
|
|
|
|
* Condition variable definitions.
|
|
|
|
*/
|
|
|
|
enum pthread_cond_type {
|
|
|
|
COND_TYPE_FAST,
|
|
|
|
COND_TYPE_MAX
|
|
|
|
};
|
|
|
|
|
|
|
|
struct pthread_cond {
|
1998-04-29 09:59:34 +00:00
|
|
|
/*
|
|
|
|
* Lock for accesses to this structure.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
struct lock c_lock;
|
|
|
|
enum pthread_cond_type c_type;
|
|
|
|
TAILQ_HEAD(cond_head, pthread) c_queue;
|
|
|
|
struct pthread_mutex *c_mutex;
|
|
|
|
long c_flags;
|
|
|
|
long c_seqno;
|
1996-08-20 08:22:01 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
struct pthread_cond_attr {
|
|
|
|
enum pthread_cond_type c_type;
|
|
|
|
long c_flags;
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Flags for condition variables.
|
|
|
|
*/
|
|
|
|
#define COND_FLAGS_PRIVATE 0x01
|
|
|
|
#define COND_FLAGS_INITED 0x02
|
|
|
|
#define COND_FLAGS_BUSY 0x04
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Static cond initialization values.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define PTHREAD_COND_STATIC_INITIALIZER \
|
|
|
|
{ LCK_INITIALIZER, COND_TYPE_FAST, TAILQ_INITIALIZER, \
|
|
|
|
NULL, NULL, 0, 0 }
|
1996-08-20 08:22:01 +00:00
|
|
|
|
2000-01-20 07:54:49 +00:00
|
|
|
/*
|
|
|
|
* Semaphore definitions.
|
|
|
|
*/
|
|
|
|
struct sem {
|
|
|
|
#define SEM_MAGIC ((u_int32_t) 0x09fa4012)
|
|
|
|
u_int32_t magic;
|
|
|
|
pthread_mutex_t lock;
|
|
|
|
pthread_cond_t gtzero;
|
|
|
|
u_int32_t count;
|
|
|
|
u_int32_t nwaiters;
|
|
|
|
};
|
|
|
|
|
1996-08-20 08:22:01 +00:00
|
|
|
/*
|
|
|
|
* Cleanup definitions.
|
|
|
|
*/
|
|
|
|
struct pthread_cleanup {
|
|
|
|
struct pthread_cleanup *next;
|
|
|
|
void (*routine) ();
|
|
|
|
void *routine_arg;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct pthread_attr {
|
1999-03-23 05:07:56 +00:00
|
|
|
int sched_policy;
|
|
|
|
int sched_inherit;
|
|
|
|
int sched_interval;
|
1996-08-20 08:22:01 +00:00
|
|
|
int prio;
|
1998-03-08 02:37:27 +00:00
|
|
|
int suspend;
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_STACK_USER 0x100 /* 0xFF reserved for <pthread.h> */
|
1998-03-08 02:37:27 +00:00
|
|
|
int flags;
|
|
|
|
void *arg_attr;
|
|
|
|
void (*cleanup_attr) ();
|
|
|
|
void *stackaddr_attr;
|
|
|
|
size_t stacksize_attr;
|
2001-07-20 04:23:11 +00:00
|
|
|
size_t guardsize_attr;
|
1996-08-20 08:22:01 +00:00
|
|
|
};
|
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
/*
|
|
|
|
* Thread creation state attributes.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_CREATE_RUNNING 0
|
|
|
|
#define THR_CREATE_SUSPENDED 1
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Miscellaneous definitions.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_STACK_DEFAULT 65536
|
1999-11-28 19:47:43 +00:00
|
|
|
|
1999-07-11 05:56:37 +00:00
|
|
|
/*
|
|
|
|
* Maximum size of initial thread's stack. This perhaps deserves to be larger
|
1999-07-06 00:25:38 +00:00
|
|
|
* than the stacks of other threads, since many applications are likely to run
|
1999-07-11 05:56:37 +00:00
|
|
|
* almost entirely on this stack.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_STACK_INITIAL 0x100000
|
2000-10-13 22:12:32 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Define the different priority ranges. All applications have thread
|
|
|
|
* priorities constrained within 0-31. The threads library raises the
|
|
|
|
* priority when delivering signals in order to ensure that signal
|
|
|
|
* delivery happens (from the POSIX spec) "as soon as possible".
|
|
|
|
* In the future, the threads library will also be able to map specific
|
|
|
|
* threads into real-time (cooperating) processes or kernel threads.
|
|
|
|
* The RT and SIGNAL priorities will be used internally and added to
|
|
|
|
* thread base priorities so that the scheduling queue can handle both
|
|
|
|
* normal and RT priority threads with and without signal handling.
|
|
|
|
*
|
|
|
|
* The approach taken is that, within each class, signal delivery
|
|
|
|
* always has priority over thread execution.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_DEFAULT_PRIORITY 15
|
|
|
|
#define THR_MIN_PRIORITY 0
|
|
|
|
#define THR_MAX_PRIORITY 31 /* 0x1F */
|
|
|
|
#define THR_SIGNAL_PRIORITY 32 /* 0x20 */
|
|
|
|
#define THR_RT_PRIORITY 64 /* 0x40 */
|
|
|
|
#define THR_FIRST_PRIORITY THR_MIN_PRIORITY
|
|
|
|
#define THR_LAST_PRIORITY \
|
|
|
|
(THR_MAX_PRIORITY + THR_SIGNAL_PRIORITY + THR_RT_PRIORITY)
|
|
|
|
#define THR_BASE_PRIORITY(prio) ((prio) & THR_MAX_PRIORITY)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
2000-10-13 22:12:32 +00:00
|
|
|
* Clock resolution in microseconds.
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
2000-10-13 22:12:32 +00:00
|
|
|
#define CLOCK_RES_USEC 10000
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Time slice period in microseconds.
|
|
|
|
*/
|
2000-10-13 22:12:32 +00:00
|
|
|
#define TIMESLICE_USEC 20000
|
|
|
|
|
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* XXX - Define a thread-safe macro to get the current time of day
|
|
|
|
* which is updated at regular intervals by something.
|
|
|
|
*
|
|
|
|
* For now, we just make the system call to get the time.
|
2000-10-13 22:12:32 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define KSE_GET_TOD(curkse, tsp) \
|
|
|
|
do { \
|
|
|
|
*tsp = (curkse)->k_mbx.km_timeofday; \
|
|
|
|
if ((tsp)->tv_sec == 0) \
|
|
|
|
clock_gettime(CLOCK_REALTIME, tsp); \
|
|
|
|
} while (0)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
1998-09-07 19:01:43 +00:00
|
|
|
struct pthread_rwlockattr {
|
|
|
|
int pshared;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct pthread_rwlock {
|
|
|
|
pthread_mutex_t lock; /* monitor lock */
|
|
|
|
int state; /* 0 = idle >0 = # of readers -1 = writer */
|
|
|
|
pthread_cond_t read_signal;
|
|
|
|
pthread_cond_t write_signal;
|
|
|
|
int blocked_writers;
|
|
|
|
};
|
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
/*
|
|
|
|
* Thread states.
|
|
|
|
*/
|
|
|
|
enum pthread_state {
|
|
|
|
PS_RUNNING,
|
2003-04-18 05:04:16 +00:00
|
|
|
PS_LOCKWAIT,
|
1996-01-22 00:23:58 +00:00
|
|
|
PS_MUTEX_WAIT,
|
|
|
|
PS_COND_WAIT,
|
|
|
|
PS_SLEEP_WAIT,
|
2003-02-17 10:05:18 +00:00
|
|
|
PS_SIGSUSPEND,
|
|
|
|
PS_SIGWAIT,
|
1996-01-22 00:23:58 +00:00
|
|
|
PS_JOIN,
|
|
|
|
PS_SUSPENDED,
|
|
|
|
PS_DEAD,
|
1999-03-23 05:07:56 +00:00
|
|
|
PS_DEADLOCK,
|
1996-01-22 00:23:58 +00:00
|
|
|
PS_STATE_MAX
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
union pthread_wait_data {
|
1999-03-23 05:07:56 +00:00
|
|
|
pthread_mutex_t mutex;
|
|
|
|
pthread_cond_t cond;
|
2003-02-17 10:05:18 +00:00
|
|
|
const sigset_t *sigwait; /* Waiting on a signal in sigwait */
|
2003-04-18 05:04:16 +00:00
|
|
|
struct lock *lock;
|
1996-01-22 00:23:58 +00:00
|
|
|
};
|
|
|
|
|
2000-01-19 07:04:50 +00:00
|
|
|
/*
|
|
|
|
* Define a continuation routine that can be used to perform a
|
|
|
|
* transfer of control:
|
|
|
|
*/
|
|
|
|
typedef void (*thread_continuation_t) (void *);
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* This stores a thread's state prior to running a signal handler.
|
|
|
|
* It is used when a signal is delivered to a thread blocked in
|
|
|
|
* userland. If the signal handler returns normally, the thread's
|
|
|
|
* state is restored from here.
|
|
|
|
*/
|
|
|
|
struct pthread_sigframe {
|
|
|
|
int psf_flags;
|
|
|
|
int psf_interrupted;
|
|
|
|
int psf_signo;
|
|
|
|
enum pthread_state psf_state;
|
|
|
|
union pthread_wait_data psf_wait_data;
|
|
|
|
struct timespec psf_wakeup_time;
|
|
|
|
sigset_t psf_sigset;
|
|
|
|
sigset_t psf_sigmask;
|
|
|
|
int psf_seqno;
|
|
|
|
};
|
|
|
|
|
2001-11-17 14:28:39 +00:00
|
|
|
struct join_status {
|
|
|
|
struct pthread *thread;
|
2002-02-09 19:58:41 +00:00
|
|
|
void *ret;
|
2001-11-17 14:28:39 +00:00
|
|
|
int error;
|
|
|
|
};
|
2000-10-13 22:12:32 +00:00
|
|
|
|
2002-03-19 22:58:56 +00:00
|
|
|
struct pthread_specific_elem {
|
|
|
|
const void *data;
|
|
|
|
int seqno;
|
|
|
|
};
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
#define MAX_THR_LOCKLEVEL 3
|
1996-01-22 00:23:58 +00:00
|
|
|
/*
|
|
|
|
* Thread structure.
|
|
|
|
*/
|
|
|
|
struct pthread {
|
2003-04-30 15:05:17 +00:00
|
|
|
/*
|
|
|
|
* Thread mailbox is first so it cal be aligned properly.
|
|
|
|
*/
|
|
|
|
struct kse_thr_mailbox tmbx;
|
|
|
|
void *alloc_addr; /* real address (unaligned) */
|
|
|
|
|
1998-04-03 09:31:15 +00:00
|
|
|
/*
|
|
|
|
* Magic value to help recognize a valid thread structure
|
|
|
|
* from an invalid one:
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_MAGIC ((u_int32_t) 0xd09ba115)
|
1998-04-03 09:31:15 +00:00
|
|
|
u_int32_t magic;
|
1998-04-11 07:47:22 +00:00
|
|
|
char *name;
|
1999-11-28 19:47:43 +00:00
|
|
|
u_int64_t uniqueid; /* for gdb */
|
1998-04-03 09:31:15 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Queue entry for list of all threads: */
|
|
|
|
TAILQ_ENTRY(pthread) tle; /* link for all threads in process */
|
|
|
|
TAILQ_ENTRY(pthread) kle; /* link for all threads in KSE/KSEG */
|
|
|
|
|
|
|
|
/* Queue entry for GC lists: */
|
|
|
|
TAILQ_ENTRY(pthread) gcle;
|
|
|
|
|
1998-04-29 09:59:34 +00:00
|
|
|
/*
|
|
|
|
* Lock for accesses to this thread structure.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
struct lock lock;
|
|
|
|
struct lockuser lockusers[MAX_THR_LOCKLEVEL];
|
|
|
|
int locklevel;
|
|
|
|
kse_critical_t critical[MAX_KSE_LOCKLEVEL];
|
|
|
|
struct kse *kse;
|
|
|
|
struct kse_group *kseg;
|
1998-09-30 06:22:07 +00:00
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
/*
|
|
|
|
* Thread start routine, argument, stack pointer and thread
|
|
|
|
* attributes.
|
|
|
|
*/
|
1996-08-20 08:22:01 +00:00
|
|
|
void *(*start_routine)(void *);
|
|
|
|
void *arg;
|
|
|
|
struct pthread_attr attr;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
int active; /* thread running */
|
|
|
|
int blocked; /* thread blocked in kernel */
|
|
|
|
int need_switchout;
|
|
|
|
int need_wakeup;
|
2000-11-09 05:08:26 +00:00
|
|
|
|
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Used for tracking delivery of signal handlers.
|
|
|
|
*/
|
|
|
|
struct pthread_sigframe *curframe;
|
|
|
|
siginfo_t siginfo[NSIG];
|
|
|
|
|
|
|
|
/*
|
1999-11-28 05:38:13 +00:00
|
|
|
* Cancelability flags - the lower 2 bits are used by cancel
|
|
|
|
* definitions in pthread.h
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_AT_CANCEL_POINT 0x0004
|
|
|
|
#define THR_CANCELLING 0x0008
|
|
|
|
#define THR_CANCEL_NEEDED 0x0010
|
|
|
|
int cancelflags;
|
1999-11-28 05:38:13 +00:00
|
|
|
|
2000-01-19 07:04:50 +00:00
|
|
|
thread_continuation_t continuation;
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* The thread's base and pending signal masks. The active
|
|
|
|
* signal mask is stored in the thread's context (in mailbox).
|
|
|
|
*/
|
|
|
|
sigset_t sigmask;
|
|
|
|
sigset_t sigpend;
|
|
|
|
int sigmask_seqno;
|
|
|
|
int check_pending;
|
2003-05-16 19:58:30 +00:00
|
|
|
int have_signals;
|
2003-04-18 05:04:16 +00:00
|
|
|
int refcount;
|
2003-02-17 10:05:18 +00:00
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
/* Thread state: */
|
|
|
|
enum pthread_state state;
|
2003-05-16 19:58:30 +00:00
|
|
|
volatile int lock_switch;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Number of microseconds accumulated by this thread when
|
|
|
|
* time slicing is active.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
long slice_usec;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Time to wake up thread. This is used for sleeping threads and
|
2003-04-18 05:04:16 +00:00
|
|
|
* for any operation which may time out (such as select).
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
struct timespec wakeup_time;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/* TRUE if operation has timed out. */
|
2003-04-18 05:04:16 +00:00
|
|
|
int timeout;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Error variable used instead of errno. The function __error()
|
|
|
|
* returns a pointer to this.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
int error;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2001-11-17 14:28:39 +00:00
|
|
|
/*
|
|
|
|
* The joiner is the thread that is joining to this thread. The
|
|
|
|
* join status keeps track of a join operation to another thread.
|
|
|
|
*/
|
|
|
|
struct pthread *joiner;
|
|
|
|
struct join_status join_status;
|
1996-01-22 00:23:58 +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
|
|
|
* The current thread can belong to only one scheduling queue at
|
2000-10-13 22:12:32 +00:00
|
|
|
* a time (ready or waiting queue). It can also belong to:
|
1996-01-22 00:23:58 +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
|
|
|
* o A queue of threads waiting for a mutex
|
|
|
|
* o A queue of threads waiting for a condition variable
|
2001-05-20 23:08:33 +00:00
|
|
|
*
|
2003-04-18 05:04:16 +00:00
|
|
|
* It is possible for a thread to belong to more than one of the
|
|
|
|
* above queues if it is handling a signal. A thread may only
|
|
|
|
* enter a mutex or condition variable queue when it is not
|
|
|
|
* being called from a signal handler. If a thread is a member
|
|
|
|
* of one of these queues when a signal handler is invoked, it
|
|
|
|
* must be removed from the queue before invoking the handler
|
|
|
|
* and then added back to the queue after return from the handler.
|
2000-10-13 22:12:32 +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
|
|
|
* Use pqe for the scheduling queue link (both ready and waiting),
|
2003-04-18 05:04:16 +00:00
|
|
|
* sqe for synchronization (mutex, condition variable, and join)
|
|
|
|
* queue links, and qe for all other links.
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
TAILQ_ENTRY(pthread) pqe; /* priority, wait queues link */
|
2000-10-13 22:12:32 +00:00
|
|
|
TAILQ_ENTRY(pthread) sqe; /* synchronization queue link */
|
1998-04-11 07:47:22 +00:00
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
/* Wait data. */
|
|
|
|
union pthread_wait_data data;
|
|
|
|
|
1997-02-05 23:26:09 +00:00
|
|
|
/*
|
|
|
|
* Set to TRUE if a blocking operation was
|
|
|
|
* interrupted by a signal:
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
int interrupted;
|
1997-02-05 23:26:09 +00:00
|
|
|
|
2003-02-17 10:05:18 +00:00
|
|
|
/* Signal number when in state PS_SIGWAIT: */
|
2003-04-18 05:04:16 +00:00
|
|
|
int signo;
|
2003-02-17 10:05:18 +00:00
|
|
|
|
1999-03-23 05:07:56 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Set to non-zero when this thread has entered a critical
|
|
|
|
* region. We allow for recursive entries into critical regions.
|
1999-03-23 05:07:56 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
int critical_count;
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Set to TRUE if this thread should yield after leaving a
|
|
|
|
* critical region to check for signals, messages, etc.
|
|
|
|
*/
|
|
|
|
int critical_yield;
|
|
|
|
|
|
|
|
int sflags;
|
|
|
|
#define THR_FLAGS_IN_SYNCQ 0x0001
|
|
|
|
|
|
|
|
/* Miscellaneous flags; only set with scheduling lock held. */
|
|
|
|
int flags;
|
|
|
|
#define THR_FLAGS_PRIVATE 0x0001
|
|
|
|
#define THR_FLAGS_IN_WAITQ 0x0002 /* in waiting queue using pqe link */
|
|
|
|
#define THR_FLAGS_IN_RUNQ 0x0004 /* in run queue using pqe link */
|
|
|
|
#define THR_FLAGS_EXITING 0x0008 /* thread is exiting */
|
|
|
|
#define THR_FLAGS_SUSPENDED 0x0010 /* thread is suspended */
|
|
|
|
#define THR_FLAGS_GC_SAFE 0x0020 /* thread safe for cleaning */
|
|
|
|
#define THR_FLAGS_IN_TDLIST 0x0040 /* thread in all thread list */
|
|
|
|
#define THR_FLAGS_IN_GCLIST 0x0080 /* thread in gc list */
|
1999-03-23 05:07:56 +00:00
|
|
|
/*
|
|
|
|
* Base priority is the user setable and retrievable priority
|
|
|
|
* of the thread. It is only affected by explicit calls to
|
|
|
|
* set thread priority and upon thread creation via a thread
|
|
|
|
* attribute or default priority.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
char base_priority;
|
1999-03-23 05:07:56 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Inherited priority is the priority a thread inherits by
|
|
|
|
* taking a priority inheritence or protection mutex. It
|
|
|
|
* is not affected by base priority changes. Inherited
|
|
|
|
* priority defaults to and remains 0 until a mutex is taken
|
|
|
|
* that is being waited on by any other thread whose priority
|
|
|
|
* is non-zero.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
char inherited_priority;
|
1999-03-23 05:07:56 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Active priority is always the maximum of the threads base
|
|
|
|
* priority and inherited priority. When there is a change
|
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
|
|
|
* in either the base or inherited priority, the active
|
1999-03-23 05:07:56 +00:00
|
|
|
* priority must be recalculated.
|
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
char active_priority;
|
1999-03-23 05:07:56 +00:00
|
|
|
|
|
|
|
/* Number of priority ceiling or protection mutexes owned. */
|
2003-04-18 05:04:16 +00:00
|
|
|
int priority_mutex_count;
|
1999-03-23 05:07:56 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Queue of currently owned mutexes.
|
|
|
|
*/
|
2000-05-26 02:09:24 +00:00
|
|
|
TAILQ_HEAD(, pthread_mutex) mutexq;
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2002-03-19 22:58:56 +00:00
|
|
|
void *ret;
|
|
|
|
struct pthread_specific_elem *specific;
|
|
|
|
int specific_data_count;
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/* Cleanup handlers Link List */
|
|
|
|
struct pthread_cleanup *cleanup;
|
1997-02-05 23:26:09 +00:00
|
|
|
char *fname; /* Ptr to source file name */
|
|
|
|
int lineno; /* Source line number. */
|
1996-01-22 00:23:58 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Critical regions can also be detected by looking at the threads
|
|
|
|
* current lock level. Ensure these macros increment and decrement
|
|
|
|
* the lock levels such that locks can not be held with a lock level
|
|
|
|
* of 0.
|
1996-01-22 00:23:58 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_IN_CRITICAL(thrd) \
|
|
|
|
(((thrd)->locklevel > 0) || \
|
|
|
|
((thrd)->critical_count > 0))
|
|
|
|
|
|
|
|
#define THR_YIELD_CHECK(thrd) \
|
|
|
|
do { \
|
|
|
|
if (((thrd)->critical_yield != 0) && \
|
2003-05-16 19:58:30 +00:00
|
|
|
!(THR_IN_CRITICAL(thrd))) \
|
2003-04-18 05:04:16 +00:00
|
|
|
_thr_sched_switch(thrd); \
|
|
|
|
else if (((thrd)->check_pending != 0) && \
|
|
|
|
!(THR_IN_CRITICAL(thrd))) \
|
|
|
|
_thr_sig_check_pending(thrd); \
|
|
|
|
} while (0)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_LOCK_ACQUIRE(thrd, lck) \
|
|
|
|
do { \
|
|
|
|
if ((thrd)->locklevel >= MAX_THR_LOCKLEVEL) \
|
|
|
|
PANIC("Exceeded maximum lock level"); \
|
|
|
|
else { \
|
2003-05-16 19:58:30 +00:00
|
|
|
THR_DEACTIVATE_LAST_LOCK(thrd); \
|
2003-04-18 05:04:16 +00:00
|
|
|
(thrd)->locklevel++; \
|
|
|
|
_lock_acquire((lck), \
|
|
|
|
&(thrd)->lockusers[(thrd)->locklevel - 1], \
|
|
|
|
(thrd)->active_priority); \
|
|
|
|
} \
|
|
|
|
} while (0)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_LOCK_RELEASE(thrd, lck) \
|
|
|
|
do { \
|
|
|
|
if ((thrd)->locklevel > 0) { \
|
|
|
|
_lock_release((lck), \
|
|
|
|
&(thrd)->lockusers[(thrd)->locklevel - 1]); \
|
|
|
|
(thrd)->locklevel--; \
|
2003-05-16 19:58:30 +00:00
|
|
|
THR_ACTIVATE_LAST_LOCK(thrd); \
|
|
|
|
if ((thrd)->locklevel == 0) \
|
2003-04-28 23:56:12 +00:00
|
|
|
THR_YIELD_CHECK(thrd); \
|
2003-04-18 05:04:16 +00:00
|
|
|
} \
|
|
|
|
} while (0)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
#define THR_ACTIVATE_LAST_LOCK(thrd) \
|
2003-04-28 23:56:12 +00:00
|
|
|
do { \
|
2003-05-16 19:58:30 +00:00
|
|
|
if ((thrd)->locklevel > 0) \
|
|
|
|
_lockuser_setactive( \
|
|
|
|
&(thrd)->lockusers[(thrd)->locklevel - 1], 1); \
|
2003-04-28 23:56:12 +00:00
|
|
|
} while (0)
|
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
#define THR_DEACTIVATE_LAST_LOCK(thrd) \
|
2003-04-28 23:56:12 +00:00
|
|
|
do { \
|
2003-05-16 19:58:30 +00:00
|
|
|
if ((thrd)->locklevel > 0) \
|
|
|
|
_lockuser_setactive( \
|
|
|
|
&(thrd)->lockusers[(thrd)->locklevel - 1], 0); \
|
2003-04-28 23:56:12 +00:00
|
|
|
} while (0)
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* For now, threads will have their own lock separate from their
|
|
|
|
* KSE scheduling lock.
|
|
|
|
*/
|
|
|
|
#define THR_LOCK(thr) THR_LOCK_ACQUIRE(thr, &(thr)->lock)
|
|
|
|
#define THR_UNLOCK(thr) THR_LOCK_RELEASE(thr, &(thr)->lock)
|
|
|
|
#define THR_THREAD_LOCK(curthrd, thr) THR_LOCK_ACQUIRE(curthrd, &(thr)->lock)
|
|
|
|
#define THR_THREAD_UNLOCK(curthrd, thr) THR_LOCK_RELEASE(curthrd, &(thr)->lock)
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Priority queue manipulation macros (using pqe link). We use
|
|
|
|
* the thread's kseg link instead of the kse link because a thread
|
|
|
|
* does not (currently) have a statically assigned kse.
|
|
|
|
*/
|
|
|
|
#define THR_RUNQ_INSERT_HEAD(thrd) \
|
|
|
|
_pq_insert_head(&(thrd)->kseg->kg_schedq.sq_runq, thrd)
|
|
|
|
#define THR_RUNQ_INSERT_TAIL(thrd) \
|
|
|
|
_pq_insert_tail(&(thrd)->kseg->kg_schedq.sq_runq, thrd)
|
|
|
|
#define THR_RUNQ_REMOVE(thrd) \
|
|
|
|
_pq_remove(&(thrd)->kseg->kg_schedq.sq_runq, thrd)
|
|
|
|
#define THR_RUNQ_FIRST() \
|
|
|
|
_pq_first(&(thrd)->kseg->kg_schedq.sq_runq)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/*
|
|
|
|
* Macros to insert/remove threads to the all thread list and
|
|
|
|
* the gc list.
|
|
|
|
*/
|
|
|
|
#define THR_LIST_ADD(thrd) do { \
|
|
|
|
if (((thrd)->flags & THR_FLAGS_IN_TDLIST) == 0) { \
|
|
|
|
TAILQ_INSERT_HEAD(&_thread_list, thrd, tle); \
|
|
|
|
(thrd)->flags |= THR_FLAGS_IN_TDLIST; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
#define THR_LIST_REMOVE(thrd) do { \
|
|
|
|
if (((thrd)->flags & THR_FLAGS_IN_TDLIST) != 0) { \
|
|
|
|
TAILQ_REMOVE(&_thread_list, thrd, tle); \
|
|
|
|
(thrd)->flags &= ~THR_FLAGS_IN_TDLIST; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
#define THR_GCLIST_ADD(thrd) do { \
|
|
|
|
if (((thrd)->flags & THR_FLAGS_IN_GCLIST) == 0) { \
|
2003-04-18 07:09:43 +00:00
|
|
|
TAILQ_INSERT_HEAD(&_thread_gc_list, thrd, gcle);\
|
2003-04-18 05:04:16 +00:00
|
|
|
(thrd)->flags |= THR_FLAGS_IN_GCLIST; \
|
2003-04-18 07:09:43 +00:00
|
|
|
_gc_count++; \
|
2003-04-18 05:04:16 +00:00
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
#define THR_GCLIST_REMOVE(thrd) do { \
|
|
|
|
if (((thrd)->flags & THR_FLAGS_IN_GCLIST) != 0) { \
|
2003-04-18 07:09:43 +00:00
|
|
|
TAILQ_REMOVE(&_thread_gc_list, thrd, gcle); \
|
2003-04-18 05:04:16 +00:00
|
|
|
(thrd)->flags &= ~THR_FLAGS_IN_GCLIST; \
|
2003-04-18 07:09:43 +00:00
|
|
|
_gc_count--; \
|
2003-04-18 05:04:16 +00:00
|
|
|
} \
|
|
|
|
} while (0)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 07:09:43 +00:00
|
|
|
#define GC_NEEDED() (atomic_load_acq_int(&_gc_count) >= 5)
|
|
|
|
|
2000-10-13 22:12:32 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Locking the scheduling queue for another thread uses that thread's
|
|
|
|
* KSEG lock.
|
2000-10-13 22:12:32 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_SCHED_LOCK(curthr, thr) do { \
|
|
|
|
(curthr)->critical[(curthr)->locklevel] = _kse_critical_enter(); \
|
|
|
|
(curthr)->locklevel++; \
|
|
|
|
KSE_SCHED_LOCK((curthr)->kse, (thr)->kseg); \
|
|
|
|
} while (0)
|
2000-10-13 22:12:32 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_SCHED_UNLOCK(curthr, thr) do { \
|
|
|
|
KSE_SCHED_UNLOCK((curthr)->kse, (thr)->kseg); \
|
|
|
|
(curthr)->locklevel--; \
|
|
|
|
_kse_critical_leave((curthr)->critical[(curthr)->locklevel]); \
|
|
|
|
} while (0)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-05-16 19:58:30 +00:00
|
|
|
/* Take the scheduling lock with the intent to call the scheduler. */
|
|
|
|
#define THR_LOCK_SWITCH(curthr) do { \
|
|
|
|
(void)_kse_critical_enter(); \
|
|
|
|
KSE_SCHED_LOCK((curthr)->kse, (curthr)->kseg); \
|
|
|
|
} while (0)
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_CRITICAL_ENTER(thr) (thr)->critical_count++
|
|
|
|
#define THR_CRITICAL_LEAVE(thr) do { \
|
|
|
|
(thr)->critical_count--; \
|
|
|
|
if (((thr)->critical_yield != 0) && \
|
|
|
|
((thr)->critical_count == 0)) { \
|
|
|
|
(thr)->critical_yield = 0; \
|
|
|
|
_thr_sched_switch(thr); \
|
|
|
|
} \
|
|
|
|
} while (0)
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_IS_ACTIVE(thrd) \
|
|
|
|
((thrd)->kse != NULL) && ((thrd)->kse->k_curthread == (thrd))
|
1996-01-22 00:23:58 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#define THR_IN_SYNCQ(thrd) (((thrd)->sflags & THR_FLAGS_IN_SYNCQ) != 0)
|
2003-05-04 16:17:01 +00:00
|
|
|
|
|
|
|
#define THR_IS_SUSPENDED(thrd) \
|
|
|
|
(((thrd)->state == PS_SUSPENDED) || \
|
|
|
|
(((thrd)->flags & THR_FLAGS_SUSPENDED) != 0))
|
|
|
|
#define THR_IS_EXITING(thrd) (((thrd)->flags & THR_FLAGS_EXITING) != 0)
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Global variables for the pthread kernel.
|
|
|
|
*/
|
1996-11-11 09:07:05 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
SCLASS void *_usrstack SCLASS_PRESET(NULL);
|
|
|
|
SCLASS struct kse *_kse_initial SCLASS_PRESET(NULL);
|
|
|
|
SCLASS struct pthread *_thr_initial SCLASS_PRESET(NULL);
|
1997-02-05 23:26:09 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* List of all threads: */
|
|
|
|
SCLASS TAILQ_HEAD(, pthread) _thread_list
|
|
|
|
SCLASS_PRESET(TAILQ_HEAD_INITIALIZER(_thread_list));
|
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
|
|
|
/* List of threads needing GC: */
|
|
|
|
SCLASS TAILQ_HEAD(, pthread) _thread_gc_list
|
|
|
|
SCLASS_PRESET(TAILQ_HEAD_INITIALIZER(_thread_gc_list));
|
1998-09-30 06:22:07 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Default thread attributes: */
|
|
|
|
SCLASS struct pthread_attr _pthread_attr_default
|
|
|
|
SCLASS_PRESET({
|
|
|
|
SCHED_RR, 0, TIMESLICE_USEC, THR_DEFAULT_PRIORITY,
|
|
|
|
THR_CREATE_RUNNING, PTHREAD_CREATE_JOINABLE, NULL,
|
|
|
|
NULL, NULL, THR_STACK_DEFAULT
|
|
|
|
});
|
2003-02-17 10:05:18 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Default mutex attributes: */
|
|
|
|
SCLASS struct pthread_mutex_attr _pthread_mutexattr_default
|
|
|
|
SCLASS_PRESET({PTHREAD_MUTEX_DEFAULT, PTHREAD_PRIO_NONE, 0, 0 });
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Default condition variable attributes: */
|
|
|
|
SCLASS struct pthread_cond_attr _pthread_condattr_default
|
|
|
|
SCLASS_PRESET({COND_TYPE_FAST, 0});
|
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
|
|
|
/* Clock resolution in usec. */
|
|
|
|
SCLASS int _clock_res_usec SCLASS_PRESET(CLOCK_RES_USEC);
|
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
|
|
|
/* Array of signal actions for this process: */
|
|
|
|
SCLASS struct sigaction _thread_sigact[NSIG];
|
1999-03-23 05:07:56 +00:00
|
|
|
|
2003-02-17 10:05:18 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Array of counts of dummy handlers for SIG_DFL signals. This is used to
|
|
|
|
* assure that there is always a dummy signal handler installed while there
|
|
|
|
* is a thread sigwait()ing on the corresponding signal.
|
2003-02-17 10:05:18 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
SCLASS int _thread_dfl_count[NSIG];
|
2003-02-17 10:05:18 +00:00
|
|
|
|
2000-10-13 22:12:32 +00:00
|
|
|
/*
|
2003-04-18 05:04:16 +00:00
|
|
|
* Lock for above count of dummy handlers and for the process signal
|
|
|
|
* mask and pending signal sets.
|
2000-10-13 22:12:32 +00:00
|
|
|
*/
|
2003-04-18 05:04:16 +00:00
|
|
|
SCLASS struct lock _thread_signal_lock;
|
2000-10-13 22:12:32 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Pending signals and mask for this process: */
|
|
|
|
SCLASS sigset_t _thr_proc_sigpending;
|
|
|
|
SCLASS sigset_t _thr_proc_sigmask SCLASS_PRESET({{0, 0, 0, 0}});
|
|
|
|
SCLASS siginfo_t _thr_proc_siginfo[NSIG];
|
2000-10-13 22:12:32 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
SCLASS pid_t _thr_pid SCLASS_PRESET(0);
|
2002-11-12 00:55:01 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* Garbage collector lock. */
|
|
|
|
SCLASS struct lock _gc_lock;
|
|
|
|
SCLASS int _gc_check SCLASS_PRESET(0);
|
2003-04-18 07:09:43 +00:00
|
|
|
SCLASS int _gc_count SCLASS_PRESET(0);
|
2002-11-12 00:55:01 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
SCLASS struct lock _mutex_static_lock;
|
|
|
|
SCLASS struct lock _rwlock_static_lock;
|
|
|
|
SCLASS struct lock _keytable_lock;
|
|
|
|
SCLASS struct lock _thread_list_lock;
|
|
|
|
SCLASS int _thr_guard_default;
|
|
|
|
SCLASS int _thr_page_size;
|
2000-10-13 22:12:32 +00:00
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
SCLASS int _thr_debug_flags SCLASS_PRESET(0);
|
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
|
|
|
/* Undefine the storage class and preset specifiers: */
|
1996-01-22 00:23:58 +00:00
|
|
|
#undef SCLASS
|
2003-04-18 05:04:16 +00:00
|
|
|
#undef SCLASS_PRESET
|
|
|
|
|
1996-01-22 00:23:58 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Function prototype definitions.
|
|
|
|
*/
|
|
|
|
__BEGIN_DECLS
|
2003-04-18 05:04:16 +00:00
|
|
|
int _cond_reinit(pthread_cond_t *);
|
|
|
|
void _cond_wait_backout(struct pthread *);
|
2001-01-24 13:03:38 +00:00
|
|
|
struct pthread *_get_curthread(void);
|
2003-04-18 05:04:16 +00:00
|
|
|
struct kse *_get_curkse(void);
|
|
|
|
void _set_curkse(struct kse *);
|
2003-04-18 07:09:43 +00:00
|
|
|
struct kse *_kse_alloc(struct pthread *);
|
2003-04-18 05:04:16 +00:00
|
|
|
kse_critical_t _kse_critical_enter(void);
|
|
|
|
void _kse_critical_leave(kse_critical_t);
|
2003-04-23 21:46:50 +00:00
|
|
|
int _kse_in_critical(void);
|
2003-04-18 07:09:43 +00:00
|
|
|
void _kse_free(struct pthread *, struct kse *);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _kse_init();
|
2003-04-18 07:09:43 +00:00
|
|
|
struct kse_group *_kseg_alloc(struct pthread *);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _kse_lock_wait(struct lock *, struct lockuser *lu);
|
|
|
|
void _kse_lock_wakeup(struct lock *, struct lockuser *lu);
|
|
|
|
void _kse_sig_check_pending(struct kse *);
|
|
|
|
void _kse_single_thread(struct pthread *);
|
|
|
|
void _kse_start(struct kse *);
|
2003-04-21 04:02:56 +00:00
|
|
|
int _kse_setthreaded(int);
|
2003-04-18 05:04:16 +00:00
|
|
|
int _kse_isthreaded(void);
|
2003-04-22 20:28:33 +00:00
|
|
|
void _kseg_free(struct kse_group *);
|
1999-03-23 05:07:56 +00:00
|
|
|
int _mutex_cv_lock(pthread_mutex_t *);
|
|
|
|
int _mutex_cv_unlock(pthread_mutex_t *);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _mutex_lock_backout(struct pthread *);
|
|
|
|
void _mutex_notify_priochange(struct pthread *, struct pthread *, int);
|
|
|
|
int _mutex_reinit(struct pthread_mutex *);
|
|
|
|
void _mutex_unlock_private(struct pthread *);
|
|
|
|
void _libpthread_init(struct pthread *);
|
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
|
|
|
int _pq_alloc(struct pq_queue *, int, int);
|
2003-04-18 07:09:43 +00:00
|
|
|
void _pq_free(struct pq_queue *);
|
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
|
|
|
int _pq_init(struct pq_queue *);
|
1999-03-23 05:07:56 +00:00
|
|
|
void _pq_remove(struct pq_queue *pq, struct pthread *);
|
|
|
|
void _pq_insert_head(struct pq_queue *pq, struct pthread *);
|
|
|
|
void _pq_insert_tail(struct pq_queue *pq, struct pthread *);
|
|
|
|
struct pthread *_pq_first(struct pq_queue *pq);
|
2001-01-24 13:03:38 +00:00
|
|
|
void *_pthread_getspecific(pthread_key_t);
|
|
|
|
int _pthread_key_create(pthread_key_t *, void (*) (void *));
|
|
|
|
int _pthread_key_delete(pthread_key_t);
|
|
|
|
int _pthread_mutex_destroy(pthread_mutex_t *);
|
|
|
|
int _pthread_mutex_init(pthread_mutex_t *, const pthread_mutexattr_t *);
|
|
|
|
int _pthread_mutex_lock(pthread_mutex_t *);
|
|
|
|
int _pthread_mutex_trylock(pthread_mutex_t *);
|
|
|
|
int _pthread_mutex_unlock(pthread_mutex_t *);
|
|
|
|
int _pthread_mutexattr_init(pthread_mutexattr_t *);
|
|
|
|
int _pthread_mutexattr_destroy(pthread_mutexattr_t *);
|
|
|
|
int _pthread_mutexattr_settype(pthread_mutexattr_t *, int);
|
|
|
|
int _pthread_once(pthread_once_t *, void (*) (void));
|
2003-04-18 05:04:16 +00:00
|
|
|
struct pthread *_pthread_self(void);
|
2001-01-24 13:03:38 +00:00
|
|
|
int _pthread_setspecific(pthread_key_t, const void *);
|
2003-04-18 07:09:43 +00:00
|
|
|
struct pthread *_thr_alloc(struct pthread *);
|
|
|
|
int _thread_enter_uts(struct kse_thr_mailbox *, struct kse_mailbox *);
|
|
|
|
int _thread_switch(struct kse_thr_mailbox *, struct kse_thr_mailbox **);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thr_exit(char *, int, char *);
|
|
|
|
void _thr_exit_cleanup(void);
|
|
|
|
void _thr_lock_wait(struct lock *lock, struct lockuser *lu);
|
|
|
|
void _thr_lock_wakeup(struct lock *lock, struct lockuser *lu);
|
|
|
|
int _thr_ref_add(struct pthread *, struct pthread *, int);
|
|
|
|
void _thr_ref_delete(struct pthread *, struct pthread *);
|
2003-04-22 20:28:33 +00:00
|
|
|
int _thr_schedule_add(struct pthread *, struct pthread *);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thr_schedule_remove(struct pthread *, struct pthread *);
|
|
|
|
void _thr_setrunnable(struct pthread *curthread, struct pthread *thread);
|
|
|
|
void _thr_setrunnable_unlocked(struct pthread *thread);
|
2003-05-16 19:58:30 +00:00
|
|
|
void _thr_sig_add(struct pthread *, int, siginfo_t *);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thr_sig_dispatch(struct kse *, int, siginfo_t *);
|
|
|
|
int _thr_stack_alloc(struct pthread_attr *);
|
|
|
|
void _thr_stack_free(struct pthread_attr *);
|
|
|
|
void _thr_exit_cleanup(void);
|
2003-04-18 07:09:43 +00:00
|
|
|
void _thr_free(struct pthread *, struct pthread *);
|
|
|
|
void _thr_gc(struct pthread *);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thr_panic_exit(char *, int, char *);
|
1996-01-22 00:23:58 +00:00
|
|
|
void _thread_cleanupspecific(void);
|
|
|
|
void _thread_dump_info(void);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thread_printf(int, const char *, ...);
|
|
|
|
void _thr_sched_frame(struct pthread_sigframe *);
|
|
|
|
void _thr_sched_switch(struct pthread *);
|
2003-05-16 19:58:30 +00:00
|
|
|
void _thr_sched_switch_unlocked(struct pthread *);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thr_set_timeout(const struct timespec *);
|
2003-05-29 17:10:45 +00:00
|
|
|
void _thr_seterrno(struct pthread *, int);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thr_sig_handler(int, siginfo_t *, ucontext_t *);
|
|
|
|
void _thr_sig_check_pending(struct pthread *);
|
|
|
|
void _thr_sig_rundown(struct pthread *, ucontext_t *,
|
|
|
|
struct pthread_sigframe *);
|
|
|
|
void _thr_sig_send(struct pthread *pthread, int sig);
|
|
|
|
void _thr_sig_wrapper(void);
|
|
|
|
void _thr_sigframe_restore(struct pthread *thread, struct pthread_sigframe *psf);
|
2003-05-29 17:10:45 +00:00
|
|
|
void _thr_spinlock_init(void);
|
2003-04-18 05:04:16 +00:00
|
|
|
void _thr_enter_cancellation_point(struct pthread *);
|
|
|
|
void _thr_leave_cancellation_point(struct pthread *);
|
2003-04-28 23:56:12 +00:00
|
|
|
int _thr_setconcurrency(int new_level);
|
|
|
|
int _thr_setmaxconcurrency(void);
|
2003-04-18 05:04:16 +00:00
|
|
|
|
|
|
|
/* XXX - Stuff that goes away when my sources get more up to date. */
|
|
|
|
/* #include <sys/kse.h> */
|
|
|
|
#ifdef SYS_KSE_H
|
|
|
|
int __sys_kse_create(struct kse_mailbox *, int);
|
|
|
|
int __sys_kse_thr_wakeup(struct kse_mailbox *);
|
|
|
|
int __sys_kse_exit(struct kse_mailbox *);
|
|
|
|
int __sys_kse_release(struct kse_mailbox *);
|
|
|
|
#endif
|
2001-10-26 18:45:02 +00:00
|
|
|
|
2001-01-29 03:24:23 +00:00
|
|
|
/* #include <sys/aio.h> */
|
|
|
|
#ifdef _SYS_AIO_H_
|
2001-01-29 18:59:53 +00:00
|
|
|
int __sys_aio_suspend(const struct aiocb * const[], int, const struct timespec *);
|
2001-01-24 13:03:38 +00:00
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* #include <fcntl.h> */
|
|
|
|
#ifdef _SYS_FCNTL_H_
|
|
|
|
int __sys_fcntl(int, int, ...);
|
|
|
|
int __sys_open(const char *, int, ...);
|
1996-01-22 00:23:58 +00:00
|
|
|
#endif
|
|
|
|
|
2001-10-26 18:45:02 +00:00
|
|
|
/* #include <sys/ioctl.h> */
|
|
|
|
#ifdef _SYS_IOCTL_H_
|
|
|
|
int __sys_ioctl(int, unsigned long, ...);
|
1996-01-22 00:23:58 +00:00
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* #inclde <sched.h> */
|
|
|
|
#ifdef _SCHED_H_
|
|
|
|
int __sys_sched_yield(void);
|
2001-10-26 18:45:02 +00:00
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* #include <signal.h> */
|
|
|
|
#ifdef _SIGNAL_H_
|
|
|
|
int __sys_kill(pid_t, int);
|
|
|
|
int __sys_sigaction(int, const struct sigaction *, struct sigaction *);
|
|
|
|
int __sys_sigpending(sigset_t *);
|
|
|
|
int __sys_sigprocmask(int, const sigset_t *, sigset_t *);
|
|
|
|
int __sys_sigsuspend(const sigset_t *);
|
|
|
|
int __sys_sigreturn(ucontext_t *);
|
|
|
|
int __sys_sigaltstack(const struct sigaltstack *, struct sigaltstack *);
|
1996-01-22 00:23:58 +00:00
|
|
|
#endif
|
|
|
|
|
2001-01-24 13:03:38 +00:00
|
|
|
/* #include <sys/socket.h> */
|
2001-10-26 18:45:02 +00:00
|
|
|
#ifdef _SYS_SOCKET_H_
|
2003-04-18 05:04:16 +00:00
|
|
|
int __sys_sendfile(int, int, off_t, size_t, struct sf_hdtr *,
|
|
|
|
off_t *, int);
|
1996-01-22 00:23:58 +00:00
|
|
|
#endif
|
|
|
|
|
2001-10-26 18:45:02 +00:00
|
|
|
/* #include <sys/uio.h> */
|
2003-04-18 05:04:16 +00:00
|
|
|
#ifdef _SYS_UIO_H_
|
|
|
|
ssize_t __sys_readv(int, const struct iovec *, int);
|
|
|
|
ssize_t __sys_writev(int, const struct iovec *, int);
|
1996-01-22 00:23:58 +00:00
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* #include <time.h> */
|
|
|
|
#ifdef _TIME_H_
|
|
|
|
int __sys_nanosleep(const struct timespec *, struct timespec *);
|
1996-01-22 00:23:58 +00:00
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* #include <unistd.h> */
|
|
|
|
#ifdef _UNISTD_H_
|
|
|
|
int __sys_close(int);
|
|
|
|
int __sys_execve(const char *, char * const *, char * const *);
|
|
|
|
int __sys_fork(void);
|
|
|
|
int __sys_fsync(int);
|
|
|
|
pid_t __sys_getpid(void);
|
|
|
|
int __sys_select(int, fd_set *, fd_set *, fd_set *, struct timeval *);
|
|
|
|
ssize_t __sys_read(int, void *, size_t);
|
|
|
|
ssize_t __sys_write(int, const void *, size_t);
|
|
|
|
void __sys_exit(int);
|
1996-01-22 00:23:58 +00:00
|
|
|
#endif
|
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
|
|
|
|
|
|
|
/* #include <poll.h> */
|
|
|
|
#ifdef _SYS_POLL_H_
|
2003-04-18 05:04:16 +00:00
|
|
|
int __sys_poll(struct pollfd *, unsigned, int);
|
2001-10-26 18:45:02 +00:00
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
/* #include <sys/mman.h> */
|
|
|
|
#ifdef _SYS_MMAN_H_
|
|
|
|
int __sys_msync(void *, size_t, int);
|
2000-01-19 07:04:50 +00:00
|
|
|
#endif
|
|
|
|
|
2003-04-18 05:04:16 +00:00
|
|
|
#endif /* !_THR_PRIVATE_H */
|