X-Git-Url: https://perl5.git.perl.org/perl5.git/blobdiff_plain/af702f0e61214b54e323d12ffeaff4e64bee707c..638eceb6656bf10acb1a6dc2a55880f5e1a6c8c4:/thread.h

diff --git a/thread.h b/thread.h
index c9ec77e..1e2a220 100644
--- a/thread.h
+++ b/thread.h
@@ -3,52 +3,181 @@
 #ifdef WIN32
 #  include <win32thread.h>
 #else
-
-/* POSIXish threads */
-typedef pthread_t perl_thread;
-#ifdef OLD_PTHREADS_API
-#  define pthread_mutexattr_init(a) pthread_mutexattr_create(a)
-#  define pthread_mutexattr_settype(a,t) pthread_mutexattr_setkind_np(a,t)
-#  define pthread_key_create(k,d) pthread_keycreate(k,(pthread_destructor_t)(d))
-#  define YIELD pthread_yield()
-#  define DETACH(t)				\
+#  ifdef OLD_PTHREADS_API /* Here be dragons. */
+#    define DETACH(t)				\
     STMT_START {				\
 	if (pthread_detach(&(t)->self)) {	\
 	    MUTEX_UNLOCK(&(t)->mutex);		\
-	    croak("panic: DETACH");		\
+	    Perl_croak(aTHX_ "panic: DETACH");		\
 	}					\
     } STMT_END
-#else
-#  define pthread_mutexattr_default NULL
-#  define pthread_condattr_default NULL
-#  define pthread_attr_default NULL
-#endif /* OLD_PTHREADS_API */
+#    define THR getTHR()
+struct perl_thread *getTHR (void);
+#    define PTHREAD_GETSPECIFIC_INT
+#    ifdef DJGPP
+#      define pthread_addr_t any_t
+#      define NEED_PTHREAD_INIT
+#      define PTHREAD_CREATE_JOINABLE (1)
+#    endif
+#    ifdef __OPEN_VM
+#      define pthread_addr_t void *
+#    endif
+#    ifdef VMS
+#      define pthread_attr_init(a) pthread_attr_create(a)
+#      define PTHREAD_ATTR_SETDETACHSTATE(a,s) pthread_setdetach_np(a,s)
+#      define PTHREAD_CREATE(t,a,s,d) pthread_create(t,a,s,d)
+#      define pthread_key_create(k,d) pthread_keycreate(k,(pthread_destructor_t)(d))
+#      define pthread_mutexattr_init(a) pthread_mutexattr_create(a)
+#      define pthread_mutexattr_settype(a,t) pthread_mutexattr_setkind_np(a,t)
+#    endif
+#    if defined(DJGPP) || defined(__OPEN_VM)
+#      define PTHREAD_ATTR_SETDETACHSTATE(a,s) pthread_attr_setdetachstate(a,&(s))
+#      define YIELD pthread_yield(NULL)
+#    endif
+#  endif
+#    define pthread_mutexattr_default NULL
+#    define pthread_condattr_default  NULL
+#endif
+
+#ifndef PTHREAD_CREATE
+/* You are not supposed to pass NULL as the 2nd arg of PTHREAD_CREATE(). */
+#  define PTHREAD_CREATE(t,a,s,d) pthread_create(t,&(a),s,d)
+#endif
+
+#ifndef PTHREAD_ATTR_SETDETACHSTATE
+#  define PTHREAD_ATTR_SETDETACHSTATE(a,s) pthread_attr_setdetachstate(a,s)
 #endif
 
