blob: 7d36b920b5c578a77e6b11f83f37e8f5327dca1a [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
21/* for safety, ensure a viable minimum stacksize */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000022#define THREAD_STACK_MIN 0x8000 /* 32kB */
Thomas Wouters0e3f5912006-08-11 14:57:12 +000023#else /* !_POSIX_THREAD_ATTR_STACKSIZE */
24#ifdef THREAD_STACK_SIZE
25#error "THREAD_STACK_SIZE defined but _POSIX_THREAD_ATTR_STACKSIZE undefined"
26#endif
27#endif
28
Martin v. Löwis42ab61e2002-03-17 17:19:00 +000029/* The POSIX spec says that implementations supporting the sem_*
30 family of functions must indicate this by defining
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000031 _POSIX_SEMAPHORES. */
Martin v. Löwiscc898662002-03-17 09:53:51 +000032#ifdef _POSIX_SEMAPHORES
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000033/* On FreeBSD 4.x, _POSIX_SEMAPHORES is defined empty, so
Martin v. Löwis8b8fb3d2005-03-28 12:34:20 +000034 we need to add 0 to make it work there as well. */
35#if (_POSIX_SEMAPHORES+0) == -1
Anthony Baxter19b23692005-03-16 04:15:07 +000036#define HAVE_BROKEN_POSIX_SEMAPHORES
37#else
Martin v. Löwiscc898662002-03-17 09:53:51 +000038#include <semaphore.h>
39#include <errno.h>
40#endif
Anthony Baxter19b23692005-03-16 04:15:07 +000041#endif
Guido van Rossum66020991996-06-11 18:32:18 +000042
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000043/* Before FreeBSD 5.4, system scope threads was very limited resource
44 in default setting. So the process scope is preferred to get
45 enough number of threads to work. */
46#ifdef __FreeBSD__
47#include <osreldate.h>
48#if __FreeBSD_version >= 500000 && __FreeBSD_version < 504101
49#undef PTHREAD_SYSTEM_SCHED_SUPPORTED
50#endif
51#endif
52
Martin v. Löwisb0233812002-12-11 13:12:30 +000053#if !defined(pthread_attr_default)
Guido van Rossumd6353e21997-05-13 17:51:13 +000054# define pthread_attr_default ((pthread_attr_t *)NULL)
Martin v. Löwisb0233812002-12-11 13:12:30 +000055#endif
56#if !defined(pthread_mutexattr_default)
Guido van Rossumd6353e21997-05-13 17:51:13 +000057# define pthread_mutexattr_default ((pthread_mutexattr_t *)NULL)
Martin v. Löwisb0233812002-12-11 13:12:30 +000058#endif
59#if !defined(pthread_condattr_default)
Guido van Rossumd6353e21997-05-13 17:51:13 +000060# define pthread_condattr_default ((pthread_condattr_t *)NULL)
Guido van Rossum1a623111996-08-08 18:53:41 +000061#endif
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +000062
Guido van Rossumd6353e21997-05-13 17:51:13 +000063
Martin v. Löwiscc898662002-03-17 09:53:51 +000064/* Whether or not to use semaphores directly rather than emulating them with
65 * mutexes and condition variables:
66 */
Antoine Pitrou19f8edc2010-10-10 08:37:22 +000067#if (defined(_POSIX_SEMAPHORES) && !defined(HAVE_BROKEN_POSIX_SEMAPHORES) && \
68 defined(HAVE_SEM_TIMEDWAIT))
Martin v. Löwiscc898662002-03-17 09:53:51 +000069# define USE_SEMAPHORES
70#else
71# undef USE_SEMAPHORES
72#endif
73
74
Guido van Rossum80230992001-10-12 21:49:17 +000075/* On platforms that don't use standard POSIX threads pthread_sigmask()
76 * isn't present. DEC threads uses sigprocmask() instead as do most
77 * other UNIX International compliant systems that don't have the full
78 * pthread implementation.
79 */
Jason Tishlerfac083d2003-07-22 15:20:49 +000080#if defined(HAVE_PTHREAD_SIGMASK) && !defined(HAVE_BROKEN_PTHREAD_SIGMASK)
Guido van Rossum80230992001-10-12 21:49:17 +000081# define SET_THREAD_SIGMASK pthread_sigmask
82#else
83# define SET_THREAD_SIGMASK sigprocmask
84#endif
85
86
Antoine Pitrou7c3e5772010-04-14 15:44:10 +000087/* We assume all modern POSIX systems have gettimeofday() */
88#ifdef GETTIMEOFDAY_NO_TZ
89#define GETTIMEOFDAY(ptv) gettimeofday(ptv)
90#else
91#define GETTIMEOFDAY(ptv) gettimeofday(ptv, (struct timezone *)NULL)
92#endif
93
94#define MICROSECONDS_TO_TIMESPEC(microseconds, ts) \
95do { \
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000096 struct timeval tv; \
97 GETTIMEOFDAY(&tv); \
98 tv.tv_usec += microseconds % 1000000; \
99 tv.tv_sec += microseconds / 1000000; \
100 tv.tv_sec += tv.tv_usec / 1000000; \
101 tv.tv_usec %= 1000000; \
102 ts.tv_sec = tv.tv_sec; \
103 ts.tv_nsec = tv.tv_usec * 1000; \
Antoine Pitrou7c3e5772010-04-14 15:44:10 +0000104} while(0)
105
106
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000107/* A pthread mutex isn't sufficient to model the Python lock type
108 * because, according to Draft 5 of the docs (P1003.4a/D5), both of the
109 * following are undefined:
110 * -> a thread tries to lock a mutex it already has locked
111 * -> a thread tries to unlock a mutex locked by a different thread
112 * pthread mutexes are designed for serializing threads over short pieces
113 * of code anyway, so wouldn't be an appropriate implementation of
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000114 * Python's locks regardless.
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000115 *
116 * The pthread_lock struct implements a Python lock as a "locked?" bit
117 * and a <condition, mutex> pair. In general, if the bit can be acquired
118 * instantly, it is, else the pair is used to block the thread until the
119 * bit is cleared. 9 May 1994 tim@ksr.com
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000120 */
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000121
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000122typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000123 char locked; /* 0=unlocked, 1=locked */
124 /* a <cond, mutex> pair to handle an acquire of a locked lock */
125 pthread_cond_t lock_released;
126 pthread_mutex_t mut;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000127} pthread_lock;
128
Guido van Rossum9e46e561998-10-07 16:39:47 +0000129#define CHECK_STATUS(name) if (status != 0) { perror(name); error = 1; }
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000130
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000131/*
132 * Initialization.
133 */
Guido van Rossum9e46e561998-10-07 16:39:47 +0000134
135#ifdef _HAVE_BSDI
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000136static
137void _noop(void)
Guido van Rossum9e46e561998-10-07 16:39:47 +0000138{
139}
140
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000141static void
142PyThread__init_thread(void)
Guido van Rossum9e46e561998-10-07 16:39:47 +0000143{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000144 /* DO AN INIT BY STARTING THE THREAD */
145 static int dummy = 0;
146 pthread_t thread1;
147 pthread_create(&thread1, NULL, (void *) _noop, &dummy);
148 pthread_join(thread1, NULL);
Guido van Rossum9e46e561998-10-07 16:39:47 +0000149}
150
151#else /* !_HAVE_BSDI */
152
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000153static void
154PyThread__init_thread(void)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000155{
Guido van Rossumd21744a1998-09-10 03:04:40 +0000156#if defined(_AIX) && defined(__GNUC__)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000157 pthread_init();
Guido van Rossumd21744a1998-09-10 03:04:40 +0000158#endif
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000159}
160
Guido van Rossum9e46e561998-10-07 16:39:47 +0000161#endif /* !_HAVE_BSDI */
162
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000163/*
164 * Thread support.
165 */
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000166
167
Guido van Rossum3c288632001-10-16 21:13:49 +0000168long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000169PyThread_start_new_thread(void (*func)(void *), void *arg)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000170{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000171 pthread_t th;
172 int status;
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000173#if defined(THREAD_STACK_SIZE) || defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000174 pthread_attr_t attrs;
Jack Jansenc51395d2001-08-29 15:24:53 +0000175#endif
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000176#if defined(THREAD_STACK_SIZE)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000177 size_t tss;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000178#endif
179
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000180 dprintf(("PyThread_start_new_thread called\n"));
181 if (!initialized)
182 PyThread_init_thread();
Guido van Rossumd6353e21997-05-13 17:51:13 +0000183
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000184#if defined(THREAD_STACK_SIZE) || defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000185 if (pthread_attr_init(&attrs) != 0)
186 return -1;
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000187#endif
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000188#if defined(THREAD_STACK_SIZE)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000189 tss = (_pythread_stacksize != 0) ? _pythread_stacksize
190 : THREAD_STACK_SIZE;
191 if (tss != 0) {
192 if (pthread_attr_setstacksize(&attrs, tss) != 0) {
193 pthread_attr_destroy(&attrs);
194 return -1;
195 }
196 }
Jack Jansenc51395d2001-08-29 15:24:53 +0000197#endif
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000198#if defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000199 pthread_attr_setscope(&attrs, PTHREAD_SCOPE_SYSTEM);
Guido van Rossumd0b69ec2001-09-10 14:10:54 +0000200#endif
Guido van Rossum80230992001-10-12 21:49:17 +0000201
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000202 status = pthread_create(&th,
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 &attrs,
Jack Jansenc51395d2001-08-29 15:24:53 +0000205#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000206 (pthread_attr_t*)NULL,
Jack Jansenc51395d2001-08-29 15:24:53 +0000207#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000208 (void* (*)(void *))func,
209 (void *)arg
210 );
Guido van Rossum80230992001-10-12 21:49:17 +0000211
Fred Drake03459a52001-11-09 16:00:41 +0000212#if defined(THREAD_STACK_SIZE) || defined(PTHREAD_SYSTEM_SCHED_SUPPORTED)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000213 pthread_attr_destroy(&attrs);
Jack Jansenc51395d2001-08-29 15:24:53 +0000214#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000215 if (status != 0)
216 return -1;
Martin v. Löwis910ae622003-04-19 07:44:52 +0000217
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000218 pthread_detach(th);
Martin v. Löwis910ae622003-04-19 07:44:52 +0000219
Guido van Rossum3c288632001-10-16 21:13:49 +0000220#if SIZEOF_PTHREAD_T <= SIZEOF_LONG
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000221 return (long) th;
Guido van Rossum3c288632001-10-16 21:13:49 +0000222#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000223 return (long) *(long *) &th;
Guido van Rossum3c288632001-10-16 21:13:49 +0000224#endif
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000225}
226
Trent Mick635f6fb2000-08-23 21:33:05 +0000227/* XXX This implementation is considered (to quote Tim Peters) "inherently
228 hosed" because:
Skip Montanaro6babcc22004-03-03 08:42:23 +0000229 - It does not guarantee the promise that a non-zero integer is returned.
Trent Mick635f6fb2000-08-23 21:33:05 +0000230 - The cast to long is inherently unsafe.
Jesus Cea736e7fc2011-03-14 17:36:54 +0100231 - It is not clear that the 'volatile' (for AIX?) are any longer necessary.
Trent Mick635f6fb2000-08-23 21:33:05 +0000232*/
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000233long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000234PyThread_get_thread_ident(void)
Guido van Rossume944da81994-05-23 12:43:41 +0000235{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000236 volatile pthread_t threadid;
237 if (!initialized)
238 PyThread_init_thread();
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000239 threadid = pthread_self();
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000240 return (long) threadid;
Guido van Rossume944da81994-05-23 12:43:41 +0000241}
242
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000243void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000244PyThread_exit_thread(void)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000245{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000246 dprintf(("PyThread_exit_thread called\n"));
247 if (!initialized) {
248 exit(0);
249 }
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000250}
251
Martin v. Löwiscc898662002-03-17 09:53:51 +0000252#ifdef USE_SEMAPHORES
253
254/*
255 * Lock support.
256 */
257
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000258PyThread_type_lock
Martin v. Löwiscc898662002-03-17 09:53:51 +0000259PyThread_allocate_lock(void)
260{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000261 sem_t *lock;
262 int status, error = 0;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000263
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000264 dprintf(("PyThread_allocate_lock called\n"));
265 if (!initialized)
266 PyThread_init_thread();
Martin v. Löwiscc898662002-03-17 09:53:51 +0000267
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000268 lock = (sem_t *)malloc(sizeof(sem_t));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000269
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000270 if (lock) {
271 status = sem_init(lock,0,1);
272 CHECK_STATUS("sem_init");
Martin v. Löwiscc898662002-03-17 09:53:51 +0000273
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000274 if (error) {
275 free((void *)lock);
276 lock = NULL;
277 }
278 }
Martin v. Löwiscc898662002-03-17 09:53:51 +0000279
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000280 dprintf(("PyThread_allocate_lock() -> %p\n", lock));
281 return (PyThread_type_lock)lock;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000282}
283
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000284void
Martin v. Löwiscc898662002-03-17 09:53:51 +0000285PyThread_free_lock(PyThread_type_lock lock)
286{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000287 sem_t *thelock = (sem_t *)lock;
288 int status, error = 0;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000289
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000290 dprintf(("PyThread_free_lock(%p) called\n", lock));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000291
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000292 if (!thelock)
293 return;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000294
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000295 status = sem_destroy(thelock);
296 CHECK_STATUS("sem_destroy");
Martin v. Löwiscc898662002-03-17 09:53:51 +0000297
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000298 free((void *)thelock);
Martin v. Löwiscc898662002-03-17 09:53:51 +0000299}
300
301/*
302 * As of February 2002, Cygwin thread implementations mistakenly report error
303 * codes in the return value of the sem_ calls (like the pthread_ functions).
304 * Correct implementations return -1 and put the code in errno. This supports
305 * either.
306 */
307static int
308fix_status(int status)
309{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000310 return (status == -1) ? errno : status;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000311}
312
Antoine Pitrou810023d2010-12-15 22:59:16 +0000313PyLockStatus
314PyThread_acquire_lock_timed(PyThread_type_lock lock, PY_TIMEOUT_T microseconds,
315 int intr_flag)
Martin v. Löwiscc898662002-03-17 09:53:51 +0000316{
Antoine Pitrou810023d2010-12-15 22:59:16 +0000317 PyLockStatus success;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000318 sem_t *thelock = (sem_t *)lock;
319 int status, error = 0;
320 struct timespec ts;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000321
Antoine Pitrou810023d2010-12-15 22:59:16 +0000322 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) called\n",
323 lock, microseconds, intr_flag));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000324
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000325 if (microseconds > 0)
326 MICROSECONDS_TO_TIMESPEC(microseconds, ts);
327 do {
328 if (microseconds > 0)
329 status = fix_status(sem_timedwait(thelock, &ts));
330 else if (microseconds == 0)
331 status = fix_status(sem_trywait(thelock));
332 else
333 status = fix_status(sem_wait(thelock));
Antoine Pitrou810023d2010-12-15 22:59:16 +0000334 /* Retry if interrupted by a signal, unless the caller wants to be
335 notified. */
336 } while (!intr_flag && status == EINTR);
Martin v. Löwiscc898662002-03-17 09:53:51 +0000337
Antoine Pitrou810023d2010-12-15 22:59:16 +0000338 /* Don't check the status if we're stopping because of an interrupt. */
339 if (!(intr_flag && status == EINTR)) {
340 if (microseconds > 0) {
341 if (status != ETIMEDOUT)
342 CHECK_STATUS("sem_timedwait");
343 }
344 else if (microseconds == 0) {
345 if (status != EAGAIN)
346 CHECK_STATUS("sem_trywait");
347 }
348 else {
349 CHECK_STATUS("sem_wait");
350 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000351 }
Martin v. Löwiscc898662002-03-17 09:53:51 +0000352
Antoine Pitrou810023d2010-12-15 22:59:16 +0000353 if (status == 0) {
354 success = PY_LOCK_ACQUIRED;
355 } else if (intr_flag && status == EINTR) {
356 success = PY_LOCK_INTR;
357 } else {
358 success = PY_LOCK_FAILURE;
359 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000360
Antoine Pitrou810023d2010-12-15 22:59:16 +0000361 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) -> %d\n",
362 lock, microseconds, intr_flag, success));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000363 return success;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000364}
365
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000366void
Martin v. Löwiscc898662002-03-17 09:53:51 +0000367PyThread_release_lock(PyThread_type_lock lock)
368{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000369 sem_t *thelock = (sem_t *)lock;
370 int status, error = 0;
Martin v. Löwiscc898662002-03-17 09:53:51 +0000371
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000372 dprintf(("PyThread_release_lock(%p) called\n", lock));
Martin v. Löwiscc898662002-03-17 09:53:51 +0000373
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000374 status = sem_post(thelock);
375 CHECK_STATUS("sem_post");
Martin v. Löwiscc898662002-03-17 09:53:51 +0000376}
377
378#else /* USE_SEMAPHORES */
379
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000380/*
381 * Lock support.
382 */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000383PyThread_type_lock
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000384PyThread_allocate_lock(void)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000385{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000386 pthread_lock *lock;
387 int status, error = 0;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000388
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000389 dprintf(("PyThread_allocate_lock called\n"));
390 if (!initialized)
391 PyThread_init_thread();
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000392
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000393 lock = (pthread_lock *) malloc(sizeof(pthread_lock));
394 if (lock) {
395 memset((void *)lock, '\0', sizeof(pthread_lock));
396 lock->locked = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000397
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000398 status = pthread_mutex_init(&lock->mut,
399 pthread_mutexattr_default);
400 CHECK_STATUS("pthread_mutex_init");
401 /* Mark the pthread mutex underlying a Python mutex as
402 pure happens-before. We can't simply mark the
403 Python-level mutex as a mutex because it can be
404 acquired and released in different threads, which
405 will cause errors. */
406 _Py_ANNOTATE_PURE_HAPPENS_BEFORE_MUTEX(&lock->mut);
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000407
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000408 status = pthread_cond_init(&lock->lock_released,
409 pthread_condattr_default);
410 CHECK_STATUS("pthread_cond_init");
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000411
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000412 if (error) {
413 free((void *)lock);
414 lock = 0;
415 }
416 }
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000417
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000418 dprintf(("PyThread_allocate_lock() -> %p\n", lock));
419 return (PyThread_type_lock) lock;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000420}
421
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000422void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000423PyThread_free_lock(PyThread_type_lock lock)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000424{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000425 pthread_lock *thelock = (pthread_lock *)lock;
426 int status, error = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000427
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000428 dprintf(("PyThread_free_lock(%p) called\n", lock));
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000429
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000430 status = pthread_mutex_destroy( &thelock->mut );
431 CHECK_STATUS("pthread_mutex_destroy");
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000432
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000433 status = pthread_cond_destroy( &thelock->lock_released );
434 CHECK_STATUS("pthread_cond_destroy");
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000435
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000436 free((void *)thelock);
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000437}
438
Antoine Pitrou810023d2010-12-15 22:59:16 +0000439PyLockStatus
440PyThread_acquire_lock_timed(PyThread_type_lock lock, PY_TIMEOUT_T microseconds,
441 int intr_flag)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000442{
Antoine Pitrou810023d2010-12-15 22:59:16 +0000443 PyLockStatus success;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000444 pthread_lock *thelock = (pthread_lock *)lock;
445 int status, error = 0;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000446
Antoine Pitrou810023d2010-12-15 22:59:16 +0000447 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) called\n",
448 lock, microseconds, intr_flag));
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000449
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000450 status = pthread_mutex_lock( &thelock->mut );
451 CHECK_STATUS("pthread_mutex_lock[1]");
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000452
Antoine Pitrou810023d2010-12-15 22:59:16 +0000453 if (thelock->locked == 0) {
454 success = PY_LOCK_ACQUIRED;
455 } else if (microseconds == 0) {
456 success = PY_LOCK_FAILURE;
457 } else {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000458 struct timespec ts;
459 if (microseconds > 0)
460 MICROSECONDS_TO_TIMESPEC(microseconds, ts);
461 /* continue trying until we get the lock */
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000462
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000463 /* mut must be locked by me -- part of the condition
464 * protocol */
Antoine Pitrou810023d2010-12-15 22:59:16 +0000465 success = PY_LOCK_FAILURE;
466 while (success == PY_LOCK_FAILURE) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000467 if (microseconds > 0) {
468 status = pthread_cond_timedwait(
469 &thelock->lock_released,
470 &thelock->mut, &ts);
471 if (status == ETIMEDOUT)
472 break;
473 CHECK_STATUS("pthread_cond_timed_wait");
474 }
475 else {
476 status = pthread_cond_wait(
477 &thelock->lock_released,
478 &thelock->mut);
479 CHECK_STATUS("pthread_cond_wait");
480 }
Antoine Pitrou810023d2010-12-15 22:59:16 +0000481
482 if (intr_flag && status == 0 && thelock->locked) {
483 /* We were woken up, but didn't get the lock. We probably received
484 * a signal. Return PY_LOCK_INTR to allow the caller to handle
485 * it and retry. */
486 success = PY_LOCK_INTR;
487 break;
488 } else if (status == 0 && !thelock->locked) {
489 success = PY_LOCK_ACQUIRED;
490 } else {
491 success = PY_LOCK_FAILURE;
492 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000493 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000494 }
Antoine Pitrou810023d2010-12-15 22:59:16 +0000495 if (success == PY_LOCK_ACQUIRED) thelock->locked = 1;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000496 status = pthread_mutex_unlock( &thelock->mut );
497 CHECK_STATUS("pthread_mutex_unlock[1]");
Martin v. Löwis1509a152003-04-18 11:11:09 +0000498
Antoine Pitrou810023d2010-12-15 22:59:16 +0000499 if (error) success = PY_LOCK_FAILURE;
500 dprintf(("PyThread_acquire_lock_timed(%p, %lld, %d) -> %d\n",
501 lock, microseconds, intr_flag, success));
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000502 return success;
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000503}
504
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000505void
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000506PyThread_release_lock(PyThread_type_lock lock)
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000507{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000508 pthread_lock *thelock = (pthread_lock *)lock;
509 int status, error = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000510
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000511 dprintf(("PyThread_release_lock(%p) called\n", lock));
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000512
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000513 status = pthread_mutex_lock( &thelock->mut );
514 CHECK_STATUS("pthread_mutex_lock[3]");
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000515
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000516 thelock->locked = 0;
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000517
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000518 status = pthread_mutex_unlock( &thelock->mut );
519 CHECK_STATUS("pthread_mutex_unlock[3]");
Guido van Rossumb98b1b31994-05-11 08:42:04 +0000520
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000521 /* wake up someone (anyone, if any) waiting on the lock */
522 status = pthread_cond_signal( &thelock->lock_released );
523 CHECK_STATUS("pthread_cond_signal");
Guido van Rossum2c8cb9f1994-05-09 15:12:46 +0000524}
Martin v. Löwiscc898662002-03-17 09:53:51 +0000525
526#endif /* USE_SEMAPHORES */
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000527
Antoine Pitrou810023d2010-12-15 22:59:16 +0000528int
529PyThread_acquire_lock(PyThread_type_lock lock, int waitflag)
530{
531 return PyThread_acquire_lock_timed(lock, waitflag ? -1 : 0, /*intr_flag=*/0);
532}
533
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000534/* set the thread stack size.
535 * Return 0 if size is valid, -1 if size is invalid,
536 * -2 if setting stack size is not supported.
537 */
538static int
539_pythread_pthread_set_stacksize(size_t size)
540{
541#if defined(THREAD_STACK_SIZE)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000542 pthread_attr_t attrs;
543 size_t tss_min;
544 int rc = 0;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000545#endif
546
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000547 /* set to default */
548 if (size == 0) {
549 _pythread_stacksize = 0;
550 return 0;
551 }
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000552
553#if defined(THREAD_STACK_SIZE)
554#if defined(PTHREAD_STACK_MIN)
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000555 tss_min = PTHREAD_STACK_MIN > THREAD_STACK_MIN ? PTHREAD_STACK_MIN
556 : THREAD_STACK_MIN;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000557#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000558 tss_min = THREAD_STACK_MIN;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000559#endif
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000560 if (size >= tss_min) {
561 /* validate stack size by setting thread attribute */
562 if (pthread_attr_init(&attrs) == 0) {
563 rc = pthread_attr_setstacksize(&attrs, size);
564 pthread_attr_destroy(&attrs);
565 if (rc == 0) {
566 _pythread_stacksize = size;
567 return 0;
568 }
569 }
570 }
571 return -1;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000572#else
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000573 return -2;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000574#endif
575}
576
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000577#define THREAD_SET_STACKSIZE(x) _pythread_pthread_set_stacksize(x)
Kristján Valur Jónsson2fea9b92010-09-20 02:11:49 +0000578
579#define Py_HAVE_NATIVE_TLS
580
581int
582PyThread_create_key(void)
583{
584 pthread_key_t key;
585 int fail = pthread_key_create(&key, NULL);
586 return fail ? -1 : key;
587}
588
589void
590PyThread_delete_key(int key)
591{
592 pthread_key_delete(key);
593}
594
595void
596PyThread_delete_key_value(int key)
597{
598 pthread_setspecific(key, NULL);
599}
600
601int
602PyThread_set_key_value(int key, void *value)
603{
604 int fail;
605 void *oldValue = pthread_getspecific(key);
606 if (oldValue != NULL)
607 return 0;
608 fail = pthread_setspecific(key, value);
609 return fail ? -1 : 0;
610}
611
612void *
613PyThread_get_key_value(int key)
614{
615 return pthread_getspecific(key);
616}
617
618void
619PyThread_ReInitTLS(void)
620{}