blob: ea05b6fbcfe52a7c0f2fe9704483c2578aecbe8d [file] [log] [blame]
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +00001
Guido van Rossum66020991996-06-11 18:32:18 +00002/* Posix threads interface */
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +00003
Guido van Rossum66020991996-06-11 18:32:18 +00004#include <stdlib.h>
Guido van Rossum9e46e561998-10-07 16:39:47 +00005#include <string.h>
Martin v. Löwisa7a76d32002-10-04 07:21:24 +00006#if defined(__APPLE__) || defined(HAVE_PTHREAD_DESTRUCTOR)
Jack Jansen76689572002-01-15 20:36:14 +00007#define destructor xxdestructor
8#endif
Guido van Rossum66020991996-06-11 18:32:18 +00009#include <pthread.h>
Martin v. Löwisa7a76d32002-10-04 07:21:24 +000010#if defined(__APPLE__) || defined(HAVE_PTHREAD_DESTRUCTOR)
Jack Jansen76689572002-01-15 20:36:14 +000011#undef destructor
12#endif
Guido van Rossum80230992001-10-12 21:49:17 +000013#include <signal.h>
Martin v. Löwis42ab61e2002-03-17 17:19:00 +000014
Thomas Wouters0e3f5912006-08-11 14:57:12 +000015/* The POSIX spec requires that use of pthread_attr_setstacksize
16 be conditional on _POSIX_THREAD_ATTR_STACKSIZE being defined. */
17#ifdef _POSIX_THREAD_ATTR_STACKSIZE
18#ifndef THREAD_STACK_SIZE
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000019#define THREAD_STACK_SIZE 0 /* use default stack size */
Thomas Wouters0e3f5912006-08-11 14:57:12 +000020#endif
Ned Deily9a7c5242011-05-28 00:19:56 -070021
Ned Deily7ca97d52012-03-13 11:18:18 -070022/* The default stack size for new threads on OSX and BSD is small enough that
23 * we'll get hard crashes instead of 'maximum recursion depth exceeded'
24 * exceptions.
25 *
26 * The default stack sizes below are the empirically determined minimal stack
27 * sizes where a simple recursive function doesn't cause a hard crash.
28 */
29#if defined(__APPLE__) && defined(THREAD_STACK_SIZE) && THREAD_STACK_SIZE == 0
30#undef THREAD_STACK_SIZE
31#define THREAD_STACK_SIZE 0x500000
32#endif
33#if defined(__FreeBSD__) && defined(THREAD_STACK_SIZE) && THREAD_STACK_SIZE == 0
Ned Deily9a7c5242011-05-28 00:19:56 -070034#undef THREAD_STACK_SIZE
35#define THREAD_STACK_SIZE 0x400000
36#endif
Thomas Wouters0e3f5912006-08-11 14:57:12 +000037/* for safety, ensure a viable minimum stacksize */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000038#define THREAD_STACK_MIN 0x8000 /* 32kB */
Thomas Wouters0e3f5912006-08-11 14:57:12 +000039#else /* !_POSIX_THREAD_ATTR_STACKSIZE */
40#ifdef THREAD_STACK_SIZE
41#error "THREAD_STACK_SIZE defined but _POSIX_THREAD_ATTR_STACKSIZE undefined"
42#endif
43#endif
44
Martin v. Löwis42ab61e2002-03-17 17:19:00 +000045/* The POSIX spec says that implementations supporting the sem_*
46 family of functions must indicate this by defining
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000047 _POSIX_SEMAPHORES. */
Martin v. Löwiscc898662002-03-17 09:53:51 +000048#ifdef _POSIX_SEMAPHORES
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000049/* On FreeBSD 4.x, _POSIX_SEMAPHORES is defined empty, so
Martin v. Löwis8b8fb3d2005-03-28 12:34:20 +000050 we need to add 0 to make it work there as well. */
51#if (_POSIX_SEMAPHORES+0) == -1
Anthony Baxter19b23692005-03-16 04:15:07 +000052#define HAVE_BROKEN_POSIX_SEMAPHORES
53#else
Martin v. Löwiscc898662002-03-17 09:53:51 +000054#include <semaphore.h>
55#include <errno.h>
56#endif
Anthony Baxter19b23692005-03-16 04:15:07 +000057#endif
Guido van Rossum66020991996-06-11 18:32:18 +000058
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000059/* Before FreeBSD 5.4, system scope threads was very limited resource
60 in default setting. So the process scope is preferred to get
61 enough number of threads to work. */
62#ifdef __FreeBSD__
63#include <osreldate.h>
64#if __FreeBSD_version >= 500000 && __FreeBSD_version < 504101
65#undef PTHREAD_SYSTEM_SCHED_SUPPORTED
66#endif
67#endif
68
Martin v. Löwisb0233812002-12-11 13:12:30 +000069#if !defined(pthread_attr_default)
Guido van Rossumd6353e21997-05-13 17:51:13 +000070# define pthread_attr_default ((pthread_attr_t *)NULL)
Martin v. Löwisb0233812002-12-11 13:12:30 +000071#endif
72#if !defined(pthread_mutexattr_default)
Guido van Rossumd6353e21997-05-13 17:51:13 +000073# define pthread_mutexattr_default ((pthread_mutexattr_t *)NULL)
Martin v. Löwisb0233812002-12-11 13:12:30 +000074#endif
75#if !defined(pthread_condattr_default)
Guido van Rossumd6353e21997-05-13 17:51:13 +000076# define pthread_condattr_default ((pthread_condattr_t *)NULL)
Guido van Rossum1a623111996-08-08 18:53:41 +000077#endif
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +000078
Guido van Rossumd6353e21997-05-13 17:51:13 +000079
Martin v. Löwiscc898662002-03-17 09:53:51 +000080/* Whether or not to use semaphores directly rather than emulating them with
81 * mutexes and condition variables:
82 */
Antoine Pitrou19f8edc2010-10-10 08:37:22 +000083#if (defined(_POSIX_SEMAPHORES) && !defined(HAVE_BROKEN_POSIX_SEMAPHORES) && \
84 defined(HAVE_SEM_TIMEDWAIT))
Martin v. Löwiscc898662002-03-17 09:53:51 +000085# define USE_SEMAPHORES
86#else
87# undef USE_SEMAPHORES
88#endif
89
90
Guido van Rossum80230992001-10-12 21:49:17 +000091/* On platforms that don't use standard POSIX threads pthread_sigmask()
92 * isn't present. DEC threads uses sigprocmask() instead as do most
93 * other UNIX International compliant systems that don't have the full
94 * pthread implementation.
95 */
Jason Tishlerfac083d2003-07-22 15:20:49 +000096#if defined(HAVE_PTHREAD_SIGMASK) && !defined(HAVE_BROKEN_PTHREAD_SIGMASK)
Guido van Rossum80230992001-10-12 21:49:17 +000097# define SET_THREAD_SIGMASK pthread_sigmask
98#else
99# define SET_THREAD_SIGMASK sigprocmask
100#endif
101
102
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000103/* We assume all modern POSIX systems have gettimeofday() */
104#ifdef GETTIMEOFDAY_NO_TZ
105#define GETTIMEOFDAY(ptv) gettimeofday(ptv)
106#else
107#define GETTIMEOFDAY(ptv) gettimeofday(ptv, (struct timezone *)NULL)
108#endif
109
110#define MICROSECONDS_TO_TIMESPEC(microseconds, ts) \
111do { \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000112 struct timeval tv; \
113 GETTIMEOFDAY(&tv); \
114 tv.tv_usec += microseconds % 1000000; \
115 tv.tv_sec += microseconds / 1000000; \
116 tv.tv_sec += tv.tv_usec / 1000000; \
117 tv.tv_usec %= 1000000; \
118 ts.tv_sec = tv.tv_sec; \
119 ts.tv_nsec = tv.tv_usec * 1000; \
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000120} while(0)
121
122
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000123/* A pthread mutex isn't sufficient to model the Python lock type
124 * because, according to Draft 5 of the docs (P1003.4a/D5), both of the
125 * following are undefined:
126 * -> a thread tries to lock a mutex it already has locked
127 * -> a thread tries to unlock a mutex locked by a different thread
128 * pthread mutexes are designed for serializing threads over short pieces
129 * of code anyway, so wouldn't be an appropriate implementation of
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000130 * Python's locks regardless.
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000131 *
132 * The pthread_lock struct implements a Python lock as a "locked?" bit
133 * and a <condition, mutex> pair. In general, if the bit can be acquired
134 * instantly, it is, else the pair is used to block the thread until the
135 * bit is cleared. 9 May 1994 tim@ksr.com
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000136 */
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000137
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000138typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000139 char locked; /* 0=unlocked, 1=locked */
140 /* a <cond, mutex> pair to handle an acquire of a locked lock */
141 pthread_cond_t lock_released;
142 pthread_mutex_t mut;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000143} pthread_lock;
144
Guido van Rossum9e46e561998-10-07 16:39:47 +0000145#define CHECK_STATUS(name) if (status != 0) { perror(name); error = 1; }
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100146#define CHECK_STATUS_PTHREAD(name) if (status != 0) { fprintf(stderr, \
147 "%s: %s\n", name, strerror(status)); error = 1; }
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000148
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000149/*
150 * Initialization.
151 */
Guido van Rossum9e46e561998-10-07 16:39:47 +0000152
Victor Stinner87e78ce2011-07-04 22:53:49 +0200153#if defined(_HAVE_BSDI)
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000154static
155void _noop(void)
Guido van Rossum9e46e561998-10-07 16:39:47 +0000156{
157}
158
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000159static void
160PyThread__init_thread(void)
Guido van Rossum9e46e561998-10-07 16:39:47 +0000161{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000162 /* DO AN INIT BY STARTING THE THREAD */
163 static int dummy = 0;
164 pthread_t thread1;
165 pthread_create(&thread1, NULL, (void *) _noop, &dummy);
166 pthread_join(thread1, NULL);
Guido van Rossum9e46e561998-10-07 16:39:47 +0000167}
168
169#else /* !_HAVE_BSDI */
170
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000171static void
172PyThread__init_thread(void)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000173{
Guido van Rossumd21744a1998-09-10 03:04:40 +0000174#if defined(_AIX) && defined(__GNUC__)
Antoine Pitrou9a00e0a2013-06-18 22:17:48 +0200175 extern void pthread_init(void);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000176 pthread_init();
Guido van Rossumd21744a1998-09-10 03:04:40 +0000177#endif
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000178}
179
Guido van Rossum9e46e561998-10-07 16:39:47 +0000180#endif /* !_HAVE_BSDI */
181
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000182/*
183 * Thread support.
184 */
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000185
186
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200187unsigned long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000188PyThread_start_new_thread(void (*func)(void *), void *arg)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000189{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000190 pthread_t th;
191 int status;
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000192#if defined(THREAD_STACK_SIZE) || defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000193 pthread_attr_t attrs;
Jack Jansenc51395d2001-08-29 15:24:53 +0000194#endif
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000195#if defined(THREAD_STACK_SIZE)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000196 size_t tss;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000197#endif
198
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000199 dprintf(("PyThread_start_new_thread called\n"));
200 if (!initialized)
201 PyThread_init_thread();
Guido van Rossumd6353e21997-05-13 17:51:13 +0000202
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000203#if defined(THREAD_STACK_SIZE) || defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000204 if (pthread_attr_init(&attrs) != 0)
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200205 return PYTHREAD_INVALID_THREAD_ID;
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000206#endif
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000207#if defined(THREAD_STACK_SIZE)
Eric Snow2ebc5ce2017-09-07 23:51:28 -0600208 PyThreadState *tstate = PyThreadState_GET();
209 size_t stacksize = tstate ? tstate->interp->pythread_stacksize : 0;
210 tss = (stacksize != 0) ? stacksize : THREAD_STACK_SIZE;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000211 if (tss != 0) {
212 if (pthread_attr_setstacksize(&attrs, tss) != 0) {
213 pthread_attr_destroy(&attrs);
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200214 return PYTHREAD_INVALID_THREAD_ID;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000215 }
216 }
Jack Jansenc51395d2001-08-29 15:24:53 +0000217#endif
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000218#if defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000219 pthread_attr_setscope(&attrs, PTHREAD_SCOPE_SYSTEM);
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000220#endif
Guido van Rossum80230992001-10-12 21:49:17 +0000221
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000222 status = pthread_create(&th,
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000223#if defined(THREAD_STACK_SIZE) || defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000224 &attrs,
Jack Jansenc51395d2001-08-29 15:24:53 +0000225#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000226 (pthread_attr_t*)NULL,
Jack Jansenc51395d2001-08-29 15:24:53 +0000227#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000228 (void* (*)(void *))func,
229 (void *)arg
230 );
Guido van Rossum80230992001-10-12 21:49:17 +0000231
Fred Drake03459a52001-11-09 16:00:41 +0000232#if defined(THREAD_STACK_SIZE) || defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000233 pthread_attr_destroy(&attrs);
Jack Jansenc51395d2001-08-29 15:24:53 +0000234#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000235 if (status != 0)
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200236 return PYTHREAD_INVALID_THREAD_ID;
Martin v. Löwis910ae622003-04-19 07:44:52 +0000237
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000238 pthread_detach(th);
Martin v. Löwis910ae622003-04-19 07:44:52 +0000239
Guido van Rossum3c288632001-10-16 21:13:49 +0000240#if SIZEOF_PTHREAD_T <= SIZEOF_LONG
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200241 return (unsigned long) th;
Guido van Rossum3c288632001-10-16 21:13:49 +0000242#else
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200243 return (unsigned long) *(unsigned long *) &th;
Guido van Rossum3c288632001-10-16 21:13:49 +0000244#endif
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000245}
246
Trent Mick635f6fb2000-08-23 21:33:05 +0000247/* XXX This implementation is considered (to quote Tim Peters) "inherently
248 hosed" because:
Skip Montanaro6babcc22004-03-03 08:42:23 +0000249 - It does not guarantee the promise that a non-zero integer is returned.
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200250 - The cast to unsigned long is inherently unsafe.
Jesus Cea736e7fc2011-03-14 17:36:54 +0100251 - It is not clear that the 'volatile' (for AIX?) are any longer necessary.
Trent Mick635f6fb2000-08-23 21:33:05 +0000252*/
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200253unsigned long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000254PyThread_get_thread_ident(void)
Guido van Rossume944da81994-05-23 12:43:41 +0000255{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000256 volatile pthread_t threadid;
257 if (!initialized)
258 PyThread_init_thread();
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000259 threadid = pthread_self();
Serhiy Storchakaaefa7eb2017-03-23 15:48:39 +0200260 return (unsigned long) threadid;
Guido van Rossume944da81994-05-23 12:43:41 +0000261}
262
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000263void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000264PyThread_exit_thread(void)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000265{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000266 dprintf(("PyThread_exit_thread called\n"));
Antoine Pitrou0d5e52d2011-05-04 20:02:30 +0200267 if (!initialized)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000268 exit(0);
Antoine Pitrou0d5e52d2011-05-04 20:02:30 +0200269 pthread_exit(0);
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000270}
271
Martin v. Löwiscc898662002-03-17 09:53:51 +0000272#ifdef USE_SEMAPHORES
273
274/*
275 * Lock support.
276 */
277
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000278PyThread_type_lock
Martin v. Löwiscc898662002-03-17 09:53:51 +0000279PyThread_allocate_lock(void)
280{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000281 sem_t *lock;
282 int status, error = 0;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000283
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000284 dprintf(("PyThread_allocate_lock called\n"));
285 if (!initialized)
286 PyThread_init_thread();
Martin v. Löwiscc898662002-03-17 09:53:51 +0000287
Victor Stinner80aa5652013-07-07 17:17:59 +0200288 lock = (sem_t *)PyMem_RawMalloc(sizeof(sem_t));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000289
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000290 if (lock) {
291 status = sem_init(lock,0,1);
292 CHECK_STATUS("sem_init");
Martin v. Löwiscc898662002-03-17 09:53:51 +0000293
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000294 if (error) {
Victor Stinner80aa5652013-07-07 17:17:59 +0200295 PyMem_RawFree((void *)lock);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000296 lock = NULL;
297 }
298 }
Martin v. Löwiscc898662002-03-17 09:53:51 +0000299
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000300 dprintf(("PyThread_allocate_lock() -> %p\n", lock));
301 return (PyThread_type_lock)lock;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000302}
303
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000304void
Martin v. Löwiscc898662002-03-17 09:53:51 +0000305PyThread_free_lock(PyThread_type_lock lock)
306{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000307 sem_t *thelock = (sem_t *)lock;
308 int status, error = 0;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000309
Christian Heimes56379c02012-12-02 08:37:00 +0100310 (void) error; /* silence unused-but-set-variable warning */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000311 dprintf(("PyThread_free_lock(%p) called\n", lock));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000312
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000313 if (!thelock)
314 return;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000315
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000316 status = sem_destroy(thelock);
317 CHECK_STATUS("sem_destroy");
Martin v. Löwiscc898662002-03-17 09:53:51 +0000318
Victor Stinner80aa5652013-07-07 17:17:59 +0200319 PyMem_RawFree((void *)thelock);
Martin v. Löwiscc898662002-03-17 09:53:51 +0000320}
321
322/*
323 * As of February 2002, Cygwin thread implementations mistakenly report error
324 * codes in the return value of the sem_ calls (like the pthread_ functions).
325 * Correct implementations return -1 and put the code in errno. This supports
326 * either.
327 */
328static int
329fix_status(int status)
330{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000331 return (status == -1) ? errno : status;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000332}
333
Antoine Pitrou810023d2010-12-15 22:59:16 +0000334PyLockStatus
335PyThread_acquire_lock_timed(PyThread_type_lock lock, PY_TIMEOUT_T microseconds,
336 int intr_flag)
Martin v. Löwiscc898662002-03-17 09:53:51 +0000337{
Antoine Pitrou810023d2010-12-15 22:59:16 +0000338 PyLockStatus success;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000339 sem_t *thelock = (sem_t *)lock;
340 int status, error = 0;
341 struct timespec ts;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000342
Christian Heimes56379c02012-12-02 08:37:00 +0100343 (void) error; /* silence unused-but-set-variable warning */
Antoine Pitrou810023d2010-12-15 22:59:16 +0000344 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) called\n",
345 lock, microseconds, intr_flag));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000346
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000347 if (microseconds > 0)
348 MICROSECONDS_TO_TIMESPEC(microseconds, ts);
349 do {
350 if (microseconds > 0)
351 status = fix_status(sem_timedwait(thelock, &ts));
352 else if (microseconds == 0)
353 status = fix_status(sem_trywait(thelock));
354 else
355 status = fix_status(sem_wait(thelock));
Antoine Pitrou810023d2010-12-15 22:59:16 +0000356 /* Retry if interrupted by a signal, unless the caller wants to be
357 notified. */
358 } while (!intr_flag && status == EINTR);
Martin v. Löwiscc898662002-03-17 09:53:51 +0000359
Antoine Pitrou810023d2010-12-15 22:59:16 +0000360 /* Don't check the status if we're stopping because of an interrupt. */
361 if (!(intr_flag && status == EINTR)) {
362 if (microseconds > 0) {
363 if (status != ETIMEDOUT)
364 CHECK_STATUS("sem_timedwait");
365 }
366 else if (microseconds == 0) {
367 if (status != EAGAIN)
368 CHECK_STATUS("sem_trywait");
369 }
370 else {
371 CHECK_STATUS("sem_wait");
372 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000373 }
Martin v. Löwiscc898662002-03-17 09:53:51 +0000374
Antoine Pitrou810023d2010-12-15 22:59:16 +0000375 if (status == 0) {
376 success = PY_LOCK_ACQUIRED;
377 } else if (intr_flag && status == EINTR) {
378 success = PY_LOCK_INTR;
379 } else {
380 success = PY_LOCK_FAILURE;
381 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000382
Antoine Pitrou810023d2010-12-15 22:59:16 +0000383 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) -> %d\n",
384 lock, microseconds, intr_flag, success));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000385 return success;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000386}
387
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000388void
Martin v. Löwiscc898662002-03-17 09:53:51 +0000389PyThread_release_lock(PyThread_type_lock lock)
390{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000391 sem_t *thelock = (sem_t *)lock;
392 int status, error = 0;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000393
Christian Heimes56379c02012-12-02 08:37:00 +0100394 (void) error; /* silence unused-but-set-variable warning */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000395 dprintf(("PyThread_release_lock(%p) called\n", lock));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000396
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000397 status = sem_post(thelock);
398 CHECK_STATUS("sem_post");
Martin v. Löwiscc898662002-03-17 09:53:51 +0000399}
400
401#else /* USE_SEMAPHORES */
402
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000403/*
404 * Lock support.
405 */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000406PyThread_type_lock
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000407PyThread_allocate_lock(void)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000408{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000409 pthread_lock *lock;
410 int status, error = 0;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000411
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000412 dprintf(("PyThread_allocate_lock called\n"));
413 if (!initialized)
414 PyThread_init_thread();
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000415
Victor Stinner80aa5652013-07-07 17:17:59 +0200416 lock = (pthread_lock *) PyMem_RawMalloc(sizeof(pthread_lock));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000417 if (lock) {
418 memset((void *)lock, '\0', sizeof(pthread_lock));
419 lock->locked = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000420
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000421 status = pthread_mutex_init(&lock->mut,
422 pthread_mutexattr_default);
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100423 CHECK_STATUS_PTHREAD("pthread_mutex_init");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000424 /* Mark the pthread mutex underlying a Python mutex as
425 pure happens-before. We can't simply mark the
426 Python-level mutex as a mutex because it can be
427 acquired and released in different threads, which
428 will cause errors. */
429 _Py_ANNOTATE_PURE_HAPPENS_BEFORE_MUTEX(&lock->mut);
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000430
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000431 status = pthread_cond_init(&lock->lock_released,
432 pthread_condattr_default);
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100433 CHECK_STATUS_PTHREAD("pthread_cond_init");
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000434
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000435 if (error) {
Victor Stinner80aa5652013-07-07 17:17:59 +0200436 PyMem_RawFree((void *)lock);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000437 lock = 0;
438 }
439 }
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000440
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000441 dprintf(("PyThread_allocate_lock() -> %p\n", lock));
442 return (PyThread_type_lock) lock;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000443}
444
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000445void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000446PyThread_free_lock(PyThread_type_lock lock)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000447{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000448 pthread_lock *thelock = (pthread_lock *)lock;
449 int status, error = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000450
Antoine Pitrou9a00e0a2013-06-18 22:17:48 +0200451 (void) error; /* silence unused-but-set-variable warning */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000452 dprintf(("PyThread_free_lock(%p) called\n", lock));
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000453
Kristján Valur Jónsson187aa542012-06-05 22:17:42 +0000454 /* some pthread-like implementations tie the mutex to the cond
455 * and must have the cond destroyed first.
456 */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000457 status = pthread_cond_destroy( &thelock->lock_released );
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100458 CHECK_STATUS_PTHREAD("pthread_cond_destroy");
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000459
Kristján Valur Jónsson187aa542012-06-05 22:17:42 +0000460 status = pthread_mutex_destroy( &thelock->mut );
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100461 CHECK_STATUS_PTHREAD("pthread_mutex_destroy");
Kristján Valur Jónsson187aa542012-06-05 22:17:42 +0000462
Victor Stinner80aa5652013-07-07 17:17:59 +0200463 PyMem_RawFree((void *)thelock);
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000464}
465
Antoine Pitrou810023d2010-12-15 22:59:16 +0000466PyLockStatus
467PyThread_acquire_lock_timed(PyThread_type_lock lock, PY_TIMEOUT_T microseconds,
468 int intr_flag)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000469{
Antoine Pitrouf84ac422017-06-26 20:41:07 +0200470 PyLockStatus success = PY_LOCK_FAILURE;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000471 pthread_lock *thelock = (pthread_lock *)lock;
472 int status, error = 0;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000473
Antoine Pitrou810023d2010-12-15 22:59:16 +0000474 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) called\n",
475 lock, microseconds, intr_flag));
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000476
Antoine Pitrouf84ac422017-06-26 20:41:07 +0200477 if (microseconds == 0) {
478 status = pthread_mutex_trylock( &thelock->mut );
479 if (status != EBUSY)
480 CHECK_STATUS_PTHREAD("pthread_mutex_trylock[1]");
481 }
482 else {
483 status = pthread_mutex_lock( &thelock->mut );
484 CHECK_STATUS_PTHREAD("pthread_mutex_lock[1]");
485 }
486 if (status == 0) {
487 if (thelock->locked == 0) {
488 success = PY_LOCK_ACQUIRED;
489 }
490 else if (microseconds != 0) {
491 struct timespec ts;
492 if (microseconds > 0)
493 MICROSECONDS_TO_TIMESPEC(microseconds, ts);
494 /* continue trying until we get the lock */
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000495
Antoine Pitrouf84ac422017-06-26 20:41:07 +0200496 /* mut must be locked by me -- part of the condition
497 * protocol */
498 while (success == PY_LOCK_FAILURE) {
499 if (microseconds > 0) {
500 status = pthread_cond_timedwait(
501 &thelock->lock_released,
502 &thelock->mut, &ts);
503 if (status == ETIMEDOUT)
504 break;
505 CHECK_STATUS_PTHREAD("pthread_cond_timed_wait");
506 }
507 else {
508 status = pthread_cond_wait(
509 &thelock->lock_released,
510 &thelock->mut);
511 CHECK_STATUS_PTHREAD("pthread_cond_wait");
512 }
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000513
Antoine Pitrouf84ac422017-06-26 20:41:07 +0200514 if (intr_flag && status == 0 && thelock->locked) {
515 /* We were woken up, but didn't get the lock. We probably received
516 * a signal. Return PY_LOCK_INTR to allow the caller to handle
517 * it and retry. */
518 success = PY_LOCK_INTR;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000519 break;
Antoine Pitrouf84ac422017-06-26 20:41:07 +0200520 }
521 else if (status == 0 && !thelock->locked) {
522 success = PY_LOCK_ACQUIRED;
523 }
Antoine Pitrou810023d2010-12-15 22:59:16 +0000524 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000525 }
Antoine Pitrouf84ac422017-06-26 20:41:07 +0200526 if (success == PY_LOCK_ACQUIRED) thelock->locked = 1;
527 status = pthread_mutex_unlock( &thelock->mut );
528 CHECK_STATUS_PTHREAD("pthread_mutex_unlock[1]");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000529 }
Martin v. Löwis1509a152003-04-18 11:11:09 +0000530
Antoine Pitrou810023d2010-12-15 22:59:16 +0000531 if (error) success = PY_LOCK_FAILURE;
532 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) -> %d\n",
533 lock, microseconds, intr_flag, success));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000534 return success;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000535}
536
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000537void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000538PyThread_release_lock(PyThread_type_lock lock)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000539{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000540 pthread_lock *thelock = (pthread_lock *)lock;
541 int status, error = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000542
Antoine Pitrou9a00e0a2013-06-18 22:17:48 +0200543 (void) error; /* silence unused-but-set-variable warning */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000544 dprintf(("PyThread_release_lock(%p) called\n", lock));
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000545
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000546 status = pthread_mutex_lock( &thelock->mut );
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100547 CHECK_STATUS_PTHREAD("pthread_mutex_lock[3]");
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000548
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000549 thelock->locked = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000550
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000551 /* wake up someone (anyone, if any) waiting on the lock */
552 status = pthread_cond_signal( &thelock->lock_released );
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100553 CHECK_STATUS_PTHREAD("pthread_cond_signal");
Kristján Valur Jónsson187aa542012-06-05 22:17:42 +0000554
555 status = pthread_mutex_unlock( &thelock->mut );
Daniel Birnstield7fa6b22017-03-21 14:06:06 +0100556 CHECK_STATUS_PTHREAD("pthread_mutex_unlock[3]");
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000557}
Martin v. Löwiscc898662002-03-17 09:53:51 +0000558
559#endif /* USE_SEMAPHORES */
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000560
Antoine Pitrou810023d2010-12-15 22:59:16 +0000561int
562PyThread_acquire_lock(PyThread_type_lock lock, int waitflag)
563{
564 return PyThread_acquire_lock_timed(lock, waitflag ? -1 : 0, /*intr_flag=*/0);
565}
566
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000567/* set the thread stack size.
568 * Return 0 if size is valid, -1 if size is invalid,
569 * -2 if setting stack size is not supported.
570 */
571static int
572_pythread_pthread_set_stacksize(size_t size)
573{
574#if defined(THREAD_STACK_SIZE)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000575 pthread_attr_t attrs;
576 size_t tss_min;
577 int rc = 0;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000578#endif
579
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000580 /* set to default */
581 if (size == 0) {
Eric Snow2ebc5ce2017-09-07 23:51:28 -0600582 PyThreadState_GET()->interp->pythread_stacksize = 0;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000583 return 0;
584 }
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000585
586#if defined(THREAD_STACK_SIZE)
587#if defined(PTHREAD_STACK_MIN)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000588 tss_min = PTHREAD_STACK_MIN > THREAD_STACK_MIN ? PTHREAD_STACK_MIN
589 : THREAD_STACK_MIN;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000590#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000591 tss_min = THREAD_STACK_MIN;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000592#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000593 if (size >= tss_min) {
594 /* validate stack size by setting thread attribute */
595 if (pthread_attr_init(&attrs) == 0) {
596 rc = pthread_attr_setstacksize(&attrs, size);
597 pthread_attr_destroy(&attrs);
598 if (rc == 0) {
Eric Snow2ebc5ce2017-09-07 23:51:28 -0600599 PyThreadState_GET()->interp->pythread_stacksize = size;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000600 return 0;
601 }
602 }
603 }
604 return -1;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000605#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000606 return -2;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000607#endif
608}
609
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000610#define THREAD_SET_STACKSIZE(x) _pythread_pthread_set_stacksize(x)
Kristján Valur Jónsson2fea9b92010-09-20 02:11:49 +0000611
Kristján Valur Jónsson2fea9b92010-09-20 02:11:49 +0000612
613int
614PyThread_create_key(void)
615{
616 pthread_key_t key;
617 int fail = pthread_key_create(&key, NULL);
Victor Stinnerdaca3d72014-08-17 22:11:06 +0200618 if (fail)
619 return -1;
620 if (key > INT_MAX) {
621 /* Issue #22206: handle integer overflow */
622 pthread_key_delete(key);
623 errno = ENOMEM;
624 return -1;
625 }
626 return (int)key;
Kristján Valur Jónsson2fea9b92010-09-20 02:11:49 +0000627}
628
629void
630PyThread_delete_key(int key)
631{
632 pthread_key_delete(key);
633}
634
635void
636PyThread_delete_key_value(int key)
637{
638 pthread_setspecific(key, NULL);
639}
640
641int
642PyThread_set_key_value(int key, void *value)
643{
644 int fail;
Kristján Valur Jónsson2fea9b92010-09-20 02:11:49 +0000645 fail = pthread_setspecific(key, value);
646 return fail ? -1 : 0;
647}
648
649void *
650PyThread_get_key_value(int key)
651{
652 return pthread_getspecific(key);
653}
654
655void
656PyThread_ReInitTLS(void)
657{}