+#ifndef PTHREAD_CREATE_JOINABLE
+#  ifdef OLD_PTHREAD_CREATE_JOINABLE
+#    define PTHREAD_CREATE_JOINABLE OLD_PTHREAD_CREATE_JOINABLE
+#  else
+#    define PTHREAD_CREATE_JOINABLE 0 /* Panic?  No, guess. */
+#  endif
+#endif
+
+#ifdef I_MACH_CTHREADS
+
+/* cthreads interface */
+
+/* #include <mach/cthreads.h> is in perl.h #ifdef I_MACH_CTHREADS */
+
+#define MUTEX_INIT(m)					\
+	STMT_START {					\
+		*m = mutex_alloc();			\
+		if (*m) {				\
+			mutex_init(*m);			\
+		} else {				\
+			Perl_croak(aTHX_ "panic: MUTEX_INIT");	\
+		}					\
+	} STMT_END
+
+#define MUTEX_LOCK(m)		mutex_lock(*m)
+#define MUTEX_UNLOCK(m)		mutex_unlock(*m)
+#define MUTEX_DESTROY(m)				\
+	STMT_START {					\
+		mutex_free(*m);				\
+		*m = 0;					\
+	} STMT_END
+
+#define COND_INIT(c)					\
+	STMT_START {					\
+		*c = condition_alloc();			\
+		if (*c) {				\
+			condition_init(*c);		\
+		} else {				\
+			Perl_croak(aTHX_ "panic: COND_INIT");	\
+		}					\
+	} STMT_END
+
+#define COND_SIGNAL(c)		condition_signal(*c)
+#define COND_BROADCAST(c)	condition_broadcast(*c)
+#define COND_WAIT(c, m)		condition_wait(*c, *m)
+#define COND_DESTROY(c)				\
+	STMT_START {				\
+		condition_free(*c);		\
+		*c = 0;				\
+	} STMT_END
+
+#define THREAD_CREATE(thr, f)	(thr->self = cthread_fork(f, thr), 0)
+#define THREAD_POST_CREATE(thr)
+
+#define THREAD_RET_TYPE		any_t
+#define THREAD_RET_CAST(x)	((any_t) x)
+
+#define DETACH(t)		cthread_detach(t->self)
+#define JOIN(t, avp)		(*(avp) = (AV *)cthread_join(t->self))
+
+#define SET_THR(thr)		cthread_set_data(cthread_self(), thr)
+#define THR			cthread_data(cthread_self())
+
+#define INIT_THREADS		cthread_init()
+#define YIELD			cthread_yield()
+#define ALLOC_THREAD_KEY
+#define SET_THREAD_SELF(thr)	(thr->self = cthread_self())
+
+#endif /* I_MACH_CTHREADS */
+
 #ifndef YIELD
-#  define YIELD sched_yield()
+#  ifdef SCHED_YIELD
+#    define YIELD SCHED_YIELD
+#  else
+#    ifdef HAS_SCHED_YIELD
+#      define YIELD sched_yield()
+#    else
+#      ifdef HAS_PTHREAD_YIELD
+    /* pthread_yield(NULL) platforms are expected
+     * to have #defined YIELD for themselves. */
+#        define YIELD pthread_yield()
+#      endif
+#    endif
+#  endif
+#endif
+
+#ifdef __hpux
+#  define MUTEX_INIT_NEEDS_MUTEX_ZEROED
 #endif
 
 #ifndef MUTEX_INIT
+#ifdef MUTEX_INIT_NEEDS_MUTEX_ZEROED
+    /* Temporary workaround, true bug is deeper. --jhi 1999-02-25 */
+#define MUTEX_INIT(m)						\
+    STMT_START {						\
+	Zero((m), 1, perl_mutex);                               \
+ 	if (pthread_mutex_init((m), pthread_mutexattr_default))	\
+	    Perl_croak(aTHX_ "panic: MUTEX_INIT");				\
+    } STMT_END
+#else
 #define MUTEX_INIT(m)						\
     STMT_START {						\
 	if (pthread_mutex_init((m), pthread_mutexattr_default))	\
-	    croak("panic: MUTEX_INIT");				\
+	    Perl_croak(aTHX_ "panic: MUTEX_INIT");				\
     } STMT_END
