3 /* xbt_synchro -- Synchronization virtualized depending on whether we are */
4 /* in simulation or real life (act on simulated processes) */
6 /* This is the real life implementation, using xbt_os_thread to be portable */
7 /* to windows and linux. */
9 /* Copyright 2006,2007 Malek Cherier, Martin Quinson
10 * All right reserved. */
12 /* This program is free software; you can redistribute it and/or modify it
13 * under the terms of the license (GNU LGPL) which comes with this package. */
15 #include "xbt/sysdep.h"
19 #include "xbt/synchro.h" /* This module */
20 #include "xbt/xbt_os_thread.h" /* The implementation we use */
22 /* the implementation would be cleaner (and faster) with ELF symbol aliasing */
23 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_rl,xbt,"Synchronization mechanism (RL)");
25 typedef struct s_xbt_thread_ {
26 xbt_os_thread_t os_thread;
31 static void *xbt_thread_create_wrapper(void *p) {
32 xbt_thread_t t = (xbt_thread_t)p;
33 DEBUG1("I'm thread %p",p);
34 (*t->code)(t->userparam);
39 xbt_thread_t xbt_thread_create(const char*name,void_f_pvoid_t code, void* param) {
41 xbt_thread_t res = xbt_new0(s_xbt_thread_t,1);
42 res->userparam = param;
44 DEBUG1("Create thread %p",res);
45 res->os_thread = xbt_os_thread_create(name,xbt_thread_create_wrapper,res);
49 const char* xbt_thread_name(xbt_thread_t t) {
50 return xbt_os_thread_name(t->os_thread);
53 const char* xbt_thread_self_name(void) {
54 return xbt_os_thread_self_name();
58 xbt_thread_join(xbt_thread_t thread) {
59 DEBUG1("Join thread %p",thread);
60 xbt_os_thread_join( thread->os_thread, NULL );
63 void xbt_thread_exit() {
64 DEBUG0("Thread exits");
65 xbt_os_thread_exit(NULL);
68 xbt_thread_t xbt_thread_self(void) {
69 return (xbt_thread_t)xbt_os_thread_self();
72 void xbt_thread_yield(void) {
73 DEBUG0("Thread yields");
74 xbt_os_thread_yield();
76 void xbt_thread_cancel(xbt_thread_t t) {
77 DEBUG1("Cancel thread %p",t);
78 xbt_os_thread_cancel(t->os_thread);
80 /****** mutex related functions ******/
82 /* KEEP IT IN SYNC WITH OS IMPLEMENTATION (both win and lin) */
86 CRITICAL_SECTION lock;
90 xbt_mutex_t xbt_mutex_init(void) {
91 xbt_mutex_t res = (xbt_mutex_t)xbt_os_mutex_init();
92 DEBUG1("Create mutex %p", res);
96 void xbt_mutex_acquire(xbt_mutex_t mutex) {
97 DEBUG1("Acquire mutex %p", mutex);
98 xbt_os_mutex_acquire( (xbt_os_mutex_t)mutex );
101 void xbt_mutex_timedacquire(xbt_mutex_t mutex, double delay)
103 DEBUG2("Acquire mutex %p with delay %lf", mutex,delay);
104 xbt_os_mutex_timedacquire( (xbt_os_mutex_t)mutex,delay );
107 void xbt_mutex_release(xbt_mutex_t mutex) {
108 DEBUG1("Unlock mutex %p", mutex);
109 xbt_os_mutex_release( (xbt_os_mutex_t)mutex );
112 void xbt_mutex_destroy(xbt_mutex_t mutex) {
113 DEBUG1("Destroy mutex %p", mutex);
114 xbt_os_mutex_destroy( (xbt_os_mutex_t)mutex );
118 enum { /* KEEP IT IN SYNC WITH OS IMPLEM */
125 /***** condition related functions *****/
126 typedef struct xbt_cond_ {
127 /* KEEP IT IN SYNC WITH OS IMPLEMENTATION (both win and lin) */
128 #ifdef HAVE_PTHREAD_H
131 HANDLE events[MAX_EVENTS];
133 unsigned int waiters_count; /* the number of waiters */
134 CRITICAL_SECTION waiters_count_lock; /* protect access to waiters_count */
138 xbt_cond_t xbt_cond_init(void) {
139 xbt_cond_t res = (xbt_cond_t) xbt_os_cond_init();
140 DEBUG1("Create cond %p", res);
144 void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) {
145 DEBUG2("Wait cond %p, mutex %p", cond, mutex);
146 xbt_os_cond_wait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex );
149 void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay) {
150 DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex,delay);
151 xbt_os_cond_timedwait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex, delay );
152 DEBUG3("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);
155 void xbt_cond_signal(xbt_cond_t cond) {
156 DEBUG1("Signal cond %p", cond);
157 xbt_os_cond_signal( (xbt_os_cond_t)cond );
160 void xbt_cond_broadcast(xbt_cond_t cond){
161 DEBUG1("Broadcast cond %p", cond);
162 xbt_os_cond_broadcast( (xbt_os_cond_t)cond );
164 void xbt_cond_destroy(xbt_cond_t cond){
165 DEBUG1("Destroy cond %p", cond);
166 xbt_os_cond_destroy( (xbt_os_cond_t)cond );