blob: 44814c697763b4a8d096f8cbc4d4316e700fd628 [file] [log] [blame]
Guido van Rossumc3f82b61995-01-17 16:29:31 +00001
2/* This code implemented by Dag.Gruneau@elsa.preseco.comm.se */
Guido van Rossum706262b2000-05-04 18:47:15 +00003/* Fast NonRecursiveMutex support by Yakov Markovitch, markovitch@iso.ru */
Tim Peterse64ef932002-02-28 21:34:34 +00004/* Eliminated some memory leaks, gsw@agere.com */
Guido van Rossumc3f82b61995-01-17 16:29:31 +00005
Guido van Rossum49b12261997-08-14 20:12:58 +00006#include <windows.h>
7#include <limits.h>
8#include <process.h>
Guido van Rossumc3f82b61995-01-17 16:29:31 +00009
Guido van Rossum706262b2000-05-04 18:47:15 +000010typedef struct NRMUTEX {
11 LONG owned ;
12 DWORD thread_id ;
13 HANDLE hevent ;
14} NRMUTEX, *PNRMUTEX ;
15
Guido van Rossum706262b2000-05-04 18:47:15 +000016typedef PVOID WINAPI interlocked_cmp_xchg_t(PVOID *dest, PVOID exc, PVOID comperand) ;
17
18/* Sorry mate, but we haven't got InterlockedCompareExchange in Win95! */
19static PVOID WINAPI interlocked_cmp_xchg(PVOID *dest, PVOID exc, PVOID comperand)
20{
21 static LONG spinlock = 0 ;
22 PVOID result ;
Guido van Rossumede8c6e2000-05-11 12:53:51 +000023 DWORD dwSleep = 0;
Guido van Rossum706262b2000-05-04 18:47:15 +000024
25 /* Acqire spinlock (yielding control to other threads if cant aquire for the moment) */
Guido van Rossumede8c6e2000-05-11 12:53:51 +000026 while(InterlockedExchange(&spinlock, 1))
27 {
28 // Using Sleep(0) can cause a priority inversion.
29 // Sleep(0) only yields the processor if there's
30 // another thread of the same priority that's
31 // ready to run. If a high-priority thread is
32 // trying to acquire the lock, which is held by
33 // a low-priority thread, then the low-priority
34 // thread may never get scheduled and hence never
35 // free the lock. NT attempts to avoid priority
36 // inversions by temporarily boosting the priority
37 // of low-priority runnable threads, but the problem
38 // can still occur if there's a medium-priority
39 // thread that's always runnable. If Sleep(1) is used,
40 // then the thread unconditionally yields the CPU. We
41 // only do this for the second and subsequent even
42 // iterations, since a millisecond is a long time to wait
43 // if the thread can be scheduled in again sooner
44 // (~100,000 instructions).
45 // Avoid priority inversion: 0, 1, 0, 1,...
46 Sleep(dwSleep);
47 dwSleep = !dwSleep;
48 }
Guido van Rossum706262b2000-05-04 18:47:15 +000049 result = *dest ;
50 if (result == comperand)
51 *dest = exc ;
52 /* Release spinlock */
53 spinlock = 0 ;
54 return result ;
55} ;
56
57static interlocked_cmp_xchg_t *ixchg ;
58BOOL InitializeNonRecursiveMutex(PNRMUTEX mutex)
59{
60 if (!ixchg)
61 {
62 /* Sorely, Win95 has no InterlockedCompareExchange API (Win98 has), so we have to use emulation */
63 HANDLE kernel = GetModuleHandle("kernel32.dll") ;
64 if (!kernel || (ixchg = (interlocked_cmp_xchg_t *)GetProcAddress(kernel, "InterlockedCompareExchange")) == NULL)
65 ixchg = interlocked_cmp_xchg ;
66 }
67
68 mutex->owned = -1 ; /* No threads have entered NonRecursiveMutex */
69 mutex->thread_id = 0 ;
70 mutex->hevent = CreateEvent(NULL, FALSE, FALSE, NULL) ;
71 return mutex->hevent != NULL ; /* TRUE if the mutex is created */
72}
73
Guido van Rossum582acec2000-06-28 22:07:35 +000074#ifdef InterlockedCompareExchange
75#undef InterlockedCompareExchange
76#endif
Guido van Rossum706262b2000-05-04 18:47:15 +000077#define InterlockedCompareExchange(dest,exchange,comperand) (ixchg((dest), (exchange), (comperand)))
78
79VOID DeleteNonRecursiveMutex(PNRMUTEX mutex)
80{
81 /* No in-use check */
82 CloseHandle(mutex->hevent) ;
83 mutex->hevent = NULL ; /* Just in case */
84}
85
86DWORD EnterNonRecursiveMutex(PNRMUTEX mutex, BOOL wait)
87{
88 /* Assume that the thread waits successfully */
89 DWORD ret ;
90
91 /* InterlockedIncrement(&mutex->owned) == 0 means that no thread currently owns the mutex */
92 if (!wait)
93 {
94 if (InterlockedCompareExchange((PVOID *)&mutex->owned, (PVOID)0, (PVOID)-1) != (PVOID)-1)
95 return WAIT_TIMEOUT ;
96 ret = WAIT_OBJECT_0 ;
97 }
98 else
99 ret = InterlockedIncrement(&mutex->owned) ?
100 /* Some thread owns the mutex, let's wait... */
101 WaitForSingleObject(mutex->hevent, INFINITE) : WAIT_OBJECT_0 ;
102
103 mutex->thread_id = GetCurrentThreadId() ; /* We own it */
104 return ret ;
105}
106
107BOOL LeaveNonRecursiveMutex(PNRMUTEX mutex)
108{
109 /* We don't own the mutex */
110 mutex->thread_id = 0 ;
111 return
112 InterlockedDecrement(&mutex->owned) < 0 ||
113 SetEvent(mutex->hevent) ; /* Other threads are waiting, wake one on them up */
114}
115
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000116PNRMUTEX AllocNonRecursiveMutex(void)
Guido van Rossum706262b2000-05-04 18:47:15 +0000117{
118 PNRMUTEX mutex = (PNRMUTEX)malloc(sizeof(NRMUTEX)) ;
119 if (mutex && !InitializeNonRecursiveMutex(mutex))
120 {
121 free(mutex) ;
122 mutex = NULL ;
123 }
124 return mutex ;
125}
126
127void FreeNonRecursiveMutex(PNRMUTEX mutex)
128{
129 if (mutex)
130 {
131 DeleteNonRecursiveMutex(mutex) ;
132 free(mutex) ;
133 }
134}
135
Guido van Rossum65d5b571998-12-21 19:32:43 +0000136long PyThread_get_thread_ident(void);
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000137
138/*
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000139 * Initialization of the C package, should not be needed.
140 */
Guido van Rossum65d5b571998-12-21 19:32:43 +0000141static void PyThread__init_thread(void)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000142{
143}
144
145/*
146 * Thread support.
147 */
Guido van Rossum3c288632001-10-16 21:13:49 +0000148
149typedef struct {
150 void (*func)(void*);
151 void *arg;
152 long id;
153 HANDLE done;
154} callobj;
155
156static int
157bootstrap(void *call)
158{
159 callobj *obj = (callobj*)call;
160 /* copy callobj since other thread might free it before we're done */
161 void (*func)(void*) = obj->func;
162 void *arg = obj->arg;
163
164 obj->id = PyThread_get_thread_ident();
165 ReleaseSemaphore(obj->done, 1, NULL);
166 func(arg);
167 return 0;
168}
169
170long PyThread_start_new_thread(void (*func)(void *), void *arg)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000171{
Tim Peters79248aa2001-08-29 21:37:10 +0000172 unsigned long rv;
Guido van Rossum49b12261997-08-14 20:12:58 +0000173 int success = 0;
Guido van Rossum3c288632001-10-16 21:13:49 +0000174 callobj *obj;
175 int id;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000176
Guido van Rossum65d5b571998-12-21 19:32:43 +0000177 dprintf(("%ld: PyThread_start_new_thread called\n", PyThread_get_thread_ident()));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000178 if (!initialized)
Guido van Rossum65d5b571998-12-21 19:32:43 +0000179 PyThread_init_thread();
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000180
Guido van Rossum3c288632001-10-16 21:13:49 +0000181 obj = malloc(sizeof(callobj));
182 obj->func = func;
183 obj->arg = arg;
184 obj->done = CreateSemaphore(NULL, 0, 1, NULL);
185
Guido van Rossum2c40adb2001-10-16 21:50:04 +0000186 rv = _beginthread(bootstrap, 0, obj); /* use default stack size */
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000187
Tim Peters79248aa2001-08-29 21:37:10 +0000188 if (rv != (unsigned long)-1) {
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000189 success = 1;
Guido van Rossum582acec2000-06-28 22:07:35 +0000190 dprintf(("%ld: PyThread_start_new_thread succeeded: %p\n", PyThread_get_thread_ident(), rv));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000191 }
192
Guido van Rossum3c288632001-10-16 21:13:49 +0000193 /* wait for thread to initialize and retrieve id */
194 WaitForSingleObject(obj->done, 5000); /* maybe INFINITE instead of 5000? */
195 CloseHandle((HANDLE)obj->done);
Guido van Rossum3c288632001-10-16 21:13:49 +0000196 id = obj->id;
197 free(obj);
198 return id;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000199}
200
201/*
202 * Return the thread Id instead of an handle. The Id is said to uniquely identify the
203 * thread in the system
204 */
Guido van Rossum65d5b571998-12-21 19:32:43 +0000205long PyThread_get_thread_ident(void)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000206{
207 if (!initialized)
Guido van Rossum65d5b571998-12-21 19:32:43 +0000208 PyThread_init_thread();
Guido van Rossum706262b2000-05-04 18:47:15 +0000209
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000210 return GetCurrentThreadId();
211}
212
Guido van Rossum65d5b571998-12-21 19:32:43 +0000213static void do_PyThread_exit_thread(int no_cleanup)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000214{
Guido van Rossum65d5b571998-12-21 19:32:43 +0000215 dprintf(("%ld: PyThread_exit_thread called\n", PyThread_get_thread_ident()));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000216 if (!initialized)
217 if (no_cleanup)
218 _exit(0);
219 else
220 exit(0);
Guido van Rossum49b12261997-08-14 20:12:58 +0000221 _endthread();
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000222}
223
Guido van Rossum65d5b571998-12-21 19:32:43 +0000224void PyThread_exit_thread(void)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000225{
Guido van Rossum65d5b571998-12-21 19:32:43 +0000226 do_PyThread_exit_thread(0);
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000227}
228
Guido van Rossum65d5b571998-12-21 19:32:43 +0000229void PyThread__exit_thread(void)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000230{
Guido van Rossum65d5b571998-12-21 19:32:43 +0000231 do_PyThread_exit_thread(1);
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000232}
233
234#ifndef NO_EXIT_PROG
Guido van Rossum65d5b571998-12-21 19:32:43 +0000235static void do_PyThread_exit_prog(int status, int no_cleanup)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000236{
Guido van Rossum65d5b571998-12-21 19:32:43 +0000237 dprintf(("PyThread_exit_prog(%d) called\n", status));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000238 if (!initialized)
239 if (no_cleanup)
240 _exit(status);
241 else
242 exit(status);
243}
244
Guido van Rossum65d5b571998-12-21 19:32:43 +0000245void PyThread_exit_prog(int status)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000246{
Guido van Rossum65d5b571998-12-21 19:32:43 +0000247 do_PyThread_exit_prog(status, 0);
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000248}
249
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000250void PyThread__exit_prog(int status)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000251{
Guido van Rossum65d5b571998-12-21 19:32:43 +0000252 do_PyThread_exit_prog(status, 1);
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000253}
254#endif /* NO_EXIT_PROG */
255
256/*
257 * Lock support. It has too be implemented as semaphores.
258 * I [Dag] tried to implement it with mutex but I could find a way to
259 * tell whether a thread already own the lock or not.
260 */
Guido van Rossum65d5b571998-12-21 19:32:43 +0000261PyThread_type_lock PyThread_allocate_lock(void)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000262{
Guido van Rossum706262b2000-05-04 18:47:15 +0000263 PNRMUTEX aLock;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000264
Guido van Rossum65d5b571998-12-21 19:32:43 +0000265 dprintf(("PyThread_allocate_lock called\n"));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000266 if (!initialized)
Guido van Rossum65d5b571998-12-21 19:32:43 +0000267 PyThread_init_thread();
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000268
Guido van Rossum706262b2000-05-04 18:47:15 +0000269 aLock = AllocNonRecursiveMutex() ;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000270
Fred Drakea44d3532000-06-30 15:01:00 +0000271 dprintf(("%ld: PyThread_allocate_lock() -> %p\n", PyThread_get_thread_ident(), aLock));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000272
Guido van Rossum65d5b571998-12-21 19:32:43 +0000273 return (PyThread_type_lock) aLock;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000274}
275
Guido van Rossum65d5b571998-12-21 19:32:43 +0000276void PyThread_free_lock(PyThread_type_lock aLock)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000277{
Fred Drakea44d3532000-06-30 15:01:00 +0000278 dprintf(("%ld: PyThread_free_lock(%p) called\n", PyThread_get_thread_ident(),aLock));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000279
Guido van Rossum706262b2000-05-04 18:47:15 +0000280 FreeNonRecursiveMutex(aLock) ;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000281}
282
283/*
284 * Return 1 on success if the lock was acquired
285 *
286 * and 0 if the lock was not acquired. This means a 0 is returned
287 * if the lock has already been acquired by this thread!
288 */
Guido van Rossum65d5b571998-12-21 19:32:43 +0000289int PyThread_acquire_lock(PyThread_type_lock aLock, int waitflag)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000290{
Guido van Rossum706262b2000-05-04 18:47:15 +0000291 int success ;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000292
Fred Drakea44d3532000-06-30 15:01:00 +0000293 dprintf(("%ld: PyThread_acquire_lock(%p, %d) called\n", PyThread_get_thread_ident(),aLock, waitflag));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000294
Guido van Rossum706262b2000-05-04 18:47:15 +0000295 success = aLock && EnterNonRecursiveMutex((PNRMUTEX) aLock, (waitflag == 1 ? INFINITE : 0)) == WAIT_OBJECT_0 ;
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000296
Fred Drakea44d3532000-06-30 15:01:00 +0000297 dprintf(("%ld: PyThread_acquire_lock(%p, %d) -> %d\n", PyThread_get_thread_ident(),aLock, waitflag, success));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000298
299 return success;
300}
301
Guido van Rossum65d5b571998-12-21 19:32:43 +0000302void PyThread_release_lock(PyThread_type_lock aLock)
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000303{
Fred Drakea44d3532000-06-30 15:01:00 +0000304 dprintf(("%ld: PyThread_release_lock(%p) called\n", PyThread_get_thread_ident(),aLock));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000305
Guido van Rossum706262b2000-05-04 18:47:15 +0000306 if (!(aLock && LeaveNonRecursiveMutex((PNRMUTEX) aLock)))
Fred Drakea44d3532000-06-30 15:01:00 +0000307 dprintf(("%ld: Could not PyThread_release_lock(%p) error: %l\n", PyThread_get_thread_ident(), aLock, GetLastError()));
Guido van Rossumc3f82b61995-01-17 16:29:31 +0000308}