+#endif
 #define MUTEX_LOCK(m)				\
     STMT_START {				\
 	if (pthread_mutex_lock((m)))		\
-	    croak("panic: MUTEX_LOCK");		\
+	    Perl_croak(aTHX_ "panic: MUTEX_LOCK");		\
     } STMT_END
 #define MUTEX_UNLOCK(m)				\
     STMT_START {				\
 	if (pthread_mutex_unlock((m)))		\
-	    croak("panic: MUTEX_UNLOCK");	\
+	    Perl_croak(aTHX_ "panic: MUTEX_UNLOCK");	\
+    } STMT_END
+#define MUTEX_LOCK_NOCONTEXT(m)				\
+    STMT_START {					\
+	if (pthread_mutex_lock((m)))			\
+	    Perl_croak_nocontext("panic: MUTEX_LOCK");	\
+    } STMT_END
+#define MUTEX_UNLOCK_NOCONTEXT(m)			\
+    STMT_START {					\
+	if (pthread_mutex_unlock((m)))			\
+	    Perl_croak_nocontext("panic: MUTEX_UNLOCK");\
     } STMT_END
 #define MUTEX_DESTROY(m)			\
     STMT_START {				\
 	if (pthread_mutex_destroy((m)))		\
-	    croak("panic: MUTEX_DESTROY");	\
+	    Perl_croak(aTHX_ "panic: MUTEX_DESTROY");	\
     } STMT_END
 #endif /* MUTEX_INIT */
 
@@ -56,27 +185,27 @@ typedef pthread_t perl_thread;
 #define COND_INIT(c)						\
     STMT_START {						\
 	if (pthread_cond_init((c), pthread_condattr_default))	\
-	    croak("panic: COND_INIT");				\
+	    Perl_croak(aTHX_ "panic: COND_INIT");				\
     } STMT_END
 #define COND_SIGNAL(c)				\
     STMT_START {				\
 	if (pthread_cond_signal((c)))		\
-	    croak("panic: COND_SIGNAL");	\
+	    Perl_croak(aTHX_ "panic: COND_SIGNAL");	\
     } STMT_END
 #define COND_BROADCAST(c)			\
     STMT_START {				\
 	if (pthread_cond_broadcast((c)))	\
-	    croak("panic: COND_BROADCAST");	\
+	    Perl_croak(aTHX_ "panic: COND_BROADCAST");	\
     } STMT_END
 #define COND_WAIT(c, m)				\
     STMT_START {				\
 	if (pthread_cond_wait((c), (m)))	\
-	    croak("panic: COND_WAIT");		\
+	    Perl_croak(aTHX_ "panic: COND_WAIT");		\
     } STMT_END
 #define COND_DESTROY(c)				\
     STMT_START {				\
 	if (pthread_cond_destroy((c)))		\
-	    croak("panic: COND_DESTROY");	\
+	    Perl_croak(aTHX_ "panic: COND_DESTROY");	\
     } STMT_END
 #endif /* COND_INIT */
 
@@ -86,7 +215,7 @@ typedef pthread_t perl_thread;
     STMT_START {				\
 	if (pthread_detach((t)->self)) {	\
 	    MUTEX_UNLOCK(&(t)->mutex);		\
-	    croak("panic: DETACH");		\
+	    Perl_croak(aTHX_ "panic: DETACH");		\
 	}					\
     } STMT_END
 #endif /* DETACH */
@@ -95,29 +224,34 @@ typedef pthread_t perl_thread;
 #define JOIN(t, avp) 					\
     STMT_START {					\
 	if (pthread_join((t)->self, (void**)(avp)))	\
-	    croak("panic: pthread_join");		\
+	    Perl_croak(aTHX_ "panic: pthread_join");		\
     } STMT_END
 #endif /* JOIN */
 
 #ifndef SET_THR
 #define SET_THR(t)					\
     STMT_START {					\
-	if (pthread_setspecific(thr_key, (void *) (t)))	\
-	    croak("panic: pthread_setspecific");	\
+	if (pthread_setspecific(PL_thr_key, (void *) (t)))	\
+	    Perl_croak(aTHX_ "panic: pthread_setspecific");	\
     } STMT_END
 #endif /* SET_THR */
 
 #ifndef THR
-#  ifdef OLD_PTHREADS_API
-struct thread *getTHR _((void));
-#    define THR getTHR()
-#  else
-#    define THR ((struct thread *) pthread_getspecific(thr_key))
-#  endif /* OLD_PTHREADS_API */
-#endif /* THR */
+#define THR ((struct perl_thread *) pthread_getspecific(PL_thr_key))
+#endif
 
