1 /* GLIB - Library of useful routines for C programming
2 * Copyright (C) 1995-1997 Peter Mattis, Spencer Kimball and Josh MacDonald
3 *
4 * gthread.c: solaris thread system implementation
5 * Copyright 1998-2001 Sebastian Wilhelmi; University of Karlsruhe
6 * Copyright 2001 Hans Breuer
7 *
8 * This library is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
12 *
13 * This library is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
17 *
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
20 */
21
22 /*
23 * Modified by the GLib Team and others 1997-2000. See the AUTHORS
24 * file for a list of people on the GLib Team. See the ChangeLog
25 * files for a list of changes. These files are distributed with
26 * GLib at ftp://ftp.gtk.org/pub/gtk/.
27 */
28
29 /* The GMutex and GCond implementations in this file are some of the
30 * lowest-level code in GLib. All other parts of GLib (messages,
31 * memory, slices, etc) assume that they can freely use these facilities
32 * without risking recursion.
33 *
34 * As such, these functions are NOT permitted to call any other part of
35 * GLib.
36 *
37 * The thread manipulation functions (create, exit, join, etc.) have
38 * more freedom -- they can do as they please.
39 */
40
41 #include "config.h"
42
43 #include "glib.h"
44 #include "glib-init.h"
45 #include "gthread.h"
46 #include "gthreadprivate.h"
47 #include "gslice.h"
48
49 #include <windows.h>
50
51 #include <process.h>
52 #include <stdlib.h>
53 #include <stdio.h>
54
55 static void
g_thread_abort(gint status,const gchar * function)56 g_thread_abort (gint status,
57 const gchar *function)
58 {
59 fprintf (stderr, "GLib (gthread-win32.c): Unexpected error from C library during '%s': %s. Aborting.\n",
60 strerror (status), function);
61 g_abort ();
62 }
63
64 /* Starting with Vista and Windows 2008, we have access to the
65 * CONDITION_VARIABLE and SRWLock primatives on Windows, which are
66 * pretty reasonable approximations of the primatives specified in
67 * POSIX 2001 (pthread_cond_t and pthread_mutex_t respectively).
68 *
69 * Both of these types are structs containing a single pointer. That
70 * pointer is used as an atomic bitfield to support user-space mutexes
71 * that only get the kernel involved in cases of contention (similar
72 * to how futex()-based mutexes work on Linux). The biggest advantage
73 * of these new types is that they can be statically initialised to
74 * zero. That means that they are completely ABI compatible with our
75 * GMutex and GCond APIs.
76 */
77
78 /* {{{1 GMutex */
79 void
g_mutex_init(GMutex * mutex)80 g_mutex_init (GMutex *mutex)
81 {
82 InitializeSRWLock ((gpointer) mutex);
83 }
84
85 void
g_mutex_clear(GMutex * mutex)86 g_mutex_clear (GMutex *mutex)
87 {
88 }
89
90 void
g_mutex_lock(GMutex * mutex)91 g_mutex_lock (GMutex *mutex)
92 {
93 AcquireSRWLockExclusive ((gpointer) mutex);
94 }
95
96 gboolean
g_mutex_trylock(GMutex * mutex)97 g_mutex_trylock (GMutex *mutex)
98 {
99 return TryAcquireSRWLockExclusive ((gpointer) mutex);
100 }
101
102 void
g_mutex_unlock(GMutex * mutex)103 g_mutex_unlock (GMutex *mutex)
104 {
105 ReleaseSRWLockExclusive ((gpointer) mutex);
106 }
107
108 /* {{{1 GRecMutex */
109
110 static CRITICAL_SECTION *
g_rec_mutex_impl_new(void)111 g_rec_mutex_impl_new (void)
112 {
113 CRITICAL_SECTION *cs;
114
115 cs = g_slice_new (CRITICAL_SECTION);
116 InitializeCriticalSection (cs);
117
118 return cs;
119 }
120
121 static void
g_rec_mutex_impl_free(CRITICAL_SECTION * cs)122 g_rec_mutex_impl_free (CRITICAL_SECTION *cs)
123 {
124 DeleteCriticalSection (cs);
125 g_slice_free (CRITICAL_SECTION, cs);
126 }
127
128 static CRITICAL_SECTION *
g_rec_mutex_get_impl(GRecMutex * mutex)129 g_rec_mutex_get_impl (GRecMutex *mutex)
130 {
131 CRITICAL_SECTION *impl = mutex->p;
132
133 if G_UNLIKELY (mutex->p == NULL)
134 {
135 impl = g_rec_mutex_impl_new ();
136 if (InterlockedCompareExchangePointer (&mutex->p, impl, NULL) != NULL)
137 g_rec_mutex_impl_free (impl);
138 impl = mutex->p;
139 }
140
141 return impl;
142 }
143
144 void
g_rec_mutex_init(GRecMutex * mutex)145 g_rec_mutex_init (GRecMutex *mutex)
146 {
147 mutex->p = g_rec_mutex_impl_new ();
148 }
149
150 void
g_rec_mutex_clear(GRecMutex * mutex)151 g_rec_mutex_clear (GRecMutex *mutex)
152 {
153 g_rec_mutex_impl_free (mutex->p);
154 }
155
156 void
g_rec_mutex_lock(GRecMutex * mutex)157 g_rec_mutex_lock (GRecMutex *mutex)
158 {
159 EnterCriticalSection (g_rec_mutex_get_impl (mutex));
160 }
161
162 void
g_rec_mutex_unlock(GRecMutex * mutex)163 g_rec_mutex_unlock (GRecMutex *mutex)
164 {
165 LeaveCriticalSection (mutex->p);
166 }
167
168 gboolean
g_rec_mutex_trylock(GRecMutex * mutex)169 g_rec_mutex_trylock (GRecMutex *mutex)
170 {
171 return TryEnterCriticalSection (g_rec_mutex_get_impl (mutex));
172 }
173
174 /* {{{1 GRWLock */
175
176 void
g_rw_lock_init(GRWLock * lock)177 g_rw_lock_init (GRWLock *lock)
178 {
179 InitializeSRWLock ((gpointer) lock);
180 }
181
182 void
g_rw_lock_clear(GRWLock * lock)183 g_rw_lock_clear (GRWLock *lock)
184 {
185 }
186
187 void
g_rw_lock_writer_lock(GRWLock * lock)188 g_rw_lock_writer_lock (GRWLock *lock)
189 {
190 AcquireSRWLockExclusive ((gpointer) lock);
191 }
192
193 gboolean
g_rw_lock_writer_trylock(GRWLock * lock)194 g_rw_lock_writer_trylock (GRWLock *lock)
195 {
196 return TryAcquireSRWLockExclusive ((gpointer) lock);
197 }
198
199 void
g_rw_lock_writer_unlock(GRWLock * lock)200 g_rw_lock_writer_unlock (GRWLock *lock)
201 {
202 ReleaseSRWLockExclusive ((gpointer) lock);
203 }
204
205 void
g_rw_lock_reader_lock(GRWLock * lock)206 g_rw_lock_reader_lock (GRWLock *lock)
207 {
208 AcquireSRWLockShared ((gpointer) lock);
209 }
210
211 gboolean
g_rw_lock_reader_trylock(GRWLock * lock)212 g_rw_lock_reader_trylock (GRWLock *lock)
213 {
214 return TryAcquireSRWLockShared ((gpointer) lock);
215 }
216
217 void
g_rw_lock_reader_unlock(GRWLock * lock)218 g_rw_lock_reader_unlock (GRWLock *lock)
219 {
220 ReleaseSRWLockShared ((gpointer) lock);
221 }
222
223 /* {{{1 GCond */
224 void
g_cond_init(GCond * cond)225 g_cond_init (GCond *cond)
226 {
227 InitializeConditionVariable ((gpointer) cond);
228 }
229
230 void
g_cond_clear(GCond * cond)231 g_cond_clear (GCond *cond)
232 {
233 }
234
235 void
g_cond_signal(GCond * cond)236 g_cond_signal (GCond *cond)
237 {
238 WakeConditionVariable ((gpointer) cond);
239 }
240
241 void
g_cond_broadcast(GCond * cond)242 g_cond_broadcast (GCond *cond)
243 {
244 WakeAllConditionVariable ((gpointer) cond);
245 }
246
247 void
g_cond_wait(GCond * cond,GMutex * entered_mutex)248 g_cond_wait (GCond *cond,
249 GMutex *entered_mutex)
250 {
251 SleepConditionVariableSRW ((gpointer) cond, (gpointer) entered_mutex, INFINITE, 0);
252 }
253
254 gboolean
g_cond_wait_until(GCond * cond,GMutex * entered_mutex,gint64 end_time)255 g_cond_wait_until (GCond *cond,
256 GMutex *entered_mutex,
257 gint64 end_time)
258 {
259 gint64 span, start_time;
260 DWORD span_millis;
261 gboolean signalled;
262
263 start_time = g_get_monotonic_time ();
264 do
265 {
266 span = end_time - start_time;
267
268 if G_UNLIKELY (span < 0)
269 span_millis = 0;
270 else if G_UNLIKELY (span > G_GINT64_CONSTANT (1000) * (DWORD) INFINITE)
271 span_millis = INFINITE;
272 else
273 /* Round up so we don't time out too early */
274 span_millis = (span + 1000 - 1) / 1000;
275
276 /* We never want to wait infinitely */
277 if (span_millis >= INFINITE)
278 span_millis = INFINITE - 1;
279
280 signalled = SleepConditionVariableSRW ((gpointer) cond, (gpointer) entered_mutex, span_millis, 0);
281 if (signalled)
282 break;
283
284 /* In case we didn't wait long enough after a timeout, wait again for the
285 * remaining time */
286 start_time = g_get_monotonic_time ();
287 }
288 while (start_time < end_time);
289
290 return signalled;
291 }
292
293 /* {{{1 GPrivate */
294
295 typedef struct _GPrivateDestructor GPrivateDestructor;
296
297 struct _GPrivateDestructor
298 {
299 DWORD index;
300 GDestroyNotify notify;
301 GPrivateDestructor *next;
302 };
303
304 static GPrivateDestructor * volatile g_private_destructors;
305 static CRITICAL_SECTION g_private_lock;
306
307 static DWORD
g_private_get_impl(GPrivate * key)308 g_private_get_impl (GPrivate *key)
309 {
310 DWORD impl = (DWORD) key->p;
311
312 if G_UNLIKELY (impl == 0)
313 {
314 EnterCriticalSection (&g_private_lock);
315 impl = (DWORD) key->p;
316 if (impl == 0)
317 {
318 GPrivateDestructor *destructor;
319
320 impl = TlsAlloc ();
321
322 if (impl == TLS_OUT_OF_INDEXES)
323 g_thread_abort (0, "TlsAlloc");
324
325 if (key->notify != NULL)
326 {
327 destructor = malloc (sizeof (GPrivateDestructor));
328 if G_UNLIKELY (destructor == NULL)
329 g_thread_abort (errno, "malloc");
330 destructor->index = impl;
331 destructor->notify = key->notify;
332 destructor->next = g_private_destructors;
333
334 /* We need to do an atomic store due to the unlocked
335 * access to the destructor list from the thread exit
336 * function.
337 *
338 * It can double as a sanity check...
339 */
340 if (InterlockedCompareExchangePointer (&g_private_destructors, destructor,
341 destructor->next) != destructor->next)
342 g_thread_abort (0, "g_private_get_impl(1)");
343 }
344
345 /* Ditto, due to the unlocked access on the fast path */
346 if (InterlockedCompareExchangePointer (&key->p, impl, NULL) != NULL)
347 g_thread_abort (0, "g_private_get_impl(2)");
348 }
349 LeaveCriticalSection (&g_private_lock);
350 }
351
352 return impl;
353 }
354
355 gpointer
g_private_get(GPrivate * key)356 g_private_get (GPrivate *key)
357 {
358 return TlsGetValue (g_private_get_impl (key));
359 }
360
361 void
g_private_set(GPrivate * key,gpointer value)362 g_private_set (GPrivate *key,
363 gpointer value)
364 {
365 TlsSetValue (g_private_get_impl (key), value);
366 }
367
368 void
g_private_replace(GPrivate * key,gpointer value)369 g_private_replace (GPrivate *key,
370 gpointer value)
371 {
372 DWORD impl = g_private_get_impl (key);
373 gpointer old;
374
375 old = TlsGetValue (impl);
376 if (old && key->notify)
377 key->notify (old);
378 TlsSetValue (impl, value);
379 }
380
381 /* {{{1 GThread */
382
383 #define win32_check_for_error(what) G_STMT_START{ \
384 if (!(what)) \
385 g_error ("file %s: line %d (%s): error %s during %s", \
386 __FILE__, __LINE__, G_STRFUNC, \
387 g_win32_error_message (GetLastError ()), #what); \
388 }G_STMT_END
389
390 #define G_MUTEX_SIZE (sizeof (gpointer))
391
392 typedef BOOL (__stdcall *GTryEnterCriticalSectionFunc) (CRITICAL_SECTION *);
393
394 typedef struct
395 {
396 GRealThread thread;
397
398 GThreadFunc proxy;
399 HANDLE handle;
400 } GThreadWin32;
401
402 void
g_system_thread_free(GRealThread * thread)403 g_system_thread_free (GRealThread *thread)
404 {
405 GThreadWin32 *wt = (GThreadWin32 *) thread;
406
407 win32_check_for_error (CloseHandle (wt->handle));
408 g_slice_free (GThreadWin32, wt);
409 }
410
411 void
g_system_thread_exit(void)412 g_system_thread_exit (void)
413 {
414 _endthreadex (0);
415 }
416
417 static guint __stdcall
g_thread_win32_proxy(gpointer data)418 g_thread_win32_proxy (gpointer data)
419 {
420 GThreadWin32 *self = data;
421
422 self->proxy (self);
423
424 g_system_thread_exit ();
425
426 g_assert_not_reached ();
427
428 return 0;
429 }
430
431 GRealThread *
g_system_thread_new(GThreadFunc proxy,gulong stack_size,const char * name,GThreadFunc func,gpointer data,GError ** error)432 g_system_thread_new (GThreadFunc proxy,
433 gulong stack_size,
434 const char *name,
435 GThreadFunc func,
436 gpointer data,
437 GError **error)
438 {
439 GThreadWin32 *thread;
440 GRealThread *base_thread;
441 guint ignore;
442
443 thread = g_slice_new0 (GThreadWin32);
444 thread->proxy = proxy;
445 base_thread = (GRealThread*)thread;
446 base_thread->ref_count = 2;
447 base_thread->ours = TRUE;
448 base_thread->thread.joinable = TRUE;
449 base_thread->thread.func = func;
450 base_thread->thread.data = data;
451 base_thread->name = g_strdup (name);
452
453 thread->handle = (HANDLE) _beginthreadex (NULL, stack_size, g_thread_win32_proxy, thread, 0, &ignore);
454
455 if (thread->handle == NULL)
456 {
457 gchar *win_error = g_win32_error_message (GetLastError ());
458 g_set_error (error, G_THREAD_ERROR, G_THREAD_ERROR_AGAIN,
459 "Error creating thread: %s", win_error);
460 g_free (win_error);
461 g_slice_free (GThreadWin32, thread);
462 return NULL;
463 }
464
465 return (GRealThread *) thread;
466 }
467
468 void
g_thread_yield(void)469 g_thread_yield (void)
470 {
471 Sleep(0);
472 }
473
474 void
g_system_thread_wait(GRealThread * thread)475 g_system_thread_wait (GRealThread *thread)
476 {
477 GThreadWin32 *wt = (GThreadWin32 *) thread;
478
479 win32_check_for_error (WAIT_FAILED != WaitForSingleObject (wt->handle, INFINITE));
480 }
481
482 #define EXCEPTION_SET_THREAD_NAME ((DWORD) 0x406D1388)
483
484 #ifndef _MSC_VER
485 static void *SetThreadName_VEH_handle = NULL;
486
487 static LONG __stdcall
SetThreadName_VEH(PEXCEPTION_POINTERS ExceptionInfo)488 SetThreadName_VEH (PEXCEPTION_POINTERS ExceptionInfo)
489 {
490 if (ExceptionInfo->ExceptionRecord != NULL &&
491 ExceptionInfo->ExceptionRecord->ExceptionCode == EXCEPTION_SET_THREAD_NAME)
492 return EXCEPTION_CONTINUE_EXECUTION;
493
494 return EXCEPTION_CONTINUE_SEARCH;
495 }
496 #endif
497
498 typedef struct _THREADNAME_INFO
499 {
500 DWORD dwType; /* must be 0x1000 */
501 LPCSTR szName; /* pointer to name (in user addr space) */
502 DWORD dwThreadID; /* thread ID (-1=caller thread) */
503 DWORD dwFlags; /* reserved for future use, must be zero */
504 } THREADNAME_INFO;
505
506 static void
SetThreadName(DWORD dwThreadID,LPCSTR szThreadName)507 SetThreadName (DWORD dwThreadID,
508 LPCSTR szThreadName)
509 {
510 THREADNAME_INFO info;
511 DWORD infosize;
512
513 info.dwType = 0x1000;
514 info.szName = szThreadName;
515 info.dwThreadID = dwThreadID;
516 info.dwFlags = 0;
517
518 infosize = sizeof (info) / sizeof (DWORD);
519
520 #ifdef _MSC_VER
521 __try
522 {
523 RaiseException (EXCEPTION_SET_THREAD_NAME, 0, infosize, (DWORD *) &info);
524 }
525 __except (EXCEPTION_EXECUTE_HANDLER)
526 {
527 }
528 #else
529 /* Without a debugger we *must* have an exception handler,
530 * otherwise raising an exception will crash the process.
531 */
532 if ((!IsDebuggerPresent ()) && (SetThreadName_VEH_handle == NULL))
533 return;
534
535 RaiseException (EXCEPTION_SET_THREAD_NAME, 0, infosize, (DWORD *) &info);
536 #endif
537 }
538
539 void
g_system_thread_set_name(const gchar * name)540 g_system_thread_set_name (const gchar *name)
541 {
542 SetThreadName ((DWORD) -1, name);
543 }
544
545 /* {{{1 Epilogue */
546
547 void
g_thread_win32_init(void)548 g_thread_win32_init (void)
549 {
550 InitializeCriticalSection (&g_private_lock);
551
552 #ifndef _MSC_VER
553 SetThreadName_VEH_handle = AddVectoredExceptionHandler (1, &SetThreadName_VEH);
554 if (SetThreadName_VEH_handle == NULL)
555 {
556 /* This is bad, but what can we do? */
557 }
558 #endif
559 }
560
561 void
g_thread_win32_thread_detach(void)562 g_thread_win32_thread_detach (void)
563 {
564 gboolean dtors_called;
565
566 do
567 {
568 GPrivateDestructor *dtor;
569
570 /* We go by the POSIX book on this one.
571 *
572 * If we call a destructor then there is a chance that some new
573 * TLS variables got set by code called in that destructor.
574 *
575 * Loop until nothing is left.
576 */
577 dtors_called = FALSE;
578
579 for (dtor = g_private_destructors; dtor; dtor = dtor->next)
580 {
581 gpointer value;
582
583 value = TlsGetValue (dtor->index);
584 if (value != NULL && dtor->notify != NULL)
585 {
586 /* POSIX says to clear this before the call */
587 TlsSetValue (dtor->index, NULL);
588 dtor->notify (value);
589 dtors_called = TRUE;
590 }
591 }
592 }
593 while (dtors_called);
594 }
595
596 void
g_thread_win32_process_detach(void)597 g_thread_win32_process_detach (void)
598 {
599 #ifndef _MSC_VER
600 if (SetThreadName_VEH_handle != NULL)
601 {
602 RemoveVectoredExceptionHandler (SetThreadName_VEH_handle);
603 SetThreadName_VEH_handle = NULL;
604 }
605 #endif
606 }
607
608 /* vim:set foldmethod=marker: */
609