Home | History | Annotate | Line # | Download | only in libpthread
pthread_int.h revision 1.100
      1  1.100        ad /*	$NetBSD: pthread_int.h,v 1.100 2020/01/28 13:08:40 ad Exp $	*/
      2    1.2   thorpej 
      3    1.2   thorpej /*-
      4   1.99        ad  * Copyright (c) 2001, 2002, 2003, 2006, 2007, 2008, 2020
      5   1.99        ad  *     The NetBSD Foundation, Inc.
      6    1.2   thorpej  * All rights reserved.
      7    1.2   thorpej  *
      8    1.2   thorpej  * This code is derived from software contributed to The NetBSD Foundation
      9   1.38        ad  * by Nathan J. Williams and Andrew Doran.
     10    1.2   thorpej  *
     11    1.2   thorpej  * Redistribution and use in source and binary forms, with or without
     12    1.2   thorpej  * modification, are permitted provided that the following conditions
     13    1.2   thorpej  * are met:
     14    1.2   thorpej  * 1. Redistributions of source code must retain the above copyright
     15    1.2   thorpej  *    notice, this list of conditions and the following disclaimer.
     16    1.2   thorpej  * 2. Redistributions in binary form must reproduce the above copyright
     17    1.2   thorpej  *    notice, this list of conditions and the following disclaimer in the
     18    1.2   thorpej  *    documentation and/or other materials provided with the distribution.
     19    1.2   thorpej  *
     20    1.2   thorpej  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     21    1.2   thorpej  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     22    1.2   thorpej  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     23    1.2   thorpej  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     24    1.2   thorpej  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     25    1.2   thorpej  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     26    1.2   thorpej  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     27    1.2   thorpej  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     28    1.2   thorpej  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     29    1.2   thorpej  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     30    1.2   thorpej  * POSSIBILITY OF SUCH DAMAGE.
     31    1.2   thorpej  */
     32    1.2   thorpej 
     33    1.2   thorpej #ifndef _LIB_PTHREAD_INT_H
     34    1.2   thorpej #define _LIB_PTHREAD_INT_H
     35    1.2   thorpej 
     36   1.76     joerg #include <sys/tls.h>
     37   1.76     joerg 
     38   1.48        ad /* #define PTHREAD__DEBUG */
     39    1.2   thorpej #define ERRORCHECK
     40    1.2   thorpej 
     41    1.2   thorpej #include "pthread_types.h"
     42    1.2   thorpej #include "pthread_queue.h"
     43    1.2   thorpej #include "pthread_md.h"
     44    1.2   thorpej 
     45   1.66        ad /* Need to use libc-private names for atomic operations. */
     46   1.66        ad #include "../../common/lib/libc/atomic/atomic_op_namespace.h"
     47   1.66        ad 
     48   1.66        ad #include <sys/atomic.h>
     49   1.87     rmind #include <sys/rbtree.h>
     50  1.100        ad #include <sys/param.h>
     51   1.57        ad 
     52   1.84     joerg #include <limits.h>
     53   1.35        ad #include <lwp.h>
     54    1.2   thorpej #include <signal.h>
     55   1.84     joerg #include <stdbool.h>
     56    1.2   thorpej 
     57   1.60        ad #ifdef __GNUC__
     58   1.60        ad #define	PTHREAD_HIDE	__attribute__ ((visibility("hidden")))
     59   1.60        ad #else
     60   1.60        ad #define	PTHREAD_HIDE	/* nothing */
     61   1.60        ad #endif
     62   1.60        ad 
     63   1.97     joerg #define	PTHREAD__UNPARK_MAX	128
     64   1.51        ad 
     65    1.2   thorpej /*
     66    1.2   thorpej  * The size of this structure needs to be no larger than struct
     67    1.2   thorpej  * __pthread_cleanup_store, defined in pthread.h.
     68    1.2   thorpej  */
     69    1.2   thorpej struct pt_clean_t {
     70    1.2   thorpej 	PTQ_ENTRY(pt_clean_t)	ptc_next;
     71    1.2   thorpej 	void	(*ptc_cleanup)(void *);
     72    1.2   thorpej 	void	*ptc_arg;
     73    1.2   thorpej };
     74    1.2   thorpej 
     75   1.16   nathanw /* Private data for pthread_attr_t */
     76   1.16   nathanw struct pthread_attr_private {
     77   1.16   nathanw 	char ptap_name[PTHREAD_MAX_NAMELEN_NP];
     78   1.16   nathanw 	void *ptap_namearg;
     79   1.16   nathanw 	void *ptap_stackaddr;
     80   1.16   nathanw 	size_t ptap_stacksize;
     81   1.16   nathanw 	size_t ptap_guardsize;
     82   1.70        ad 	struct sched_param ptap_sp;
     83   1.70        ad 	int ptap_policy;
     84    1.2   thorpej };
     85    1.2   thorpej 
     86   1.60        ad struct pthread_lock_ops {
     87   1.60        ad 	void	(*plo_init)(__cpu_simple_lock_t *);
     88   1.60        ad 	int	(*plo_try)(__cpu_simple_lock_t *);
     89   1.60        ad 	void	(*plo_unlock)(__cpu_simple_lock_t *);
     90   1.60        ad 	void	(*plo_lock)(__cpu_simple_lock_t *);
     91   1.60        ad };
     92   1.60        ad 
     93   1.15   nathanw struct	__pthread_st {
     94   1.60        ad 	pthread_t	pt_self;	/* Must be first. */
     95   1.76     joerg #if defined(__HAVE_TLS_VARIANT_I) || defined(__HAVE_TLS_VARIANT_II)
     96   1.76     joerg 	struct tls_tcb	*pt_tls;	/* Thread Local Storage area */
     97   1.76     joerg #endif
     98   1.43        ad 	unsigned int	pt_magic;	/* Magic number */
     99   1.43        ad 	int		pt_state;	/* running, blocked, etc. */
    100   1.43        ad 	int		pt_flags;	/* see PT_FLAG_* below */
    101   1.43        ad 	int		pt_cancel;	/* Deferred cancellation */
    102   1.43        ad 	int		pt_errno;	/* Thread-specific errno. */
    103    1.2   thorpej 	stack_t		pt_stack;	/* Our stack */
    104   1.84     joerg 	bool		pt_stack_allocated;
    105   1.84     joerg 	size_t		pt_guardsize;
    106   1.38        ad 	void		*pt_exitval;	/* Read by pthread_join() */
    107   1.38        ad 	char		*pt_name;	/* Thread's name, set by the app. */
    108   1.45        ad 	int		pt_willpark;	/* About to park */
    109   1.45        ad 	lwpid_t		pt_unpark;	/* Unpark this when parking */
    110   1.60        ad 	struct pthread_lock_ops pt_lockops;/* Cached to avoid PIC overhead */
    111   1.72        ad 	void		*(*pt_func)(void *);/* Function to call at start. */
    112   1.79     lukem 	void		*pt_arg;	/* Argument to pass at start. */
    113    1.2   thorpej 
    114   1.51        ad 	/* Threads to defer waking, usually until pthread_mutex_unlock(). */
    115   1.51        ad 	lwpid_t		pt_waiters[PTHREAD__UNPARK_MAX];
    116   1.51        ad 	size_t		pt_nwaiters;
    117   1.51        ad 
    118    1.2   thorpej 	/* Stack of cancellation cleanup handlers and their arguments */
    119    1.2   thorpej 	PTQ_HEAD(, pt_clean_t)	pt_cleanup_stack;
    120    1.2   thorpej 
    121   1.43        ad 	/* LWP ID and entry on the list of all threads. */
    122   1.43        ad 	lwpid_t		pt_lid;
    123  1.100        ad 	PTQ_ENTRY(__pthread_st)	pt_deadq;
    124  1.100        ad 
    125  1.100        ad 	/*
    126  1.100        ad 	 * rbtree node and entry on the list of all threads.  pt_alltree in
    127  1.100        ad 	 * its own cacheline, so pthread__find() is not needlessly impacted
    128  1.100        ad 	 * by threads going about their normal business.  pt_allq is
    129  1.100        ad 	 * adjusted at the same time as pt_alltree.
    130  1.100        ad 	 */
    131  1.100        ad 	rb_node_t	pt_alltree __aligned(COHERENCY_UNIT);
    132   1.58        ad 	PTQ_ENTRY(__pthread_st) pt_allq;
    133  1.100        ad 
    134  1.100        ad 	/* Lock on state also gets its own line. */
    135  1.100        ad 	pthread_mutex_t	pt_lock __aligned(COHERENCY_UNIT);
    136   1.43        ad 
    137   1.43        ad 	/*
    138   1.43        ad 	 * General synchronization data.  We try to align, as threads
    139   1.43        ad 	 * on other CPUs will access this data frequently.
    140    1.2   thorpej 	 */
    141  1.100        ad 	int		pt_dummy1 __aligned(COHERENCY_UNIT);
    142   1.61        ad 	struct lwpctl 	*pt_lwpctl;	/* Kernel/user comms area */
    143   1.51        ad 	volatile int	pt_rwlocked;	/* Handed rwlock successfully */
    144   1.51        ad 	volatile int	pt_signalled;	/* Received pthread_cond_signal() */
    145   1.69        ad 	volatile int	pt_mutexwait;	/* Waiting to acquire mutex */
    146   1.69        ad 	void * volatile pt_mutexnext;	/* Next thread in chain */
    147   1.51        ad 	void * volatile	pt_sleepobj;	/* Object slept on */
    148   1.51        ad 	PTQ_ENTRY(__pthread_st) pt_sleep;
    149   1.51        ad 	void		(*pt_early)(void *);
    150   1.46        ad 
    151   1.48        ad 	/* Thread-specific data.  Large so it sits close to the end. */
    152  1.100        ad 	int		pt_havespecific __aligned(COHERENCY_UNIT);
    153   1.88  christos 	struct pt_specific {
    154   1.88  christos 		void *pts_value;
    155   1.88  christos 		PTQ_ENTRY(pt_specific) pts_next;
    156   1.91      manu 	} pt_specific[];
    157    1.2   thorpej };
    158    1.2   thorpej 
    159    1.2   thorpej /* Thread states */
    160    1.2   thorpej #define PT_STATE_RUNNING	1
    161    1.2   thorpej #define PT_STATE_ZOMBIE		5
    162    1.2   thorpej #define PT_STATE_DEAD		6
    163   1.35        ad 
    164    1.2   thorpej /* Flag values */
    165    1.2   thorpej 
    166    1.2   thorpej #define PT_FLAG_DETACHED	0x0001
    167    1.2   thorpej #define PT_FLAG_CS_DISABLED	0x0004	/* Cancellation disabled */
    168    1.2   thorpej #define PT_FLAG_CS_ASYNC	0x0008  /* Cancellation is async */
    169    1.2   thorpej #define PT_FLAG_CS_PENDING	0x0010
    170   1.15   nathanw #define PT_FLAG_SCOPE_SYSTEM	0x0040
    171   1.15   nathanw #define PT_FLAG_EXPLICIT_SCHED	0x0080
    172   1.29   nathanw #define PT_FLAG_SUSPENDED	0x0100	/* In the suspended queue */
    173    1.2   thorpej 
    174    1.2   thorpej #define PT_MAGIC	0x11110001
    175    1.2   thorpej #define PT_DEAD		0xDEAD0001
    176    1.2   thorpej 
    177    1.2   thorpej #define PT_ATTR_MAGIC	0x22220002
    178    1.2   thorpej #define PT_ATTR_DEAD	0xDEAD0002
    179    1.2   thorpej 
    180   1.48        ad extern size_t	pthread__stacksize;
    181   1.94     joerg extern size_t	pthread__guardsize;
    182   1.83     joerg extern size_t	pthread__pagesize;
    183   1.48        ad extern int	pthread__nspins;
    184   1.48        ad extern int	pthread__concurrency;
    185   1.48        ad extern int 	pthread__osrev;
    186   1.51        ad extern int 	pthread__unpark_max;
    187   1.91      manu extern int	pthread_keys_max;
    188   1.22        cl 
    189   1.89  christos extern int	__uselibcstub;
    190   1.89  christos 
    191    1.2   thorpej /* Flag to be used in a ucontext_t's uc_flags indicating that
    192    1.2   thorpej  * the saved register state is "user" state only, not full
    193    1.2   thorpej  * trap state.
    194    1.2   thorpej  */
    195    1.2   thorpej #define _UC_USER_BIT		30
    196    1.2   thorpej #define _UC_USER		(1LU << _UC_USER_BIT)
    197    1.2   thorpej 
    198    1.2   thorpej /* Utility functions */
    199   1.69        ad void	pthread__unpark_all(pthread_queue_t *, pthread_t, pthread_mutex_t *)
    200   1.69        ad     PTHREAD_HIDE;
    201   1.69        ad void	pthread__unpark(pthread_queue_t *, pthread_t, pthread_mutex_t *)
    202   1.69        ad     PTHREAD_HIDE;
    203   1.69        ad int	pthread__park(pthread_t, pthread_mutex_t *, pthread_queue_t *,
    204   1.60        ad 		      const struct timespec *, int, const void *)
    205   1.60        ad 		      PTHREAD_HIDE;
    206   1.69        ad pthread_mutex_t *pthread__hashlock(volatile const void *) PTHREAD_HIDE;
    207   1.35        ad 
    208    1.2   thorpej /* Internal locking primitives */
    209   1.60        ad void	pthread__lockprim_init(void) PTHREAD_HIDE;
    210   1.60        ad void	pthread_lockinit(pthread_spin_t *) PTHREAD_HIDE;
    211   1.60        ad 
    212   1.65  christos static inline void pthread__spinlock(pthread_t, pthread_spin_t *)
    213   1.65  christos     __attribute__((__always_inline__));
    214   1.60        ad static inline void
    215   1.60        ad pthread__spinlock(pthread_t self, pthread_spin_t *lock)
    216   1.60        ad {
    217   1.60        ad 	if (__predict_true((*self->pt_lockops.plo_try)(lock)))
    218   1.60        ad 		return;
    219   1.60        ad 	(*self->pt_lockops.plo_lock)(lock);
    220   1.60        ad }
    221   1.60        ad 
    222   1.65  christos static inline int pthread__spintrylock(pthread_t, pthread_spin_t *)
    223   1.65  christos     __attribute__((__always_inline__));
    224   1.60        ad static inline int
    225   1.60        ad pthread__spintrylock(pthread_t self, pthread_spin_t *lock)
    226   1.60        ad {
    227   1.60        ad 	return (*self->pt_lockops.plo_try)(lock);
    228   1.60        ad }
    229   1.60        ad 
    230   1.65  christos static inline void pthread__spinunlock(pthread_t, pthread_spin_t *)
    231   1.65  christos     __attribute__((__always_inline__));
    232   1.60        ad static inline void
    233   1.60        ad pthread__spinunlock(pthread_t self, pthread_spin_t *lock)
    234   1.60        ad {
    235   1.60        ad 	(*self->pt_lockops.plo_unlock)(lock);
    236   1.60        ad }
    237    1.2   thorpej 
    238    1.2   thorpej extern const struct pthread_lock_ops *pthread__lock_ops;
    239    1.2   thorpej 
    240   1.60        ad int	pthread__simple_locked_p(__cpu_simple_lock_t *) PTHREAD_HIDE;
    241   1.56     skrll #define	pthread__simple_lock_init(alp)	(*pthread__lock_ops->plo_init)(alp)
    242   1.56     skrll #define	pthread__simple_lock_try(alp)	(*pthread__lock_ops->plo_try)(alp)
    243   1.56     skrll #define	pthread__simple_unlock(alp)	(*pthread__lock_ops->plo_unlock)(alp)
    244    1.2   thorpej 
    245   1.60        ad void	pthread__testcancel(pthread_t) PTHREAD_HIDE;
    246   1.60        ad int	pthread__find(pthread_t) PTHREAD_HIDE;
    247    1.2   thorpej 
    248    1.2   thorpej #ifndef PTHREAD_MD_INIT
    249    1.2   thorpej #define PTHREAD_MD_INIT
    250    1.2   thorpej #endif
    251    1.2   thorpej 
    252    1.2   thorpej #ifndef _INITCONTEXT_U_MD
    253    1.2   thorpej #define _INITCONTEXT_U_MD(ucp)
    254    1.2   thorpej #endif
    255    1.2   thorpej 
    256    1.2   thorpej #define _INITCONTEXT_U(ucp) do {					\
    257    1.2   thorpej 	(ucp)->uc_flags = _UC_CPU | _UC_STACK;				\
    258    1.2   thorpej 	_INITCONTEXT_U_MD(ucp)						\
    259    1.3  christos 	} while (/*CONSTCOND*/0)
    260    1.2   thorpej 
    261    1.2   thorpej 
    262   1.85     joerg #if !defined(__HAVE_TLS_VARIANT_I) && !defined(__HAVE_TLS_VARIANT_II)
    263   1.85     joerg #error Either __HAVE_TLS_VARIANT_I or __HAVE_TLS_VARIANT_II must be defined
    264   1.85     joerg #endif
    265   1.85     joerg 
    266   1.90     pooka #ifdef _PTHREAD_GETTCB_EXT
    267   1.90     pooka struct tls_tcb *_PTHREAD_GETTCB_EXT(void);
    268   1.90     pooka #endif
    269   1.90     pooka 
    270   1.76     joerg static inline pthread_t __constfunc
    271   1.76     joerg pthread__self(void)
    272   1.76     joerg {
    273   1.90     pooka #if defined(_PTHREAD_GETTCB_EXT)
    274   1.90     pooka 	struct tls_tcb * const tcb = _PTHREAD_GETTCB_EXT();
    275   1.90     pooka #elif defined(__HAVE___LWP_GETTCB_FAST)
    276   1.78      matt 	struct tls_tcb * const tcb = __lwp_gettcb_fast();
    277   1.78      matt #else
    278   1.78      matt 	struct tls_tcb * const tcb = __lwp_getprivate_fast();
    279   1.78      matt #endif
    280   1.76     joerg 	return (pthread_t)tcb->tcb_pthread;
    281   1.76     joerg }
    282   1.13   nathanw 
    283   1.12  christos #define pthread__abort()						\
    284   1.12  christos 	pthread__assertfunc(__FILE__, __LINE__, __func__, "unreachable")
    285   1.12  christos 
    286   1.11   nathanw #define pthread__assert(e) do {						\
    287   1.11   nathanw 	if (__predict_false(!(e)))					\
    288   1.11   nathanw        	       pthread__assertfunc(__FILE__, __LINE__, __func__, #e);	\
    289   1.12  christos         } while (/*CONSTCOND*/0)
    290   1.11   nathanw 
    291   1.11   nathanw #define pthread__error(err, msg, e) do {				\
    292   1.11   nathanw 	if (__predict_false(!(e))) {					\
    293   1.11   nathanw        	       pthread__errorfunc(__FILE__, __LINE__, __func__, msg);	\
    294   1.11   nathanw 	       return (err);						\
    295   1.11   nathanw 	} 								\
    296   1.12  christos         } while (/*CONSTCOND*/0)
    297   1.11   nathanw 
    298   1.92  christos void 	*pthread_tsd_init(size_t *) PTHREAD_HIDE;
    299   1.60        ad void	pthread__destroy_tsd(pthread_t) PTHREAD_HIDE;
    300   1.95  christos void	pthread__copy_tsd(pthread_t) PTHREAD_HIDE;
    301   1.95  christos 
    302   1.80     joerg __dead void	pthread__assertfunc(const char *, int, const char *, const char *)
    303   1.60        ad 			    PTHREAD_HIDE;
    304   1.60        ad void	pthread__errorfunc(const char *, int, const char *, const char *)
    305   1.60        ad 			   PTHREAD_HIDE;
    306   1.60        ad char	*pthread__getenv(const char *) PTHREAD_HIDE;
    307   1.80     joerg __dead void	pthread__cancelled(void) PTHREAD_HIDE;
    308   1.69        ad void	pthread__mutex_deferwake(pthread_t, pthread_mutex_t *) PTHREAD_HIDE;
    309   1.70        ad int	pthread__checkpri(int) PTHREAD_HIDE;
    310   1.88  christos int	pthread__add_specific(pthread_t, pthread_key_t, const void *) PTHREAD_HIDE;
    311   1.52        ad 
    312   1.50        ad #ifndef pthread__smt_pause
    313   1.43        ad #define	pthread__smt_pause()	/* nothing */
    314   1.43        ad #endif
    315   1.86      matt #ifndef pthread__smt_wake
    316   1.86      matt #define	pthread__smt_wake()	/* nothing */
    317   1.86      matt #endif
    318   1.43        ad 
    319   1.52        ad /*
    320   1.52        ad  * Bits in the owner field of the lock that indicate lock state.  If the
    321   1.52        ad  * WRITE_LOCKED bit is clear, then the owner field is actually a count of
    322   1.52        ad  * the number of readers.
    323   1.52        ad  */
    324   1.52        ad #define	RW_HAS_WAITERS		0x01	/* lock has waiters */
    325   1.52        ad #define	RW_WRITE_WANTED		0x02	/* >= 1 waiter is a writer */
    326   1.52        ad #define	RW_WRITE_LOCKED		0x04	/* lock is currently write locked */
    327   1.52        ad #define	RW_UNUSED		0x08	/* currently unused */
    328   1.52        ad 
    329   1.52        ad #define	RW_FLAGMASK		0x0f
    330   1.52        ad 
    331   1.52        ad #define	RW_READ_COUNT_SHIFT	4
    332   1.52        ad #define	RW_READ_INCR		(1 << RW_READ_COUNT_SHIFT)
    333   1.52        ad #define	RW_THREAD		((uintptr_t)-RW_READ_INCR)
    334   1.52        ad 
    335    1.2   thorpej #endif /* _LIB_PTHREAD_INT_H */
    336