+/*
+ * dTHR is performance-critical. Here, we only do the pthread_get_specific
+ * if there may be more than one thread in existence, otherwise we get thr
+ * from thrsv which is cached in the per-interpreter structure.
+ * Systems with very fast pthread_get_specific (which should be all systems
+ * but unfortunately isn't) may wish to simplify to "...*thr = THR".
+ *
+ * The use of PL_threadnum should be safe here.
+ */
 #ifndef dTHR
-#  define dTHR struct thread *thr = THR
+#  define dTHR \
+    struct perl_thread *thr = PL_threadnum? THR : (struct perl_thread*)SvPVX(PL_thrsv)
 #endif /* dTHR */
 
 #ifndef INIT_THREADS
@@ -128,108 +262,42 @@ struct thread *getTHR _((void));
 #  endif
 #endif
 
+/* Accessor for per-thread SVs */
+#define THREADSV(i) (thr->threadsvp[i])
+
+/*
+ * LOCK_SV_MUTEX and UNLOCK_SV_MUTEX are performance-critical. Here, we
+ * try only locking them if there may be more than one thread in existence.
+ * Systems with very fast mutexes (and/or slow conditionals) may wish to
+ * remove the "if (threadnum) ..." test.
+ * XXX do NOT use C<if (PL_threadnum) ...> -- it sets up race conditions!
+ */
+#define LOCK_SV_MUTEX				\
+    STMT_START {				\
+	MUTEX_LOCK(&PL_sv_mutex);		\
+    } STMT_END
+
+#define UNLOCK_SV_MUTEX				\
+    STMT_START {				\
+	MUTEX_UNLOCK(&PL_sv_mutex);		\
+    } STMT_END
+
+/* Likewise for strtab_mutex */
+#define LOCK_STRTAB_MUTEX			\
+    STMT_START {				\
+	MUTEX_LOCK(&PL_strtab_mutex);		\
+    } STMT_END
+
+#define UNLOCK_STRTAB_MUTEX			\
+    STMT_START {				\
+	MUTEX_UNLOCK(&PL_strtab_mutex);		\
+    } STMT_END
+
 #ifndef THREAD_RET_TYPE
 #  define THREAD_RET_TYPE	void *
 #  define THREAD_RET_CAST(p)	((void *)(p))
 #endif /* THREAD_RET */
 
-struct thread {
-    /* The fields that used to be global */
-    /* Important ones in the first cache line (if alignment is done right) */
-    SV **	Tstack_sp;
-#ifdef OP_IN_REGISTER
-    OP *	Topsave;
-#else
-    OP *	Top;
-#endif
-    SV **	Tcurpad;
-    SV **	Tstack_base;
-
-    SV **	Tstack_max;
-
-    I32 *	Tscopestack;
-    I32		Tscopestack_ix;
-    I32		Tscopestack_max;
-
-    ANY *	Tsavestack;
-    I32		Tsavestack_ix;
-    I32		Tsavestack_max;
-
-    OP **	Tretstack;
-    I32		Tretstack_ix;
-    I32		Tretstack_max;
-
-    I32 *	Tmarkstack;
-    I32 *	Tmarkstack_ptr;
-    I32 *	Tmarkstack_max;
-
-    SV *	TSv;
-    XPV *	TXpv;
-    struct stat	Tstatbuf;
-    struct tms	Ttimesbuf;
-    
-    /* XXX What about regexp stuff? */
-
-    /* Now the fields that used to be "per interpreter" (even when global) */
-
-    /* Fields used by magic variables such as $@, $/ and so on */
-    bool	Ttainted;
-    PMOP *	Tcurpm;
-    SV *	Tnrs;
-    SV *	Trs;
-    GV *	Tlast_in_gv;
-    char *	Tofs;
-    STRLEN	Tofslen;
-    GV *	Tdefoutgv;
-    char *	Tchopset;
-    SV *	Tformtarget;
-    SV *	Tbodytarget;
-    SV *	Ttoptarget;
-
-    /* Stashes */
-    HV *	Tdefstash;
-    HV *	Tcurstash;
-
-    /* Stacks */
-    SV **	Ttmps_stack;
-    I32		Ttmps_ix;
-    I32		Ttmps_floor;
-    I32		Ttmps_max;
-
-    int		Tin_eval;
-    OP *	Trestartop;
-    int		Tdelaymagic;
-    bool	Tdirty;
-    U8		Tlocalizing;
-    COP *	Tcurcop;
-
-    CONTEXT *	Tcxstack;
-    I32		Tcxstack_ix;
-    I32		Tcxstack_max;
-
-    AV *	Tcurstack;
-    AV *	Tmainstack;
-    JMPENV *	Ttop_env;
-    I32		Trunlevel;
-
-    /* XXX Sort stuff, firstgv, secongv and so on? */
-
-    SV *	Toursv;
-    HV *	Tcvcache;
-    perl_thread	self;			/* Underlying thread object */
-    U32		flags;
-    AV *	specific;		/* Thread specific data (& magicals) */
-    perl_mutex	mutex;			/* For the fields others can change */
-    U32		tid;
-    struct thread *next, *prev;		/* Circular linked list of threads */
-
-#ifdef ADD_THREAD_INTERN
-    struct thread_intern i;		/* Platform-dependent internals */
-#endif
-    char	trailing_nul;		/* For the sake of thrsv, t->Toursv */
-};
-
-typedef struct thread *Thread;
 
 /* Values and macros for thr->flags */
 #define THRf_STATE_MASK	7
