e576bb2002-10-11Martin Nilsson /* || This file is part of Pike. For copyright information see COPYRIGHT. || Pike is distributed under GPL, LGPL and MPL. See the file COPYING || for more information. */
1b10db2002-10-08Martin Nilsson 
07513e1996-10-04Fredrik Hübinette (Hubbe) #include "global.h"
a29e021996-10-15Fredrik Hübinette (Hubbe) 
2702952004-04-21Martin Stjernholm /* #define PICKY_MUTEX */
a29e021996-10-15Fredrik Hübinette (Hubbe) #ifdef _REENTRANT
83b1842003-02-08Martin Stjernholm 
c7f2712007-06-09Martin Stjernholm #include "pike_error.h"
91518c2009-03-15Martin Stjernholm /* Define to get a debug trace of thread operations. Debug levels can be 0-2. */ /* #define VERBOSE_THREADS_DEBUG 1 */
83b1842003-02-08Martin Stjernholm 
d0aa0d2011-04-02Martin Stjernholm /* #define PROFILE_CHECK_THREADS */
91518c2009-03-15Martin Stjernholm #ifndef CONFIGURE_TEST
f72d412004-04-23Henrik Grubbström (Grubba) 
07513e1996-10-04Fredrik Hübinette (Hubbe) #include "threads.h" #include "array.h"
d86cd71998-08-24Marcus Comstedt #include "mapping.h"
07513e1996-10-04Fredrik Hübinette (Hubbe) #include "object.h"
bb55f81997-03-16Fredrik Hübinette (Hubbe) #include "pike_macros.h"
a29e021996-10-15Fredrik Hübinette (Hubbe) #include "callback.h"
9c6f7d1997-04-15Fredrik Hübinette (Hubbe) #include "builtin_functions.h" #include "constants.h"
be478c1997-08-30Henrik Grubbström (Grubba) #include "program.h"
3f87be1999-12-14Martin Stjernholm #include "program_id.h"
c5b96b1997-11-11Henrik Grubbström (Grubba) #include "gc.h"
3c0c281998-01-26Fredrik Hübinette (Hubbe) #include "main.h"
a49ee61999-04-02Fredrik Hübinette (Hubbe) #include "module_support.h"
52e4c61999-12-13Martin Stjernholm #include "pike_types.h"
9a0d422000-02-06Martin Stjernholm #include "operators.h"
7e8ea32000-08-13Henrik Grubbström (Grubba) #include "bignum.h"
700dac2002-02-05Martin Stjernholm #include "signal_handler.h"
4a5f542009-01-25Henrik Grubbström (Grubba) #include "backend.h"
d5c61f2002-12-07Henrik Grubbström (Grubba) #include "pike_rusage.h"
f919942010-10-17Martin Stjernholm #include "pike_cpulib.h"
07513e1996-10-04Fredrik Hübinette (Hubbe) 
cd11fa1999-05-13Henrik Grubbström (Grubba) #include <errno.h>
466caa2010-10-23Martin Stjernholm #include <math.h>
cd11fa1999-05-13Henrik Grubbström (Grubba) 
f663a02003-03-05Martin Stjernholm #ifdef HAVE_SYS_PRCTL_H #include <sys/prctl.h> #endif /* HAVE_SYS_PRCTL_H */
08c53c2003-11-25Jonas Wallden #ifdef HAVE_SYS_TIME_H #include <sys/time.h> #endif
91518c2009-03-15Martin Stjernholm #ifdef HAVE_TIME_H #include <time.h> #endif
08c53c2003-11-25Jonas Wallden 
91518c2009-03-15Martin Stjernholm #else /* CONFIGURE_TEST */ #include "pike_threadlib.h" #endif
ef1e931998-03-26Henrik Grubbström (Grubba) 
91518c2009-03-15Martin Stjernholm #ifndef VERBOSE_THREADS_DEBUG #define THREADS_FPRINTF(LEVEL,FPRINTF_ARGS)
7d7b022003-04-02Martin Stjernholm #else
91518c2009-03-15Martin Stjernholm #define THREADS_FPRINTF(LEVEL,FPRINTF_ARGS) do { \ if ((VERBOSE_THREADS_DEBUG + 0) >= (LEVEL)) { \ /* E.g. THREADS_DISALLOW is used in numerous places where the */ \ /* value in errno must not be clobbered. */ \ int saved_errno = errno; \ fprintf (stderr, "[%"PRINTSIZET"x] ", (size_t) th_self()); \ fprintf FPRINTF_ARGS; \ errno = saved_errno; \ } \ } while(0) #endif /* VERBOSE_THREADS_DEBUG */
7d7b022003-04-02Martin Stjernholm 
e3ee062005-03-31Martin Nilsson #ifndef PIKE_THREAD_C_STACK_SIZE #define PIKE_THREAD_C_STACK_SIZE (256 * 1024) #endif PMOD_EXPORT size_t thread_stack_size=PIKE_THREAD_C_STACK_SIZE;
c432f72003-05-02Henrik Grubbström (Grubba) PMOD_EXPORT void thread_low_error (int errcode, const char *cmd, const char *fname, int lineno)
01185d2003-04-01Martin Stjernholm {
c7f2712007-06-09Martin Stjernholm #ifdef CONFIGURE_TEST fprintf (stderr, "%s:%d: %s\n" "Unexpected error from thread function: %d\n", fname, lineno, cmd, errcode); abort(); #else
91518c2009-03-15Martin Stjernholm  debug_fatal ("%s:%d: Fatal error: %s\n" "Unexpected error from thread function: %d\n", fname, lineno, cmd, errcode);
c7f2712007-06-09Martin Stjernholm #endif
01185d2003-04-01Martin Stjernholm }
1f88bf2001-09-24Henrik Grubbström (Grubba) /* SCO magic... */ int __thread_sys_behavior = 1;
83b1842003-02-08Martin Stjernholm #ifndef CONFIGURE_TEST
3c55762001-09-20Fredrik Hübinette (Hubbe) #if !defined(HAVE_PTHREAD_ATFORK) && !defined(th_atfork)
71ac9e1999-08-29Fredrik Hübinette (Hubbe) #include "callback.h"
58580c2001-11-12Martin Stjernholm #define PIKE_USE_OWN_ATFORK
71ac9e1999-08-29Fredrik Hübinette (Hubbe) 
3c55762001-09-20Fredrik Hübinette (Hubbe) 
71ac9e1999-08-29Fredrik Hübinette (Hubbe) static struct callback_list atfork_prepare_callback; static struct callback_list atfork_parent_callback; static struct callback_list atfork_child_callback; int th_atfork(void (*prepare)(void),void (*parent)(void),void (*child)(void)) { if(prepare) add_to_callback(&atfork_prepare_callback, (callback_func) prepare, 0, 0); if(parent) add_to_callback(&atfork_parent_callback, (callback_func) parent, 0, 0); if(child) add_to_callback(&atfork_child_callback, (callback_func) child, 0, 0); return 0; } void th_atfork_prepare(void) { call_callback(& atfork_prepare_callback, 0); } void th_atfork_parent(void) { call_callback(& atfork_parent_callback, 0); } void th_atfork_child(void) { call_callback(& atfork_child_callback, 0); } #endif
83b1842003-02-08Martin Stjernholm #endif /* !CONFIGURE_TEST */
dc7cc91998-01-14Fredrik Hübinette (Hubbe) #ifdef __NT__
91518c2009-03-15Martin Stjernholm PMOD_EXPORT int low_nt_create_thread(unsigned Pike_stack_size, unsigned (TH_STDCALL *fun)(void *), void *arg, unsigned *id)
cd67ac1999-05-11Fredrik Hübinette (Hubbe) {
7965d72001-01-24Fredrik Hübinette (Hubbe)  HANDLE h = (HANDLE)_beginthreadex(NULL, Pike_stack_size, fun, arg, 0, id);
cd67ac1999-05-11Fredrik Hübinette (Hubbe)  if(h) { CloseHandle(h); return 0; } else {
5182452012-06-28Martin Stjernholm  return errno;
cd67ac1999-05-11Fredrik Hübinette (Hubbe)  } }
dc7cc91998-01-14Fredrik Hübinette (Hubbe) #endif
e42eaf1998-01-02Fredrik Hübinette (Hubbe) #ifdef SIMULATE_COND_WITH_EVENT
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT int co_wait(COND_T *c, MUTEX_T *m)
e42eaf1998-01-02Fredrik Hübinette (Hubbe) { struct cond_t_queue me; event_init(&me.event);
dc7cc91998-01-14Fredrik Hübinette (Hubbe)  me.next=0;
e42eaf1998-01-02Fredrik Hübinette (Hubbe)  mt_lock(& c->lock);
dc7cc91998-01-14Fredrik Hübinette (Hubbe)  if(c->tail) { c->tail->next=&me; c->tail=&me; }else{ c->head=c->tail=&me; }
e42eaf1998-01-02Fredrik Hübinette (Hubbe)  mt_unlock(& c->lock); mt_unlock(m);
cb06582009-04-25Martin Stjernholm  /* NB: No race here since the event is manually reset. */
e42eaf1998-01-02Fredrik Hübinette (Hubbe)  event_wait(&me.event); mt_lock(m); event_destroy(& me.event); /* Cancellation point?? */
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
dc7cc91998-01-14Fredrik Hübinette (Hubbe)  if(me.next)
5aad932002-08-15Marcus Comstedt  Pike_fatal("Wait on event return prematurely!!\n");
dc7cc91998-01-14Fredrik Hübinette (Hubbe) #endif
e42eaf1998-01-02Fredrik Hübinette (Hubbe)  return 0; }
91518c2009-03-15Martin Stjernholm PMOD_EXPORT int co_wait_timeout(COND_T *c, MUTEX_T *m, long s, long nanos)
4a5f542009-01-25Henrik Grubbström (Grubba) { struct cond_t_queue me; event_init(&me.event); me.next=0; mt_lock(& c->lock); if(c->tail) { c->tail->next=&me; c->tail=&me; }else{ c->head=c->tail=&me; } mt_unlock(& c->lock); mt_unlock(m); if (s || nanos) {
e7f7052009-01-26Henrik Grubbström (Grubba)  DWORD msec; /* Check for overflow (0xffffffff/1000). */ if (s >= 4294967) { msec = INFINITE; } else { msec = s*1000 + nanos/1000000; if (!msec) msec = 1; /* Underflow. */ } event_wait_msec(&me.event, msec);
4a5f542009-01-25Henrik Grubbström (Grubba)  } else { event_wait(&me.event); } mt_lock(m); event_destroy(& me.event); /* Cancellation point?? */ #ifdef PIKE_DEBUG if(me.next) Pike_fatal("Wait on event return prematurely!!\n"); #endif return 0; }
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT int co_signal(COND_T *c)
e42eaf1998-01-02Fredrik Hübinette (Hubbe) { struct cond_t_queue *t; mt_lock(& c->lock);
dc7cc91998-01-14Fredrik Hübinette (Hubbe)  if((t=c->head))
e42eaf1998-01-02Fredrik Hübinette (Hubbe)  { c->head=t->next; t->next=0; if(!c->head) c->tail=0; } mt_unlock(& c->lock); if(t) event_signal(& t->event); return 0; }
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT int co_broadcast(COND_T *c)
e42eaf1998-01-02Fredrik Hübinette (Hubbe) { struct cond_t_queue *t,*n; mt_lock(& c->lock); n=c->head; c->head=c->tail=0; mt_unlock(& c->lock); while((t=n)) { n=t->next;
dc7cc91998-01-14Fredrik Hübinette (Hubbe)  t->next=0;
e42eaf1998-01-02Fredrik Hübinette (Hubbe)  event_signal(& t->event); } return 0; }
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT int co_destroy(COND_T *c)
e42eaf1998-01-02Fredrik Hübinette (Hubbe) { struct cond_t_queue *t; mt_lock(& c->lock);
b1f4eb1998-01-13Fredrik Hübinette (Hubbe)  t=c->head; mt_unlock(& c->lock); if(t) return -1; mt_destroy(& c->lock);
e42eaf1998-01-02Fredrik Hübinette (Hubbe)  return 0; }
4a5f542009-01-25Henrik Grubbström (Grubba) #else /* !SIMULATE_COND_WITH_EVENT */
3d70c52009-01-25Henrik Grubbström (Grubba) #ifndef CONFIGURE_TEST
91518c2009-03-15Martin Stjernholm PMOD_EXPORT int co_wait_timeout(COND_T *c, PIKE_MUTEX_T *m, long s, long nanos)
4a5f542009-01-25Henrik Grubbström (Grubba) {
f010202011-11-16Tobias S. Josefowitz  struct timeval ct;
4a5f542009-01-25Henrik Grubbström (Grubba) #ifdef POSIX_THREADS struct timespec timeout; #ifdef HAVE_PTHREAD_COND_RELTIMEDWAIT_NP /* Solaris extension: relative timeout. */ timeout.tv_sec = s; timeout.tv_nsec = nanos; return pthread_cond_reltimedwait_np(c, m, &timeout); #else /* !HAVE_PTHREAD_COND_RELTIMEDWAIT_NP */ /* Absolute timeout. */
f010202011-11-16Tobias S. Josefowitz  ACCURATE_GETTIMEOFDAY(&ct); timeout.tv_sec = ct.tv_sec + s; timeout.tv_nsec = ct.tv_usec * 1000 + nanos;
4a5f542009-01-25Henrik Grubbström (Grubba)  return pthread_cond_timedwait(c, m, &timeout); #endif /* HAVE_PTHREAD_COND_RELTIMEDWAIT_NP */ #else /* !POSIX_THREADS */
d2a3f02009-01-25Henrik Grubbström (Grubba) #error co_wait_timeout does not support this thread model.
4a5f542009-01-25Henrik Grubbström (Grubba) #endif /* POSIX_THREADS */ }
3d70c52009-01-25Henrik Grubbström (Grubba) #endif /* !CONFIGURE_TEST */
4a5f542009-01-25Henrik Grubbström (Grubba)  #endif /* SIMULATE_COND_WITH_EVENT */
e42eaf1998-01-02Fredrik Hübinette (Hubbe) 
83b1842003-02-08Martin Stjernholm #ifdef POSIX_THREADS pthread_attr_t pattr; pthread_attr_t small_pattr; #endif static void really_low_th_init(void) { #ifdef SGI_SPROC_THREADS #error /* Need to specify a filename */ us_cookie = usinit(""); #endif /* SGI_SPROC_THREADS */ #ifdef POSIX_THREADS #ifdef HAVE_PTHREAD_INIT pthread_init(); #endif /* HAVE_PTHREAD_INIT */ #endif /* POSIX_THREADS */ #ifdef POSIX_THREADS pthread_attr_init(&pattr); #ifndef CONFIGURE_TEST #ifdef HAVE_PTHREAD_ATTR_SETSTACKSIZE pthread_attr_setstacksize(&pattr, thread_stack_size); #endif #endif pthread_attr_setdetachstate(&pattr, PTHREAD_CREATE_DETACHED); pthread_attr_init(&small_pattr); #ifdef HAVE_PTHREAD_ATTR_SETSTACKSIZE pthread_attr_setstacksize(&small_pattr, 4096*sizeof(char *)); #endif pthread_attr_setdetachstate(&small_pattr, PTHREAD_CREATE_DETACHED); #endif }
0a14c22008-08-05Martin Stjernholm static void cleanup_thread_state (struct thread_state *th);
83b1842003-02-08Martin Stjernholm #ifndef CONFIGURE_TEST
e42eaf1998-01-02Fredrik Hübinette (Hubbe) 
59e8272010-10-17Martin Stjernholm #if defined(HAVE_CLOCK) && \
92ec352010-10-23Martin Stjernholm  (defined (RDTSC) || \
59e8272010-10-17Martin Stjernholm  (!defined(HAVE_GETHRTIME) && \ !(defined(HAVE_MACH_TASK_INFO_H) && defined(TASK_THREAD_TIMES_INFO))))
91518c2009-03-15Martin Stjernholm static clock_t thread_start_clock = 0; static THREAD_T last_clocked_thread = 0; #define USE_CLOCK_FOR_SLICES
da66442010-10-23Martin Stjernholm #ifdef RDTSC static int use_tsc_for_slices; #define TSC_START_INTERVAL 100000
e03e2c2011-04-02Martin Stjernholm static INT64 prev_tsc; /* TSC and */
a771ee2010-10-24Martin Stjernholm static clock_t prev_clock; /* clock() at the beg of the last tsc interval */
da66442010-10-23Martin Stjernholm #endif
91518c2009-03-15Martin Stjernholm #endif
17f08c2000-07-06Fredrik Hübinette (Hubbe) #define THIS_THREAD ((struct thread_state *)CURRENT_STORAGE)
5740881998-01-01Fredrik Hübinette (Hubbe) 
a29e021996-10-15Fredrik Hübinette (Hubbe) static struct callback *threads_evaluator_callback=0;
07513e1996-10-04Fredrik Hübinette (Hubbe) 
91518c2009-03-15Martin Stjernholm PMOD_EXPORT int num_threads = 1; PMOD_EXPORT int threads_disabled = 0;
c91f892000-04-19Martin Stjernholm #ifdef PIKE_DEBUG
91518c2009-03-15Martin Stjernholm static THREAD_T threads_disabled_thread = 0;
c91f892000-04-19Martin Stjernholm #endif
c5f4e22002-09-14Martin Stjernholm #ifdef INTERNAL_PROFILING PMOD_EXPORT unsigned long thread_yields = 0; #endif
91518c2009-03-15Martin Stjernholm static int th_running = 0; static MUTEX_T interpreter_lock;
63ba772010-10-12Martin Stjernholm static MUTEX_T interpreter_lock_wanted;
91518c2009-03-15Martin Stjernholm MUTEX_T thread_table_lock; static MUTEX_T interleave_lock; static struct program *mutex_key = 0;
fa8c692000-11-30Fredrik Hübinette (Hubbe) PMOD_EXPORT struct program *thread_id_prog = 0;
91518c2009-03-15Martin Stjernholm static struct program *thread_local_prog = 0;
89fc4c2000-08-10Henrik Grubbström (Grubba) PMOD_EXPORT ptrdiff_t thread_storage_offset;
91518c2009-03-15Martin Stjernholm static int live_threads = 0; static COND_T live_threads_change; static COND_T threads_disabled_change; struct thread_local { INT32 id; }; static volatile IMUTEX_T *interleave_list = NULL; #define THREADSTATE2OBJ(X) ((X)->thread_obj) #if defined(PIKE_DEBUG) /* This is a debug wrapper to enable checks that the interpreter lock
ca39b52010-10-31Martin Stjernholm  * is held by the current thread. */ static int debug_is_locked;
91518c2009-03-15Martin Stjernholm static THREAD_T debug_locking_thread;
ca39b52010-10-31Martin Stjernholm #define SET_LOCKING_THREAD (debug_is_locked = 1, \ debug_locking_thread = th_self()) #define UNSET_LOCKING_THREAD (debug_is_locked = 0)
91518c2009-03-15Martin Stjernholm static INLINE void check_interpreter_lock (DLOC_DECL) { if (th_running) { THREAD_T self;
ca39b52010-10-31Martin Stjernholm  if (!debug_is_locked)
91518c2009-03-15Martin Stjernholm  pike_fatal_dloc ("Interpreter not locked.\n"); self = th_self(); if (!th_equal (debug_locking_thread, self)) pike_fatal_dloc ("Interpreter not locked by this thread.\n"); } }
15ecdc2011-04-02Martin Stjernholm static unsigned LONGEST thread_swaps = 0; static unsigned LONGEST check_threads_calls = 0; static unsigned LONGEST check_threads_yields = 0; static unsigned LONGEST check_threads_swaps = 0; static void f__thread_swaps (INT32 args) {push_ulongest (thread_swaps);} static void f__check_threads_calls (INT32 args) {push_ulongest (check_threads_calls);} static void f__check_threads_yields (INT32 args) {push_ulongest (check_threads_yields);} static void f__check_threads_swaps (INT32 args) {push_ulongest (check_threads_swaps);}
91518c2009-03-15Martin Stjernholm #else #define SET_LOCKING_THREAD 0
ca39b52010-10-31Martin Stjernholm #define UNSET_LOCKING_THREAD 0
91518c2009-03-15Martin Stjernholm static INLINE void check_interpreter_lock (DLOC_DECL) {} #endif PMOD_EXPORT INLINE void pike_low_lock_interpreter (DLOC_DECL) {
63ba772010-10-12Martin Stjernholm  /* The double locking here is to ensure that when a thread releases * the interpreter lock, a different thread gets it first. Thereby * we ensure a thread switch in check_threads, if there are other * threads waiting. */ mt_lock (&interpreter_lock_wanted);
91518c2009-03-15Martin Stjernholm  mt_lock (&interpreter_lock);
63ba772010-10-12Martin Stjernholm  mt_unlock (&interpreter_lock_wanted);
91518c2009-03-15Martin Stjernholm  SET_LOCKING_THREAD; THREADS_FPRINTF (1, (stderr, "Got iplock" DLOC_PF(" @ ",) "\n" COMMA_DLOC_ARGS_OPT)); } PMOD_EXPORT INLINE void pike_low_wait_interpreter (COND_T *cond COMMA_DLOC_DECL) { THREADS_FPRINTF (1, (stderr, "Waiting on cond %p without iplock" DLOC_PF(" @ ",) "\n", cond COMMA_DLOC_ARGS_OPT));
ca39b52010-10-31Martin Stjernholm  UNSET_LOCKING_THREAD;
63ba772010-10-12Martin Stjernholm  /* FIXME: Should use interpreter_lock_wanted here as well. The * problem is that few (if any) thread libs lets us atomically * unlock a mutex and wait, and then lock a different mutex. */
91518c2009-03-15Martin Stjernholm  co_wait (cond, &interpreter_lock);
63ba772010-10-12Martin Stjernholm 
91518c2009-03-15Martin Stjernholm  SET_LOCKING_THREAD; THREADS_FPRINTF (1, (stderr, "Got signal on cond %p with iplock" DLOC_PF(" @ ",) "\n", cond COMMA_DLOC_ARGS_OPT)); } PMOD_EXPORT INLINE int pike_low_timedwait_interpreter (COND_T *cond, long sec, long nsec COMMA_DLOC_DECL) { int res; THREADS_FPRINTF (1, (stderr, "Waiting on cond %p without iplock" DLOC_PF(" @ ",) "\n", cond COMMA_DLOC_ARGS_OPT));
ca39b52010-10-31Martin Stjernholm  UNSET_LOCKING_THREAD;
63ba772010-10-12Martin Stjernholm  /* FIXME: Should use interpreter_lock_wanted here as well. The * problem is that few (if any) thread libs lets us atomically * unlock a mutex and wait, and then lock a different mutex. */
91518c2009-03-15Martin Stjernholm  res = co_wait_timeout (cond, &interpreter_lock, sec, nsec);
63ba772010-10-12Martin Stjernholm 
91518c2009-03-15Martin Stjernholm  SET_LOCKING_THREAD; THREADS_FPRINTF (1, (stderr, "Got signal on cond %p with iplock" DLOC_PF(" @ ",) "\n", cond COMMA_DLOC_ARGS_OPT)); return res; } static void threads_disabled_wait (DLOC_DECL) { assert (threads_disabled); do { THREADS_FPRINTF (1, (stderr, "Waiting on threads_disabled" DLOC_PF(" @ ",) "\n" COMMA_DLOC_ARGS_OPT));
ca39b52010-10-31Martin Stjernholm  UNSET_LOCKING_THREAD;
91518c2009-03-15Martin Stjernholm  co_wait (&threads_disabled_change, &interpreter_lock); SET_LOCKING_THREAD; } while (threads_disabled); THREADS_FPRINTF (1, (stderr, "Continue after threads_disabled" DLOC_PF(" @ ",) "\n" COMMA_DLOC_ARGS_OPT)); } PMOD_EXPORT INLINE void pike_lock_interpreter (DLOC_DECL) { pike_low_lock_interpreter (DLOC_ARGS_OPT); if (threads_disabled) threads_disabled_wait (DLOC_ARGS_OPT); } PMOD_EXPORT INLINE void pike_unlock_interpreter (DLOC_DECL) { THREADS_FPRINTF (1, (stderr, "Releasing iplock" DLOC_PF(" @ ",) "\n" COMMA_DLOC_ARGS_OPT));
ca39b52010-10-31Martin Stjernholm  UNSET_LOCKING_THREAD;
91518c2009-03-15Martin Stjernholm  mt_unlock (&interpreter_lock); } PMOD_EXPORT INLINE void pike_wait_interpreter (COND_T *cond COMMA_DLOC_DECL) {
8d3d582013-02-18Henrik Grubbström (Grubba)  int owner = threads_disabled;
91518c2009-03-15Martin Stjernholm  pike_low_wait_interpreter (cond COMMA_DLOC_ARGS_OPT);
8d3d582013-02-18Henrik Grubbström (Grubba)  if (!owner && threads_disabled) threads_disabled_wait (DLOC_ARGS_OPT);
91518c2009-03-15Martin Stjernholm } PMOD_EXPORT INLINE int pike_timedwait_interpreter (COND_T *cond, long sec, long nsec COMMA_DLOC_DECL) {
cb04462013-02-18Henrik Grubbström (Grubba)  int owner = threads_disabled;
91518c2009-03-15Martin Stjernholm  int res = pike_low_timedwait_interpreter (cond, sec, nsec COMMA_DLOC_ARGS_OPT);
cb04462013-02-18Henrik Grubbström (Grubba)  if (!owner && threads_disabled) threads_disabled_wait (DLOC_ARGS_OPT);
91518c2009-03-15Martin Stjernholm  return res; } PMOD_EXPORT void pike_init_thread_state (struct thread_state *ts) {
d97eb72011-07-10Henrik Grubbström (Grubba)  /* NB: Assumes that there's a temporary Pike_interpreter_struct * in Pike_interpreter_pointer, which we copy, and replace * with ourselves. */
91518c2009-03-15Martin Stjernholm  Pike_interpreter.thread_state = ts; ts->state = Pike_interpreter;
d97eb72011-07-10Henrik Grubbström (Grubba)  Pike_interpreter_pointer = &ts->state;
91518c2009-03-15Martin Stjernholm  ts->id = th_self(); ts->status = THREAD_RUNNING; ts->swapped = 0; #ifdef PIKE_DEBUG ts->debug_flags = 0;
15ecdc2011-04-02Martin Stjernholm  thread_swaps++;
91518c2009-03-15Martin Stjernholm #endif
7ee4aa2002-09-14Martin Stjernholm #ifdef USE_CLOCK_FOR_SLICES
da66442010-10-23Martin Stjernholm  /* Initialize thread_start_clock to zero instead of clock() since we * don't know for how long the thread already has run. */
91518c2009-03-15Martin Stjernholm  thread_start_clock = 0; last_clocked_thread = ts->id;
da66442010-10-23Martin Stjernholm #ifdef RDTSC prev_tsc = 0; #endif
d0aa0d2011-04-02Martin Stjernholm #ifdef PROFILE_CHECK_THREADS fprintf (stderr, "[%d:%f] pike_init_thread_state: tsc reset\n", getpid(), get_real_time() * (1.0 / CPU_TIME_TICKS)); #endif
91518c2009-03-15Martin Stjernholm #endif } PMOD_EXPORT void pike_swap_out_thread (struct thread_state *ts COMMA_DLOC_DECL) { THREADS_FPRINTF (2, (stderr, "Swap out %sthread %p" DLOC_PF(" @ ",) "\n", ts == Pike_interpreter.thread_state ? "current " : "", ts COMMA_DLOC_ARGS_OPT)); #ifdef PROFILING if (!ts->swapped) { cpu_time_t now = get_cpu_time(); #ifdef PROFILING_DEBUG fprintf(stderr, "%p: Swap out at: %" PRINT_CPU_TIME " unlocked: %" PRINT_CPU_TIME "\n", ts, now, ts->state.unlocked_time); #endif ts->state.unlocked_time -= now; }
7ee4aa2002-09-14Martin Stjernholm #endif
07513e1996-10-04Fredrik Hübinette (Hubbe) 
91518c2009-03-15Martin Stjernholm  ts->swapped=1;
d97eb72011-07-10Henrik Grubbström (Grubba)  Pike_interpreter_pointer = NULL;
91518c2009-03-15Martin Stjernholm } PMOD_EXPORT void pike_swap_in_thread (struct thread_state *ts COMMA_DLOC_DECL)
d86cd71998-08-24Marcus Comstedt {
91518c2009-03-15Martin Stjernholm  THREADS_FPRINTF (2, (stderr, "Swap in thread %p" DLOC_PF(" @ ",) "\n", ts COMMA_DLOC_ARGS_OPT));
d86cd71998-08-24Marcus Comstedt 
91518c2009-03-15Martin Stjernholm #ifdef PIKE_DEBUG
d97eb72011-07-10Henrik Grubbström (Grubba)  if (Pike_interpreter_pointer)
91518c2009-03-15Martin Stjernholm  pike_fatal_dloc ("Thread %"PRINTSIZET"x swapped in " "over existing thread %"PRINTSIZET"x.\n", (size_t) ts->id, (size_t) (Pike_interpreter.thread_state ? Pike_interpreter.thread_state->id : 0)); #endif #ifdef PROFILING if (ts->swapped) { cpu_time_t now = get_cpu_time(); #ifdef PROFILING_DEBUG fprintf(stderr, "%p: Swap in at: %" PRINT_CPU_TIME " unlocked: %" PRINT_CPU_TIME "\n", ts, now, ts->state.unlocked_time); #endif #ifdef PIKE_DEBUG if (now < -Pike_interpreter.unlocked_time) { pike_fatal_dloc("Time at swap in is before time at swap out." " %" PRINT_CPU_TIME " < %" PRINT_CPU_TIME "\n", now, -Pike_interpreter.unlocked_time); } #endif ts->state.unlocked_time += now; } #endif ts->swapped=0;
d97eb72011-07-10Henrik Grubbström (Grubba)  Pike_interpreter_pointer = &ts->state;
15ecdc2011-04-02Martin Stjernholm #ifdef PIKE_DEBUG thread_swaps++; #endif
91518c2009-03-15Martin Stjernholm  #ifdef USE_CLOCK_FOR_SLICES if (last_clocked_thread != ts->id) { thread_start_clock = clock(); last_clocked_thread = ts->id;
da66442010-10-23Martin Stjernholm #ifdef RDTSC RDTSC (prev_tsc);
a771ee2010-10-24Martin Stjernholm  prev_clock = thread_start_clock;
da66442010-10-23Martin Stjernholm #endif
91518c2009-03-15Martin Stjernholm  } #endif } PMOD_EXPORT void pike_swap_in_current_thread (struct thread_state *ts COMMA_DLOC_DECL) { #ifdef PIKE_DEBUG THREAD_T self = th_self(); if (!th_equal (ts->id, self)) pike_fatal_dloc ("Swapped in thread state %p into wrong thread " "%"PRINTSIZET"x - should be %"PRINTSIZET"x.\n", ts, th_self(), ts->id); #endif pike_swap_in_thread (ts COMMA_DLOC_ARGS_OPT); } #ifdef PIKE_DEBUG PMOD_EXPORT void pike_assert_thread_swapped_in (DLOC_DECL) { struct thread_state *ts=thread_state_for_id(th_self()); if(ts->swapped) pike_fatal_dloc ("Thread is not swapped in.\n"); if (ts->debug_flags & THREAD_DEBUG_LOOSE) pike_fatal_dloc ("Current thread is not bound to the interpreter. " "Nested use of ALLOW_THREADS()?\n"); } PMOD_EXPORT void pike_debug_check_thread (DLOC_DECL) { struct thread_state *ts=thread_state_for_id(th_self()); if (ts->debug_flags & THREAD_DEBUG_LOOSE) pike_fatal_dloc ("Current thread is not bound to the interpreter. " "Nested use of ALLOW_THREADS()?\n"); if(ts != Pike_interpreter.thread_state) { debug_list_all_threads(); Pike_fatal ("Thread states mixed up between threads.\n"); } check_interpreter_lock (DLOC_ARGS_OPT); } #endif /* PIKE_DEBUG */ PMOD_EXPORT void pike_threads_allow (struct thread_state *ts COMMA_DLOC_DECL) { #ifdef DO_PIKE_CLEANUP /* Might get here after th_cleanup() when reporting leaks. */ if (!ts) return; #endif #ifdef PIKE_DEBUG pike_debug_check_thread (DLOC_ARGS_OPT); if (Pike_in_gc > 50 && Pike_in_gc < 300) pike_fatal_dloc ("Threads allowed during garbage collection (pass %d).\n", Pike_in_gc); if (pike_global_buffer.s.str) pike_fatal_dloc ("Threads allowed while the global dynamic buffer " "is in use.\n"); ts->debug_flags |= THREAD_DEBUG_LOOSE; #endif if (num_threads > 1 && !threads_disabled) { pike_swap_out_thread (ts COMMA_DLOC_ARGS_OPT); pike_unlock_interpreter (DLOC_ARGS_OPT); } #if defined (PIKE_DEBUG) && !(defined(__ia64) && defined(__xlc__)) else { /* Disabled in xlc due to a code generation bug. */ THREAD_T self = th_self(); if (threads_disabled && !th_equal(threads_disabled_thread, self)) pike_fatal_dloc ("Threads allowed from a different thread " "while threads are disabled. " "(self: %"PRINTSIZET"x, disabler: %"PRINTSIZET"x)\n", (size_t) self, (size_t) threads_disabled_thread); } #endif } PMOD_EXPORT void pike_threads_disallow (struct thread_state *ts COMMA_DLOC_DECL) { #ifdef DO_PIKE_CLEANUP if (!ts) return; #endif if (ts->swapped) { pike_lock_interpreter (DLOC_ARGS_OPT); pike_swap_in_thread (ts COMMA_DLOC_ARGS_OPT); } #ifdef PIKE_DEBUG ts->debug_flags &= ~THREAD_DEBUG_LOOSE; pike_debug_check_thread (DLOC_ARGS_OPT); #endif } PMOD_EXPORT void pike_threads_allow_ext (struct thread_state *ts COMMA_DLOC_DECL) { #ifdef DO_PIKE_CLEANUP /* Might get here after th_cleanup() when reporting leaks. */ if (!ts) return; #endif #ifdef PIKE_DEBUG pike_debug_check_thread (DLOC_ARGS_OPT); if (Pike_in_gc > 50 && Pike_in_gc < 300) pike_fatal_dloc ("Threads allowed during garbage collection (pass %d).\n", Pike_in_gc); if (pike_global_buffer.s.str) pike_fatal_dloc ("Threads allowed while the global dynamic buffer " "is in use.\n"); ts->debug_flags |= THREAD_DEBUG_LOOSE; #endif if (num_threads > 1 && !threads_disabled) { pike_swap_out_thread (ts COMMA_DLOC_ARGS_OPT); live_threads++; THREADS_FPRINTF (1, (stderr, "Increased live threads to %d\n", live_threads)); pike_unlock_interpreter (DLOC_ARGS_OPT); } #if defined (PIKE_DEBUG) && !(defined(__ia64) && defined(__xlc__)) else { /* Disabled in xlc due to a code generation bug. */ THREAD_T self = th_self(); if (threads_disabled && !th_equal(threads_disabled_thread, self)) pike_fatal_dloc ("Threads allowed from a different thread " "while threads are disabled. " "(self: %"PRINTSIZET"x, disabler: %"PRINTSIZET"x)\n", (size_t) self, (size_t) threads_disabled_thread); } #endif } PMOD_EXPORT void pike_threads_disallow_ext (struct thread_state *ts COMMA_DLOC_DECL) { #ifdef DO_PIKE_CLEANUP if (!ts) return; #endif if (ts->swapped) { pike_low_lock_interpreter (DLOC_ARGS_OPT); live_threads--; THREADS_FPRINTF (1, (stderr, "Decreased live threads to %d\n", live_threads)); co_broadcast (&live_threads_change); if (threads_disabled) threads_disabled_wait (DLOC_ARGS_OPT); pike_swap_in_thread (ts COMMA_DLOC_ARGS_OPT); } #ifdef PIKE_DEBUG ts->debug_flags &= ~THREAD_DEBUG_LOOSE; pike_debug_check_thread (DLOC_ARGS_OPT); #endif } PMOD_EXPORT void pike_lock_imutex (IMUTEX_T *im COMMA_DLOC_DECL) { struct thread_state *ts = Pike_interpreter.thread_state; /* If threads are disabled, we already hold the lock. */ if (threads_disabled) return; THREADS_FPRINTF(0, (stderr, "Locking IMutex %p...\n", im)); pike_threads_allow (ts COMMA_DLOC_ARGS_OPT); mt_lock(&((im)->lock)); pike_threads_disallow (ts COMMA_DLOC_ARGS_OPT); THREADS_FPRINTF(1, (stderr, "Locked IMutex %p\n", im)); } PMOD_EXPORT void pike_unlock_imutex (IMUTEX_T *im COMMA_DLOC_DECL) { /* If threads are disabled, we already hold the lock. */ if (threads_disabled) return; THREADS_FPRINTF(0, (stderr, "Unlocking IMutex %p" DLOC_PF(" @ ",) "\n", im COMMA_DLOC_ARGS_OPT)); mt_unlock(&(im->lock)); }
a91ca01998-07-10Henrik Grubbström (Grubba) 
335a552001-11-02Martin Stjernholm /* This is a variant of init_threads_disable that blocks all other * threads that might run pike code, but still doesn't block the * THREADS_ALLOW_UID threads. */
f328f11998-07-17Henrik Grubbström (Grubba) void low_init_threads_disable(void)
a91ca01998-07-10Henrik Grubbström (Grubba) { /* Serious black magic to avoid dead-locks */ if (!threads_disabled) {
f328f11998-07-17Henrik Grubbström (Grubba)  THREADS_FPRINTF(0, (stderr, "low_init_threads_disable(): Locking IM's...\n"));
a91ca01998-07-10Henrik Grubbström (Grubba) 
b867f92003-02-16Martin Stjernholm  if (Pike_interpreter.thread_state) {
2f748a1999-02-20Henrik Grubbström (Grubba)  /* Threads have been enabled. */
a91ca01998-07-10Henrik Grubbström (Grubba)  IMUTEX_T *im; THREADS_ALLOW(); /* Keep this the entire session. */ mt_lock(&interleave_lock); im = (IMUTEX_T *)interleave_list; while(im) { mt_lock(&(im->lock)); im = im->next; } THREADS_DISALLOW(); } else {
2f748a1999-02-20Henrik Grubbström (Grubba)  /* Threads haven't been enabled yet. */
a91ca01998-07-10Henrik Grubbström (Grubba)  IMUTEX_T *im; /* Keep this the entire session. */ mt_lock(&interleave_lock); im = (IMUTEX_T *)interleave_list; while(im) { mt_lock(&(im->lock)); im = im->next; } }
f328f11998-07-17Henrik Grubbström (Grubba)  THREADS_FPRINTF(0, (stderr, "low_init_threads_disable(): Disabling threads.\n"));
a91ca01998-07-10Henrik Grubbström (Grubba)  threads_disabled = 1;
95c8152001-11-01Martin Stjernholm #ifdef PIKE_DEBUG threads_disabled_thread = th_self(); #endif
a91ca01998-07-10Henrik Grubbström (Grubba)  } else { threads_disabled++; }
f328f11998-07-17Henrik Grubbström (Grubba)  THREADS_FPRINTF(0, (stderr, "low_init_threads_disable(): threads_disabled:%d\n", threads_disabled)); }
16df701998-07-16Fredrik Hübinette (Hubbe) 
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl object(_disable_threads) _disable_threads() *!
335a552001-11-02Martin Stjernholm  *! This function first posts a notice to all threads that it is time *! to stop. It then waits until all threads actually *have* stopped, *! and then then returns a lock object. All other threads will be *! blocked from running until that object has been freed/destroyed. *! *! It's mainly useful to do things that require a temporary uid/gid *! change, since on many OS the effective user and group applies to *! all threads.
e413da2001-02-01Henrik Grubbström (Grubba)  *! *! @note
335a552001-11-02Martin Stjernholm  *! You should make sure that the returned object is freed even if *! some kind of error is thrown. That means in practice that it *! should only have references (direct or indirect) from function *! local variables. Also, it shouldn't be referenced from cyclic *! memory structures, since those are only destructed by the periodic *! gc. (This advice applies to mutex locks in general, for that *! matter.)
e413da2001-02-01Henrik Grubbström (Grubba)  */
74dfe82012-12-30Jonas Walldén void init_threads_disable(struct object *UNUSED(o))
f328f11998-07-17Henrik Grubbström (Grubba) {
d937872009-03-13Martin Stjernholm  low_init_threads_disable();
f328f11998-07-17Henrik Grubbström (Grubba)  if(live_threads) { SWAP_OUT_CURRENT_THREAD(); while (live_threads) {
91518c2009-03-15Martin Stjernholm  THREADS_FPRINTF(1,
f328f11998-07-17Henrik Grubbström (Grubba)  (stderr, "_disable_threads(): Waiting for %d threads to finish\n", live_threads));
91518c2009-03-15Martin Stjernholm  low_co_wait_interpreter (&live_threads_change);
16df701998-07-16Fredrik Hübinette (Hubbe)  }
b57f5c2009-03-13Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "_disable_threads(): threads now disabled\n"));
f328f11998-07-17Henrik Grubbström (Grubba)  SWAP_IN_CURRENT_THREAD();
a91ca01998-07-10Henrik Grubbström (Grubba)  } }
74dfe82012-12-30Jonas Walldén void exit_threads_disable(struct object *UNUSED(o))
de413f1998-03-26Per Hedbor {
a91ca01998-07-10Henrik Grubbström (Grubba)  THREADS_FPRINTF(0, (stderr, "exit_threads_disable(): threads_disabled:%d\n", threads_disabled));
40e9491998-07-05Henrik Grubbström (Grubba)  if(threads_disabled) { if(!--threads_disabled) {
a91ca01998-07-10Henrik Grubbström (Grubba)  IMUTEX_T *im = (IMUTEX_T *)interleave_list; /* Order shouldn't matter for unlock, so no need to do it backwards. */ while(im) {
b57f5c2009-03-13Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "exit_threads_disable(): Unlocking IM %p\n", im));
a91ca01998-07-10Henrik Grubbström (Grubba)  mt_unlock(&(im->lock)); im = im->next; } mt_unlock(&interleave_lock);
91518c2009-03-15Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "exit_threads_disable(): Wake up!\n"));
2202fe1998-04-23Fredrik Hübinette (Hubbe)  co_broadcast(&threads_disabled_change);
95c8152001-11-01Martin Stjernholm #ifdef PIKE_DEBUG threads_disabled_thread = 0; #endif
40e9491998-07-05Henrik Grubbström (Grubba)  }
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
40e9491998-07-05Henrik Grubbström (Grubba)  } else {
5aad932002-08-15Marcus Comstedt  Pike_fatal("exit_threads_disable() called too many times!\n");
71f3a21998-11-22Fredrik Hübinette (Hubbe) #endif /* PIKE_DEBUG */
40e9491998-07-05Henrik Grubbström (Grubba)  }
de413f1998-03-26Per Hedbor }
063fe31998-03-10Per Hedbor 
a91ca01998-07-10Henrik Grubbström (Grubba) void init_interleave_mutex(IMUTEX_T *im)
063fe31998-03-10Per Hedbor {
a91ca01998-07-10Henrik Grubbström (Grubba)  mt_init(&(im->lock));
6e1db51998-07-09Henrik Grubbström (Grubba) 
a91ca01998-07-10Henrik Grubbström (Grubba)  THREADS_FPRINTF(0, (stderr, "init_interleave_mutex(): init_threads_disable()\n"));
6e1db51998-07-09Henrik Grubbström (Grubba) 
a91ca01998-07-10Henrik Grubbström (Grubba)  init_threads_disable(NULL);
6e1db51998-07-09Henrik Grubbström (Grubba) 
b57f5c2009-03-13Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "init_interleave_mutex(): Locking IM %p\n", im));
6e1db51998-07-09Henrik Grubbström (Grubba) 
a91ca01998-07-10Henrik Grubbström (Grubba)  /* Lock it so that it can be unlocked by exit_threads_disable() */ mt_lock(&(im->lock)); im->next = (IMUTEX_T *)interleave_list; if (interleave_list) { interleave_list->prev = im;
6e1db51998-07-09Henrik Grubbström (Grubba)  }
a91ca01998-07-10Henrik Grubbström (Grubba)  interleave_list = im; im->prev = NULL;
6e1db51998-07-09Henrik Grubbström (Grubba) 
a91ca01998-07-10Henrik Grubbström (Grubba)  THREADS_FPRINTF(0, (stderr, "init_interleave_mutex(): exit_threads_disable()\n")); exit_threads_disable(NULL); } void exit_interleave_mutex(IMUTEX_T *im) { init_threads_disable(NULL); if (im->prev) { im->prev->next = im->next; } else { interleave_list = im->next; } if (im->next) { im->next->prev = im->prev;
ef1e931998-03-26Henrik Grubbström (Grubba)  }
a91ca01998-07-10Henrik Grubbström (Grubba)  /* Just to be nice... */ mt_unlock(&(im->lock)); exit_threads_disable(NULL);
063fe31998-03-10Per Hedbor }
eac2091998-02-27Marcus Comstedt  /* Thread hashtable */
f2c01e2003-01-08Martin Stjernholm struct thread_state *thread_table_chains[THREAD_TABLE_SIZE]; int num_pike_threads=0;
eac2091998-02-27Marcus Comstedt 
22ca071998-04-08Fredrik Hübinette (Hubbe) void thread_table_init(void)
eac2091998-02-27Marcus Comstedt { INT32 x; for(x=0; x<THREAD_TABLE_SIZE; x++) thread_table_chains[x] = NULL; } unsigned INT32 thread_table_hash(THREAD_T *tid) {
d213271998-02-28Fredrik Hübinette (Hubbe)  return th_hash(*tid) % THREAD_TABLE_SIZE;
eac2091998-02-27Marcus Comstedt }
0431312003-02-15Henrik Grubbström (Grubba) PMOD_EXPORT void thread_table_insert(struct thread_state *s)
eac2091998-02-27Marcus Comstedt { unsigned INT32 h = thread_table_hash(&s->id);
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
939b181998-07-17Fredrik Hübinette (Hubbe)  if(h>=THREAD_TABLE_SIZE)
5aad932002-08-15Marcus Comstedt  Pike_fatal("thread_table_hash failed miserably!\n");
26cd941999-05-07Fredrik Hübinette (Hubbe)  if(thread_state_for_id(s->id))
3be5501999-06-08Fredrik Hübinette (Hubbe)  { if(thread_state_for_id(s->id) == s)
5aad932002-08-15Marcus Comstedt  Pike_fatal("Registring thread twice!\n");
3be5501999-06-08Fredrik Hübinette (Hubbe)  else
5aad932002-08-15Marcus Comstedt  Pike_fatal("Forgot to unregister thread!\n");
3be5501999-06-08Fredrik Hübinette (Hubbe)  }
91518c2009-03-15Martin Stjernholm /* fprintf(stderr, "thread_table_insert: %"PRINTSIZET"x\n", (size_t) s->id); */
939b181998-07-17Fredrik Hübinette (Hubbe) #endif
eac2091998-02-27Marcus Comstedt  mt_lock( & thread_table_lock );
56ac102000-03-29Fredrik Hübinette (Hubbe)  num_pike_threads++;
eac2091998-02-27Marcus Comstedt  if((s->hashlink = thread_table_chains[h]) != NULL) s->hashlink->backlink = &s->hashlink; thread_table_chains[h] = s; s->backlink = &thread_table_chains[h]; mt_unlock( & thread_table_lock ); }
0431312003-02-15Henrik Grubbström (Grubba) PMOD_EXPORT void thread_table_delete(struct thread_state *s)
eac2091998-02-27Marcus Comstedt {
91518c2009-03-15Martin Stjernholm /* fprintf(stderr, "thread_table_delete: %"PRINTSIZET"x\n", (size_t) s->id); */
eac2091998-02-27Marcus Comstedt  mt_lock( & thread_table_lock );
56ac102000-03-29Fredrik Hübinette (Hubbe)  num_pike_threads--;
eac2091998-02-27Marcus Comstedt  if(s->hashlink != NULL) s->hashlink->backlink = s->backlink; *(s->backlink) = s->hashlink; mt_unlock( & thread_table_lock ); }
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT struct thread_state *thread_state_for_id(THREAD_T tid)
eac2091998-02-27Marcus Comstedt { unsigned INT32 h = thread_table_hash(&tid);
17f08c2000-07-06Fredrik Hübinette (Hubbe)  struct thread_state *s = NULL;
26cd941999-05-07Fredrik Hübinette (Hubbe) #if 0 if(num_threads>1)
91518c2009-03-15Martin Stjernholm  fprintf (stderr, "thread_state_for_id: %"PRINTSIZET"x\n", (size_t) tid);
26cd941999-05-07Fredrik Hübinette (Hubbe) #endif
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
939b181998-07-17Fredrik Hübinette (Hubbe)  if(h>=THREAD_TABLE_SIZE)
5aad932002-08-15Marcus Comstedt  Pike_fatal("thread_table_hash failed miserably!\n");
939b181998-07-17Fredrik Hübinette (Hubbe) #endif
eac2091998-02-27Marcus Comstedt  mt_lock( & thread_table_lock );
d213271998-02-28Fredrik Hübinette (Hubbe)  if(thread_table_chains[h] == NULL) {
eac2091998-02-27Marcus Comstedt  /* NULL result */
d213271998-02-28Fredrik Hübinette (Hubbe)  } else if(th_equal((s=thread_table_chains[h])->id, tid)) {
eac2091998-02-27Marcus Comstedt  /* Quick return */
d213271998-02-28Fredrik Hübinette (Hubbe)  } else {
eac2091998-02-27Marcus Comstedt  while((s = s->hashlink) != NULL)
d213271998-02-28Fredrik Hübinette (Hubbe)  if(th_equal(s->id, tid))
eac2091998-02-27Marcus Comstedt  break; if(s != NULL) {
ec2bab2000-06-24Fredrik Hübinette (Hubbe)  /* Move the Pike_interpreter to the head of the chain, in case
eac2091998-02-27Marcus Comstedt  we want to search for it again */ /* Unlink */ if(s->hashlink != NULL) s->hashlink->backlink = s->backlink; *(s->backlink) = s->hashlink; /* And relink at the head of the chain */ if((s->hashlink = thread_table_chains[h]) != NULL) s->hashlink->backlink = &s->hashlink; thread_table_chains[h] = s; s->backlink = &thread_table_chains[h]; } } mt_unlock( & thread_table_lock );
26cd941999-05-07Fredrik Hübinette (Hubbe) #if 0 if(num_threads>1 && s)
91518c2009-03-15Martin Stjernholm  fprintf (stderr, "thread_state_for_id return value: %"PRINTSIZET"x\n", (size_t) s->id);
26cd941999-05-07Fredrik Hübinette (Hubbe) #endif
eac2091998-02-27Marcus Comstedt  return s; /* NOTEZ BIEN: Return value only guaranteed to remain valid as long as you have the interpreter lock, unless tid == th_self() */ }
048d232001-02-27Martin Stjernholm struct thread_state *gdb_thread_state_for_id(THREAD_T tid) /* Should only be used from a debugger session. */ { unsigned INT32 h = thread_table_hash(&tid); struct thread_state *s; for (s = thread_table_chains[h]; s != NULL; s = s->hashlink) if(th_equal(s->id, tid)) break; return s; } INT32 gdb_next_thread_state(INT32 prev, struct thread_state **ts) /* Used by gdb_backtraces. */ { if (!*ts || !(*ts)->hashlink) { if (!*ts) prev = -1; while (++prev < THREAD_TABLE_SIZE) if ((*ts = thread_table_chains[prev])) return prev; *ts = NULL; return 0; } *ts = (*ts)->hashlink; return prev; }
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT struct object *thread_for_id(THREAD_T tid)
eac2091998-02-27Marcus Comstedt {
17f08c2000-07-06Fredrik Hübinette (Hubbe)  struct thread_state *s = thread_state_for_id(tid);
26cd941999-05-07Fredrik Hübinette (Hubbe)  return (s == NULL? NULL : THREADSTATE2OBJ(s));
eac2091998-02-27Marcus Comstedt  /* See NB in thread_state_for_id. Lifespan of result can be prolonged by incrementing refcount though. */ }
2b42cc2007-10-06Marcus Comstedt PMOD_EXPORT void call_with_interpreter(void (*func)(void *ctx), void *ctx) { struct thread_state *state; if((state = thread_state_for_id(th_self()))!=NULL) { /* This is a pike thread. Do we have the interpreter lock? */ if(!state->swapped) { /* Yes. Go for it... */
dc48072008-12-27Henrik Grubbström (Grubba) #ifdef PIKE_DEBUG /* Ensure that the thread isn't loose. */ int is_loose = state->debug_flags & THREAD_DEBUG_LOOSE; state->debug_flags &= ~THREAD_DEBUG_LOOSE; #endif
2b42cc2007-10-06Marcus Comstedt  func(ctx);
dc48072008-12-27Henrik Grubbström (Grubba)  #ifdef PIKE_DEBUG /* Restore the looseness property of the thread. */ state->debug_flags |= is_loose; #endif
2b42cc2007-10-06Marcus Comstedt  } else { /* Nope, let's get it... */ mt_lock_interpreter(); SWAP_IN_THREAD(state);
dc48072008-12-27Henrik Grubbström (Grubba)  DO_IF_DEBUG(state->debug_flags &= ~THREAD_DEBUG_LOOSE;)
2b42cc2007-10-06Marcus Comstedt  func(ctx); /* Restore */
dc48072008-12-27Henrik Grubbström (Grubba)  DO_IF_DEBUG(state->debug_flags |= THREAD_DEBUG_LOOSE;)
2b42cc2007-10-06Marcus Comstedt  SWAP_OUT_THREAD(state); mt_unlock_interpreter(); } } else { /* Not a pike thread. Create a temporary thread_id... */ struct object *thread_obj;
d97eb72011-07-10Henrik Grubbström (Grubba)  struct Pike_interpreter_struct new_interpreter;
2b42cc2007-10-06Marcus Comstedt  mt_lock_interpreter();
d97eb72011-07-10Henrik Grubbström (Grubba)  Pike_interpreter_pointer = &new_interpreter;
2b42cc2007-10-06Marcus Comstedt  init_interpreter(); Pike_interpreter.stack_top=((char *)&state)+ (thread_stack_size-16384) * STACK_DIRECTION; Pike_interpreter.recoveries = NULL; thread_obj = fast_clone_object(thread_id_prog); INIT_THREAD_STATE((struct thread_state *)(thread_obj->storage + thread_storage_offset)); num_threads++; thread_table_insert(Pike_interpreter.thread_state); func(ctx); cleanup_interpret(); /* Must be done before EXIT_THREAD_STATE */ Pike_interpreter.thread_state->status=THREAD_EXITED; co_signal(&Pike_interpreter.thread_state->status_change); thread_table_delete(Pike_interpreter.thread_state); EXIT_THREAD_STATE(Pike_interpreter.thread_state); Pike_interpreter.thread_state=NULL; free_object(thread_obj); thread_obj = NULL; num_threads--; mt_unlock_interpreter();
cf13df2013-06-16Arne Goedeke #ifdef PIKE_DEBUG Pike_interpreter_pointer = NULL; #endif
2b42cc2007-10-06Marcus Comstedt  } } PMOD_EXPORT void enable_external_threads(void) { num_threads++; } PMOD_EXPORT void disable_external_threads(void) { num_threads--; }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @module Thread */
95363a2000-04-11Fredrik Hübinette (Hubbe) 
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl array(Thread.Thread) all_threads() *! *! This function returns an array with the thread ids of all threads. *! *! @seealso
c7b7dd2001-10-28Martin Nilsson  *! @[Thread()]
e413da2001-02-01Henrik Grubbström (Grubba)  */
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT void f_all_threads(INT32 args)
eac2091998-02-27Marcus Comstedt { /* Return an unordered array containing all threads that was running at the time this function was invoked */ struct svalue *oldsp;
17f08c2000-07-06Fredrik Hübinette (Hubbe)  struct thread_state *s;
eac2091998-02-27Marcus Comstedt  pop_n_elems(args);
17f08c2000-07-06Fredrik Hübinette (Hubbe)  oldsp = Pike_sp;
f2c01e2003-01-08Martin Stjernholm  FOR_EACH_THREAD (s, {
26cd941999-05-07Fredrik Hübinette (Hubbe)  struct object *o = THREADSTATE2OBJ(s);
88f3202002-06-17Henrik Grubbström (Grubba)  if (o) { ref_push_object(o); }
f2c01e2003-01-08Martin Stjernholm  });
89fc4c2000-08-10Henrik Grubbström (Grubba)  f_aggregate(DO_NOT_WARN(Pike_sp - oldsp));
eac2091998-02-27Marcus Comstedt }
38e1e82001-11-08Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
00e6682006-07-05Martin Stjernholm PMOD_EXPORT void debug_list_all_threads(void)
38e1e82001-11-08Fredrik Hübinette (Hubbe) { INT32 x; struct thread_state *s; THREAD_T self = th_self(); fprintf(stderr,"--Listing all threads--\n");
91518c2009-03-15Martin Stjernholm  fprintf (stderr, "Current thread: %"PRINTSIZET"x\n", (size_t) self);
ad183c2003-10-19Martin Stjernholm  fprintf(stderr,"Current interpreter thread state: %p%s\n", Pike_interpreter.thread_state, Pike_interpreter.thread_state == (struct thread_state *) (ptrdiff_t) -1 ? " (swapped)" : "");
c237242003-10-19Martin Stjernholm  fprintf(stderr,"Current thread state according to thread_state_for_id(): %p\n", thread_state_for_id (self));
1d456f2003-02-20Henrik Grubbström (Grubba)  fprintf(stderr,"Current thread obj: %p\n",
ad183c2003-10-19Martin Stjernholm  (Pike_interpreter.thread_state && Pike_interpreter.thread_state != (struct thread_state *) (ptrdiff_t) -1) ? Pike_interpreter.thread_state->thread_obj : NULL);
38e1e82001-11-08Fredrik Hübinette (Hubbe)  fprintf(stderr,"Current thread hash: %d\n",thread_table_hash(&self)); fprintf(stderr,"Current stack pointer: %p\n",&self); for(x=0; x<THREAD_TABLE_SIZE; x++) { for(s=thread_table_chains[x]; s; s=s->hashlink) { struct object *o = THREADSTATE2OBJ(s);
ad183c2003-10-19Martin Stjernholm  fprintf(stderr,"ThTab[%d]: state=%p, obj=%p, "
91518c2009-03-15Martin Stjernholm  "swapped=%d, sp=%p (%+"PRINTPTRDIFFT"d), fp=%p, stackbase=%p, " "id=%"PRINTSIZET"x\n",
ad183c2003-10-19Martin Stjernholm  x, s, o, s->swapped, s->state.stack_pointer, s->state.stack_pointer - s->state.evaluator_stack, s->state.frame_pointer,
91518c2009-03-15Martin Stjernholm  s->state.stack_top, (size_t) s->id);
38e1e82001-11-08Fredrik Hübinette (Hubbe)  } } fprintf(stderr,"-----------------------\n"); } #endif
95363a2000-04-11Fredrik Hübinette (Hubbe) 
1f21332000-07-28Fredrik Hübinette (Hubbe) PMOD_EXPORT int count_pike_threads(void)
56ac102000-03-29Fredrik Hübinette (Hubbe) { return num_pike_threads; }
eac2091998-02-27Marcus Comstedt 
74dfe82012-12-30Jonas Walldén static void check_threads(struct callback *UNUSED(cb), void *UNUSED(arg), void *UNUSED(arg2))
a29e021996-10-15Fredrik Hübinette (Hubbe) {
0c22042008-11-18Martin Stjernholm #ifdef PROFILE_CHECK_THREADS
d0aa0d2011-04-02Martin Stjernholm  static unsigned long calls = 0, yields = 0; static unsigned long clock_checks = 0, no_clock_advs = 0;
7eb2252011-04-02Martin Stjernholm #if 0
a771ee2010-10-24Martin Stjernholm  static unsigned long slice_int_n = 0; /* Slice interval length. */
466caa2010-10-23Martin Stjernholm  static double slice_int_mean = 0.0, slice_int_m2 = 0.0;
a771ee2010-10-24Martin Stjernholm  static unsigned long tsc_int_n = 0; /* Actual tsc interval length. */
466caa2010-10-23Martin Stjernholm  static double tsc_int_mean = 0.0, tsc_int_m2 = 0.0;
a771ee2010-10-24Martin Stjernholm  static unsigned long tsc_tgt_n = 0; /* Target tsc interval length. */ static double tsc_tgt_mean = 0.0, tsc_tgt_m2 = 0.0;
7eb2252011-04-02Martin Stjernholm #endif
a771ee2010-10-24Martin Stjernholm  static unsigned long tps = 0, tps_int_n = 0; /* TSC intervals per slice. */ static double tps_int_mean = 0.0, tps_int_m2 = 0.0;
0c22042008-11-18Martin Stjernholm  calls++; #endif
15ecdc2011-04-02Martin Stjernholm #ifdef PIKE_DEBUG check_threads_calls++; #endif
0c22042008-11-18Martin Stjernholm 
59e8272010-10-17Martin Stjernholm #if defined (USE_CLOCK_FOR_SLICES) && defined (PIKE_DEBUG) if (last_clocked_thread != th_self()) Pike_fatal ("Stale thread %08lx in last_clocked_thread (self is %08lx)\n", (unsigned long) last_clocked_thread, (unsigned long) th_self()); #endif
9d21162008-11-18Martin Stjernholm 
92ec352010-10-23Martin Stjernholm #if defined(RDTSC) && defined(USE_CLOCK_FOR_SLICES)
2cf5272010-10-17Artur Skawina  /* We can get here as often as 30+ thousand times per second; let's try to avoid doing as many clock(3)/times(2) syscalls
f756242010-10-24Martin Stjernholm  by using the TSC. */
2cf5272010-10-17Artur Skawina 
59e8272010-10-17Martin Stjernholm  if (use_tsc_for_slices) {
a771ee2010-10-24Martin Stjernholm  static INT64 target_int = TSC_START_INTERVAL; INT64 tsc_now, tsc_elapsed;
2cf5272010-10-17Artur Skawina 
da66442010-10-23Martin Stjernholm  /* prev_tsc is normally always valid here, but it can be zero * after a tsc jump reset and just after a thread has been * "pike-ified" with INIT_THREAD_STATE (in which case * thread_start_clock is zero too). */
2cf5272010-10-17Artur Skawina 
a771ee2010-10-24Martin Stjernholm  RDTSC(tsc_now); tsc_elapsed = tsc_now - prev_tsc;
da66442010-10-23Martin Stjernholm 
a771ee2010-10-24Martin Stjernholm  if (tsc_elapsed < target_int) {
da66442010-10-23Martin Stjernholm  if (tsc_elapsed < 0) { /* The counter jumped back in time, so reset and continue. In * the worst case this keeps happening all the time, and then * the only effect is that we always fall back to * clock(3). */
e9bda92010-10-22Martin Stjernholm #ifdef PROFILE_CHECK_THREADS
d0aa0d2011-04-02Martin Stjernholm  fprintf (stderr, "[%d:%f] TSC backward jump detected " "(now: %"PRINTINT64"d, prev: %"PRINTINT64"d, " "target_int: %"PRINTINT64"d) - resetting\n", getpid(), get_real_time() * (1.0 / CPU_TIME_TICKS), tsc_now, prev_tsc, target_int);
e9bda92010-10-22Martin Stjernholm #endif
a771ee2010-10-24Martin Stjernholm  target_int = TSC_START_INTERVAL;
da66442010-10-23Martin Stjernholm  prev_tsc = 0;
e9bda92010-10-22Martin Stjernholm  }
59e8272010-10-17Martin Stjernholm  else return;
2cf5272010-10-17Artur Skawina  }
466caa2010-10-23Martin Stjernholm #ifdef PROFILE_CHECK_THREADS
7eb2252011-04-02Martin Stjernholm #if 0
da66442010-10-23Martin Stjernholm  if (prev_tsc) { double delta = tsc_elapsed - tsc_int_mean;
466caa2010-10-23Martin Stjernholm  tsc_int_n++; tsc_int_mean += delta / tsc_int_n;
da66442010-10-23Martin Stjernholm  tsc_int_m2 += delta * (tsc_elapsed - tsc_int_mean);
466caa2010-10-23Martin Stjernholm  }
7eb2252011-04-02Martin Stjernholm #endif
466caa2010-10-23Martin Stjernholm  clock_checks++;
a771ee2010-10-24Martin Stjernholm  tps++; #endif { clock_t clock_now = clock(); /* Aim tsc intervals at 1/20th of a thread time slice interval, * i.e. at 1/400 sec. That means the time is checked with * clock(3) approx 20 times per slice. That still cuts the vast * majority of the clock() calls and we're still fairly safe * against tsc inconsistencies of different sorts, like cpu clock * rate changes (on older cpu's with variable tsc), * unsynchronized tsc's between cores, OS tsc resets, etc - * individual intervals can be off by more than an order of * magnitude in either direction without affecting the final time
e03e2c2011-04-02Martin Stjernholm  * slice length appreciably. * * Note that the real interval lengths will always be longer. * One reason is that we won't get calls exactly when they run * out. Another is the often lousy clock(3) resolution. */
a771ee2010-10-24Martin Stjernholm  if (prev_tsc) {
c0402d2012-07-23Jonas Walldén  if (clock_now > prev_clock) {
a771ee2010-10-24Martin Stjernholm  /* Estimate the next interval just by extrapolating the * tsc/clock ratio of the last one. This adapts very * quickly but is also very "jumpy". That shouldn't matter * due to the approach with dividing the time slice into
e03e2c2011-04-02Martin Stjernholm  * ~20 tsc intervals. * * Note: The main source of the jumpiness is probably that * clock(3) has so lousy resolution on many platforms, i.e. * it may step forward very large intervals very seldom * (100 times/sec on linux/glibc 2.x). It also has the * effect that the actual tsc intervals will be closer to * 1/200 sec. */
c0402d2012-07-23Jonas Walldén  clock_t tsc_interval_time = clock_now - prev_clock;
a771ee2010-10-24Martin Stjernholm  INT64 new_target_int = (tsc_elapsed * (CLOCKS_PER_SEC / 400)) / tsc_interval_time;
6343382011-04-02Martin Stjernholm  if (new_target_int < target_int << 2)
a771ee2010-10-24Martin Stjernholm  target_int = new_target_int; else {
e03e2c2011-04-02Martin Stjernholm  /* The most likely cause for this is high variance in the * interval lengths due to low clock(3) resolution. */
a771ee2010-10-24Martin Stjernholm #ifdef PROFILE_CHECK_THREADS
d0aa0d2011-04-02Martin Stjernholm  fprintf (stderr, "[%d:%f] Capping large TSC interval increase " "(from %"PRINTINT64"d to %"PRINTINT64"d)\n", getpid(), get_real_time() * (1.0 / CPU_TIME_TICKS), target_int, new_target_int);
a771ee2010-10-24Martin Stjernholm #endif /* The + 1 is paranoia just in case it has become zero somehow. */
6343382011-04-02Martin Stjernholm  target_int = (target_int << 2) + 1;
a771ee2010-10-24Martin Stjernholm  } prev_tsc = tsc_now; prev_clock = clock_now;
7eb2252011-04-02Martin Stjernholm #if 0
a771ee2010-10-24Martin Stjernholm #ifdef PROFILE_CHECK_THREADS { double delta = target_int - tsc_tgt_mean; tsc_tgt_n++; tsc_tgt_mean += delta / tsc_tgt_n; tsc_tgt_m2 += delta * (target_int - tsc_tgt_mean); }
7eb2252011-04-02Martin Stjernholm #endif
a771ee2010-10-24Martin Stjernholm #endif } else { /* clock(3) can have pretty low resolution and might not * have advanced during the tsc interval. Just do another * round on the old estimate, keeping prev_tsc and * prev_clock fixed to get a longer interval for the next * measurement. */
c0402d2012-07-23Jonas Walldén  if (clock_now < prev_clock) {
a771ee2010-10-24Martin Stjernholm  /* clock() wraps around fairly often as well. We still * keep the old interval but update the baselines in this * case. */ prev_tsc = tsc_now; prev_clock = clock_now; } target_int += tsc_elapsed; #ifdef PROFILE_CHECK_THREADS no_clock_advs++;
466caa2010-10-23Martin Stjernholm #endif
a771ee2010-10-24Martin Stjernholm  }
64c5662010-10-23Martin Stjernholm  }
a771ee2010-10-24Martin Stjernholm  else { #ifdef PROFILE_CHECK_THREADS
d0aa0d2011-04-02Martin Stjernholm  fprintf (stderr, "[%d:%f] Warning: Encountered zero prev_tsc " "(thread_start_clock: %"PRINTINT64"d, " "clock_now: %"PRINTINT64"d)\n", getpid(), get_real_time() * (1.0 / CPU_TIME_TICKS), (INT64) thread_start_clock, (INT64) clock_now);
a771ee2010-10-24Martin Stjernholm #endif prev_tsc = tsc_now;
64c5662010-10-23Martin Stjernholm  }
a771ee2010-10-24Martin Stjernholm 
c0402d2012-07-23Jonas Walldén  if (clock_now < thread_start_clock)
a771ee2010-10-24Martin Stjernholm  /* clock counter has wrapped since the start of the time * slice. Let's reset and yield. */ thread_start_clock = 0; else if (clock_now - thread_start_clock < (clock_t) (CLOCKS_PER_SEC / 20)) return;
2cf5272010-10-17Artur Skawina  }
64c5662010-10-23Martin Stjernholm 
a771ee2010-10-24Martin Stjernholm #ifdef PROFILE_CHECK_THREADS { double delta = tps - tps_int_mean; tps_int_n++; tps_int_mean += delta / tps_int_n; tps_int_m2 += delta * (tps - tps_int_mean); tps = 0; } #endif
64c5662010-10-23Martin Stjernholm 
59e8272010-10-17Martin Stjernholm  goto do_yield;
2cf5272010-10-17Artur Skawina  }
92ec352010-10-23Martin Stjernholm #endif /* RDTSC && USE_CLOCK_FOR_SLICES */
59e8272010-10-17Martin Stjernholm  #ifdef HAVE_GETHRTIME
7ee4aa2002-09-14Martin Stjernholm  { static hrtime_t last_ = 0; hrtime_t now = gethrtime(); if( now-last_ < 50000000 ) /* 0.05s slice */ return; last_ = now; }
82069a2003-11-26Henrik Grubbström (Grubba) #elif defined(HAVE_MACH_TASK_INFO_H) && defined(TASK_THREAD_TIMES_INFO)
08c53c2003-11-25Jonas Wallden  { static struct timeval last_check = { 0, 0 }; task_thread_times_info_data_t info; mach_msg_type_number_t info_size = TASK_THREAD_TIMES_INFO_COUNT;
bc2a032009-04-21Jonas Wallden  /* Before making an expensive call to task_info() we perform a preliminary check that at least 35 ms real time has passed. If not yet true we'll postpone the next check a full interval. */
5767532009-04-21Jonas Wallden  struct timeval tv;
c679ec2012-01-06Jonas Walldén  ACCURATE_GETTIMEOFDAY(&tv); {
bc2a032009-04-21Jonas Wallden #ifdef INT64
5767532009-04-21Jonas Wallden  static INT64 real_time_last_check = 0; INT64 real_time_now = tv.tv_sec * 1000000 + tv.tv_usec; if (real_time_now - real_time_last_check < 35000) return; real_time_last_check = real_time_now;
bc2a032009-04-21Jonas Wallden #else
5767532009-04-21Jonas Wallden  static struct timeval real_time_last_check = { 0, 0 }; struct timeval diff; timersub(&real_time_now, &real_time_last_check, &diff); if (diff.tv_usec < 35000 && diff.tv_sec == 0) return; real_time_last_check = tv;
bc2a032009-04-21Jonas Wallden #endif
5767532009-04-21Jonas Wallden  }
bc2a032009-04-21Jonas Wallden 
9d21162008-11-18Martin Stjernholm  /* Get user time and test if 50 ms has passed since last check. */
08c53c2003-11-25Jonas Wallden  if (task_info(mach_task_self(), TASK_THREAD_TIMES_INFO, (task_info_t) &info, &info_size) == 0) {
9d21162008-11-18Martin Stjernholm #ifdef INT64 static INT64 last_check = 0; INT64 now = info.user_time.seconds * 1000000 + info.user_time.microseconds + info.system_time.seconds * 1000000 + info.system_time.microseconds; if (now - last_check < 50000) return; last_check = now; #else
08c53c2003-11-25Jonas Wallden  /* Compute difference by converting kernel time_info_t to timeval. */
9d21162008-11-18Martin Stjernholm  static struct timeval last_check = { 0, 0 }; struct timeval user, sys, now;
08c53c2003-11-25Jonas Wallden  struct timeval diff;
9d21162008-11-18Martin Stjernholm  user.tv_sec = info.user_time.seconds; user.tv_usec = info.user_time.microseconds; sys.tv_sec = info.system_time.seconds; sys.tv_usec = info.system_time.microseconds; timeradd (&user, &sys, &now);
08c53c2003-11-25Jonas Wallden  timersub(&now, &last_check, &diff); if (diff.tv_usec < 50000 && diff.tv_sec == 0) return; last_check = now;
9d21162008-11-18Martin Stjernholm #endif
08c53c2003-11-25Jonas Wallden  } }
7ee4aa2002-09-14Martin Stjernholm #elif defined (USE_CLOCK_FOR_SLICES)
b07fde2010-10-24Martin Stjernholm  { clock_t clock_now = clock();
c0402d2012-07-23Jonas Walldén  if (clock_now < thread_start_clock)
b07fde2010-10-24Martin Stjernholm  /* clock counter has wrapped since the start of the time slice. * Let's reset and yield. */ thread_start_clock = 0; else if (clock_now - thread_start_clock < (clock_t) (CLOCKS_PER_SEC / 20)) return; }
0c22042008-11-18Martin Stjernholm #else static int div_; if(div_++ & 255) return;
319fb12002-09-14Martin Stjernholm #endif
0a861b1997-09-17Fredrik Hübinette (Hubbe) 
59e8272010-10-17Martin Stjernholm  do_yield:;
15ecdc2011-04-02Martin Stjernholm #ifdef PIKE_DEBUG check_threads_yields++; #endif
59e8272010-10-17Martin Stjernholm 
0c22042008-11-18Martin Stjernholm #ifdef PROFILE_CHECK_THREADS { static long last_time; struct timeval now;
466caa2010-10-23Martin Stjernholm 
d0aa0d2011-04-02Martin Stjernholm  yields++;
7eb2252011-04-02Martin Stjernholm #if 0
466caa2010-10-23Martin Stjernholm #ifdef USE_CLOCK_FOR_SLICES if (thread_start_clock) { double slice_time = (double) (clock() - thread_start_clock) / CLOCKS_PER_SEC; double delta = slice_time - slice_int_mean; slice_int_n++; slice_int_mean += delta / slice_int_n; slice_int_m2 += delta * (slice_time - slice_int_mean); }
7eb2252011-04-02Martin Stjernholm #endif
466caa2010-10-23Martin Stjernholm #endif
f010202011-11-16Tobias S. Josefowitz  ACCURATE_GETTIMEOFDAY (&now);
0c22042008-11-18Martin Stjernholm  if (now.tv_sec > last_time) {
d0aa0d2011-04-02Martin Stjernholm  fprintf (stderr, "[%d:%f] check_threads: %lu calls, " "%lu clocks, %lu no advs, %lu yields"
7eb2252011-04-02Martin Stjernholm #if 0
d0aa0d2011-04-02Martin Stjernholm  ", slice %.3f:%.1e, tsc int %.2e:%.1e, tsc tgt %.2e:%.1e"
7eb2252011-04-02Martin Stjernholm #endif
d0aa0d2011-04-02Martin Stjernholm  ", tps %g:%.1e\n", getpid(), get_real_time() * (1.0 / CPU_TIME_TICKS), calls, clock_checks, no_clock_advs, yields,
7eb2252011-04-02Martin Stjernholm #if 0
466caa2010-10-23Martin Stjernholm  slice_int_mean, slice_int_n > 1 ? sqrt (slice_int_m2 / (slice_int_n - 1)) : 0.0, tsc_int_mean,
a771ee2010-10-24Martin Stjernholm  tsc_int_n > 1 ? sqrt (tsc_int_m2 / (tsc_int_n - 1)) : 0.0, tsc_tgt_mean, tsc_tgt_n > 1 ? sqrt (tsc_tgt_m2 / (tsc_tgt_n - 1)) : 0.0,
7eb2252011-04-02Martin Stjernholm #endif
a771ee2010-10-24Martin Stjernholm  tps_int_mean, tps_int_n > 1 ? sqrt (tps_int_m2 / (tps_int_n - 1)) : 0.0);
0c22042008-11-18Martin Stjernholm  last_time = (unsigned long) now.tv_sec;
d0aa0d2011-04-02Martin Stjernholm  calls = yields = clock_checks = no_clock_advs = 0;
0c22042008-11-18Martin Stjernholm  } } #endif
15ecdc2011-04-02Martin Stjernholm  { #ifdef PIKE_DEBUG unsigned LONGEST old_thread_swaps = thread_swaps; #endif pike_thread_yield(); #ifdef PIKE_DEBUG if (thread_swaps != old_thread_swaps) check_threads_swaps++; #endif }
5d63712010-09-28Martin Stjernholm }
a76b312010-09-28Henrik Grubbström (Grubba) PMOD_EXPORT void pike_thread_yield(void)
5d63712010-09-28Martin Stjernholm {
b867f92003-02-16Martin Stjernholm  DEBUG_CHECK_THREAD();
26cd941999-05-07Fredrik Hübinette (Hubbe) 
de413f1998-03-26Per Hedbor  THREADS_ALLOW(); /* Allow other threads to run */
307b932009-03-13Martin Stjernholm  /* FIXME: Ought to use condition vars or something to get another * thread to run. yield functions are notoriously unreliable and * poorly defined. It might not really yield we need it to. It might * make us yield to another process instead of just another thread. * It might even make us sleep for a short while. */
335a552001-11-02Martin Stjernholm  th_yield();
de413f1998-03-26Per Hedbor  THREADS_DISALLOW();
26cd941999-05-07Fredrik Hübinette (Hubbe) 
7ee4aa2002-09-14Martin Stjernholm #ifdef USE_CLOCK_FOR_SLICES
41a0962009-03-13Martin Stjernholm  /* If we didn't yield then give ourselves a new time slice. If we * did yield then thread_start_clock is the current clock anyway * after the thread swap in. */
7ee4aa2002-09-14Martin Stjernholm  thread_start_clock = clock();
da66442010-10-23Martin Stjernholm #ifdef RDTSC RDTSC (prev_tsc);
a771ee2010-10-24Martin Stjernholm  prev_clock = thread_start_clock;
da66442010-10-23Martin Stjernholm #endif
41a0962009-03-13Martin Stjernholm #ifdef PIKE_DEBUG if (last_clocked_thread != th_self()) Pike_fatal ("Stale thread %08lx in last_clocked_thread (self is %08lx)\n", (unsigned long) last_clocked_thread, (unsigned long) th_self()); #endif
7ee4aa2002-09-14Martin Stjernholm #endif
b867f92003-02-16Martin Stjernholm  DEBUG_CHECK_THREAD();
a29e021996-10-15Fredrik Hübinette (Hubbe) }
1d456f2003-02-20Henrik Grubbström (Grubba) struct thread_starter { struct thread_state *thread_state; /* State of the thread. */ struct array *args; /* Arguments passed to the thread. */ #ifdef HAVE_BROKEN_LINUX_THREAD_EUID int euid, egid; #endif /* HAVE_BROKEN_LINUX_THREAD_EUID */ }; /* Thread func starting new Pike-level threads. */
0431312003-02-15Henrik Grubbström (Grubba) TH_RETURN_TYPE new_thread_func(void *data)
07513e1996-10-04Fredrik Hübinette (Hubbe) {
6d1a5e1996-10-07Fredrik Hübinette (Hubbe)  struct thread_starter arg = *(struct thread_starter *)data;
1d456f2003-02-20Henrik Grubbström (Grubba)  struct object *thread_obj; struct thread_state *thread_state;
07513e1996-10-04Fredrik Hübinette (Hubbe)  JMP_BUF back;
b1b51f1996-10-11Fredrik Hübinette (Hubbe) 
b867f92003-02-16Martin Stjernholm  THREADS_FPRINTF(0, (stderr,"new_thread_func(): Thread %p created...\n", arg.thread_state));
c17fed2000-05-20Henrik Grubbström (Grubba) 
222d922000-05-20Henrik Grubbström (Grubba) #ifdef HAVE_BROKEN_LINUX_THREAD_EUID
c17fed2000-05-20Henrik Grubbström (Grubba)  /* Work-around for Linux's pthreads not propagating the * effective uid & gid. */ if (!geteuid()) {
f663a02003-03-05Martin Stjernholm #if defined(HAVE_PRCTL) && defined(PR_SET_DUMPABLE) /* The sete?id calls will clear the dumpable state that we might * have set with system.dumpable. */ int current = prctl(PR_GET_DUMPABLE);
a1ee482003-10-06Martin Stjernholm #ifdef PIKE_DEBUG if (current == -1) fprintf (stderr, "%s:%d: Unexpected error from prctl(2). errno=%d\n", __FILE__, __LINE__, errno); #endif
f663a02003-03-05Martin Stjernholm #endif
6617302000-05-22Henrik Grubbström (Grubba)  setegid(arg.egid); seteuid(arg.euid);
f663a02003-03-05Martin Stjernholm #if defined(HAVE_PRCTL) && defined(PR_SET_DUMPABLE)
a1ee482003-10-06Martin Stjernholm  if (current != -1 && prctl(PR_SET_DUMPABLE, current) == -1) { #if defined(PIKE_DEBUG) fprintf (stderr, "%s:%d: Unexpected error from prctl(2). errno=%d\n", __FILE__, __LINE__, errno); #endif }
f663a02003-03-05Martin Stjernholm #endif
c17fed2000-05-20Henrik Grubbström (Grubba)  }
222d922000-05-20Henrik Grubbström (Grubba) #endif /* HAVE_BROKEN_LINUX_THREAD_EUID */
0d51b32008-09-09Martin Stjernholm  /* Lock the interpreter now, but don't wait on * threads_disabled_change since the spawning thread might be * holding it. */ low_mt_lock_interpreter();
b867f92003-02-16Martin Stjernholm  #if defined(PIKE_DEBUG) if(d_flag) { THREAD_T self = th_self(); if( !th_equal(arg.thread_state->id, self) ) Pike_fatal("Current thread is wrong. %lx %lx\n", (long)arg.thread_state->id, (long)self); } #endif arg.thread_state->swapped = 0;
d97eb72011-07-10Henrik Grubbström (Grubba)  Pike_interpreter_pointer = &arg.thread_state->state;
b867f92003-02-16Martin Stjernholm 
0612442001-05-16Fredrik Hübinette (Hubbe) #ifdef PROFILING Pike_interpreter.stack_bottom=((char *)&data); #endif
17f08c2000-07-06Fredrik Hübinette (Hubbe)  Pike_interpreter.stack_top=((char *)&data)+ (thread_stack_size-16384) * STACK_DIRECTION; Pike_interpreter.recoveries = NULL;
0431312003-02-15Henrik Grubbström (Grubba) 
1d456f2003-02-20Henrik Grubbström (Grubba)  add_ref(thread_obj = arg.thread_state->thread_obj); INIT_THREAD_STATE(thread_state = arg.thread_state); /* Inform the spawning thread that we are now running. */ co_broadcast(&thread_state->status_change);
f0cd4c1999-03-21Henrik Grubbström (Grubba) 
0d51b32008-09-09Martin Stjernholm  /* After signalling the status change to the spawning thread we may * now wait if threads are disabled. */ if (threads_disabled) { SWAP_OUT_CURRENT_THREAD();
91518c2009-03-15Martin Stjernholm  threads_disabled_wait (DLOC);
0d51b32008-09-09Martin Stjernholm  SWAP_IN_CURRENT_THREAD(); }
b867f92003-02-16Martin Stjernholm  DEBUG_CHECK_THREAD();
26cd941999-05-07Fredrik Hübinette (Hubbe) 
b867f92003-02-16Martin Stjernholm  THREADS_FPRINTF(0, (stderr,"new_thread_func(): Thread %p inited\n", arg.thread_state));
38e1e82001-11-08Fredrik Hübinette (Hubbe) 
07513e1996-10-04Fredrik Hübinette (Hubbe)  if(SETJMP(back)) {
286b312004-12-30Henrik Grubbström (Grubba)  if(throw_severity <= THROW_ERROR)
6697042000-11-20Martin Stjernholm  call_handle_error();
e587282012-05-23Henrik Grubbström (Grubba)  else if(throw_severity == THROW_EXIT)
14ff492009-09-29Martin Stjernholm  { /* This is too early to get a clean exit if DO_PIKE_CLEANUP is * active. Otoh it cannot be done later since it requires the * evaluator stacks in the gc calls. It's difficult to solve * without handing over the cleanup duty to the main thread. */ pike_do_exit(throw_value.u.integer);
e587282012-05-23Henrik Grubbström (Grubba)  } else if (thread_state->thread_obj) { /* Copy the thrown exit value to the thread_state here, * if the thread hasn't been destructed. */ assign_svalue(&thread_state->result, &throw_value);
14ff492009-09-29Martin Stjernholm  }
07513e1996-10-04Fredrik Hübinette (Hubbe)  } else {
725ba91996-10-12Fredrik Hübinette (Hubbe)  INT32 args=arg.args->size;
61e9a01998-01-25Fredrik Hübinette (Hubbe)  back.severity=THROW_EXIT;
6d1a5e1996-10-07Fredrik Hübinette (Hubbe)  push_array_items(arg.args); arg.args=0;
97ffe41997-01-26Per Hedbor  f_call_function(args);
5740881998-01-01Fredrik Hübinette (Hubbe) 
a93a162008-12-19Martin Stjernholm  /* Copy return value to the thread_state here, if the thread * object hasn't been destructed. */ if (thread_state->thread_obj) assign_svalue(&thread_state->result, Pike_sp-1);
5740881998-01-01Fredrik Hübinette (Hubbe)  pop_stack();
07513e1996-10-04Fredrik Hübinette (Hubbe)  }
1d456f2003-02-20Henrik Grubbström (Grubba)  UNSETJMP(back);
b867f92003-02-16Martin Stjernholm  DEBUG_CHECK_THREAD();
38e1e82001-11-08Fredrik Hübinette (Hubbe) 
1d456f2003-02-20Henrik Grubbström (Grubba)  if(thread_state->thread_local != NULL) { free_mapping(thread_state->thread_local); thread_state->thread_local = NULL;
d86cd71998-08-24Marcus Comstedt  }
1d456f2003-02-20Henrik Grubbström (Grubba)  thread_state->status = THREAD_EXITED; co_broadcast(&thread_state->status_change);
07513e1996-10-04Fredrik Hübinette (Hubbe) 
b867f92003-02-16Martin Stjernholm  THREADS_FPRINTF(0, (stderr,"new_thread_func(): Thread %p done\n", arg.thread_state));
b1b51f1996-10-11Fredrik Hübinette (Hubbe) 
1d456f2003-02-20Henrik Grubbström (Grubba)  /* This thread is now officially dead. */
2ef3b92005-01-25Henrik Grubbström (Grubba)  while(Pike_fp) POP_PIKE_FRAME(); reset_evaluator(); low_cleanup_interpret(&thread_state->state);
1d456f2003-02-20Henrik Grubbström (Grubba) 
0a14c22008-08-05Martin Stjernholm  if (!thread_state->thread_obj) /* Do this only if exit_thread_obj already has run. */ cleanup_thread_state (thread_state);
1d456f2003-02-20Henrik Grubbström (Grubba)  thread_table_delete(thread_state); EXIT_THREAD_STATE(thread_state); Pike_interpreter.thread_state = thread_state = NULL;
d97eb72011-07-10Henrik Grubbström (Grubba)  Pike_interpreter_pointer = NULL;
1d456f2003-02-20Henrik Grubbström (Grubba)  /* Free ourselves. * NB: This really ought to run in some other thread... */
f1ee642003-03-17Henrik Grubbström (Grubba)  free_object(thread_obj);
1d456f2003-02-20Henrik Grubbström (Grubba)  thread_obj = NULL;
07513e1996-10-04Fredrik Hübinette (Hubbe)  num_threads--;
fe76ce1997-09-08Fredrik Hübinette (Hubbe)  if(!num_threads && threads_evaluator_callback)
a29e021996-10-15Fredrik Hübinette (Hubbe)  { remove_callback(threads_evaluator_callback); threads_evaluator_callback=0; }
0f65e12002-09-14Martin Stjernholm  #ifdef INTERNAL_PROFILING fprintf (stderr, "Thread usage summary:\n"); debug_print_rusage (stderr); #endif
4bc7e42001-11-26Henrik Grubbström (Grubba)  /* FIXME: What about threads_disable? */
c91f892000-04-19Martin Stjernholm  mt_unlock_interpreter();
07513e1996-10-04Fredrik Hübinette (Hubbe)  th_exit(0);
9c8b2d1997-04-20Henrik Grubbström (Grubba)  /* NOT_REACHED, but removes a warning */
0431312003-02-15Henrik Grubbström (Grubba)  return 0;
07513e1996-10-04Fredrik Hübinette (Hubbe) }
97ffe41997-01-26Per Hedbor #ifdef UNIX_THREADS int num_lwps = 1; #endif
b1b51f1996-10-11Fredrik Hübinette (Hubbe) 
e413da2001-02-01Henrik Grubbström (Grubba) /*! @class Thread */
a44a582002-09-29Martin Nilsson /*! @decl void create(function(mixed...:void) f, mixed ... args)
e413da2001-02-01Henrik Grubbström (Grubba)  *! *! This function creates a new thread which will run simultaneously *! to the rest of the program. The new thread will call the function *! @[f] with the arguments @[args]. When @[f] returns the thread will cease *! to exist. *! *! All Pike functions are 'thread safe' meaning that running *! a function at the same time from different threads will not corrupt *! any internal data in the Pike process. *! *! @returns *! The returned value will be the same as the return value of
c7b7dd2001-10-28Martin Nilsson  *! @[this_thread()] for the new thread.
e413da2001-02-01Henrik Grubbström (Grubba)  *! *! @note *! This function is only available on systems with POSIX or UNIX or WIN32 *! threads support. *! *! @seealso *! @[Mutex], @[Condition], @[this_thread()] */
07513e1996-10-04Fredrik Hübinette (Hubbe) void f_thread_create(INT32 args) {
1d456f2003-02-20Henrik Grubbström (Grubba)  struct thread_starter arg;
0431312003-02-15Henrik Grubbström (Grubba)  struct thread_state *thread_state = (struct thread_state *)Pike_fp->current_storage;
07513e1996-10-04Fredrik Hübinette (Hubbe)  int tmp;
0431312003-02-15Henrik Grubbström (Grubba)  if (thread_state->status != THREAD_NOT_STARTED) {
6818b02003-02-20Henrik Grubbström (Grubba)  Pike_error("Threads can not be restarted (status:%d).\n", thread_state->status);
0431312003-02-15Henrik Grubbström (Grubba)  }
1d456f2003-02-20Henrik Grubbström (Grubba)  arg.args = aggregate_array(args); arg.thread_state = thread_state;
b2a0fb1997-02-06Henrik Grubbström (Grubba) 
2ef3b92005-01-25Henrik Grubbström (Grubba)  if (low_init_interpreter(&thread_state->state)) { free_array(arg.args); Pike_error("Out of memory allocating stack.\n"); }
222d922000-05-20Henrik Grubbström (Grubba) #ifdef HAVE_BROKEN_LINUX_THREAD_EUID
1d456f2003-02-20Henrik Grubbström (Grubba)  arg.euid = geteuid(); arg.egid = getegid();
222d922000-05-20Henrik Grubbström (Grubba) #endif /* HAVE_BROKEN_LINUX_THREAD_EUID */
c17fed2000-05-20Henrik Grubbström (Grubba) 
4743f81999-06-02Fredrik Hübinette (Hubbe)  do {
1d456f2003-02-20Henrik Grubbström (Grubba)  tmp = th_create(&thread_state->id,
d40e381999-10-14Henrik Grubbström (Grubba)  new_thread_func,
1d456f2003-02-20Henrik Grubbström (Grubba)  &arg);
700dac2002-02-05Martin Stjernholm  if (tmp == EINTR) check_threads_etc();
4743f81999-06-02Fredrik Hübinette (Hubbe)  } while( tmp == EINTR );
b2a0fb1997-02-06Henrik Grubbström (Grubba) 
6d1a5e1996-10-07Fredrik Hübinette (Hubbe)  if(!tmp) { num_threads++;
1d456f2003-02-20Henrik Grubbström (Grubba)  thread_table_insert(thread_state);
a29e021996-10-15Fredrik Hübinette (Hubbe) 
fe76ce1997-09-08Fredrik Hübinette (Hubbe)  if(!threads_evaluator_callback)
a29e021996-10-15Fredrik Hübinette (Hubbe)  { threads_evaluator_callback=add_to_callback(&evaluator_callbacks, check_threads, 0,0);
424d9c1999-05-02Fredrik Hübinette (Hubbe)  dmalloc_accept_leak(threads_evaluator_callback);
a29e021996-10-15Fredrik Hübinette (Hubbe)  }
91518c2009-03-15Martin Stjernholm 
0431312003-02-15Henrik Grubbström (Grubba)  /* Wait for the thread to start properly. * so that we can avoid races.
1d456f2003-02-20Henrik Grubbström (Grubba)  * * The main race is the one on current_object, * since it at this point only has one reference. * * We also want the stuff in arg to be copied properly * before we exit the function...
0431312003-02-15Henrik Grubbström (Grubba)  */
b867f92003-02-16Martin Stjernholm  SWAP_OUT_CURRENT_THREAD();
91518c2009-03-15Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "f_thread_create %p waiting...\n", thread_state)); while (thread_state->status == THREAD_NOT_STARTED) low_co_wait_interpreter (&thread_state->status_change);
b57f5c2009-03-13Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "f_thread_create %p continue\n", thread_state));
b867f92003-02-16Martin Stjernholm  SWAP_IN_CURRENT_THREAD();
6d1a5e1996-10-07Fredrik Hübinette (Hubbe)  } else {
2ef3b92005-01-25Henrik Grubbström (Grubba)  low_cleanup_interpret(&thread_state->state);
1d456f2003-02-20Henrik Grubbström (Grubba)  free_array(arg.args);
0431312003-02-15Henrik Grubbström (Grubba)  Pike_error("Failed to create thread (errno = %d).\n", tmp);
6d1a5e1996-10-07Fredrik Hübinette (Hubbe)  }
1d456f2003-02-20Henrik Grubbström (Grubba) 
b57f5c2009-03-13Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "f_thread_create %p done\n", thread_state));
1d456f2003-02-20Henrik Grubbström (Grubba)  push_int(0);
6d1a5e1996-10-07Fredrik Hübinette (Hubbe) }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @endclass */
1e4a641997-09-03Martin Stjernholm #ifdef UNIX_THREADS
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl void thread_set_concurrency(int concurrency)
c7b7dd2001-10-28Martin Nilsson  *! *! @fixme *! Document this function
e413da2001-02-01Henrik Grubbström (Grubba)  */
97ffe41997-01-26Per Hedbor void f_thread_set_concurrency(INT32 args) { int c=1;
d4ecd72003-01-05Martin Nilsson  if(args) c=Pike_sp[-args].u.integer; else SIMPLE_TOO_FEW_ARGS_ERROR("thread_set_concurrency", 1);
97ffe41997-01-26Per Hedbor  pop_n_elems(args);
09dceb1997-09-01Per Hedbor  num_lwps=c;
97ffe41997-01-26Per Hedbor  th_setconcurrency(c); }
1e4a641997-09-03Martin Stjernholm #endif
97ffe41997-01-26Per Hedbor 
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl Thread.Thread this_thread() *! *! This function returns the object that identifies this thread. *! *! @seealso
c7b7dd2001-10-28Martin Nilsson  *! @[Thread()]
e413da2001-02-01Henrik Grubbström (Grubba)  */
fa8c692000-11-30Fredrik Hübinette (Hubbe) PMOD_EXPORT void f_this_thread(INT32 args)
6d1a5e1996-10-07Fredrik Hübinette (Hubbe) { pop_n_elems(args);
1d456f2003-02-20Henrik Grubbström (Grubba)  if (Pike_interpreter.thread_state) { ref_push_object(Pike_interpreter.thread_state->thread_obj); } else { /* Threads not enabled yet/anylonger */ push_undefined(); }
07513e1996-10-04Fredrik Hübinette (Hubbe) }
60d9872000-03-23Fredrik Hübinette (Hubbe) #define THIS_MUTEX ((struct mutex_storage *)(CURRENT_STORAGE))
5988921996-10-05Fredrik Hübinette (Hubbe)  /* Note: * No reference is kept to the key object, it is destructed if the * mutex is destructed. The key pointer is set to zero by the * key object when the key is destructed. */ struct mutex_storage { COND_T condition; struct object *key;
2702952004-04-21Martin Stjernholm  int num_waiting;
5988921996-10-05Fredrik Hübinette (Hubbe) }; struct key_storage { struct mutex_storage *mut;
33887a2002-10-28Martin Stjernholm  struct object *mutex_obj;
1d456f2003-02-20Henrik Grubbström (Grubba)  struct thread_state *owner; struct object *owner_obj;
4bdad01997-09-01Per Hedbor  int initialized;
5988921996-10-05Fredrik Hübinette (Hubbe) }; #define OB2KEY(X) ((struct key_storage *)((X)->storage))
07513e1996-10-04Fredrik Hübinette (Hubbe) 
e413da2001-02-01Henrik Grubbström (Grubba) /*! @class Mutex *!
c7b7dd2001-10-28Martin Nilsson  *! @[Mutex] is a class that implements mutual exclusion locks.
e413da2001-02-01Henrik Grubbström (Grubba)  *! Mutex locks are used to prevent multiple threads from simultaneously *! execute sections of code which access or change shared data. The basic *! operations for a mutex is locking and unlocking. If a thread attempts *! to lock an already locked mutex the thread will sleep until the mutex *! is unlocked. *! *! @note *! This class is simulated when Pike is compiled without thread support, *! so it's always available. *! *! In POSIX threads, mutex locks can only be unlocked by the same thread *! that locked them. In Pike any thread can unlock a locked mutex. */ /*! @decl MutexKey lock() *! @decl MutexKey lock(int type) *! *! This function attempts to lock the mutex. If the mutex is already *! locked by a different thread the current thread will sleep until the *! mutex is unlocked. The value returned is the 'key' to the lock. When
4f68012002-10-28Martin Stjernholm  *! the key is destructed or has no more references the mutex will
5fba122004-04-26Martin Stjernholm  *! automatically be unlocked.
e413da2001-02-01Henrik Grubbström (Grubba)  *! *! The @[type] argument specifies what @[lock()] should do if the *! mutex is already locked by this thread: *! @int
a9cdcf2001-02-06Henrik Grubbström (Grubba)  *! @value 0
e413da2001-02-01Henrik Grubbström (Grubba)  *! Throw an error. *! @value 1 *! Sleep until the mutex is unlocked. Useful if some *! other thread will unlock it. *! @value 2 *! Return zero. This allows recursion within a locked region of *! code, but in conjunction with other locks it easily leads *! to unspecified locking order and therefore a risk for deadlocks. *! @endint *!
d059be2004-04-23Martin Stjernholm  *! @note
5fba122004-04-26Martin Stjernholm  *! If the mutex is destructed while it's locked or while threads are *! waiting on it, it will continue to exist internally until the last *! thread has stopped waiting and the last @[MutexKey] has *! disappeared, but further calls to the functions in this class will *! fail as is usual for destructed objects.
d059be2004-04-23Martin Stjernholm  *!
d85b4b2004-05-01Martin Stjernholm  *! @note *! Pike 7.4 and earlier destructed any outstanding lock when the *! mutex was destructed, but threads waiting in @[lock] still got *! functioning locks as discussed above. This is inconsistent no *! matter how you look at it, so it was changed in 7.6. The old *! behavior is retained in compatibility mode for applications that *! explicitly destruct mutexes to unlock them. *!
e413da2001-02-01Henrik Grubbström (Grubba)  *! @seealso *! @[trylock()] */
07513e1996-10-04Fredrik Hübinette (Hubbe) void f_mutex_lock(INT32 args) {
5988921996-10-05Fredrik Hübinette (Hubbe)  struct mutex_storage *m;
07513e1996-10-04Fredrik Hübinette (Hubbe)  struct object *o;
a49ee61999-04-02Fredrik Hübinette (Hubbe)  INT_TYPE type;
5988921996-10-05Fredrik Hübinette (Hubbe) 
b867f92003-02-16Martin Stjernholm  DEBUG_CHECK_THREAD();
38e1e82001-11-08Fredrik Hübinette (Hubbe) 
07513e1996-10-04Fredrik Hübinette (Hubbe)  m=THIS_MUTEX;
a49ee61999-04-02Fredrik Hübinette (Hubbe)  if(!args) type=0; else get_all_args("mutex->lock",args,"%i",&type); switch(type) { default:
17f08c2000-07-06Fredrik Hübinette (Hubbe)  bad_arg_error("mutex->lock", Pike_sp-args, args, 2, "int(0..2)", Pike_sp+1-args,
69aa4b2003-01-26Mirar (Pontus Hagland)  "Unknown mutex locking style: %"PRINTPIKEINT"d\n",type);
a49ee61999-04-02Fredrik Hübinette (Hubbe)  case 0: case 2:
1d456f2003-02-20Henrik Grubbström (Grubba)  if(m->key && OB2KEY(m->key)->owner == Pike_interpreter.thread_state)
a49ee61999-04-02Fredrik Hübinette (Hubbe)  { THREADS_FPRINTF(0,
b867f92003-02-16Martin Stjernholm  (stderr, "Recursive LOCK k:%p, m:%p(%p), t:%p\n", OB2KEY(m->key), m, OB2KEY(m->key)->mut, Pike_interpreter.thread_state));
a49ee61999-04-02Fredrik Hübinette (Hubbe) 
b2d3e42000-12-01Fredrik Hübinette (Hubbe)  if(type==0) Pike_error("Recursive mutex locks!\n");
a49ee61999-04-02Fredrik Hübinette (Hubbe)  pop_n_elems(args); push_int(0);
c273692000-02-10Fredrik Hübinette (Hubbe)  return;
a49ee61999-04-02Fredrik Hübinette (Hubbe)  } case 1: break; }
46d7bf1997-09-03Henrik Grubbström (Grubba)  /* Needs to be cloned here, since create() * might use threads. */
f777b72003-02-15Henrik Grubbström (Grubba)  o=fast_clone_object(mutex_key);
4bdad01997-09-01Per Hedbor 
b867f92003-02-16Martin Stjernholm  DEBUG_CHECK_THREAD();
26cd941999-05-07Fredrik Hübinette (Hubbe) 
0a861b1997-09-17Fredrik Hübinette (Hubbe)  if(m->key)
fe76ce1997-09-08Fredrik Hübinette (Hubbe)  {
2702952004-04-21Martin Stjernholm  m->num_waiting++;
adb19b1999-06-30Fredrik Hübinette (Hubbe)  if(threads_disabled) { free_object(o);
b2d3e42000-12-01Fredrik Hübinette (Hubbe)  Pike_error("Cannot wait for mutexes when threads are disabled!\n");
adb19b1999-06-30Fredrik Hübinette (Hubbe)  }
b504ed1997-09-21Fredrik Hübinette (Hubbe)  do
0a861b1997-09-17Fredrik Hübinette (Hubbe)  {
b867f92003-02-16Martin Stjernholm  THREADS_FPRINTF(1, (stderr,"WAITING TO LOCK m:%p\n",m));
2702952004-04-21Martin Stjernholm  SWAP_OUT_CURRENT_THREAD();
c91f892000-04-19Martin Stjernholm  co_wait_interpreter(& m->condition);
700dac2002-02-05Martin Stjernholm  SWAP_IN_CURRENT_THREAD(); check_threads_etc();
b504ed1997-09-21Fredrik Hübinette (Hubbe)  }while(m->key);
2702952004-04-21Martin Stjernholm  m->num_waiting--;
fe76ce1997-09-08Fredrik Hübinette (Hubbe)  }
2702952004-04-21Martin Stjernholm  #ifdef PICKY_MUTEX if (!Pike_fp->current_object->prog) { free_object (o); if (!m->num_waiting) co_destroy (&m->condition); Pike_error ("Mutex was destructed while waiting for lock.\n"); } #endif
5988921996-10-05Fredrik Hübinette (Hubbe)  m->key=o;
46d7bf1997-09-03Henrik Grubbström (Grubba)  OB2KEY(o)->mut=m;
33887a2002-10-28Martin Stjernholm  add_ref (OB2KEY(o)->mutex_obj = Pike_fp->current_object);
fe76ce1997-09-08Fredrik Hübinette (Hubbe) 
b867f92003-02-16Martin Stjernholm  DEBUG_CHECK_THREAD(); THREADS_FPRINTF(1, (stderr, "LOCK k:%p, m:%p(%p), t:%p\n", OB2KEY(o), m, OB2KEY(m->key)->mut, Pike_interpreter.thread_state));
65d3c31997-09-08Fredrik Hübinette (Hubbe)  pop_n_elems(args);
07513e1996-10-04Fredrik Hübinette (Hubbe)  push_object(o); }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl MutexKey trylock() *! @decl MutexKey trylock(int type) *! *! This function performs the same operation as @[lock()], but if the mutex *! is already locked, it will return zero instead of sleeping until it's *! unlocked. *! *! @seealso *! @[lock()] */
07513e1996-10-04Fredrik Hübinette (Hubbe) void f_mutex_trylock(INT32 args) {
5988921996-10-05Fredrik Hübinette (Hubbe)  struct mutex_storage *m; struct object *o;
65a5492000-08-10Per Hedbor  INT_TYPE type;
5988921996-10-05Fredrik Hübinette (Hubbe)  int i=0;
07513e1996-10-04Fredrik Hübinette (Hubbe) 
46d7bf1997-09-03Henrik Grubbström (Grubba)  /* No reason to release the interpreter lock here * since we aren't calling any functions that take time. */
a49ee61999-04-02Fredrik Hübinette (Hubbe)  m=THIS_MUTEX; if(!args) type=0; else
afcf5f2000-10-04Martin Stjernholm  get_all_args("mutex->trylock",args,"%i",&type);
a49ee61999-04-02Fredrik Hübinette (Hubbe)  switch(type)
65df5c1997-09-01Per Hedbor  {
a49ee61999-04-02Fredrik Hübinette (Hubbe)  default:
17f08c2000-07-06Fredrik Hübinette (Hubbe)  bad_arg_error("mutex->trylock", Pike_sp-args, args, 2, "int(0..2)", Pike_sp+1-args,
69aa4b2003-01-26Mirar (Pontus Hagland)  "Unknown mutex locking style: %"PRINTPIKEINT"d\n",type);
a49ee61999-04-02Fredrik Hübinette (Hubbe)  case 0:
1d456f2003-02-20Henrik Grubbström (Grubba)  if(m->key && OB2KEY(m->key)->owner == Pike_interpreter.thread_state)
a49ee61999-04-02Fredrik Hübinette (Hubbe)  {
b2d3e42000-12-01Fredrik Hübinette (Hubbe)  Pike_error("Recursive mutex locks!\n");
a49ee61999-04-02Fredrik Hübinette (Hubbe)  } case 2: case 1: break;
65df5c1997-09-01Per Hedbor  }
50fd181997-09-17Fredrik Hübinette (Hubbe) 
a49ee61999-04-02Fredrik Hübinette (Hubbe)  o=clone_object(mutex_key,0);
5988921996-10-05Fredrik Hübinette (Hubbe)  if(!m->key) {
e4293f1997-04-17Fredrik Hübinette (Hubbe)  OB2KEY(o)->mut=m;
33887a2002-10-28Martin Stjernholm  add_ref (OB2KEY(o)->mutex_obj = Pike_fp->current_object);
5988921996-10-05Fredrik Hübinette (Hubbe)  m->key=o; i=1; }
4bdad01997-09-01Per Hedbor 
65d3c31997-09-08Fredrik Hübinette (Hubbe)  pop_n_elems(args);
07513e1996-10-04Fredrik Hübinette (Hubbe)  if(i) { push_object(o); } else {
5988921996-10-05Fredrik Hübinette (Hubbe)  destruct(o); free_object(o);
07513e1996-10-04Fredrik Hübinette (Hubbe)  push_int(0); } }
b9bba02001-08-08Leif Stensson /*! @decl Thread.Thread current_locking_thread() *! *! This mutex method returns the object that identifies the thread that *! has locked the mutex. 0 is returned if the mutex isn't locked. *! *! @seealso
c7b7dd2001-10-28Martin Nilsson  *! @[Thread()]
b9bba02001-08-08Leif Stensson  */ PMOD_EXPORT void f_mutex_locking_thread(INT32 args) { struct mutex_storage *m = THIS_MUTEX; pop_n_elems(args); if (m->key && OB2KEY(m->key)->owner)
1d456f2003-02-20Henrik Grubbström (Grubba)  ref_push_object(OB2KEY(m->key)->owner->thread_obj);
b9bba02001-08-08Leif Stensson  else push_int(0); }
33887a2002-10-28Martin Stjernholm /*! @decl Thread.MutexKey current_locking_key()
b9bba02001-08-08Leif Stensson  *! *! This mutex method returns the key object currently governing *! the lock on this mutex. 0 is returned if the mutex isn't locked. *! *! @seealso
c7b7dd2001-10-28Martin Nilsson  *! @[Thread()]
b9bba02001-08-08Leif Stensson  */ PMOD_EXPORT void f_mutex_locking_key(INT32 args) { struct mutex_storage *m = THIS_MUTEX; pop_n_elems(args); if (m->key) ref_push_object(m->key); else push_int(0); }
74dfe82012-12-30Jonas Walldén void init_mutex_obj(struct object *UNUSED(o))
5988921996-10-05Fredrik Hübinette (Hubbe) { co_init(& THIS_MUTEX->condition); THIS_MUTEX->key=0;
2702952004-04-21Martin Stjernholm  THIS_MUTEX->num_waiting = 0;
5988921996-10-05Fredrik Hübinette (Hubbe) }
07513e1996-10-04Fredrik Hübinette (Hubbe) 
74dfe82012-12-30Jonas Walldén void exit_mutex_obj(struct object *UNUSED(o))
5988921996-10-05Fredrik Hübinette (Hubbe) {
2702952004-04-21Martin Stjernholm  struct mutex_storage *m = THIS_MUTEX;
f72d412004-04-23Henrik Grubbström (Grubba)  struct object *key = m->key;
2702952004-04-21Martin Stjernholm 
b867f92003-02-16Martin Stjernholm  THREADS_FPRINTF(1, (stderr, "DESTROYING MUTEX m:%p\n", THIS_MUTEX));
2702952004-04-21Martin Stjernholm 
5fba122004-04-26Martin Stjernholm #ifndef PICKY_MUTEX if (key) { /* The last key will destroy m->condition in its exit hook. */ THREADS_FPRINTF(1, (stderr, "Destructed mutex is in use - delaying cleanup\n")); } else { #ifdef PIKE_DEBUG if (m->num_waiting) Pike_error ("key/num_waiting confusion.\n"); #endif co_destroy(& m->condition); } #else
f72d412004-04-23Henrik Grubbström (Grubba)  if(key) {
2702952004-04-21Martin Stjernholm  m->key=0;
5fba122004-04-26Martin Stjernholm  destruct(key); /* Will destroy m->condition if m->num_waiting is zero. */
2702952004-04-21Martin Stjernholm  if(m->num_waiting) {
5fba122004-04-26Martin Stjernholm  THREADS_FPRINTF(1, (stderr, "Destructed mutex is being waited on.\n"));
2702952004-04-21Martin Stjernholm  /* exit_mutex_key_obj has already signalled, but since the * waiting threads will throw an error instead of making a new * lock we need to double it to a broadcast. The last thread * that stops waiting will destroy m->condition. */ co_broadcast (&m->condition); } }
5fba122004-04-26Martin Stjernholm  else co_destroy(& m->condition); #endif
5988921996-10-05Fredrik Hübinette (Hubbe) }
74dfe82012-12-30Jonas Walldén void exit_mutex_obj_compat_7_4(struct object *UNUSED(o))
d85b4b2004-05-01Martin Stjernholm { struct mutex_storage *m = THIS_MUTEX; struct object *key = m->key; THREADS_FPRINTF(1, (stderr, "DESTROYING MUTEX m:%p\n", THIS_MUTEX)); if(key) { m->key=0; destruct(key); /* Will destroy m->condition if m->num_waiting is zero. */ } else { #ifdef PIKE_DEBUG if (m->num_waiting) Pike_error ("key/num_waiting confusion.\n"); #endif co_destroy(& m->condition); } }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @endclass */
192ceb2003-11-22Henrik Grubbström (Grubba) /*! @class MutexKey *! *! Objects of this class are returned by @[Mutex()->lock()] *! and @[Mutex()->trylock()]. They are also passed as arguments *! to @[Condition()->wait()]. *! *! As long as they are held, the corresponding mutex will be locked. *! *! The corresponding mutex will be unlocked when the object *! is destructed (eg by not having any references left). *! *! @seealso *! @[Mutex], @[Condition] */
60d9872000-03-23Fredrik Hübinette (Hubbe) #define THIS_KEY ((struct key_storage *)(CURRENT_STORAGE))
74dfe82012-12-30Jonas Walldén void init_mutex_key_obj(struct object *UNUSED(o))
5988921996-10-05Fredrik Hübinette (Hubbe) {
b57f5c2009-03-13Martin Stjernholm  THREADS_FPRINTF(1, (stderr, "KEY k:%p, t:%p\n",
b867f92003-02-16Martin Stjernholm  THIS_KEY, Pike_interpreter.thread_state));
5988921996-10-05Fredrik Hübinette (Hubbe)  THIS_KEY->mut=0;
33887a2002-10-28Martin Stjernholm  THIS_KEY->mutex_obj = NULL;
1d456f2003-02-20Henrik Grubbström (Grubba)  THIS_KEY->owner = Pike_interpreter.thread_state; add_ref(THIS_KEY->owner_obj = Pike_interpreter.thread_state->thread_obj);
5988921996-10-05Fredrik Hübinette (Hubbe)  THIS_KEY->initialized=1; }
07513e1996-10-04Fredrik Hübinette (Hubbe) 
74dfe82012-12-30Jonas Walldén void exit_mutex_key_obj(struct object *DEBUGUSED(o))
07513e1996-10-04Fredrik Hübinette (Hubbe) {
b867f92003-02-16Martin Stjernholm  THREADS_FPRINTF(1, (stderr, "UNLOCK k:%p m:(%p) t:%p o:%p\n", THIS_KEY, THIS_KEY->mut, Pike_interpreter.thread_state, THIS_KEY->owner));
5988921996-10-05Fredrik Hübinette (Hubbe)  if(THIS_KEY->mut)
07513e1996-10-04Fredrik Hübinette (Hubbe)  {
03b1fe1997-09-06Per Hedbor  struct mutex_storage *mut = THIS_KEY->mut;
f72d412004-04-23Henrik Grubbström (Grubba)  struct object *mutex_obj;
c113871997-09-15Henrik Grubbström (Grubba) 
71f3a21998-11-22Fredrik Hübinette (Hubbe) #ifdef PIKE_DEBUG
f72d412004-04-23Henrik Grubbström (Grubba)  /* Note: mut->key can be NULL if our corresponding mutex * has been destructed. */ if(mut->key && (mut->key != o)) Pike_fatal("Mutex unlock from wrong key %p != %p!\n", THIS_KEY->mut->key, o);
5988921996-10-05Fredrik Hübinette (Hubbe) #endif
03b1fe1997-09-06Per Hedbor  mut->key=0;
46d7bf1997-09-03Henrik Grubbström (Grubba)  if (THIS_KEY->owner) {
1d456f2003-02-20Henrik Grubbström (Grubba)  THIS_KEY->owner = NULL; } if (THIS_KEY->owner_obj) { free_object(THIS_KEY->owner_obj); THIS_KEY->owner_obj=0;
46d7bf1997-09-03Henrik Grubbström (Grubba)  }
5988921996-10-05Fredrik Hübinette (Hubbe)  THIS_KEY->mut=0; THIS_KEY->initialized=0;
f72d412004-04-23Henrik Grubbström (Grubba)  mutex_obj = THIS_KEY->mutex_obj; THIS_KEY->mutex_obj = NULL;
2702952004-04-21Martin Stjernholm  if (mut->num_waiting)
f72d412004-04-23Henrik Grubbström (Grubba)  co_signal(&mut->condition);
73cd0e2005-11-15Henrik Grubbström (Grubba)  else if (mutex_obj && !mutex_obj->prog)
2702952004-04-21Martin Stjernholm  co_destroy (&mut->condition);
73cd0e2005-11-15Henrik Grubbström (Grubba)  if (mutex_obj) free_object(mutex_obj);
07513e1996-10-04Fredrik Hübinette (Hubbe)  } }
192ceb2003-11-22Henrik Grubbström (Grubba) /*! @endclass */
e413da2001-02-01Henrik Grubbström (Grubba) /*! @class Condition *! *! Implementation of condition variables. *! *! Condition variables are used by threaded programs *! to wait for events happening in other threads. *! *! @note *! Condition variables are only available on systems with thread *! support. The Condition class is not simulated otherwise, since that *! can't be done accurately without continuations. *! *! @seealso
c7b7dd2001-10-28Martin Nilsson  *! @[Mutex]
e413da2001-02-01Henrik Grubbström (Grubba)  */
8349b42006-01-29Henrik Grubbström (Grubba) struct pike_cond { COND_T cond; int wait_count; };
b0c72a2006-01-30Henrik Grubbström (Grubba) #define THIS_COND ((struct pike_cond *)(CURRENT_STORAGE))
8349b42006-01-29Henrik Grubbström (Grubba) 
4a59c02002-09-30Henrik Grubbström (Grubba) /*! @decl void wait(Thread.MutexKey mutex_key)
4a5f542009-01-25Henrik Grubbström (Grubba)  *! @decl void wait(Thread.MutexKey mutex_key, int(0..)|float seconds) *! @decl void wait(Thread.MutexKey mutex_key, int(0..) seconds, @ *! int(0..999999999) nanos)
e413da2001-02-01Henrik Grubbström (Grubba)  *!
2ef3b92005-01-25Henrik Grubbström (Grubba)  *! Wait for condition.
e413da2001-02-01Henrik Grubbström (Grubba)  *! *! This function makes the current thread sleep until the condition
4a5f542009-01-25Henrik Grubbström (Grubba)  *! variable is signalled or the timeout is reached. *! *! @param mutex_key *! A @[Thread.MutexKey] object for a @[Thread.Mutex]. It will be *! unlocked atomically before waiting for the signal and then *! relocked atomically when the signal is received or the timeout *! is reached. *! *! @param seconds *! Seconds to wait before the timeout is reached. *! *! @param nanos *! Nano (1/1000000000) seconds to wait before the timeout is reached. *! This value is added to the number of seconds specified by @[seconds]. *! *! A timeout of zero seconds disables the timeout.
2702952004-04-21Martin Stjernholm  *! *! The thread that sends the signal should have the mutex locked *! while sending it. Otherwise it's impossible to avoid races where *! signals are sent while the listener(s) haven't arrived to the *! @[wait] calls yet.
e413da2001-02-01Henrik Grubbström (Grubba)  *!
4a59c02002-09-30Henrik Grubbström (Grubba)  *! @note
4a5f542009-01-25Henrik Grubbström (Grubba)  *! The support for timeouts was added in Pike 7.8.121, which was *! after the first public release of Pike 7.8. *! *! @note *! Note that the timeout is approximate (best effort), and may *! be exceeded if eg the mutex is busy after the timeout. *! *! @note
4a59c02002-09-30Henrik Grubbström (Grubba)  *! In Pike 7.2 and earlier it was possible to call @[wait()]
2702952004-04-21Martin Stjernholm  *! without arguments. This possibility was removed in later *! versions since it unavoidably leads to programs with races *! and/or deadlocks.
4a59c02002-09-30Henrik Grubbström (Grubba)  *!
8349b42006-01-29Henrik Grubbström (Grubba)  *! @note *! Note also that any threads waiting on the condition will be
4a5f542009-01-25Henrik Grubbström (Grubba)  *! woken up when it gets destructed.
8349b42006-01-29Henrik Grubbström (Grubba)  *!
e413da2001-02-01Henrik Grubbström (Grubba)  *! @seealso
c7b7dd2001-10-28Martin Nilsson  *! @[Mutex->lock()]
e413da2001-02-01Henrik Grubbström (Grubba)  */
07513e1996-10-04Fredrik Hübinette (Hubbe) void f_cond_wait(INT32 args) {
d059be2004-04-23Martin Stjernholm  struct object *key, *mutex_obj;
4a59c02002-09-30Henrik Grubbström (Grubba)  struct mutex_storage *mut;
8349b42006-01-29Henrik Grubbström (Grubba)  struct pike_cond *c;
4a5f542009-01-25Henrik Grubbström (Grubba)  INT_TYPE seconds = 0, nanos = 0;
07513e1996-10-04Fredrik Hübinette (Hubbe) 
1c3c3d2000-03-24Henrik Grubbström (Grubba)  if(threads_disabled)
b2d3e42000-12-01Fredrik Hübinette (Hubbe)  Pike_error("Cannot wait for conditions when threads are disabled!\n");
4a59c02002-09-30Henrik Grubbström (Grubba) 
4a5f542009-01-25Henrik Grubbström (Grubba)  if (args <= 2) { FLOAT_TYPE fsecs = 0.0; get_all_args("condition->wait", args, "%o.%F", &key, &fsecs); seconds = (INT_TYPE) fsecs; nanos = (INT_TYPE)((fsecs - seconds)*1000000000); } else {
078c6d2010-10-10Martin Stjernholm  /* FIXME: Support bignum nanos. */
4a5f542009-01-25Henrik Grubbström (Grubba)  get_all_args("condition->wait", args, "%o%i%i", &key, &seconds, &nanos); }
1c3c3d2000-03-24Henrik Grubbström (Grubba) 
4a59c02002-09-30Henrik Grubbström (Grubba)  if ((key->prog != mutex_key) || (!(OB2KEY(key)->initialized)) || (!(mut = OB2KEY(key)->mut))) { Pike_error("Bad argument 1 to condition->wait()\n"); }
1c3c3d2000-03-24Henrik Grubbström (Grubba)  if(args > 1) { pop_n_elems(args - 1); args = 1; }
07513e1996-10-04Fredrik Hübinette (Hubbe) 
4a59c02002-09-30Henrik Grubbström (Grubba)  c = THIS_COND;
368d4a1997-09-03Per Hedbor 
4a59c02002-09-30Henrik Grubbström (Grubba)  /* Unlock mutex */
d059be2004-04-23Martin Stjernholm  mutex_obj = OB2KEY(key)->mutex_obj;
4a59c02002-09-30Henrik Grubbström (Grubba)  mut->key=0; OB2KEY(key)->mut=0;
d059be2004-04-23Martin Stjernholm  OB2KEY(key)->mutex_obj = NULL;
4a59c02002-09-30Henrik Grubbström (Grubba)  co_signal(& mut->condition);
88fe361997-09-04Per Hedbor 
4a59c02002-09-30Henrik Grubbström (Grubba)  /* Wait and allow mutex operations */
1c3c3d2000-03-24Henrik Grubbström (Grubba)  SWAP_OUT_CURRENT_THREAD();
8349b42006-01-29Henrik Grubbström (Grubba)  c->wait_count++;
4a5f542009-01-25Henrik Grubbström (Grubba)  if (seconds || nanos) { co_wait_interpreter_timeout(&(c->cond), seconds, nanos); } else { co_wait_interpreter(&(c->cond)); }
8349b42006-01-29Henrik Grubbström (Grubba)  c->wait_count--;
1c3c3d2000-03-24Henrik Grubbström (Grubba)  SWAP_IN_CURRENT_THREAD();
4a59c02002-09-30Henrik Grubbström (Grubba)  /* Lock mutex */
d059be2004-04-23Martin Stjernholm  mut->num_waiting++;
4a59c02002-09-30Henrik Grubbström (Grubba)  while(mut->key) { SWAP_OUT_CURRENT_THREAD(); co_wait_interpreter(& mut->condition); SWAP_IN_CURRENT_THREAD(); check_threads_etc(); } mut->key=key; OB2KEY(key)->mut=mut;
d059be2004-04-23Martin Stjernholm  OB2KEY(key)->mutex_obj = mutex_obj;
f72d412004-04-23Henrik Grubbström (Grubba)  mut->num_waiting--;
d059be2004-04-23Martin Stjernholm  #ifdef PICKY_MUTEX if (!mutex_obj->prog) {
262b8d2004-04-26Martin Stjernholm  if (!mut->num_waiting) co_destroy (&mut->condition);
d059be2004-04-23Martin Stjernholm  Pike_error ("Mutex was destructed while waiting for lock.\n"); } #endif
4a59c02002-09-30Henrik Grubbström (Grubba)  pop_stack(); return;
07513e1996-10-04Fredrik Hübinette (Hubbe) }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl void signal() *! *! @[signal()] wakes up one of the threads currently waiting for the *! condition. *!
a9cdcf2001-02-06Henrik Grubbström (Grubba)  *! @note
e413da2001-02-01Henrik Grubbström (Grubba)  *! Sometimes more than one thread is woken up. *! *! @seealso *! @[broadcast()] */
8349b42006-01-29Henrik Grubbström (Grubba) void f_cond_signal(INT32 args) { pop_n_elems(args); co_signal(&(THIS_COND->cond)); }
e413da2001-02-01Henrik Grubbström (Grubba)  /*! @decl void broadcast() *! *! @[broadcast()] wakes up all threads currently waiting for this condition. *! *! @seealso *! @[signal()] */
8349b42006-01-29Henrik Grubbström (Grubba) void f_cond_broadcast(INT32 args) { pop_n_elems(args); co_broadcast(&(THIS_COND->cond)); }
e413da2001-02-01Henrik Grubbström (Grubba) 
74dfe82012-12-30Jonas Walldén void init_cond_obj(struct object *UNUSED(o))
8349b42006-01-29Henrik Grubbström (Grubba) { co_init(&(THIS_COND->cond)); THIS_COND->wait_count = 0; }
36e67a2006-01-28Martin Stjernholm 
74dfe82012-12-30Jonas Walldén void exit_cond_obj(struct object *UNUSED(o))
36e67a2006-01-28Martin Stjernholm {
8349b42006-01-29Henrik Grubbström (Grubba)  /* Wake up any threads that might be waiting on this cond. * * Note that we are already destructed (o->prog == NULL), * so wait_count can't increase. * * FIXME: This code wouldn't be needed if exit callbacks were called * only when the ref count reaches zero. * /grubba 2006-01-29 */ while (THIS_COND->wait_count) {
a20b1b2006-04-25David Hedbor  co_broadcast(&(THIS_COND->cond));
8349b42006-01-29Henrik Grubbström (Grubba)  THREADS_ALLOW(); #ifdef HAVE_NO_YIELD sleep(0); #else /* HAVE_NO_YIELD */ th_yield(); #endif /* HAVE_NO_YIELD */ THREADS_DISALLOW(); } co_destroy(&(THIS_COND->cond));
36e67a2006-01-28Martin Stjernholm }
07513e1996-10-04Fredrik Hübinette (Hubbe) 
e413da2001-02-01Henrik Grubbström (Grubba) /*! @endclass */ /*! @class Thread */ /*! @decl array(mixed) backtrace() *! *! Returns the current call stack for the thread. *! *! @returns *! The result has the same format as for @[predef::backtrace()]. *! *! @seealso *! @[predef::backtrace()] */
a7fef41997-09-03Per Hedbor void f_thread_backtrace(INT32 args) {
d97eb72011-07-10Henrik Grubbström (Grubba)  void low_backtrace(struct Pike_interpreter_struct *);
17f08c2000-07-06Fredrik Hübinette (Hubbe)  struct thread_state *foo = THIS_THREAD;
a8e9892001-09-05Fredrik Hübinette (Hubbe) 
a7fef41997-09-03Per Hedbor  pop_n_elems(args);
a8e9892001-09-05Fredrik Hübinette (Hubbe) 
1d456f2003-02-20Henrik Grubbström (Grubba)  if(foo == Pike_interpreter.thread_state)
fad4ca2001-09-05Fredrik Hübinette (Hubbe)  { f_backtrace(0); } else if(foo->state.stack_pointer)
a7fef41997-09-03Per Hedbor  {
a8e9892001-09-05Fredrik Hübinette (Hubbe)  low_backtrace(& foo->state);
fad4ca2001-09-05Fredrik Hübinette (Hubbe)  } else {
a7fef41997-09-03Per Hedbor  push_int(0); f_allocate(1); } }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl int status()
6f13822006-04-07Martin Stjernholm  *! *! Returns the status of the thread. *! *! @returns *! @int
8678ad2006-08-09Martin Nilsson  *! @value Thread.THREAD_NOT_STARTED *! @value Thread.THREAD_RUNNING *! @value Thread.THREAD_EXITED
6f13822006-04-07Martin Stjernholm  *! @endint
e413da2001-02-01Henrik Grubbström (Grubba)  */
5740881998-01-01Fredrik Hübinette (Hubbe) void f_thread_id_status(INT32 args) { pop_n_elems(args); push_int(THIS_THREAD->status); }
30c0612008-06-29Martin Stjernholm /*! @decl protected string _sprintf(int c)
e413da2001-02-01Henrik Grubbström (Grubba)  *!
5e50ef2001-09-25Henrik Grubbström (Grubba)  *! Returns a string identifying the thread.
e413da2001-02-01Henrik Grubbström (Grubba)  */
9a0d422000-02-06Martin Stjernholm void f_thread_id__sprintf (INT32 args) {
e6dbc22002-11-29Marcus Comstedt  int c = 0;
017b572011-10-28Henrik Grubbström (Grubba)  if(args>0 && TYPEOF(Pike_sp[-args]) == PIKE_T_INT)
e6dbc22002-11-29Marcus Comstedt  c = Pike_sp[-args].u.integer;
9a0d422000-02-06Martin Stjernholm  pop_n_elems (args);
e6dbc22002-11-29Marcus Comstedt  if(c != 'O') { push_undefined(); return; }
9a0d422000-02-06Martin Stjernholm  push_constant_text ("Thread.Thread(");
d2361e2003-06-30Martin Stjernholm  push_int64(PTR_TO_INT(THREAD_T_TO_PTR(THIS_THREAD->id)));
9a0d422000-02-06Martin Stjernholm  push_constant_text (")"); f_add (3); }
30c0612008-06-29Martin Stjernholm /*! @decl protected int id_number()
5e50ef2001-09-25Henrik Grubbström (Grubba)  *! *! Returns an id number identifying the thread.
d685b92001-09-25Henrik Grubbström (Grubba)  *! *! @note *! This function was added in Pike 7.2.204.
5e50ef2001-09-25Henrik Grubbström (Grubba)  */ void f_thread_id_id_number(INT32 args) { pop_n_elems(args);
d2361e2003-06-30Martin Stjernholm  push_int64(PTR_TO_INT(THREAD_T_TO_PTR(THIS_THREAD->id)));
5e50ef2001-09-25Henrik Grubbström (Grubba) }
442abd2004-06-29Alexander Demenshin /*! @decl mixed wait()
e413da2001-02-01Henrik Grubbström (Grubba)  *! *! Waits for the thread to complete, and then returns *! the value returned from the thread function. */
74dfe82012-12-30Jonas Walldén static void f_thread_id_result(INT32 UNUSED(args))
5740881998-01-01Fredrik Hübinette (Hubbe) {
17f08c2000-07-06Fredrik Hübinette (Hubbe)  struct thread_state *th=THIS_THREAD;
5740881998-01-01Fredrik Hübinette (Hubbe) 
4bc7e42001-11-26Henrik Grubbström (Grubba)  if (threads_disabled) { Pike_error("Cannot wait for threads when threads are disabled!\n"); }
0a14c22008-08-05Martin Stjernholm  th->waiting++;
b57f5c2009-03-13Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "Thread->wait(): Waiting for thread_state %p " "(state:%d).\n", th, th->status));
700dac2002-02-05Martin Stjernholm  while(th->status != THREAD_EXITED) { SWAP_OUT_CURRENT_THREAD();
c91f892000-04-19Martin Stjernholm  co_wait_interpreter(&th->status_change);
700dac2002-02-05Martin Stjernholm  SWAP_IN_CURRENT_THREAD(); check_threads_etc();
f72d412004-04-23Henrik Grubbström (Grubba)  THREADS_FPRINTF(0,
b57f5c2009-03-13Martin Stjernholm  (stderr, "Thread->wait(): Waiting for thread_state %p " "(state:%d).\n", th, th->status));
700dac2002-02-05Martin Stjernholm  }
5740881998-01-01Fredrik Hübinette (Hubbe) 
0431312003-02-15Henrik Grubbström (Grubba)  assign_svalue_no_free(Pike_sp, &th->result);
17f08c2000-07-06Fredrik Hübinette (Hubbe)  Pike_sp++;
50ea682003-03-14Henrik Grubbström (Grubba)  dmalloc_touch_svalue(Pike_sp-1);
0a14c22008-08-05Martin Stjernholm  th->waiting--; if (!th->thread_obj) /* Do this only if exit_thread_obj already has run. */ cleanup_thread_state (th);
5740881998-01-01Fredrik Hübinette (Hubbe) }
9595b92004-08-12Henrik Grubbström (Grubba) static int num_pending_interrupts = 0; static struct callback *thread_interrupt_callback = NULL; static void check_thread_interrupt(struct callback *foo,
74dfe82012-12-30Jonas Walldén  void *UNUSED(bar), void *UNUSED(gazonk))
9595b92004-08-12Henrik Grubbström (Grubba) {
286b312004-12-30Henrik Grubbström (Grubba)  if (Pike_interpreter.thread_state->flags & THREAD_FLAG_SIGNAL_MASK) { if (Pike_interpreter.thread_state->flags & THREAD_FLAG_TERM) { throw_severity = THROW_THREAD_EXIT; } else { throw_severity = THROW_ERROR; } Pike_interpreter.thread_state->flags &= ~THREAD_FLAG_SIGNAL_MASK;
9595b92004-08-12Henrik Grubbström (Grubba)  if (!--num_pending_interrupts) { remove_callback(foo); thread_interrupt_callback = NULL; }
286b312004-12-30Henrik Grubbström (Grubba)  if (throw_severity == THROW_ERROR) { Pike_error("Interrupted.\n"); } else { push_int(-1); assign_svalue(&throw_value, Pike_sp-1); pike_throw(); }
9595b92004-08-12Henrik Grubbström (Grubba)  } } /*! @decl void interrupt() *! @decl void interrupt(string msg) *! *! Interrupt the thread with the message @[msg]. *! *! @fixme *! The argument @[msg] is currently ignored. *! *! @note *! Interrupts are asynchronous, and are currently not queued. */ static void f_thread_id_interrupt(INT32 args) { /* FIXME: The msg argument is not supported yet. */ pop_n_elems(args);
286b312004-12-30Henrik Grubbström (Grubba)  if (!(THIS_THREAD->flags & THREAD_FLAG_SIGNAL_MASK)) {
9595b92004-08-12Henrik Grubbström (Grubba)  THIS_THREAD->flags |= THREAD_FLAG_INTR; num_pending_interrupts++; if (!thread_interrupt_callback) { thread_interrupt_callback = add_to_callback(&evaluator_callbacks, check_thread_interrupt, 0, 0); } /* FIXME: Actually interrupt the thread. */ } push_int(0); }
09a5732008-08-05Martin Stjernholm static void low_thread_kill (struct thread_state *th) { if (!(th->flags & THREAD_FLAG_SIGNAL_MASK)) { num_pending_interrupts++; if (!thread_interrupt_callback) { thread_interrupt_callback = add_to_callback(&evaluator_callbacks, check_thread_interrupt, 0, 0); } /* FIXME: Actually interrupt the thread. */ } th->flags |= THREAD_FLAG_TERM; }
286b312004-12-30Henrik Grubbström (Grubba) /*! @decl void kill() *! *! Interrupt the thread, and terminate it. *! *! @note *! Interrupts are asynchronous, and are currently not queued. */ static void f_thread_id_kill(INT32 args) { pop_n_elems(args);
09a5732008-08-05Martin Stjernholm  low_thread_kill (THIS_THREAD);
286b312004-12-30Henrik Grubbström (Grubba)  push_int(0); }
74dfe82012-12-30Jonas Walldén void init_thread_obj(struct object *UNUSED(o))
a7fef41997-09-03Per Hedbor {
d97eb72011-07-10Henrik Grubbström (Grubba)  MEMSET(&THIS_THREAD->state, 0, sizeof(struct Pike_interpreter_struct));
1d456f2003-02-20Henrik Grubbström (Grubba)  THIS_THREAD->thread_obj = Pike_fp->current_object;
16479e2002-11-18Martin Stjernholm  THIS_THREAD->swapped = 0;
5740881998-01-01Fredrik Hübinette (Hubbe)  THIS_THREAD->status=THREAD_NOT_STARTED;
9595b92004-08-12Henrik Grubbström (Grubba)  THIS_THREAD->flags = 0;
0a14c22008-08-05Martin Stjernholm  THIS_THREAD->waiting = 0;
017b572011-10-28Henrik Grubbström (Grubba)  SET_SVAL(THIS_THREAD->result, T_INT, NUMBER_UNDEFINED, integer, 0);
5740881998-01-01Fredrik Hübinette (Hubbe)  co_init(& THIS_THREAD->status_change);
d86cd71998-08-24Marcus Comstedt  THIS_THREAD->thread_local=NULL;
247f732007-06-10Martin Stjernholm #ifdef CPU_TIME_MIGHT_BE_THREAD_LOCAL
f4a9952003-02-08Martin Stjernholm  THIS_THREAD->auto_gc_time = 0; #endif
5740881998-01-01Fredrik Hübinette (Hubbe) }
0a14c22008-08-05Martin Stjernholm static void cleanup_thread_state (struct thread_state *th)
5740881998-01-01Fredrik Hübinette (Hubbe) {
0a14c22008-08-05Martin Stjernholm #ifdef PIKE_DEBUG if (th->thread_obj) Pike_fatal ("Thread state still active.\n"); #endif /* Don't clean up if the thread is running or if someone is waiting * on status_change. They should call cleanup_thread_state later. */ if (th->status == THREAD_RUNNING || th->waiting) return;
286b312004-12-30Henrik Grubbström (Grubba)  if (THIS_THREAD->flags & THREAD_FLAG_SIGNAL_MASK) { Pike_interpreter.thread_state->flags &= ~THREAD_FLAG_SIGNAL_MASK;
9595b92004-08-12Henrik Grubbström (Grubba)  if (!--num_pending_interrupts) { remove_callback(thread_interrupt_callback); thread_interrupt_callback = NULL; } }
0a14c22008-08-05Martin Stjernholm  co_destroy(& THIS_THREAD->status_change); th_destroy(& THIS_THREAD->id); }
74dfe82012-12-30Jonas Walldén void exit_thread_obj(struct object *UNUSED(o))
0a14c22008-08-05Martin Stjernholm { THIS_THREAD->thread_obj = NULL; cleanup_thread_state (THIS_THREAD);
d86cd71998-08-24Marcus Comstedt  if(THIS_THREAD->thread_local != NULL) { free_mapping(THIS_THREAD->thread_local); THIS_THREAD->thread_local = NULL; }
a7fef41997-09-03Per Hedbor }
a9cdcf2001-02-06Henrik Grubbström (Grubba) /*! @endclass
e413da2001-02-01Henrik Grubbström (Grubba)  */
74dfe82012-12-30Jonas Walldén static void thread_was_recursed(struct object *UNUSED(o))
f6d0171997-10-15Fredrik Hübinette (Hubbe) {
17f08c2000-07-06Fredrik Hübinette (Hubbe)  struct thread_state *tmp=THIS_THREAD;
d86cd71998-08-24Marcus Comstedt  if(tmp->thread_local != NULL)
b102b02000-06-10Martin Stjernholm  gc_recurse_mapping(tmp->thread_local);
d86cd71998-08-24Marcus Comstedt }
74dfe82012-12-30Jonas Walldén static void thread_was_checked(struct object *UNUSED(o))
d86cd71998-08-24Marcus Comstedt {
17f08c2000-07-06Fredrik Hübinette (Hubbe)  struct thread_state *tmp=THIS_THREAD;
d86cd71998-08-24Marcus Comstedt  if(tmp->thread_local != NULL)
e1a35e2003-09-08Martin Stjernholm  debug_gc_check (tmp->thread_local,
d9d6f02001-06-30Martin Stjernholm  " as mapping for thread local values in thread");
1773212000-04-12Fredrik Hübinette (Hubbe)  #ifdef PIKE_DEBUG if(tmp->swapped)
cc2e9f2003-09-24Martin Stjernholm  gc_mark_stack_external (tmp->state.frame_pointer, tmp->state.stack_pointer, tmp->state.evaluator_stack);
1773212000-04-12Fredrik Hübinette (Hubbe) #endif
d86cd71998-08-24Marcus Comstedt }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @class Local *! *! Thread local variable storage. *! *! This class allows you to have variables which are separate for each *! thread that uses it. It has two methods: @[get()] and @[set()]. A value
c7b7dd2001-10-28Martin Nilsson  *! stored in an instance of @[Local] can only be retrieved by that
e413da2001-02-01Henrik Grubbström (Grubba)  *! same thread. *! *! @note *! This class is simulated when Pike is compiled without thread support, *! so it's always available. */
d4e6372001-02-06Henrik Grubbström (Grubba) /* FIXME: Why not use an init callback()? */
0319392001-02-06Per Hedbor void f_thread_local_create( INT32 args )
d86cd71998-08-24Marcus Comstedt { static INT32 thread_local_id = 0;
6b87882001-06-21Martin Stjernholm  ((struct thread_local *)CURRENT_STORAGE)->id =
0319392001-02-06Per Hedbor  thread_local_id++; pop_n_elems(args); push_int(0); }
d86cd71998-08-24Marcus Comstedt 
0319392001-02-06Per Hedbor PMOD_EXPORT void f_thread_local(INT32 args) {
d86cd71998-08-24Marcus Comstedt  struct object *loc = clone_object(thread_local_prog,0); pop_n_elems(args); push_object(loc); }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl mixed get() *! *! Get the thread local value. *!
c7b7dd2001-10-28Martin Nilsson  *! This returns the value prevoiusly stored in the @[Local] object by
e413da2001-02-01Henrik Grubbström (Grubba)  *! the @[set()] method by this thread. *! *! @seealso *! @[set()] */
d86cd71998-08-24Marcus Comstedt void f_thread_local_get(INT32 args) { struct svalue key; struct mapping *m;
017b572011-10-28Henrik Grubbström (Grubba)  SET_SVAL(key, T_INT, NUMBER_NUMBER, integer, ((struct thread_local *)CURRENT_STORAGE)->id);
d86cd71998-08-24Marcus Comstedt  pop_n_elems(args);
0431312003-02-15Henrik Grubbström (Grubba)  if(Pike_interpreter.thread_state != NULL && (m = Pike_interpreter.thread_state->thread_local) != NULL)
17f08c2000-07-06Fredrik Hübinette (Hubbe)  mapping_index_no_free(Pike_sp++, m, &key);
d86cd71998-08-24Marcus Comstedt  else {
074dd12011-10-22Henrik Grubbström (Grubba)  push_undefined();
d86cd71998-08-24Marcus Comstedt  } }
e413da2001-02-01Henrik Grubbström (Grubba) /*! @decl mixed set(mixed value) *! *! Set the thread local value. *! *! This sets the value returned by the @[get] method. *! *! Calling this method does not affect the value returned by @[get()] when *! it's called by another thread (ie multiple values can be stored at the *! same time, but only one value per thread). *! *! @returns *! This function returns its argument. *! *! @note *! Note that the value set can only be retreived by the same thread. *! *! @seealso *! @[get()] */
d86cd71998-08-24Marcus Comstedt void f_thread_local_set(INT32 args) { struct svalue key; struct mapping *m;
017b572011-10-28Henrik Grubbström (Grubba)  SET_SVAL(key, T_INT, NUMBER_NUMBER, integer, ((struct thread_local *)CURRENT_STORAGE)->id);
d86cd71998-08-24Marcus Comstedt  if(args>1) pop_n_elems(args-1); else if(args<1)
d4ecd72003-01-05Martin Nilsson  SIMPLE_TOO_FEW_ARGS_ERROR("Thread.Local.set", 1);
d86cd71998-08-24Marcus Comstedt 
1d456f2003-02-20Henrik Grubbström (Grubba)  if(Pike_interpreter.thread_state == NULL)
cd6f7e2000-12-01Martin Stjernholm  Pike_error("Trying to set Thread.Local without thread!\n");
d86cd71998-08-24Marcus Comstedt 
0431312003-02-15Henrik Grubbström (Grubba)  if((m = Pike_interpreter.thread_state->thread_local) == NULL) m = Pike_interpreter.thread_state->thread_local =
d86cd71998-08-24Marcus Comstedt  allocate_mapping(4);
17f08c2000-07-06Fredrik Hübinette (Hubbe)  mapping_insert(m, &key, &Pike_sp[-1]);
d86cd71998-08-24Marcus Comstedt }
f6d0171997-10-15Fredrik Hübinette (Hubbe) 
d9d6f02001-06-30Martin Stjernholm #ifdef PIKE_DEBUG void gc_check_thread_local (struct object *o) { /* Only used by with locate_references. */ if (Pike_in_gc == GC_PASS_LOCATE) { struct svalue key, *val; struct thread_state *s;
017b572011-10-28Henrik Grubbström (Grubba)  SET_SVAL(key, T_INT, NUMBER_NUMBER, integer, ((struct thread_local *)CURRENT_STORAGE)->id);
d9d6f02001-06-30Martin Stjernholm 
f2c01e2003-01-08Martin Stjernholm  FOR_EACH_THREAD (s, {
d9d6f02001-06-30Martin Stjernholm  if (s->thread_local && (val = low_mapping_lookup(s->thread_local, &key)))
e1a35e2003-09-08Martin Stjernholm  debug_gc_check_svalues (val, 1,
d9d6f02001-06-30Martin Stjernholm  " as thread local value in Thread.Local object" " (indirect ref)");
f2c01e2003-01-08Martin Stjernholm  });
d9d6f02001-06-30Martin Stjernholm  } } #endif
e413da2001-02-01Henrik Grubbström (Grubba) /*! @endclass */
a9cdcf2001-02-06Henrik Grubbström (Grubba) /*! @endmodule */
64b7b62000-11-02Henrik Grubbström (Grubba) /* Thread farm code by Per * */ static struct farmer { struct farmer *neighbour; void *field; void (*harvest)(void *); THREAD_T me; COND_T harvest_moon; #ifdef HAVE_BROKEN_LINUX_THREAD_EUID int euid, egid; #endif /* HAVE_BROKEN_LINUX_THREAD_EUID */ } *farmers; static MUTEX_T rosie; static int _num_farmers, _num_idle_farmers; static TH_RETURN_TYPE farm(void *_a) { struct farmer *me = (struct farmer *)_a; #ifdef HAVE_BROKEN_LINUX_THREAD_EUID /* Work-around for Linux's pthreads not propagating the * effective uid & gid. */ if (!geteuid()) {
f663a02003-03-05Martin Stjernholm #if defined(HAVE_PRCTL) && defined(PR_SET_DUMPABLE) /* The sete?id calls will clear the dumpable state that we might * have set with system.dumpable. */ int current = prctl(PR_GET_DUMPABLE); #endif
64b7b62000-11-02Henrik Grubbström (Grubba)  setegid(me->egid); seteuid(me->euid);
f663a02003-03-05Martin Stjernholm #if defined(HAVE_PRCTL) && defined(PR_SET_DUMPABLE) if (prctl(PR_SET_DUMPABLE, current) == -1) Pike_fatal ("Didn't expect prctl to go wrong. errno=%d\n", errno); #endif
64b7b62000-11-02Henrik Grubbström (Grubba)  } #endif /* HAVE_BROKEN_LINUX_THREAD_EUID */ do {
5aad932002-08-15Marcus Comstedt /* if(farmers == me) Pike_fatal("Ouch!\n"); */
64b7b62000-11-02Henrik Grubbström (Grubba) /* fprintf(stderr, "farm_begin %p\n",me ); */ me->harvest( me->field ); /* fprintf(stderr, "farm_end %p\n", me); */ me->harvest = 0; mt_lock( &rosie ); if( ++_num_idle_farmers > 16 ) { --_num_idle_farmers; --_num_farmers; mt_unlock( &rosie ); free( me ); return 0; } me->neighbour = farmers; farmers = me; /* fprintf(stderr, "farm_wait %p\n", me); */ while(!me->harvest) co_wait( &me->harvest_moon, &rosie ); --_num_idle_farmers; mt_unlock( &rosie ); /* fprintf(stderr, "farm_endwait %p\n", me); */ } while(1); /* NOT_REACHED */ return 0;/* Keep the compiler happy. */ } int th_num_idle_farmers(void) { return _num_idle_farmers; } int th_num_farmers(void) { return _num_farmers; } static struct farmer *new_farmer(void (*fun)(void *), void *args) { struct farmer *me = malloc(sizeof(struct farmer)); if (!me) { /* Out of memory */
5aad932002-08-15Marcus Comstedt  Pike_fatal("new_farmer(): Out of memory!\n");
64b7b62000-11-02Henrik Grubbström (Grubba)  } dmalloc_accept_leak(me); _num_farmers++; me->neighbour = 0; me->field = args; me->harvest = fun; co_init( &me->harvest_moon ); #ifdef HAVE_BROKEN_LINUX_THREAD_EUID me->euid = geteuid(); me->egid = getegid(); #endif /* HAVE_BROKEN_LINUX_THREAD_EUID */ th_create_small(&me->me, farm, me); return me; } PMOD_EXPORT void th_farm(void (*fun)(void *), void *here) {
6e00e22003-11-13Martin Stjernholm #ifdef PIKE_DEBUG
5aad932002-08-15Marcus Comstedt  if(!fun) Pike_fatal("The farmers don't known how to handle empty fields\n");
6e00e22003-11-13Martin Stjernholm #endif
64b7b62000-11-02Henrik Grubbström (Grubba)  mt_lock( &rosie ); if(farmers) { struct farmer *f = farmers; farmers = f->neighbour; f->field = here; f->harvest = fun; mt_unlock( &rosie ); co_signal( &f->harvest_moon ); return; } mt_unlock( &rosie ); new_farmer( fun, here ); } /* * Glue code. */
a91ca01998-07-10Henrik Grubbström (Grubba) void low_th_init(void)
07513e1996-10-04Fredrik Hübinette (Hubbe) {
b867f92003-02-16Martin Stjernholm  THREADS_FPRINTF(0, (stderr, "Initializing threads.\n"));
fed8de1997-10-05Henrik Grubbström (Grubba) 
83b1842003-02-08Martin Stjernholm  really_low_th_init();
fed8de1997-10-05Henrik Grubbström (Grubba) 
12ae2f1997-09-05Henrik Grubbström (Grubba)  mt_init( & interpreter_lock);
63ba772010-10-12Martin Stjernholm  mt_init( & interpreter_lock_wanted);
bc21dc2001-11-01Martin Stjernholm  low_mt_lock_interpreter();
eac2091998-02-27Marcus Comstedt  mt_init( & thread_table_lock);
a91ca01998-07-10Henrik Grubbström (Grubba)  mt_init( & interleave_lock);
64b7b62000-11-02Henrik Grubbström (Grubba)  mt_init( & rosie);
ef1e931998-03-26Henrik Grubbström (Grubba)  co_init( & live_threads_change); co_init( & threads_disabled_change);
eac2091998-02-27Marcus Comstedt  thread_table_init();
864d3c1998-01-29Fredrik Hübinette (Hubbe) 
92ec352010-10-23Martin Stjernholm #if defined(RDTSC) && defined(USE_CLOCK_FOR_SLICES)
f919942010-10-17Martin Stjernholm  { INT32 cpuid[4]; x86_get_cpuid (1, cpuid); /* fprintf (stderr, "cpuid 1: %x\n", cpuid[2]); */ use_tsc_for_slices = cpuid[2] & 0x10; /* TSC exists */
927d3c2010-10-24Martin Stjernholm #if 0 /* Skip tsc invariant check - the current tsc interval method * should be robust enough to cope with variable tsc rates. */
f919942010-10-17Martin Stjernholm  if (use_tsc_for_slices) { x86_get_cpuid (0x80000007, cpuid); /* fprintf (stderr, "cpuid 0x80000007: %x\n", cpuid[2]); */ use_tsc_for_slices = cpuid[2] & 0x100; /* TSC is invariant */ }
927d3c2010-10-24Martin Stjernholm #endif
f919942010-10-17Martin Stjernholm  /* fprintf (stderr, "use tsc: %d\n", use_tsc_for_slices); */ } #endif
b32ef12000-04-19Martin Stjernholm  th_running = 1;
a91ca01998-07-10Henrik Grubbström (Grubba) }
1d456f2003-02-20Henrik Grubbström (Grubba) static struct object *backend_thread_obj = NULL;
d97eb72011-07-10Henrik Grubbström (Grubba) static struct Pike_interpreter_struct *original_interpreter = NULL;
a91ca01998-07-10Henrik Grubbström (Grubba) void th_init(void) {
89fc4c2000-08-10Henrik Grubbström (Grubba)  ptrdiff_t mutex_key_offset;
a91ca01998-07-10Henrik Grubbström (Grubba) 
e4419e1997-02-06Fredrik Hübinette (Hubbe) #ifdef UNIX_THREADS
45ee5d1999-02-10Fredrik Hübinette (Hubbe)  ADD_EFUN("thread_set_concurrency",f_thread_set_concurrency,tFunc(tInt,tVoid), OPT_SIDE_EFFECT);
e4419e1997-02-06Fredrik Hübinette (Hubbe) #endif
07513e1996-10-04Fredrik Hübinette (Hubbe) 
15ecdc2011-04-02Martin Stjernholm #ifdef PIKE_DEBUG ADD_EFUN("_thread_swaps", f__thread_swaps, tFunc(tVoid,tInt), OPT_SIDE_EFFECT); ADD_EFUN("_check_threads_calls", f__check_threads_calls, tFunc(tVoid,tInt), OPT_SIDE_EFFECT); ADD_EFUN("_check_threads_yields", f__check_threads_yields, tFunc(tVoid,tInt), OPT_SIDE_EFFECT); ADD_EFUN("_check_threads_swaps", f__check_threads_swaps, tFunc(tVoid,tInt), OPT_SIDE_EFFECT); #endif
3f87be1999-12-14Martin Stjernholm  START_NEW_PROGRAM_ID(THREAD_MUTEX_KEY);
90e9781999-01-31Fredrik Hübinette (Hubbe)  mutex_key_offset = ADD_STORAGE(struct key_storage);
46d7bf1997-09-03Henrik Grubbström (Grubba)  /* This is needed to allow the gc to find the possible circular reference.
e413da2001-02-01Henrik Grubbström (Grubba)  * It also allows a thread to take over ownership of a key.
46d7bf1997-09-03Henrik Grubbström (Grubba)  */
1d456f2003-02-20Henrik Grubbström (Grubba)  PIKE_MAP_VARIABLE("_owner", mutex_key_offset + OFFSETOF(key_storage, owner_obj),
33887a2002-10-28Martin Stjernholm  tObjIs_THREAD_ID, T_OBJECT, 0); PIKE_MAP_VARIABLE("_mutex", mutex_key_offset + OFFSETOF(key_storage, mutex_obj),
95489a2008-06-29Martin Nilsson  tObjIs_THREAD_MUTEX, T_OBJECT, ID_PROTECTED|ID_PRIVATE);
5988921996-10-05Fredrik Hübinette (Hubbe)  set_init_callback(init_mutex_key_obj);
07513e1996-10-04Fredrik Hübinette (Hubbe)  set_exit_callback(exit_mutex_key_obj);
bad5162000-06-23Fredrik Hübinette (Hubbe)  mutex_key=Pike_compiler->new_program;
3f87be1999-12-14Martin Stjernholm  add_ref(mutex_key); end_class("mutex_key", 0);
b1f4eb1998-01-13Fredrik Hübinette (Hubbe)  mutex_key->flags|=PROGRAM_DESTRUCT_IMMEDIATE;
07513e1996-10-04Fredrik Hübinette (Hubbe) 
3f87be1999-12-14Martin Stjernholm  START_NEW_PROGRAM_ID(THREAD_MUTEX);
52e4c61999-12-13Martin Stjernholm  ADD_STORAGE(struct mutex_storage);
3f87be1999-12-14Martin Stjernholm  ADD_FUNCTION("lock",f_mutex_lock, tFunc(tOr(tInt02,tVoid),tObjIs_THREAD_MUTEX_KEY),0); ADD_FUNCTION("trylock",f_mutex_trylock, tFunc(tOr(tInt02,tVoid),tObjIs_THREAD_MUTEX_KEY),0);
b9bba02001-08-08Leif Stensson  ADD_FUNCTION("current_locking_thread",f_mutex_locking_thread, tFunc(tNone,tObjIs_THREAD_ID), 0); ADD_FUNCTION("current_locking_key",f_mutex_locking_key, tFunc(tNone,tObjIs_THREAD_MUTEX_KEY), 0);
52e4c61999-12-13Martin Stjernholm  set_init_callback(init_mutex_obj); set_exit_callback(exit_mutex_obj); end_class("mutex", 0);
d85b4b2004-05-01Martin Stjernholm  START_NEW_PROGRAM_ID(THREAD_MUTEX_COMPAT_7_4); ADD_STORAGE(struct mutex_storage); ADD_FUNCTION("lock",f_mutex_lock, tFunc(tOr(tInt02,tVoid),tObjIs_THREAD_MUTEX_KEY),0); ADD_FUNCTION("trylock",f_mutex_trylock, tFunc(tOr(tInt02,tVoid),tObjIs_THREAD_MUTEX_KEY),0); ADD_FUNCTION("current_locking_thread",f_mutex_locking_thread, tFunc(tNone,tObjIs_THREAD_ID), 0); ADD_FUNCTION("current_locking_key",f_mutex_locking_key, tFunc(tNone,tObjIs_THREAD_MUTEX_KEY), 0); set_init_callback(init_mutex_obj); set_exit_callback(exit_mutex_obj_compat_7_4); end_class("mutex_compat_7_4", 0);
3f87be1999-12-14Martin Stjernholm  START_NEW_PROGRAM_ID(THREAD_CONDITION);
8349b42006-01-29Henrik Grubbström (Grubba)  ADD_STORAGE(struct pike_cond);
3f87be1999-12-14Martin Stjernholm  ADD_FUNCTION("wait",f_cond_wait,
4a5f542009-01-25Henrik Grubbström (Grubba)  tOr(tFunc(tObjIs_THREAD_MUTEX_KEY tOr3(tVoid, tIntPos, tFloat), tVoid), tFunc(tObjIs_THREAD_MUTEX_KEY tIntPos tIntPos, tVoid)),0);
b93e6e1999-06-19Fredrik Hübinette (Hubbe)  ADD_FUNCTION("signal",f_cond_signal,tFunc(tNone,tVoid),0); ADD_FUNCTION("broadcast",f_cond_broadcast,tFunc(tNone,tVoid),0);
07513e1996-10-04Fredrik Hübinette (Hubbe)  set_init_callback(init_cond_obj); set_exit_callback(exit_cond_obj);
b98eb31997-02-11Henrik Grubbström (Grubba)  end_class("condition", 0);
de413f1998-03-26Per Hedbor  { struct program *tmp;
3f87be1999-12-14Martin Stjernholm  START_NEW_PROGRAM_ID(THREAD_DISABLE_THREADS);
de413f1998-03-26Per Hedbor  set_init_callback(init_threads_disable); set_exit_callback(exit_threads_disable);
bad5162000-06-23Fredrik Hübinette (Hubbe)  tmp = Pike_compiler->new_program;
3f87be1999-12-14Martin Stjernholm  add_ref(tmp); end_class("threads_disabled", 0);
de413f1998-03-26Per Hedbor  tmp->flags|=PROGRAM_DESTRUCT_IMMEDIATE; add_global_program("_disable_threads", tmp);
56a6961998-04-05Fredrik Hübinette (Hubbe)  free_program(tmp);
de413f1998-03-26Per Hedbor  }
6d1a5e1996-10-07Fredrik Hübinette (Hubbe) 
3f87be1999-12-14Martin Stjernholm  START_NEW_PROGRAM_ID(THREAD_LOCAL);
90e9781999-01-31Fredrik Hübinette (Hubbe)  ADD_STORAGE(struct thread_local);
b93e6e1999-06-19Fredrik Hübinette (Hubbe)  ADD_FUNCTION("get",f_thread_local_get,tFunc(tNone,tMix),0);
b21d9e2000-11-06Martin Stjernholm  ADD_FUNCTION("set",f_thread_local_set,tFunc(tSetvar(1,tMix),tVar(1)),0);
d4e6372001-02-06Henrik Grubbström (Grubba)  ADD_FUNCTION("create", f_thread_local_create,
95489a2008-06-29Martin Nilsson  tFunc(tVoid,tVoid), ID_PROTECTED);
d9d6f02001-06-30Martin Stjernholm #ifdef PIKE_DEBUG set_gc_check_callback(gc_check_thread_local); #endif
bad5162000-06-23Fredrik Hübinette (Hubbe)  thread_local_prog=Pike_compiler->new_program;
3f87be1999-12-14Martin Stjernholm  add_ref(thread_local_prog); end_class("thread_local", 0);
d4e6372001-02-06Henrik Grubbström (Grubba)  ADD_EFUN("thread_local", f_thread_local,
3f87be1999-12-14Martin Stjernholm  tFunc(tNone,tObjIs_THREAD_LOCAL),
d4e6372001-02-06Henrik Grubbström (Grubba)  OPT_EXTERNAL_DEPEND);
d86cd71998-08-24Marcus Comstedt 
3f87be1999-12-14Martin Stjernholm  START_NEW_PROGRAM_ID(THREAD_ID);
17f08c2000-07-06Fredrik Hübinette (Hubbe)  thread_storage_offset=ADD_STORAGE(struct thread_state);
0431312003-02-15Henrik Grubbström (Grubba)  PIKE_MAP_VARIABLE("result", OFFSETOF(thread_state, result), tMix, T_MIXED, 0); ADD_FUNCTION("create",f_thread_create, tFuncV(tNone,tMixed,tVoid),
95489a2008-06-29Martin Nilsson  ID_PROTECTED);
b93e6e1999-06-19Fredrik Hübinette (Hubbe)  ADD_FUNCTION("backtrace",f_thread_backtrace,tFunc(tNone,tArray),0); ADD_FUNCTION("wait",f_thread_id_result,tFunc(tNone,tMix),0); ADD_FUNCTION("status",f_thread_id_status,tFunc(tNone,tInt),0);
9a0d422000-02-06Martin Stjernholm  ADD_FUNCTION("_sprintf",f_thread_id__sprintf,tFunc(tNone,tStr),0);
5e50ef2001-09-25Henrik Grubbström (Grubba)  ADD_FUNCTION("id_number",f_thread_id_id_number,tFunc(tNone,tInt),0);
9595b92004-08-12Henrik Grubbström (Grubba)  ADD_FUNCTION("interrupt", f_thread_id_interrupt, tFunc(tOr(tVoid,tStr), tVoid), 0);
286b312004-12-30Henrik Grubbström (Grubba)  ADD_FUNCTION("kill", f_thread_id_kill, tFunc(tNone, tVoid), 0);
a5bd2b2000-06-10Martin Stjernholm  set_gc_recurse_callback(thread_was_recursed);
d86cd71998-08-24Marcus Comstedt  set_gc_check_callback(thread_was_checked);
a7fef41997-09-03Per Hedbor  set_init_callback(init_thread_obj);
a2db6b1998-01-02Fredrik Hübinette (Hubbe)  set_exit_callback(exit_thread_obj);
bad5162000-06-23Fredrik Hübinette (Hubbe)  thread_id_prog=Pike_compiler->new_program;
95363a2000-04-11Fredrik Hübinette (Hubbe)  thread_id_prog->flags |= PROGRAM_NO_EXPLICIT_DESTRUCT;
3f87be1999-12-14Martin Stjernholm  add_ref(thread_id_prog); end_class("thread_id", 0);
0431312003-02-15Henrik Grubbström (Grubba)  /* Backward compat... */ add_global_program("thread_create", thread_id_prog);
3f87be1999-12-14Martin Stjernholm  ADD_EFUN("this_thread",f_this_thread, tFunc(tNone,tObjIs_THREAD_ID), OPT_EXTERNAL_DEPEND); ADD_EFUN("all_threads",f_all_threads, tFunc(tNone,tArr(tObjIs_THREAD_ID)), OPT_EXTERNAL_DEPEND);
52e4c61999-12-13Martin Stjernholm 
5d2f121998-08-27Henrik Grubbström (Grubba)  /* Some constants... */ add_integer_constant("THREAD_NOT_STARTED", THREAD_NOT_STARTED, 0); add_integer_constant("THREAD_RUNNING", THREAD_RUNNING, 0); add_integer_constant("THREAD_EXITED", THREAD_EXITED, 0);
d97eb72011-07-10Henrik Grubbström (Grubba)  original_interpreter = Pike_interpreter_pointer;
1d456f2003-02-20Henrik Grubbström (Grubba)  backend_thread_obj = fast_clone_object(thread_id_prog); INIT_THREAD_STATE((struct thread_state *)(backend_thread_obj->storage +
b867f92003-02-16Martin Stjernholm  thread_storage_offset));
0431312003-02-15Henrik Grubbström (Grubba)  thread_table_insert(Pike_interpreter.thread_state);
6d1a5e1996-10-07Fredrik Hübinette (Hubbe) }
09a5732008-08-05Martin Stjernholm #ifdef DO_PIKE_CLEANUP void cleanup_all_other_threads (void) { int i, num_kills = num_pending_interrupts; time_t timeout = time (NULL) + 2; mt_lock (&thread_table_lock); for (i = 0; i < THREAD_TABLE_SIZE; i++) { struct thread_state *th; for (th = thread_table_chains[i]; th; th = th->hashlink) if (th != Pike_interpreter.thread_state) { low_thread_kill (th); num_kills++; } } mt_unlock (&thread_table_lock); while (num_pending_interrupts && time (NULL) < timeout) { THREADS_ALLOW();
3714062010-02-18Stephen R. van den Berg  sysleep(1.0);
09a5732008-08-05Martin Stjernholm  THREADS_DISALLOW(); }
0a2bf62008-08-05Martin Stjernholm #if 0
09a5732008-08-05Martin Stjernholm  if (num_kills) {
0a2bf62008-08-05Martin Stjernholm  fprintf (stderr, "Killed %d thread(s) in exit cleanup", num_kills - num_pending_interrupts);
09a5732008-08-05Martin Stjernholm  if (num_pending_interrupts)
0a2bf62008-08-05Martin Stjernholm  fprintf (stderr, ", %d more haven't responded", num_pending_interrupts);
09a5732008-08-05Martin Stjernholm  fputs (".\n", stderr); }
0a2bf62008-08-05Martin Stjernholm #endif
09a5732008-08-05Martin Stjernholm } #endif
be478c1997-08-30Henrik Grubbström (Grubba) void th_cleanup(void)
6d1a5e1996-10-07Fredrik Hübinette (Hubbe) {
b32ef12000-04-19Martin Stjernholm  th_running = 0;
0431312003-02-15Henrik Grubbström (Grubba)  if (Pike_interpreter.thread_state) { thread_table_delete(Pike_interpreter.thread_state); Pike_interpreter.thread_state = NULL; }
1d456f2003-02-20Henrik Grubbström (Grubba)  if(backend_thread_obj)
c3b9952000-02-15Henrik Grubbström (Grubba)  {
d97eb72011-07-10Henrik Grubbström (Grubba)  /* Switch back to the original interpreter struct. */ *original_interpreter = Pike_interpreter;
1d456f2003-02-20Henrik Grubbström (Grubba)  destruct(backend_thread_obj); free_object(backend_thread_obj); backend_thread_obj = NULL;
d97eb72011-07-10Henrik Grubbström (Grubba)  Pike_interpreter_pointer = original_interpreter;
56f4f42001-09-18Fredrik Hübinette (Hubbe)  destruct_objects_to_destruct_cb();
c3b9952000-02-15Henrik Grubbström (Grubba)  }
6d1a5e1996-10-07Fredrik Hübinette (Hubbe)  if(mutex_key) { free_program(mutex_key); mutex_key=0; }
d86cd71998-08-24Marcus Comstedt  if(thread_local_prog) { free_program(thread_local_prog); thread_local_prog=0; }
6d1a5e1996-10-07Fredrik Hübinette (Hubbe)  if(thread_id_prog) { free_program(thread_id_prog); thread_id_prog=0; }
58580c2001-11-12Martin Stjernholm  #ifdef PIKE_USE_OWN_ATFORK free_callback_list(&atfork_prepare_callback); free_callback_list(&atfork_parent_callback); free_callback_list(&atfork_child_callback); #endif
07513e1996-10-04Fredrik Hübinette (Hubbe) }
83b1842003-02-08Martin Stjernholm #endif /* !CONFIGURE_TEST */
07513e1996-10-04Fredrik Hübinette (Hubbe) #endif