1 /* xbt_os_thread -- portability layer over the pthread API */
2 /* Used in RL to get win/lin portability, and in SG when CONTEXT_THREAD */
3 /* in SG, when using CONTEXT_UCONTEXT, xbt_os_thread_stub is used instead */
5 /* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
6 * All rights reserved. */
8 /* This program is free software; you can redistribute it and/or modify it
9 * under the terms of the license (GNU LGPL) which comes with this package. */
11 #include "xbt/sysdep.h"
13 #include "xbt/ex_interface.h" /* We play crude games with exceptions */
15 #include "xbt/xbt_os_time.h" /* Portable time facilities */
16 #include "xbt/xbt_os_thread.h" /* This module */
17 #include "xbt_modinter.h" /* Initialization/finalization of this module */
19 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt,
20 "Synchronization mechanism (OS-level)");
22 /* ********************************* PTHREAD IMPLEMENTATION ************************************ */
26 #include <semaphore.h>
28 #ifdef HAVE_MUTEX_TIMEDLOCK
29 /* redefine the function header since we fail to get this from system headers on amd (at least) */
30 int pthread_mutex_timedlock(pthread_mutex_t * mutex,
31 const struct timespec *abs_timeout);
35 /* use named sempahore when sem_init() does not work */
37 static int next_sem_ID = 0;
38 static xbt_os_mutex_t next_sem_ID_lock;
41 typedef struct xbt_os_thread_ {
45 pvoid_f_pvoid_t start_routine;
48 static xbt_os_thread_t main_thread = NULL;
50 /* thread-specific data containing the xbt_os_thread_t structure */
51 static pthread_key_t xbt_self_thread_key;
52 static int thread_mod_inited = 0;
54 /* frees the xbt_os_thread_t corresponding to the current thread */
55 static void xbt_os_thread_free_thread_data(void *d)
60 /* callback: context fetching */
61 static ex_ctx_t *_os_thread_ex_ctx(void)
63 return xbt_os_thread_self()->exception;
66 /* callback: termination */
67 static void _os_thread_ex_terminate(xbt_ex_t * e)
72 /* FIXME: there should be a configuration variable to choose to kill everyone or only this one */
75 void xbt_os_thread_mod_preinit(void)
79 if (thread_mod_inited)
82 if ((errcode = pthread_key_create(&xbt_self_thread_key, NULL)))
83 THROW0(system_error, errcode,
84 "pthread_key_create failed for xbt_self_thread_key");
86 main_thread = xbt_new(s_xbt_os_thread_t, 1);
87 main_thread->name = (char *) "main";
88 main_thread->start_routine = NULL;
89 main_thread->param = NULL;
90 main_thread->exception = xbt_new(ex_ctx_t, 1);
91 XBT_CTX_INITIALIZE(main_thread->exception);
93 __xbt_ex_ctx = _os_thread_ex_ctx;
94 __xbt_ex_terminate = _os_thread_ex_terminate;
96 thread_mod_inited = 1;
99 next_sem_ID_lock = xbt_os_mutex_init();
104 void xbt_os_thread_mod_postexit(void) {
105 /* FIXME: don't try to free our key on shutdown.
106 Valgrind detects no leak if we don't, and whine if we try to */
109 // if ((errcode=pthread_key_delete(xbt_self_thread_key)))
110 // THROW0(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
111 free(main_thread->exception);
114 thread_mod_inited = 0;
115 #ifndef HAVE_SEM_WAIT
116 xbt_os_mutex_destroy(next_sem_ID_lock);
119 /* Restore the default exception setup */
120 __xbt_ex_ctx = &__xbt_ex_ctx_default;
121 __xbt_ex_terminate = &__xbt_ex_terminate_default;
124 static void *wrapper_start_routine(void *s)
126 xbt_os_thread_t t = s;
129 if ((errcode = pthread_setspecific(xbt_self_thread_key, t)))
130 THROW0(system_error, errcode,
131 "pthread_setspecific failed for xbt_self_thread_key");
133 return (*(t->start_routine)) (t->param);
136 xbt_os_thread_t xbt_os_thread_create(const char *name,
137 pvoid_f_pvoid_t start_routine,
142 xbt_os_thread_t res_thread = xbt_new(s_xbt_os_thread_t, 1);
143 res_thread->name = xbt_strdup(name);
144 res_thread->start_routine = start_routine;
145 res_thread->param = param;
146 res_thread->exception = xbt_new(ex_ctx_t, 1);
147 XBT_CTX_INITIALIZE(res_thread->exception);
149 if ((errcode = pthread_create(&(res_thread->t), NULL,
150 wrapper_start_routine, res_thread)))
151 THROW1(system_error, errcode,
152 "pthread_create failed: %s", strerror(errcode));
157 const char *xbt_os_thread_name(xbt_os_thread_t t)
162 const char *xbt_os_thread_self_name(void)
164 xbt_os_thread_t self = xbt_os_thread_self();
165 return self ? self->name : "main";
168 void xbt_os_thread_join(xbt_os_thread_t thread, void **thread_return)
173 if ((errcode = pthread_join(thread->t, thread_return)))
174 THROW1(system_error, errcode, "pthread_join failed: %s",
176 if (thread->exception)
177 free(thread->exception);
182 if (thread == main_thread) /* just killed main thread */
188 void xbt_os_thread_exit(int *retval)
190 pthread_exit(retval);
193 xbt_os_thread_t xbt_os_thread_self(void)
197 if (!thread_mod_inited)
200 res = pthread_getspecific(xbt_self_thread_key);
208 void xbt_os_thread_yield(void)
213 void xbt_os_thread_cancel(xbt_os_thread_t t)
215 pthread_cancel(t->t);
218 /****** mutex related functions ******/
219 typedef struct xbt_os_mutex_ {
220 /* KEEP IT IN SYNC WITH xbt_thread.c */
227 xbt_os_mutex_t xbt_os_mutex_init(void)
229 xbt_os_mutex_t res = xbt_new(s_xbt_os_mutex_t, 1);
232 if ((errcode = pthread_mutex_init(&(res->m), NULL)))
233 THROW1(system_error, errcode, "pthread_mutex_init() failed: %s",
239 void xbt_os_mutex_acquire(xbt_os_mutex_t mutex)
243 if ((errcode = pthread_mutex_lock(&(mutex->m))))
244 THROW2(system_error, errcode, "pthread_mutex_lock(%p) failed: %s",
245 mutex, strerror(errcode));
249 void xbt_os_mutex_timedacquire(xbt_os_mutex_t mutex, double delay)
254 xbt_os_mutex_acquire(mutex);
256 } else if (delay == 0) {
257 errcode = pthread_mutex_trylock(&(mutex->m));
263 THROW1(timeout_error, 0, "mutex %p not ready", mutex);
265 THROW2(system_error, errcode, "xbt_mutex_timedacquire(%p) failed: %s",
266 mutex, strerror(errcode));
272 #ifdef HAVE_MUTEX_TIMEDLOCK
273 struct timespec ts_end;
274 double end = delay + xbt_os_time();
276 ts_end.tv_sec = (time_t) floor(end);
277 ts_end.tv_nsec = (long) ((end - ts_end.tv_sec) * 1000000000);
278 DEBUG2("pthread_mutex_timedlock(%p,%p)", &(mutex->m), &ts_end);
280 errcode = pthread_mutex_timedlock(&(mutex->m), &ts_end);
282 #else /* Well, let's reimplement it since those lazy libc dudes didn't */
283 double start = xbt_os_time();
285 errcode = pthread_mutex_trylock(&(mutex->m));
286 if (errcode == EBUSY)
287 xbt_os_thread_yield();
288 } while (errcode == EBUSY && xbt_os_time() - start < delay);
290 if (errcode == EBUSY)
293 #endif /* HAVE_MUTEX_TIMEDLOCK */
300 THROW2(timeout_error, delay,
301 "mutex %p wasn't signaled before timeout (%f)", mutex, delay);
304 THROW3(system_error, errcode,
305 "pthread_mutex_timedlock(%p,%f) failed: %s", mutex, delay,
311 void xbt_os_mutex_release(xbt_os_mutex_t mutex)
315 if ((errcode = pthread_mutex_unlock(&(mutex->m))))
316 THROW2(system_error, errcode, "pthread_mutex_unlock(%p) failed: %s",
317 mutex, strerror(errcode));
320 void xbt_os_mutex_destroy(xbt_os_mutex_t mutex)
327 if ((errcode = pthread_mutex_destroy(&(mutex->m))))
328 THROW2(system_error, errcode, "pthread_mutex_destroy(%p) failed: %s",
329 mutex, strerror(errcode));
333 /***** condition related functions *****/
334 typedef struct xbt_os_cond_ {
335 /* KEEP IT IN SYNC WITH xbt_thread.c */
339 xbt_os_cond_t xbt_os_cond_init(void)
341 xbt_os_cond_t res = xbt_new(s_xbt_os_cond_t, 1);
343 if ((errcode = pthread_cond_init(&(res->c), NULL)))
344 THROW1(system_error, errcode, "pthread_cond_init() failed: %s",
350 void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex)
353 if ((errcode = pthread_cond_wait(&(cond->c), &(mutex->m))))
354 THROW3(system_error, errcode, "pthread_cond_wait(%p,%p) failed: %s",
355 cond, mutex, strerror(errcode));
359 void xbt_os_cond_timedwait(xbt_os_cond_t cond, xbt_os_mutex_t mutex,
363 struct timespec ts_end;
364 double end = delay + xbt_os_time();
367 xbt_os_cond_wait(cond, mutex);
369 ts_end.tv_sec = (time_t) floor(end);
370 ts_end.tv_nsec = (long) ((end - ts_end.tv_sec) * 1000000000);
371 DEBUG3("pthread_cond_timedwait(%p,%p,%p)", &(cond->c), &(mutex->m),
374 pthread_cond_timedwait(&(cond->c), &(mutex->m), &ts_end))) {
378 THROW3(timeout_error, errcode,
379 "condition %p (mutex %p) wasn't signaled before timeout (%f)",
382 THROW4(system_error, errcode,
383 "pthread_cond_timedwait(%p,%p,%f) failed: %s", cond, mutex,
384 delay, strerror(errcode));
389 void xbt_os_cond_signal(xbt_os_cond_t cond)
392 if ((errcode = pthread_cond_signal(&(cond->c))))
393 THROW2(system_error, errcode, "pthread_cond_signal(%p) failed: %s",
394 cond, strerror(errcode));
397 void xbt_os_cond_broadcast(xbt_os_cond_t cond)
400 if ((errcode = pthread_cond_broadcast(&(cond->c))))
401 THROW2(system_error, errcode, "pthread_cond_broadcast(%p) failed: %s",
402 cond, strerror(errcode));
405 void xbt_os_cond_destroy(xbt_os_cond_t cond)
412 if ((errcode = pthread_cond_destroy(&(cond->c))))
413 THROW2(system_error, errcode, "pthread_cond_destroy(%p) failed: %s",
414 cond, strerror(errcode));
418 void *xbt_os_thread_getparam(void)
420 xbt_os_thread_t t = xbt_os_thread_self();
421 return t ? t->param : NULL;
424 typedef struct xbt_os_sem_ {
425 #ifndef HAVE_SEM_INIT
433 #define SEM_FAILED (-1)
436 xbt_os_sem_t xbt_os_sem_init(unsigned int value)
438 xbt_os_sem_t res = xbt_new(s_xbt_os_sem_t, 1);
440 /* On some systems (MAC OS X), only the stub of sem_init is to be found.
441 * Any attempt to use it leads to ENOSYS (function not implemented).
442 * If such a prehistoric system is detected, do the job with sem_open instead
445 if (sem_init(&(res->s), 0, value) != 0)
446 THROW1(system_error, errno, "sem_init() failed: %s", strerror(errno));
449 #else /* damn, no sem_init(). Reimplement it */
451 xbt_os_mutex_acquire(next_sem_ID_lock);
452 res->name = bprintf("/%d.%d", (*xbt_getpid) (), ++next_sem_ID);
453 xbt_os_mutex_release(next_sem_ID_lock);
455 res->ps = sem_open(res->name, O_CREAT, 0644, value);
456 if ((res->ps == (sem_t *) SEM_FAILED) && (errno == ENAMETOOLONG)) {
457 /* Old darwins only allow 13 chars. Did you create *that* amount of semaphores? */
458 res->name[13] = '\0';
459 res->ps = sem_open(res->name, O_CREAT, 0644, 1);
461 if ((res->ps == (sem_t *) SEM_FAILED))
462 THROW1(system_error, errno, "sem_open() failed: %s", strerror(errno));
464 /* Remove the name from the semaphore namespace: we never join on it */
465 if (sem_unlink(res->name) < 0)
466 THROW1(system_error, errno, "sem_unlink() failed: %s", strerror(errno));
473 void xbt_os_sem_acquire(xbt_os_sem_t sem)
476 THROW0(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
477 if (sem_wait(sem->ps) < 0)
478 THROW1(system_error, errno, "sem_wait() failed: %s", strerror(errno));
481 void xbt_os_sem_timedacquire(xbt_os_sem_t sem, double delay)
486 THROW0(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
489 xbt_os_sem_acquire(sem);
490 } else if (delay == 0) {
491 errcode = sem_trywait(sem->ps);
497 THROW1(timeout_error, 0, "semaphore %p not ready", sem);
499 THROW2(system_error, errcode, "xbt_os_sem_timedacquire(%p) failed: %s",
500 sem, strerror(errcode));
505 struct timespec ts_end;
506 double end = delay + xbt_os_time();
508 ts_end.tv_sec = (time_t) floor(end);
509 ts_end.tv_nsec = (long) ((end - ts_end.tv_sec) * 1000000000);
510 DEBUG2("sem_timedwait(%p,%p)", sem->ps, &ts_end);
511 errcode = sem_timedwait(sem->s, &ts_end);
513 #else /* Okay, reimplement this function then */
514 double start = xbt_os_time();
516 errcode = sem_trywait(sem->ps);
517 if (errcode == EBUSY)
518 xbt_os_thread_yield();
519 } while (errcode == EBUSY && xbt_os_time() - start < delay);
521 if (errcode == EBUSY)
530 THROW2(timeout_error, delay,
531 "semaphore %p wasn't signaled before timeout (%f)", sem, delay);
534 THROW3(system_error, errcode, "sem_timedwait(%p,%f) failed: %s", sem,
535 delay, strerror(errcode));
540 void xbt_os_sem_release(xbt_os_sem_t sem)
543 THROW0(arg_error, EINVAL, "Cannot release of the NULL semaphore");
545 if (sem_post(sem->ps) < 0)
546 THROW1(system_error, errno, "sem_post() failed: %s", strerror(errno));
549 void xbt_os_sem_destroy(xbt_os_sem_t sem)
552 THROW0(arg_error, EINVAL, "Cannot destroy the NULL sempahore");
555 if (sem_destroy(sem->ps))
557 THROW1(system_error, errno, "sem_destroy() failed: %s",
560 if (sem_close(sem->ps) < 0)
561 THROW1(system_error, errno, "sem_close() failed: %s", strerror(errno));
568 void xbt_os_sem_get_value(xbt_os_sem_t sem, int *svalue)
571 THROW0(arg_error, EINVAL, "Cannot get the value of the NULL semaphore");
573 if (sem_getvalue(&(sem->s), svalue) < 0)
574 THROW1(system_error, errno, "sem_getvalue() failed: %s", strerror(errno));
577 /* ********************************* WINDOWS IMPLEMENTATION ************************************ */
583 typedef struct xbt_os_thread_ {
585 HANDLE handle; /* the win thread handle */
586 unsigned long id; /* the win thread id */
587 pvoid_f_pvoid_t start_routine;
591 /* so we can specify the size of the stack of the threads */
592 #ifndef STACK_SIZE_PARAM_IS_A_RESERVATION
593 #define STACK_SIZE_PARAM_IS_A_RESERVATION 0x00010000
596 /* the default size of the stack of the threads (in bytes)*/
597 #define XBT_DEFAULT_THREAD_STACK_SIZE 4096
599 /* key to the TLS containing the xbt_os_thread_t structure */
600 static unsigned long xbt_self_thread_key;
602 void xbt_os_thread_mod_preinit(void)
604 xbt_self_thread_key = TlsAlloc();
607 void xbt_os_thread_mod_postexit(void)
610 if (!TlsFree(xbt_self_thread_key))
611 THROW0(system_error, (int) GetLastError(),
612 "TlsFree() failed to cleanup the thread submodule");
615 static DWORD WINAPI wrapper_start_routine(void *s)
617 xbt_os_thread_t t = (xbt_os_thread_t) s;
620 if (!TlsSetValue(xbt_self_thread_key, t))
621 THROW0(system_error, (int) GetLastError(),
622 "TlsSetValue of data describing the created thread failed");
624 rv = (DWORD *) ((t->start_routine) (t->param));
631 xbt_os_thread_t xbt_os_thread_create(const char *name,
632 pvoid_f_pvoid_t start_routine,
636 xbt_os_thread_t t = xbt_new(s_xbt_os_thread_t, 1);
638 t->name = xbt_strdup(name);
639 t->start_routine = start_routine;
642 t->handle = CreateThread(NULL, XBT_DEFAULT_THREAD_STACK_SIZE,
643 (LPTHREAD_START_ROUTINE) wrapper_start_routine,
644 t, STACK_SIZE_PARAM_IS_A_RESERVATION, &(t->id));
648 THROW0(system_error, (int) GetLastError(), "CreateThread failed");
654 const char *xbt_os_thread_name(xbt_os_thread_t t)
659 const char *xbt_os_thread_self_name(void)
661 xbt_os_thread_t t = xbt_os_thread_self();
662 return t ? t->name : "main";
665 void xbt_os_thread_join(xbt_os_thread_t thread, void **thread_return)
668 if (WAIT_OBJECT_0 != WaitForSingleObject(thread->handle, INFINITE))
669 THROW0(system_error, (int) GetLastError(), "WaitForSingleObject failed");
673 if (!GetExitCodeThread(thread->handle, (DWORD *) (*thread_return)))
674 THROW0(system_error, (int) GetLastError(), "GetExitCodeThread failed");
677 CloseHandle(thread->handle);
685 void xbt_os_thread_exit(int *retval)
693 xbt_os_thread_t xbt_os_thread_self(void)
695 return TlsGetValue(xbt_self_thread_key);
698 void *xbt_os_thread_getparam(void)
700 xbt_os_thread_t t = xbt_os_thread_self();
705 void xbt_os_thread_yield(void)
710 void xbt_os_thread_cancel(xbt_os_thread_t t)
712 if (!TerminateThread(t->handle, 0))
713 THROW0(system_error, (int) GetLastError(), "TerminateThread failed");
716 /****** mutex related functions ******/
717 typedef struct xbt_os_mutex_ {
718 /* KEEP IT IN SYNC WITH xbt_thread.c */
719 CRITICAL_SECTION lock;
722 xbt_os_mutex_t xbt_os_mutex_init(void)
724 xbt_os_mutex_t res = xbt_new(s_xbt_os_mutex_t, 1);
726 /* initialize the critical section object */
727 InitializeCriticalSection(&(res->lock));
732 void xbt_os_mutex_acquire(xbt_os_mutex_t mutex)
734 EnterCriticalSection(&mutex->lock);
737 void xbt_os_mutex_timedacquire(xbt_os_mutex_t mutex, double delay)
742 void xbt_os_mutex_release(xbt_os_mutex_t mutex)
745 LeaveCriticalSection(&mutex->lock);
749 void xbt_os_mutex_destroy(xbt_os_mutex_t mutex)
755 DeleteCriticalSection(&mutex->lock);
759 /***** condition related functions *****/
760 enum { /* KEEP IT IN SYNC WITH xbt_thread.c */
766 typedef struct xbt_os_cond_ {
767 /* KEEP IT IN SYNC WITH xbt_thread.c */
768 HANDLE events[MAX_EVENTS];
770 unsigned int waiters_count; /* the number of waiters */
771 CRITICAL_SECTION waiters_count_lock; /* protect access to waiters_count */
774 xbt_os_cond_t xbt_os_cond_init(void)
777 xbt_os_cond_t res = xbt_new0(s_xbt_os_cond_t, 1);
779 memset(&res->waiters_count_lock, 0, sizeof(CRITICAL_SECTION));
781 /* initialize the critical section object */
782 InitializeCriticalSection(&res->waiters_count_lock);
784 res->waiters_count = 0;
786 /* Create an auto-reset event */
787 res->events[SIGNAL] = CreateEvent(NULL, FALSE, FALSE, NULL);
789 if (!res->events[SIGNAL]) {
790 DeleteCriticalSection(&res->waiters_count_lock);
792 THROW0(system_error, 0, "CreateEvent failed for the signals");
795 /* Create a manual-reset event. */
796 res->events[BROADCAST] = CreateEvent(NULL, TRUE, FALSE, NULL);
798 if (!res->events[BROADCAST]) {
800 DeleteCriticalSection(&res->waiters_count_lock);
801 CloseHandle(res->events[SIGNAL]);
803 THROW0(system_error, 0, "CreateEvent failed for the broadcasts");
809 void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex)
812 unsigned long wait_result;
815 /* lock the threads counter and increment it */
816 EnterCriticalSection(&cond->waiters_count_lock);
817 cond->waiters_count++;
818 LeaveCriticalSection(&cond->waiters_count_lock);
820 /* unlock the mutex associate with the condition */
821 LeaveCriticalSection(&mutex->lock);
823 /* wait for a signal (broadcast or no) */
824 wait_result = WaitForMultipleObjects(2, cond->events, FALSE, INFINITE);
826 if (wait_result == WAIT_FAILED)
827 THROW0(system_error, 0,
828 "WaitForMultipleObjects failed, so we cannot wait on the condition");
830 /* we have a signal lock the condition */
831 EnterCriticalSection(&cond->waiters_count_lock);
832 cond->waiters_count--;
834 /* it's the last waiter or it's a broadcast ? */
835 is_last_waiter = ((wait_result == WAIT_OBJECT_0 + BROADCAST - 1)
836 && (cond->waiters_count == 0));
838 LeaveCriticalSection(&cond->waiters_count_lock);
840 /* yes it's the last waiter or it's a broadcast
841 * only reset the manual event (the automatic event is reset in the WaitForMultipleObjects() function
845 if (!ResetEvent(cond->events[BROADCAST]))
846 THROW0(system_error, 0, "ResetEvent failed");
848 /* relock the mutex associated with the condition in accordance with the posix thread specification */
849 EnterCriticalSection(&mutex->lock);
852 void xbt_os_cond_timedwait(xbt_os_cond_t cond, xbt_os_mutex_t mutex,
856 unsigned long wait_result = WAIT_TIMEOUT;
858 unsigned long end = (unsigned long) (delay * 1000);
862 xbt_os_cond_wait(cond, mutex);
864 DEBUG3("xbt_cond_timedwait(%p,%p,%lu)", &(cond->events), &(mutex->lock),
867 /* lock the threads counter and increment it */
868 EnterCriticalSection(&cond->waiters_count_lock);
869 cond->waiters_count++;
870 LeaveCriticalSection(&cond->waiters_count_lock);
872 /* unlock the mutex associate with the condition */
873 LeaveCriticalSection(&mutex->lock);
874 /* wait for a signal (broadcast or no) */
876 wait_result = WaitForMultipleObjects(2, cond->events, FALSE, end);
878 switch (wait_result) {
880 THROW3(timeout_error, GetLastError(),
881 "condition %p (mutex %p) wasn't signaled before timeout (%f)",
884 THROW0(system_error, GetLastError(),
885 "WaitForMultipleObjects failed, so we cannot wait on the condition");
888 /* we have a signal lock the condition */
889 EnterCriticalSection(&cond->waiters_count_lock);
890 cond->waiters_count--;
892 /* it's the last waiter or it's a broadcast ? */
893 is_last_waiter = ((wait_result == WAIT_OBJECT_0 + BROADCAST - 1)
894 && (cond->waiters_count == 0));
896 LeaveCriticalSection(&cond->waiters_count_lock);
898 /* yes it's the last waiter or it's a broadcast
899 * only reset the manual event (the automatic event is reset in the WaitForMultipleObjects() function
903 if (!ResetEvent(cond->events[BROADCAST]))
904 THROW0(system_error, 0, "ResetEvent failed");
906 /* relock the mutex associated with the condition in accordance with the posix thread specification */
907 EnterCriticalSection(&mutex->lock);
909 /*THROW_UNIMPLEMENTED; */
912 void xbt_os_cond_signal(xbt_os_cond_t cond)
916 EnterCriticalSection(&cond->waiters_count_lock);
917 have_waiters = cond->waiters_count > 0;
918 LeaveCriticalSection(&cond->waiters_count_lock);
921 if (!SetEvent(cond->events[SIGNAL]))
922 THROW0(system_error, 0, "SetEvent failed");
924 xbt_os_thread_yield();
927 void xbt_os_cond_broadcast(xbt_os_cond_t cond)
931 EnterCriticalSection(&cond->waiters_count_lock);
932 have_waiters = cond->waiters_count > 0;
933 LeaveCriticalSection(&cond->waiters_count_lock);
936 SetEvent(cond->events[BROADCAST]);
939 void xbt_os_cond_destroy(xbt_os_cond_t cond)
946 if (!CloseHandle(cond->events[SIGNAL]))
949 if (!CloseHandle(cond->events[BROADCAST]))
952 DeleteCriticalSection(&cond->waiters_count_lock);
957 THROW0(system_error, 0, "Error while destroying the condition");
960 typedef struct xbt_os_sem_ {
963 CRITICAL_SECTION value_lock; /* protect access to value of the semaphore */
967 # define INT_MAX 32767 /* let's be safe by underestimating this value: this is for 16bits only */
970 xbt_os_sem_t xbt_os_sem_init(unsigned int value)
975 THROW1(arg_error, value,
976 "Semaphore initial value too big: %ud cannot be stored as a signed int",
979 res = (xbt_os_sem_t) xbt_new0(s_xbt_os_sem_t, 1);
981 if (!(res->h = CreateSemaphore(NULL, value, (long) INT_MAX, NULL))) {
982 THROW1(system_error, GetLastError(), "CreateSemaphore() failed: %s",
983 strerror(GetLastError()));
989 InitializeCriticalSection(&(res->value_lock));
994 void xbt_os_sem_acquire(xbt_os_sem_t sem)
997 THROW0(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
1000 if (WAIT_OBJECT_0 != WaitForSingleObject(sem->h, INFINITE))
1001 THROW1(system_error, GetLastError(), "WaitForSingleObject() failed: %s",
1002 strerror(GetLastError()));
1003 EnterCriticalSection(&(sem->value_lock));
1005 LeaveCriticalSection(&(sem->value_lock));
1008 void xbt_os_sem_timedacquire(xbt_os_sem_t sem, double timeout)
1012 double end = timeout + xbt_os_time();
1015 THROW0(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
1018 xbt_os_sem_acquire(sem);
1019 } else { /* timeout can be zero <-> try acquire ) */
1022 seconds = (long) floor(end);
1023 milliseconds = (long) ((end - seconds) * 1000);
1024 milliseconds += (seconds * 1000);
1026 switch (WaitForSingleObject(sem->h, milliseconds)) {
1028 EnterCriticalSection(&(sem->value_lock));
1030 LeaveCriticalSection(&(sem->value_lock));
1034 THROW2(timeout_error, GetLastError(),
1035 "semaphore %p wasn't signaled before timeout (%f)", sem,
1040 THROW3(system_error, GetLastError(),
1041 "WaitForSingleObject(%p,%f) failed: %s", sem, timeout,
1042 strerror(GetLastError()));
1047 void xbt_os_sem_release(xbt_os_sem_t sem)
1050 THROW0(arg_error, EINVAL, "Cannot release the NULL semaphore");
1052 if (!ReleaseSemaphore(sem->h, 1, NULL))
1053 THROW1(system_error, GetLastError(), "ReleaseSemaphore() failed: %s",
1054 strerror(GetLastError()));
1055 EnterCriticalSection(&(sem->value_lock));
1057 LeaveCriticalSection(&(sem->value_lock));
1060 void xbt_os_sem_destroy(xbt_os_sem_t sem)
1063 THROW0(arg_error, EINVAL, "Cannot destroy the NULL semaphore");
1065 if (!CloseHandle(sem->h))
1066 THROW1(system_error, GetLastError(), "CloseHandle() failed: %s",
1067 strerror(GetLastError()));
1069 DeleteCriticalSection(&(sem->value_lock));
1075 void xbt_os_sem_get_value(xbt_os_sem_t sem, int *svalue)
1078 THROW0(arg_error, EINVAL, "Cannot get the value of the NULL semaphore");
1080 EnterCriticalSection(&(sem->value_lock));
1081 *svalue = sem->value;
1082 LeaveCriticalSection(&(sem->value_lock));