@@ -239,14 +307,14 @@ typedef struct thread *Thread;
 #define THRf_ZOMBIE	3
 #define THRf_DEAD	4
 
-#define THRf_DIE_FATAL	8
+#define THRf_DID_DIE	8
 
 /* ThrSTATE(t) and ThrSETSTATE(t) must only be called while holding t->mutex */
-#define ThrSTATE(t) ((t)->flags)
+#define ThrSTATE(t) ((t)->flags & THRf_STATE_MASK)
 #define ThrSETSTATE(t, s) STMT_START {		\
 	(t)->flags &= ~THRf_STATE_MASK;		\
 	(t)->flags |= (s);			\
-	DEBUG_L(PerlIO_printf(PerlIO_stderr(),	\
+	DEBUG_S(PerlIO_printf(Perl_debug_log,	\
 			      "thread %p set to state %d\n", (t), (s))); \
     } STMT_END
 
@@ -262,130 +330,12 @@ typedef struct condpair {
 #define MgCONDP(mg) (&((condpair_t *)(mg->mg_ptr))->cond)
 #define MgOWNER(mg) ((condpair_t *)(mg->mg_ptr))->owner
 
-#undef	stack_base
-#undef	stack_sp
-#undef	stack_max
-#undef	curstack
-#undef	mainstack
-#undef	markstack
-#undef	markstack_ptr
-#undef	markstack_max
-#undef	scopestack
-#undef	scopestack_ix
-#undef	scopestack_max
-#undef	savestack
-#undef	savestack_ix
-#undef	savestack_max
-#undef	retstack
-#undef	retstack_ix
-#undef	retstack_max
-#undef	curcop
-#undef	cxstack
-#undef	cxstack_ix
-#undef	cxstack_max
-#undef	defstash
-#undef	curstash
-#undef	tmps_stack
-#undef	tmps_floor
-#undef	tmps_ix
-#undef	tmps_max
-#undef	curpad
-#undef	Sv
-#undef	Xpv
-#undef	statbuf
-#undef	timesbuf
-#undef	tainted
-#undef	curpm
-#undef	nrs
-#undef	rs
-#undef	last_in_gv
-#undef	ofs
-#undef	ofslen
-#undef	defoutgv
-#undef	chopset
-#undef	formtarget
-#undef	bodytarget
-#undef	toptarget
-#undef	top_env
-#undef	runlevel
-#undef	in_eval
-#undef	restartop
-#undef	delaymagic
-#undef	dirty
-#undef	localizing
-
-#define oursv		(thr->Toursv)
-#define stack_base	(thr->Tstack_base)
-#define stack_sp	(thr->Tstack_sp)
-#define stack_max	(thr->Tstack_max)
-#ifdef OP_IN_REGISTER
-#define opsave		(thr->Topsave)
-#else
-#undef	op
-#define op		(thr->Top)
-#endif
-#define	curcop		(thr->Tcurcop)
-#define	stack		(thr->Tstack)
-#define curstack	(thr->Tcurstack)
-#define	mainstack	(thr->Tmainstack)
-#define	markstack	(thr->Tmarkstack)
-#define	markstack_ptr	(thr->Tmarkstack_ptr)
-#define	markstack_max	(thr->Tmarkstack_max)
-#define	scopestack	(thr->Tscopestack)
-#define	scopestack_ix	(thr->Tscopestack_ix)
-#define	scopestack_max	(thr->Tscopestack_max)
-
-#define	savestack	(thr->Tsavestack)
-#define	savestack_ix	(thr->Tsavestack_ix)
-#define	savestack_max	(thr->Tsavestack_max)
-
-#define	retstack	(thr->Tretstack)
-#define	retstack_ix	(thr->Tretstack_ix)
-#define	retstack_max	(thr->Tretstack_max)
-
-#define	cxstack		(thr->Tcxstack)
-#define	cxstack_ix	(thr->Tcxstack_ix)
-#define	cxstack_max	(thr->Tcxstack_max)
-
-#define curpad		(thr->Tcurpad)
-#define Sv		(thr->TSv)
-#define Xpv		(thr->TXpv)
-#define statbuf		(thr->Tstatbuf)
-#define timesbuf	(thr->Ttimesbuf)
-#define	tainted		(thr->Ttainted)
-#define	tainted		(thr->Ttainted)
-#define	curpm		(thr->Tcurpm)
-#define	nrs		(thr->Tnrs)
-#define	rs		(thr->Trs)
-#define	last_in_gv	(thr->Tlast_in_gv)
-#define	ofs		(thr->Tofs)
-#define	defoutgv	(thr->Tdefoutgv)
-#define	chopset		(thr->Tchopset)
-#define	formtarget	(thr->Tformtarget)
-#define	bodytarget	(thr->Tbodytarget)
-#define	toptarget	(thr->Ttoptarget)
-#define defstash	(thr->Tdefstash)
-#define curstash	(thr->Tcurstash)
-
-#define tmps_stack	(thr->Ttmps_stack)
-#define tmps_ix		(thr->Ttmps_ix)
-#define tmps_floor	(thr->Ttmps_floor)
-#define tmps_max	(thr->Ttmps_max)
-
-#define in_eval		(thr->Tin_eval)
-#define restartop	(thr->Trestartop)
-#define delaymagic	(thr->Tdelaymagic)
-#define dirty		(thr->Tdirty)
-#define localizing	(thr->Tlocalizing)
-
-#define	top_env		(thr->Ttop_env)
-#define	runlevel	(thr->Trunlevel)
-
-#define	cvcache		(thr->Tcvcache)
 #else
 /* USE_THREADS is not defined */
 #define MUTEX_LOCK(m)
+#define MUTEX_LOCK_NOCONTEXT(m)
 #define MUTEX_UNLOCK(m)
+#define MUTEX_UNLOCK_NOCONTEXT(m)
 #define MUTEX_INIT(m)
 #define MUTEX_DESTROY(m)
 #define COND_INIT(c)
@@ -393,8 +343,11 @@ typedef struct condpair {
 #define COND_BROADCAST(c)
 #define COND_WAIT(c, m)
 #define COND_DESTROY(c)
+#define LOCK_SV_MUTEX
+#define UNLOCK_SV_MUTEX
+#define LOCK_STRTAB_MUTEX
+#define UNLOCK_STRTAB_MUTEX
 
 #define THR
-/* Rats: if dTHR is just blank then the subsequent ";" throws an error */
-#define dTHR extern int errno
+#define dTHR dNOOP
 #endif /* USE_THREADS */