3 /* xbt_os_thread -- portability layer over the pthread API */
4 /* Used in RL to get win/lin portability, and in SG when CONTEXT_THREAD */
5 /* in SG, when using CONTEXT_UCONTEXT, xbt_os_thread_stub is used instead */
7 /* Copyright 2006,2007 Malek Cherier, Martin Quinson
8 * All right reserved. */
10 /* This program is free software; you can redistribute it and/or modify it
11 * under the terms of the license (GNU LGPL) which comes with this package. */
13 #include "xbt/sysdep.h"
15 #include "xbt/ex_interface.h" /* We play crude games with exceptions */
17 #include "xbt/xbt_os_time.h" /* Portable time facilities */
18 #include "xbt/xbt_os_thread.h" /* This module */
19 #include "xbt_modinter.h" /* Initialization/finalization of this module */
21 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt,
22 "Synchronization mechanism (OS-level)");
24 /* ********************************* PTHREAD IMPLEMENTATION ************************************ */
28 #include <semaphore.h>
30 #ifdef HAVE_MUTEX_TIMEDLOCK
31 /* redefine the function header since we fail to get this from system headers on amd (at least) */
32 int pthread_mutex_timedlock(pthread_mutex_t * mutex,
33 const struct timespec *abs_timeout);
37 /* use named sempahore when sem_init() does not work */
39 static int next_sem_ID = 0;
40 static xbt_os_mutex_t next_sem_ID_lock;
43 typedef struct xbt_os_thread_ {
47 pvoid_f_pvoid_t start_routine;
50 static xbt_os_thread_t main_thread = NULL;
52 /* thread-specific data containing the xbt_os_thread_t structure */
53 static pthread_key_t xbt_self_thread_key;
54 static int thread_mod_inited = 0;
56 /* frees the xbt_os_thread_t corresponding to the current thread */
57 static void xbt_os_thread_free_thread_data(void *d)
62 /* callback: context fetching */
63 static ex_ctx_t *_os_thread_ex_ctx(void)
65 return xbt_os_thread_self()->exception;
68 /* callback: termination */
69 static void _os_thread_ex_terminate(xbt_ex_t * e)
74 /* FIXME: there should be a configuration variable to choose to kill everyone or only this one */
77 void xbt_os_thread_mod_init(void)
81 if (thread_mod_inited)
84 if ((errcode = pthread_key_create(&xbt_self_thread_key, NULL)))
85 THROW0(system_error, errcode,
86 "pthread_key_create failed for xbt_self_thread_key");
88 main_thread = xbt_new(s_xbt_os_thread_t, 1);
89 main_thread->name = (char *) "main";
90 main_thread->start_routine = NULL;
91 main_thread->param = NULL;
92 main_thread->exception = xbt_new(ex_ctx_t, 1);
93 XBT_CTX_INITIALIZE(main_thread->exception);
95 __xbt_ex_ctx = _os_thread_ex_ctx;
96 __xbt_ex_terminate = _os_thread_ex_terminate;
98 thread_mod_inited = 1;
100 #ifndef HAVE_SEM_WAIT
101 next_sem_ID_lock = xbt_os_mutex_init();
106 void xbt_os_thread_mod_exit(void)
108 /* FIXME: don't try to free our key on shutdown.
109 Valgrind detects no leak if we don't, and whine if we try to */
112 // if ((errcode=pthread_key_delete(xbt_self_thread_key)))
113 // THROW0(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
114 free(main_thread->exception);
117 thread_mod_inited = 0;
118 #ifndef HAVE_SEM_WAIT
119 xbt_os_mutex_destroy(next_sem_ID_lock);
123 static void *wrapper_start_routine(void *s)
125 xbt_os_thread_t t = s;
128 if ((errcode = pthread_setspecific(xbt_self_thread_key, t)))
129 THROW0(system_error, errcode,
130 "pthread_setspecific failed for xbt_self_thread_key");
132 return (*(t->start_routine)) (t->param);
135 xbt_os_thread_t xbt_os_thread_create(const char *name,
136 pvoid_f_pvoid_t start_routine,
141 xbt_os_thread_t res_thread = xbt_new(s_xbt_os_thread_t, 1);
142 res_thread->name = xbt_strdup(name);
143 res_thread->start_routine = start_routine;
144 res_thread->param = param;
145 res_thread->exception = xbt_new(ex_ctx_t, 1);
146 XBT_CTX_INITIALIZE(res_thread->exception);
148 if ((errcode = pthread_create(&(res_thread->t), NULL,
149 wrapper_start_routine, res_thread)))
150 THROW1(system_error, errcode,
151 "pthread_create failed: %s", strerror(errcode));
156 const char *xbt_os_thread_name(xbt_os_thread_t t)
161 const char *xbt_os_thread_self_name(void)
163 xbt_os_thread_t self = xbt_os_thread_self();
164 return self ? self->name : "main";
167 void xbt_os_thread_join(xbt_os_thread_t thread, void **thread_return)
172 if ((errcode = pthread_join(thread->t, thread_return)))
173 THROW1(system_error, errcode, "pthread_join failed: %s",
175 if (thread->exception)
176 free(thread->exception);
181 if (thread == main_thread) /* just killed main thread */
187 void xbt_os_thread_exit(int *retval)
189 pthread_exit(retval);
192 xbt_os_thread_t xbt_os_thread_self(void)
196 if (!thread_mod_inited)
199 res = pthread_getspecific(xbt_self_thread_key);
207 void xbt_os_thread_yield(void)
212 void xbt_os_thread_cancel(xbt_os_thread_t t)
214 pthread_cancel(t->t);
217 /****** mutex related functions ******/
218 typedef struct xbt_os_mutex_ {
219 /* KEEP IT IN SYNC WITH xbt_thread.c */
226 xbt_os_mutex_t xbt_os_mutex_init(void)
228 xbt_os_mutex_t res = xbt_new(s_xbt_os_mutex_t, 1);
231 if ((errcode = pthread_mutex_init(&(res->m), NULL)))
232 THROW1(system_error, errcode, "pthread_mutex_init() failed: %s",
238 void xbt_os_mutex_acquire(xbt_os_mutex_t mutex)
242 if ((errcode = pthread_mutex_lock(&(mutex->m))))
243 THROW2(system_error, errcode, "pthread_mutex_lock(%p) failed: %s",
244 mutex, strerror(errcode));
248 void xbt_os_mutex_timedacquire(xbt_os_mutex_t mutex, double delay)
253 xbt_os_mutex_acquire(mutex);
255 } else if (delay == 0) {
256 errcode = pthread_mutex_trylock(&(mutex->m));
262 THROW1(timeout_error, 0, "mutex %p not ready", mutex);
264 THROW2(system_error, errcode, "xbt_mutex_timedacquire(%p) failed: %s",
265 mutex, strerror(errcode));
271 #ifdef HAVE_MUTEX_TIMEDLOCK
272 struct timespec ts_end;
273 double end = delay + xbt_os_time();
275 ts_end.tv_sec = (time_t) floor(end);
276 ts_end.tv_nsec = (long) ((end - ts_end.tv_sec) * 1000000000);
277 DEBUG2("pthread_mutex_timedlock(%p,%p)", &(mutex->m), &ts_end);
279 errcode = pthread_mutex_timedlock(&(mutex->m), &ts_end);
281 #else /* Well, let's reimplement it since those lazy libc dudes didn't */
282 double start = xbt_os_time();
284 errcode = pthread_mutex_trylock(&(mutex->m));
285 if (errcode == EBUSY)
286 xbt_os_thread_yield();
287 } while (errcode == EBUSY && xbt_os_time() - start < delay);
289 if (errcode == EBUSY)
292 #endif /* HAVE_MUTEX_TIMEDLOCK */
299 THROW2(timeout_error, delay,
300 "mutex %p wasn't signaled before timeout (%f)", mutex, delay);
303 THROW3(system_error, errcode,
304 "pthread_mutex_timedlock(%p,%f) failed: %s", mutex, delay,
310 void xbt_os_mutex_release(xbt_os_mutex_t mutex)
314 if ((errcode = pthread_mutex_unlock(&(mutex->m))))
315 THROW2(system_error, errcode, "pthread_mutex_unlock(%p) failed: %s",
316 mutex, strerror(errcode));
319 void xbt_os_mutex_destroy(xbt_os_mutex_t mutex)
326 if ((errcode = pthread_mutex_destroy(&(mutex->m))))
327 THROW2(system_error, errcode, "pthread_mutex_destroy(%p) failed: %s",
328 mutex, strerror(errcode));
332 /***** condition related functions *****/
333 typedef struct xbt_os_cond_ {
334 /* KEEP IT IN SYNC WITH xbt_thread.c */
338 xbt_os_cond_t xbt_os_cond_init(void)
340 xbt_os_cond_t res = xbt_new(s_xbt_os_cond_t, 1);
342 if ((errcode = pthread_cond_init(&(res->c), NULL)))
343 THROW1(system_error, errcode, "pthread_cond_init() failed: %s",
349 void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex)
352 if ((errcode = pthread_cond_wait(&(cond->c), &(mutex->m))))
353 THROW3(system_error, errcode, "pthread_cond_wait(%p,%p) failed: %s",
354 cond, mutex, strerror(errcode));
358 void xbt_os_cond_timedwait(xbt_os_cond_t cond, xbt_os_mutex_t mutex,
362 struct timespec ts_end;
363 double end = delay + xbt_os_time();
366 xbt_os_cond_wait(cond, mutex);
368 ts_end.tv_sec = (time_t) floor(end);
369 ts_end.tv_nsec = (long) ((end - ts_end.tv_sec) * 1000000000);
370 DEBUG3("pthread_cond_timedwait(%p,%p,%p)", &(cond->c), &(mutex->m),
373 pthread_cond_timedwait(&(cond->c), &(mutex->m), &ts_end))) {
377 THROW3(timeout_error, errcode,
378 "condition %p (mutex %p) wasn't signaled before timeout (%f)",
381 THROW4(system_error, errcode,
382 "pthread_cond_timedwait(%p,%p,%f) failed: %s", cond, mutex,
383 delay, strerror(errcode));
388 void xbt_os_cond_signal(xbt_os_cond_t cond)
391 if ((errcode = pthread_cond_signal(&(cond->c))))
392 THROW2(system_error, errcode, "pthread_cond_signal(%p) failed: %s",
393 cond, strerror(errcode));
396 void xbt_os_cond_broadcast(xbt_os_cond_t cond)
399 if ((errcode = pthread_cond_broadcast(&(cond->c))))
400 THROW2(system_error, errcode, "pthread_cond_broadcast(%p) failed: %s",
401 cond, strerror(errcode));
404 void xbt_os_cond_destroy(xbt_os_cond_t cond)
411 if ((errcode = pthread_cond_destroy(&(cond->c))))
412 THROW2(system_error, errcode, "pthread_cond_destroy(%p) failed: %s",
413 cond, strerror(errcode));
417 void *xbt_os_thread_getparam(void)
419 xbt_os_thread_t t = xbt_os_thread_self();
420 return t ? t->param : NULL;
423 typedef struct xbt_os_sem_ {
424 #ifndef HAVE_SEM_INIT
432 #define SEM_FAILED (-1)
435 xbt_os_sem_t xbt_os_sem_init(unsigned int value)
437 xbt_os_sem_t res = xbt_new(s_xbt_os_sem_t, 1);
439 /* On some systems (MAC OS X), only the stub of sem_init is to be found.
440 * Any attempt to use it leads to ENOSYS (function not implemented).
441 * If such a prehistoric system is detected, do the job with sem_open instead
444 if (sem_init(&(res->s), 0, value) != 0)
445 THROW1(system_error, errno, "sem_init() failed: %s", strerror(errno));
448 #else /* damn, no sem_init(). Reimplement it */
450 xbt_os_mutex_acquire(next_sem_ID_lock);
451 res->name = bprintf("/%d.%d", (*xbt_getpid) (), ++next_sem_ID);
452 xbt_os_mutex_release(next_sem_ID_lock);
454 res->ps = sem_open(res->name, O_CREAT, 0644, value);
455 if ((res->ps == (sem_t *) SEM_FAILED) && (errno == ENAMETOOLONG)) {
456 /* Old darwins only allow 13 chars. Did you create *that* amount of semaphores? */
457 res->name[13] = '\0';
458 res->ps = sem_open(res->name, O_CREAT, 0644, 1);
460 if ((res->ps == (sem_t *) SEM_FAILED))
461 THROW1(system_error, errno, "sem_open() failed: %s", strerror(errno));
463 /* Remove the name from the semaphore namespace: we never join on it */
464 if (sem_unlink(res->name) < 0)
465 THROW1(system_error, errno, "sem_unlink() failed: %s", strerror(errno));
472 void xbt_os_sem_acquire(xbt_os_sem_t sem)
475 THROW0(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
476 if (sem_wait(sem->ps) < 0)
477 THROW1(system_error, errno, "sem_wait() failed: %s", strerror(errno));
480 void xbt_os_sem_timedacquire(xbt_os_sem_t sem, double delay)
485 THROW0(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
488 xbt_os_sem_acquire(sem);
489 } else if (delay == 0) {
490 errcode = sem_trywait(sem->ps);
496 THROW1(timeout_error, 0, "semaphore %p not ready", sem);
498 THROW2(system_error, errcode, "xbt_os_sem_timedacquire(%p) failed: %s",
499 sem, strerror(errcode));
504 struct timespec ts_end;
505 double end = delay + xbt_os_time();
507 ts_end.tv_sec = (time_t) floor(end);
508 ts_end.tv_nsec = (long) ((end - ts_end.tv_sec) * 1000000000);
509 DEBUG2("sem_timedwait(%p,%p)", sem->ps, &ts_end);
510 errcode = sem_timedwait(sem->s, &ts_end);
512 #else /* Okay, reimplement this function then */
513 double start = xbt_os_time();
515 errcode = sem_trywait(sem->ps);
516 if (errcode == EBUSY)
517 xbt_os_thread_yield();
518 } while (errcode == EBUSY && xbt_os_time() - start < delay);
520 if (errcode == EBUSY)
529 THROW2(timeout_error, delay,
530 "semaphore %p wasn't signaled before timeout (%f)", sem, delay);
533 THROW3(system_error, errcode, "sem_timedwait(%p,%f) failed: %s", sem,
534 delay, strerror(errcode));
539 void xbt_os_sem_release(xbt_os_sem_t sem)
542 THROW0(arg_error, EINVAL, "Cannot release of the NULL semaphore");
544 if (sem_post(sem->ps) < 0)
545 THROW1(system_error, errno, "sem_post() failed: %s", strerror(errno));
548 void xbt_os_sem_destroy(xbt_os_sem_t sem)
551 THROW0(arg_error, EINVAL, "Cannot destroy the NULL sempahore");
554 if (sem_destroy(sem->ps))
556 THROW1(system_error, errno, "sem_destroy() failed: %s",
559 if (sem_close(sem->ps) < 0)
560 THROW1(system_error, errno, "sem_close() failed: %s", strerror(errno));
567 void xbt_os_sem_get_value(xbt_os_sem_t sem, int *svalue)
570 THROW0(arg_error, EINVAL, "Cannot get the value of the NULL semaphore");
572 if (sem_getvalue(&(sem->s), svalue) < 0)
573 THROW1(system_error, errno, "sem_getvalue() failed: %s", strerror(errno));
576 /* ********************************* WINDOWS IMPLEMENTATION ************************************ */
582 typedef struct xbt_os_thread_ {
584 HANDLE handle; /* the win thread handle */
585 unsigned long id; /* the win thread id */
586 pvoid_f_pvoid_t start_routine;
590 /* so we can specify the size of the stack of the threads */
591 #ifndef STACK_SIZE_PARAM_IS_A_RESERVATION
592 #define STACK_SIZE_PARAM_IS_A_RESERVATION 0x00010000
595 /* the default size of the stack of the threads (in bytes)*/
596 #define XBT_DEFAULT_THREAD_STACK_SIZE 4096
598 /* key to the TLS containing the xbt_os_thread_t structure */
599 static unsigned long xbt_self_thread_key;
601 void xbt_os_thread_mod_init(void)
603 xbt_self_thread_key = TlsAlloc();
606 void xbt_os_thread_mod_exit(void)
609 if (!TlsFree(xbt_self_thread_key))
610 THROW0(system_error, (int) GetLastError(),
611 "TlsFree() failed to cleanup the thread submodule");
614 static DWORD WINAPI wrapper_start_routine(void *s)
616 xbt_os_thread_t t = (xbt_os_thread_t) s;
619 if (!TlsSetValue(xbt_self_thread_key, t))
620 THROW0(system_error, (int) GetLastError(),
621 "TlsSetValue of data describing the created thread failed");
623 rv = (DWORD *) ((t->start_routine) (t->param));
630 xbt_os_thread_t xbt_os_thread_create(const char *name,
631 pvoid_f_pvoid_t start_routine,
635 xbt_os_thread_t t = xbt_new(s_xbt_os_thread_t, 1);
637 t->name = xbt_strdup(name);
638 t->start_routine = start_routine;
641 t->handle = CreateThread(NULL, XBT_DEFAULT_THREAD_STACK_SIZE,
642 (LPTHREAD_START_ROUTINE) wrapper_start_routine,
643 t, STACK_SIZE_PARAM_IS_A_RESERVATION, &(t->id));
647 THROW0(system_error, (int) GetLastError(), "CreateThread failed");
653 const char *xbt_os_thread_name(xbt_os_thread_t t)
658 const char *xbt_os_thread_self_name(void)
660 xbt_os_thread_t t = xbt_os_thread_self();
661 return t ? t->name : "main";
664 void xbt_os_thread_join(xbt_os_thread_t thread, void **thread_return)
667 if (WAIT_OBJECT_0 != WaitForSingleObject(thread->handle, INFINITE))
668 THROW0(system_error, (int) GetLastError(), "WaitForSingleObject failed");
672 if (!GetExitCodeThread(thread->handle, (DWORD *) (*thread_return)))
673 THROW0(system_error, (int) GetLastError(), "GetExitCodeThread failed");
676 CloseHandle(thread->handle);
684 void xbt_os_thread_exit(int *retval)
692 xbt_os_thread_t xbt_os_thread_self(void)
694 return TlsGetValue(xbt_self_thread_key);
697 void *xbt_os_thread_getparam(void)
699 xbt_os_thread_t t = xbt_os_thread_self();
704 void xbt_os_thread_yield(void)
709 void xbt_os_thread_cancel(xbt_os_thread_t t)
711 if (!TerminateThread(t->handle, 0))
712 THROW0(system_error, (int) GetLastError(), "TerminateThread failed");
715 /****** mutex related functions ******/
716 typedef struct xbt_os_mutex_ {
717 /* KEEP IT IN SYNC WITH xbt_thread.c */
718 CRITICAL_SECTION lock;
721 xbt_os_mutex_t xbt_os_mutex_init(void)
723 xbt_os_mutex_t res = xbt_new(s_xbt_os_mutex_t, 1);
725 /* initialize the critical section object */
726 InitializeCriticalSection(&(res->lock));
731 void xbt_os_mutex_acquire(xbt_os_mutex_t mutex)
733 EnterCriticalSection(&mutex->lock);
736 void xbt_os_mutex_timedacquire(xbt_os_mutex_t mutex, double delay)
741 void xbt_os_mutex_release(xbt_os_mutex_t mutex)
744 LeaveCriticalSection(&mutex->lock);
748 void xbt_os_mutex_destroy(xbt_os_mutex_t mutex)
754 DeleteCriticalSection(&mutex->lock);
758 /***** condition related functions *****/
759 enum { /* KEEP IT IN SYNC WITH xbt_thread.c */
765 typedef struct xbt_os_cond_ {
766 /* KEEP IT IN SYNC WITH xbt_thread.c */
767 HANDLE events[MAX_EVENTS];
769 unsigned int waiters_count; /* the number of waiters */
770 CRITICAL_SECTION waiters_count_lock; /* protect access to waiters_count */
773 xbt_os_cond_t xbt_os_cond_init(void)
776 xbt_os_cond_t res = xbt_new0(s_xbt_os_cond_t, 1);
778 memset(&res->waiters_count_lock, 0, sizeof(CRITICAL_SECTION));
780 /* initialize the critical section object */
781 InitializeCriticalSection(&res->waiters_count_lock);
783 res->waiters_count = 0;
785 /* Create an auto-reset event */
786 res->events[SIGNAL] = CreateEvent(NULL, FALSE, FALSE, NULL);
788 if (!res->events[SIGNAL]) {
789 DeleteCriticalSection(&res->waiters_count_lock);
791 THROW0(system_error, 0, "CreateEvent failed for the signals");
794 /* Create a manual-reset event. */
795 res->events[BROADCAST] = CreateEvent(NULL, TRUE, FALSE, NULL);
797 if (!res->events[BROADCAST]) {
799 DeleteCriticalSection(&res->waiters_count_lock);
800 CloseHandle(res->events[SIGNAL]);
802 THROW0(system_error, 0, "CreateEvent failed for the broadcasts");
808 void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex)
811 unsigned long wait_result;
814 /* lock the threads counter and increment it */
815 EnterCriticalSection(&cond->waiters_count_lock);
816 cond->waiters_count++;
817 LeaveCriticalSection(&cond->waiters_count_lock);
819 /* unlock the mutex associate with the condition */
820 LeaveCriticalSection(&mutex->lock);
822 /* wait for a signal (broadcast or no) */
823 wait_result = WaitForMultipleObjects(2, cond->events, FALSE, INFINITE);
825 if (wait_result == WAIT_FAILED)
826 THROW0(system_error, 0,
827 "WaitForMultipleObjects failed, so we cannot wait on the condition");
829 /* we have a signal lock the condition */
830 EnterCriticalSection(&cond->waiters_count_lock);
831 cond->waiters_count--;
833 /* it's the last waiter or it's a broadcast ? */
834 is_last_waiter = ((wait_result == WAIT_OBJECT_0 + BROADCAST - 1)
835 && (cond->waiters_count == 0));
837 LeaveCriticalSection(&cond->waiters_count_lock);
839 /* yes it's the last waiter or it's a broadcast
840 * only reset the manual event (the automatic event is reset in the WaitForMultipleObjects() function
844 if (!ResetEvent(cond->events[BROADCAST]))
845 THROW0(system_error, 0, "ResetEvent failed");
847 /* relock the mutex associated with the condition in accordance with the posix thread specification */
848 EnterCriticalSection(&mutex->lock);
851 void xbt_os_cond_timedwait(xbt_os_cond_t cond, xbt_os_mutex_t mutex,
855 unsigned long wait_result = WAIT_TIMEOUT;
857 unsigned long end = (unsigned long) (delay * 1000);
861 xbt_os_cond_wait(cond, mutex);
863 DEBUG3("xbt_cond_timedwait(%p,%p,%lu)", &(cond->events), &(mutex->lock),
866 /* lock the threads counter and increment it */
867 EnterCriticalSection(&cond->waiters_count_lock);
868 cond->waiters_count++;
869 LeaveCriticalSection(&cond->waiters_count_lock);
871 /* unlock the mutex associate with the condition */
872 LeaveCriticalSection(&mutex->lock);
873 /* wait for a signal (broadcast or no) */
875 wait_result = WaitForMultipleObjects(2, cond->events, FALSE, end);
877 switch (wait_result) {
879 THROW3(timeout_error, GetLastError(),
880 "condition %p (mutex %p) wasn't signaled before timeout (%f)",
883 THROW0(system_error, GetLastError(),
884 "WaitForMultipleObjects failed, so we cannot wait on the condition");
887 /* we have a signal lock the condition */
888 EnterCriticalSection(&cond->waiters_count_lock);
889 cond->waiters_count--;
891 /* it's the last waiter or it's a broadcast ? */
892 is_last_waiter = ((wait_result == WAIT_OBJECT_0 + BROADCAST - 1)
893 && (cond->waiters_count == 0));
895 LeaveCriticalSection(&cond->waiters_count_lock);
897 /* yes it's the last waiter or it's a broadcast
898 * only reset the manual event (the automatic event is reset in the WaitForMultipleObjects() function
902 if (!ResetEvent(cond->events[BROADCAST]))
903 THROW0(system_error, 0, "ResetEvent failed");
905 /* relock the mutex associated with the condition in accordance with the posix thread specification */
906 EnterCriticalSection(&mutex->lock);
908 /*THROW_UNIMPLEMENTED; */
911 void xbt_os_cond_signal(xbt_os_cond_t cond)
915 EnterCriticalSection(&cond->waiters_count_lock);
916 have_waiters = cond->waiters_count > 0;
917 LeaveCriticalSection(&cond->waiters_count_lock);
920 if (!SetEvent(cond->events[SIGNAL]))
921 THROW0(system_error, 0, "SetEvent failed");
923 xbt_os_thread_yield();
926 void xbt_os_cond_broadcast(xbt_os_cond_t cond)
930 EnterCriticalSection(&cond->waiters_count_lock);
931 have_waiters = cond->waiters_count > 0;
932 LeaveCriticalSection(&cond->waiters_count_lock);
935 SetEvent(cond->events[BROADCAST]);
938 void xbt_os_cond_destroy(xbt_os_cond_t cond)
945 if (!CloseHandle(cond->events[SIGNAL]))
948 if (!CloseHandle(cond->events[BROADCAST]))
951 DeleteCriticalSection(&cond->waiters_count_lock);
956 THROW0(system_error, 0, "Error while destroying the condition");
959 typedef struct xbt_os_sem_ {
962 CRITICAL_SECTION value_lock; /* protect access to value of the semaphore */
966 # define INT_MAX 32767 /* let's be safe by underestimating this value: this is for 16bits only */
969 xbt_os_sem_t xbt_os_sem_init(unsigned int value)
974 THROW1(arg_error, value,
975 "Semaphore initial value too big: %ud cannot be stored as a signed int",
978 res = (xbt_os_sem_t) xbt_new0(s_xbt_os_sem_t, 1);
980 if (!(res->h = CreateSemaphore(NULL, value, (long) INT_MAX, NULL))) {
981 THROW1(system_error, GetLastError(), "CreateSemaphore() failed: %s",
982 strerror(GetLastError()));
988 InitializeCriticalSection(&(res->value_lock));
993 void xbt_os_sem_acquire(xbt_os_sem_t sem)
996 THROW0(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
999 if (WAIT_OBJECT_0 != WaitForSingleObject(sem->h, INFINITE))
1000 THROW1(system_error, GetLastError(), "WaitForSingleObject() failed: %s",
1001 strerror(GetLastError()));
1002 EnterCriticalSection(&(sem->value_lock));
1004 LeaveCriticalSection(&(sem->value_lock));
1007 void xbt_os_sem_timedacquire(xbt_os_sem_t sem, double timeout)
1011 double end = timeout + xbt_os_time();
1014 THROW0(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
1017 xbt_os_sem_acquire(sem);
1018 } else { /* timeout can be zero <-> try acquire ) */
1021 seconds = (long) floor(end);
1022 milliseconds = (long) ((end - seconds) * 1000);
1023 milliseconds += (seconds * 1000);
1025 switch (WaitForSingleObject(sem->h, milliseconds)) {
1027 EnterCriticalSection(&(sem->value_lock));
1029 LeaveCriticalSection(&(sem->value_lock));
1033 THROW2(timeout_error, GetLastError(),
1034 "semaphore %p wasn't signaled before timeout (%f)", sem,
1039 THROW3(system_error, GetLastError(),
1040 "WaitForSingleObject(%p,%f) failed: %s", sem, timeout,
1041 strerror(GetLastError()));
1046 void xbt_os_sem_release(xbt_os_sem_t sem)
1049 THROW0(arg_error, EINVAL, "Cannot release the NULL semaphore");
1051 if (!ReleaseSemaphore(sem->h, 1, NULL))
1052 THROW1(system_error, GetLastError(), "ReleaseSemaphore() failed: %s",
1053 strerror(GetLastError()));
1054 EnterCriticalSection(&(sem->value_lock));
1056 LeaveCriticalSection(&(sem->value_lock));
1059 void xbt_os_sem_destroy(xbt_os_sem_t sem)
1062 THROW0(arg_error, EINVAL, "Cannot destroy the NULL semaphore");
1064 if (!CloseHandle(sem->h))
1065 THROW1(system_error, GetLastError(), "CloseHandle() failed: %s",
1066 strerror(GetLastError()));
1068 DeleteCriticalSection(&(sem->value_lock));
1074 void xbt_os_sem_get_value(xbt_os_sem_t sem, int *svalue)
1077 THROW0(arg_error, EINVAL, "Cannot get the value of the NULL semaphore");
1079 EnterCriticalSection(&(sem->value_lock));
1080 *svalue = sem->value;
1081 LeaveCriticalSection(&(sem->value_lock));