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,"Synchronization mechanism (OS-level)");
23 /* ********************************* PTHREAD IMPLEMENTATION ************************************ */
28 typedef struct xbt_os_thread_ {
32 pvoid_f_pvoid_t *start_routine;
35 static xbt_os_thread_t main_thread = NULL;
37 /* thread-specific data containing the xbt_os_thread_t structure */
38 static pthread_key_t xbt_self_thread_key;
39 static int thread_mod_inited = 0;
41 /* frees the xbt_os_thread_t corresponding to the current thread */
42 static void xbt_os_thread_free_thread_data(void*d){
46 /* callback: context fetching */
47 static ex_ctx_t *_os_thread_ex_ctx(void) {
48 return xbt_os_thread_self()->exception;
51 /* callback: termination */
52 static void _os_thread_ex_terminate(xbt_ex_t * e) {
56 /* FIXME: there should be a configuration variable to choose to kill everyone or only this one */
59 void xbt_os_thread_mod_init(void) {
62 if (thread_mod_inited)
65 if ((errcode=pthread_key_create(&xbt_self_thread_key, NULL)))
66 THROW0(system_error,errcode,"pthread_key_create failed for xbt_self_thread_key");
68 main_thread=xbt_new(s_xbt_os_thread_t,1);
69 main_thread->name = (char*)"main";
70 main_thread->start_routine = NULL;
71 main_thread->param = NULL;
72 main_thread->exception = xbt_new(ex_ctx_t, 1);
73 XBT_CTX_INITIALIZE(main_thread->exception);
75 thread_mod_inited = 1;
77 void xbt_os_thread_mod_exit(void) {
78 /* FIXME: don't try to free our key on shutdown.
79 Valgrind detects no leak if we don't, and whine if we try to */
82 // if ((errcode=pthread_key_delete(xbt_self_thread_key)))
83 // THROW0(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
86 static void * wrapper_start_routine(void *s) {
87 xbt_os_thread_t t = s;
90 if ((errcode=pthread_setspecific(xbt_self_thread_key,t)))
91 THROW0(system_error,errcode,
92 "pthread_setspecific failed for xbt_self_thread_key");
93 return t->start_routine(t->param);
95 xbt_os_thread_t xbt_os_thread_create(const char*name,
96 pvoid_f_pvoid_t start_routine,
100 xbt_os_thread_t res_thread=xbt_new(s_xbt_os_thread_t,1);
101 res_thread->name = xbt_strdup(name);
102 res_thread->start_routine = start_routine;
103 res_thread->param = param;
104 res_thread->exception = xbt_new(ex_ctx_t, 1);
105 XBT_CTX_INITIALIZE(res_thread->exception);
107 if ((errcode = pthread_create(&(res_thread->t), NULL,
108 wrapper_start_routine, res_thread)))
109 THROW1(system_error,errcode,
110 "pthread_create failed: %s",strerror(errcode));
115 const char* xbt_os_thread_name(xbt_os_thread_t t) {
119 const char* xbt_os_thread_self_name(void) {
120 xbt_os_thread_t self = xbt_os_thread_self();
121 return self?self->name:"main";
124 xbt_os_thread_join(xbt_os_thread_t thread,void ** thread_return) {
128 if ((errcode = pthread_join(thread->t,thread_return)))
129 THROW1(system_error,errcode, "pthread_join failed: %s",
131 if (thread->exception)
132 free(thread->exception);
134 if (thread == main_thread) /* just killed main thread */
140 void xbt_os_thread_exit(int *retval) {
141 pthread_exit(retval);
144 xbt_os_thread_t xbt_os_thread_self(void) {
147 if (!thread_mod_inited)
150 res = pthread_getspecific(xbt_self_thread_key);
158 void xbt_os_thread_yield(void) {
161 void xbt_os_thread_cancel(xbt_os_thread_t t) {
162 pthread_cancel(t->t);
164 /****** mutex related functions ******/
165 typedef struct xbt_os_mutex_ {
166 /* KEEP IT IN SYNC WITH xbt_thread.c */
170 xbt_os_mutex_t xbt_os_mutex_init(void) {
171 xbt_os_mutex_t res = xbt_new(s_xbt_os_mutex_t,1);
174 if ((errcode = pthread_mutex_init(&(res->m),NULL)))
175 THROW1(system_error,errcode,"pthread_mutex_init() failed: %s",
181 void xbt_os_mutex_lock(xbt_os_mutex_t mutex) {
184 if ((errcode=pthread_mutex_lock(&(mutex->m))))
185 THROW2(system_error,errcode,"pthread_mutex_lock(%p) failed: %s",
186 mutex, strerror(errcode));
189 void xbt_os_mutex_unlock(xbt_os_mutex_t mutex) {
192 if ((errcode=pthread_mutex_unlock(&(mutex->m))))
193 THROW2(system_error,errcode,"pthread_mutex_unlock(%p) failed: %s",
194 mutex, strerror(errcode));
197 void xbt_os_mutex_destroy(xbt_os_mutex_t mutex) {
202 if ((errcode=pthread_mutex_destroy(&(mutex->m))))
203 THROW2(system_error,errcode,"pthread_mutex_destroy(%p) failed: %s",
204 mutex, strerror(errcode));
208 /***** condition related functions *****/
209 typedef struct xbt_os_cond_ {
210 /* KEEP IT IN SYNC WITH xbt_thread.c */
214 xbt_os_cond_t xbt_os_cond_init(void) {
215 xbt_os_cond_t res = xbt_new(s_xbt_os_cond_t,1);
217 if ((errcode=pthread_cond_init(&(res->c),NULL)))
218 THROW1(system_error,errcode,"pthread_cond_init() failed: %s",
224 void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex) {
226 if ((errcode=pthread_cond_wait(&(cond->c),&(mutex->m))))
227 THROW3(system_error,errcode,"pthread_cond_wait(%p,%p) failed: %s",
228 cond,mutex, strerror(errcode));
233 void xbt_os_cond_timedwait(xbt_os_cond_t cond, xbt_os_mutex_t mutex, double delay) {
235 struct timespec ts_end;
236 double end = delay + xbt_os_time();
237 ts_end.tv_sec = (time_t) floor(end);
238 ts_end.tv_nsec = (long) ( ( end - ts_end.tv_sec) * 1000000000);
239 DEBUG3("pthread_cond_timedwait(%p,%p,%p)",&(cond->c),&(mutex->m), &ts_end);
240 switch ( (errcode=pthread_cond_timedwait(&(cond->c),&(mutex->m), &ts_end)) ) {
242 THROW3(timeout_error,errcode,"condition %p (mutex %p) wasn't signaled before timeout (%f)",
245 THROW4(system_error,errcode,"pthread_cond_timedwait(%p,%p,%f) failed: %s",
246 cond,mutex, delay, strerror(errcode));
250 void xbt_os_cond_signal(xbt_os_cond_t cond) {
252 if ((errcode=pthread_cond_signal(&(cond->c))))
253 THROW2(system_error,errcode,"pthread_cond_signal(%p) failed: %s",
254 cond, strerror(errcode));
257 void xbt_os_cond_broadcast(xbt_os_cond_t cond){
259 if ((errcode=pthread_cond_broadcast(&(cond->c))))
260 THROW2(system_error,errcode,"pthread_cond_broadcast(%p) failed: %s",
261 cond, strerror(errcode));
263 void xbt_os_cond_destroy(xbt_os_cond_t cond){
268 if ((errcode=pthread_cond_destroy(&(cond->c))))
269 THROW2(system_error,errcode,"pthread_cond_destroy(%p) failed: %s",
270 cond, strerror(errcode));
274 void *xbt_os_thread_getparam(void) {
275 xbt_os_thread_t t = xbt_os_thread_self();
276 return t?t->param:NULL;
279 /* ********************************* WINDOWS IMPLEMENTATION ************************************ */
283 typedef struct xbt_os_thread_ {
285 HANDLE handle; /* the win thread handle */
286 unsigned long id; /* the win thread id */
287 pvoid_f_pvoid_t *start_routine;
289 } s_xbt_os_thread_t ;
291 /* key to the TLS containing the xbt_os_thread_t structure */
292 static unsigned long xbt_self_thread_key;
294 void xbt_os_thread_mod_init(void) {
295 xbt_self_thread_key = TlsAlloc();
297 void xbt_os_thread_mod_exit(void) {
299 if (!TlsFree(xbt_self_thread_key))
300 THROW0(system_error,(int)GetLastError(),"TlsFree() failed to cleanup the thread submodule");
303 static DWORD WINAPI wrapper_start_routine(void *s) {
304 xbt_os_thread_t t = (xbt_os_thread_t)s;
306 if(!TlsSetValue(xbt_self_thread_key,t))
307 THROW0(system_error,(int)GetLastError(),"TlsSetValue of data describing the created thread failed");
309 return (DWORD)t->start_routine(t->param);
313 xbt_os_thread_t xbt_os_thread_create(const char *name,pvoid_f_pvoid_t start_routine,
316 xbt_os_thread_t t = xbt_new(s_xbt_os_thread_t,1);
318 t->name = xbt_strdup(name);
319 t->start_routine = start_routine ;
322 t->handle = CreateThread(NULL,0,
323 (LPTHREAD_START_ROUTINE)wrapper_start_routine,
328 THROW0(system_error,(int)GetLastError(),"CreateThread failed");
334 const char* xbt_os_thread_name(xbt_os_thread_t t) {
338 const char* xbt_os_thread_self_name(void) {
339 xbt_os_thread_t t = xbt_os_thread_self();
340 return t?t->name:"main";
344 xbt_os_thread_join(xbt_os_thread_t thread,void ** thread_return) {
346 if(WAIT_OBJECT_0 != WaitForSingleObject(thread->handle,INFINITE))
347 THROW0(system_error,(int)GetLastError(), "WaitForSingleObject failed");
351 if(!GetExitCodeThread(thread->handle,(DWORD*)(*thread_return)))
352 THROW0(system_error,(int)GetLastError(), "GetExitCodeThread failed");
355 CloseHandle(thread->handle);
360 void xbt_os_thread_exit(int *retval) {
367 xbt_os_thread_t xbt_os_thread_self(void) {
368 return TlsGetValue(xbt_self_thread_key);
371 void *xbt_os_thread_getparam(void) {
372 xbt_os_thread_t t = xbt_os_thread_self();
377 void xbt_os_thread_yield(void) {
380 void xbt_os_thread_cancel(xbt_os_thread_t t) {
384 /****** mutex related functions ******/
385 typedef struct xbt_os_mutex_ {
386 /* KEEP IT IN SYNC WITH xbt_thread.c */
387 CRITICAL_SECTION lock;
390 xbt_os_mutex_t xbt_os_mutex_init(void) {
391 xbt_os_mutex_t res = xbt_new(s_xbt_os_mutex_t,1);
393 /* initialize the critical section object */
394 InitializeCriticalSection(&(res->lock));
399 void xbt_os_mutex_lock(xbt_os_mutex_t mutex) {
401 EnterCriticalSection(& mutex->lock);
404 void xbt_os_mutex_unlock(xbt_os_mutex_t mutex) {
406 LeaveCriticalSection (& mutex->lock);
410 void xbt_os_mutex_destroy(xbt_os_mutex_t mutex) {
414 DeleteCriticalSection(& mutex->lock);
418 /***** condition related functions *****/
419 enum { /* KEEP IT IN SYNC WITH xbt_thread.c */
425 typedef struct xbt_os_cond_ {
426 /* KEEP IT IN SYNC WITH xbt_thread.c */
427 HANDLE events[MAX_EVENTS];
429 unsigned int waiters_count; /* the number of waiters */
430 CRITICAL_SECTION waiters_count_lock; /* protect access to waiters_count */
433 xbt_os_cond_t xbt_os_cond_init(void) {
435 xbt_os_cond_t res = xbt_new0(s_xbt_os_cond_t,1);
437 memset(& res->waiters_count_lock,0,sizeof(CRITICAL_SECTION));
439 /* initialize the critical section object */
440 InitializeCriticalSection(& res->waiters_count_lock);
442 res->waiters_count = 0;
444 /* Create an auto-reset event */
445 res->events[SIGNAL] = CreateEvent (NULL, FALSE, FALSE, NULL);
447 if(!res->events[SIGNAL]){
448 DeleteCriticalSection(& res->waiters_count_lock);
450 THROW0(system_error,0,"CreateEvent failed for the signals");
453 /* Create a manual-reset event. */
454 res->events[BROADCAST] = CreateEvent (NULL, TRUE, FALSE,NULL);
456 if(!res->events[BROADCAST]){
458 DeleteCriticalSection(& res->waiters_count_lock);
459 CloseHandle(res->events[SIGNAL]);
461 THROW0(system_error,0,"CreateEvent failed for the broadcasts");
467 void xbt_os_cond_wait(xbt_os_cond_t cond, xbt_os_mutex_t mutex) {
469 unsigned long wait_result;
472 /* lock the threads counter and increment it */
473 EnterCriticalSection (& cond->waiters_count_lock);
474 cond->waiters_count++;
475 LeaveCriticalSection (& cond->waiters_count_lock);
477 /* unlock the mutex associate with the condition */
478 LeaveCriticalSection (& mutex->lock);
480 /* wait for a signal (broadcast or no) */
481 wait_result = WaitForMultipleObjects (2, cond->events, FALSE, INFINITE);
483 if(wait_result == WAIT_FAILED)
484 THROW0(system_error,0,"WaitForMultipleObjects failed, so we cannot wait on the condition");
486 /* we have a signal lock the condition */
487 EnterCriticalSection (& cond->waiters_count_lock);
488 cond->waiters_count--;
490 /* it's the last waiter or it's a broadcast ? */
491 is_last_waiter = ((wait_result == WAIT_OBJECT_0 + BROADCAST - 1) && (cond->waiters_count == 0));
493 LeaveCriticalSection (& cond->waiters_count_lock);
495 /* yes it's the last waiter or it's a broadcast
496 * only reset the manual event (the automatic event is reset in the WaitForMultipleObjects() function
500 if(!ResetEvent (cond->events[BROADCAST]))
501 THROW0(system_error,0,"ResetEvent failed");
503 /* relock the mutex associated with the condition in accordance with the posix thread specification */
504 EnterCriticalSection (& mutex->lock);
506 void xbt_os_cond_timedwait(xbt_os_cond_t cond, xbt_os_mutex_t mutex, double delay) {
510 void xbt_os_cond_signal(xbt_os_cond_t cond) {
513 EnterCriticalSection (& cond->waiters_count_lock);
514 have_waiters = cond->waiters_count > 0;
515 LeaveCriticalSection (& cond->waiters_count_lock);
518 if(!SetEvent(cond->events[SIGNAL]))
519 THROW0(system_error,0,"SetEvent failed");
521 xbt_os_thread_yield();
524 void xbt_os_cond_broadcast(xbt_os_cond_t cond){
527 EnterCriticalSection (& cond->waiters_count_lock);
528 have_waiters = cond->waiters_count > 0;
529 LeaveCriticalSection (& cond->waiters_count_lock);
532 SetEvent(cond->events[BROADCAST]);
535 void xbt_os_cond_destroy(xbt_os_cond_t cond){
540 if(!CloseHandle(cond->events[SIGNAL]))
543 if(!CloseHandle(cond->events[BROADCAST]))
546 DeleteCriticalSection(& cond->waiters_count_lock);
551 THROW0(system_error,0,"Error while destroying the condition");