Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
More debugs (actually, since there were no debug at all, 'some debugs' would be appro...
[simgrid.git] / src / xbt / xbt_rl_synchro.c
1 /* $Id$ */
2
3 /* xbt_synchro -- Synchronization virtualized depending on whether we are   */
4 /*                in simulation or real life (act on simulated processes)   */
5
6 /* This is the real life implementation, using xbt_os_thread to be portable */
7 /* to windows and linux.                                                    */
8
9 /* Copyright 2006,2007 Malek Cherier, Martin Quinson          
10  * All right reserved.                                                      */
11
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. */
14
15 #include "xbt/sysdep.h"
16 #include "xbt/ex.h"
17 #include "portable.h"
18
19 #include "xbt/synchro.h"       /* This module */
20 #include "xbt/xbt_os_thread.h" /* The implementation we use */
21
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)");
24
25 typedef struct s_xbt_thread_ {   
26    xbt_os_thread_t os_thread;
27    void_f_pvoid_t *code;
28    void *userparam;   
29 }s_xbt_thread_t;
30
31 static void *xbt_thread_create_wrapper(void *p)  {   
32    xbt_thread_t t = (xbt_thread_t)p;
33    (*t->code)(t->userparam);
34    return NULL;
35 }
36
37
38 xbt_thread_t xbt_thread_create(void_f_pvoid_t* code, void* param) {
39
40    xbt_thread_t res = xbt_new0(s_xbt_thread_t,1);
41    res->userparam = param;
42    res->code = code;
43    res->os_thread = xbt_os_thread_create(xbt_thread_create_wrapper,res);
44    DEBUG1("Create thread %p",res);
45    return res;
46 }
47
48 void 
49 xbt_thread_join(xbt_thread_t thread) {
50    DEBUG1("Join thread %p",thread);
51    xbt_os_thread_join( thread->os_thread, NULL );
52 }                      
53
54 void xbt_thread_exit() {
55    DEBUG0("Thread exits");
56    xbt_os_thread_exit(NULL);
57 }
58
59 xbt_thread_t xbt_thread_self(void) {
60    return (xbt_thread_t)xbt_os_thread_getparam();
61 }
62
63 void xbt_thread_yield(void) {
64    DEBUG0("Thread yields");
65    xbt_os_thread_yield();
66 }
67 void xbt_thread_cancel(xbt_thread_t t) {
68    DEBUG1("Cancel thread %p",t);
69    xbt_os_thread_cancel(t->os_thread);
70 }
71 /****** mutex related functions ******/
72 struct xbt_mutex_ {
73    /* KEEP IT IN SYNC WITH OS IMPLEMENTATION (both win and lin) */
74 #ifdef HAVE_PTHREAD_H   
75    pthread_mutex_t m;
76 #elif defined(WIN32)
77    CRITICAL_SECTION lock;   
78 #endif   
79 };
80
81 xbt_mutex_t xbt_mutex_init(void) {
82    xbt_mutex_t res = (xbt_mutex_t)xbt_os_mutex_init();
83    DEBUG1("Create mutex %p", res);
84    return res;
85 }
86
87 void xbt_mutex_lock(xbt_mutex_t mutex) {
88    DEBUG1("Lock mutex %p", mutex);
89    xbt_os_mutex_lock( (xbt_os_mutex_t)mutex );
90 }
91
92 void xbt_mutex_unlock(xbt_mutex_t mutex) {
93    DEBUG1("Unlock mutex %p", mutex);
94    xbt_os_mutex_unlock( (xbt_os_mutex_t)mutex );
95 }
96
97 void xbt_mutex_destroy(xbt_mutex_t mutex) {
98    DEBUG1("Destroy mutex %p", mutex);
99    xbt_os_mutex_destroy( (xbt_os_mutex_t)mutex );
100 }
101
102 #ifdef WIN32
103  enum { /* KEEP IT IN SYNC WITH OS IMPLEM */
104     SIGNAL = 0,
105     BROADCAST = 1,
106     MAX_EVENTS = 2
107  };
108 #endif
109
110 /***** condition related functions *****/
111 typedef struct xbt_cond_ {
112    /* KEEP IT IN SYNC WITH OS IMPLEMENTATION (both win and lin) */
113 #ifdef HAVE_PTHREAD_H   
114    pthread_cond_t c;
115 #elif defined(WIN32)   
116    HANDLE events[MAX_EVENTS];
117    
118    unsigned int waiters_count;           /* the number of waiters                        */
119    CRITICAL_SECTION waiters_count_lock;  /* protect access to waiters_count  */
120 #endif
121 } s_xbt_cond_t;
122
123 xbt_cond_t xbt_cond_init(void) {
124    xbt_cond_t res = (xbt_cond_t) xbt_os_cond_init();
125    DEBUG1("Create cond %p", res);
126    return (xbt_cond_t) xbt_os_cond_init();
127 }
128
129 void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) {
130    DEBUG2("Wait cond %p, mutex %p", cond, mutex);
131    xbt_os_cond_wait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex );
132 }
133
134 void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay) {
135    DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex,delay);
136    xbt_os_cond_timedwait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex, delay );
137 }
138
139 void xbt_cond_signal(xbt_cond_t cond) {
140    DEBUG1("Signal cond %p", cond);
141    xbt_os_cond_signal( (xbt_os_cond_t)cond );
142 }
143          
144 void xbt_cond_broadcast(xbt_cond_t cond){
145    DEBUG1("Broadcast cond %p", cond);
146    xbt_os_cond_broadcast( (xbt_os_cond_t)cond );
147 }
148 void xbt_cond_destroy(xbt_cond_t cond){
149    DEBUG1("Destroy cond %p", cond);
150    xbt_os_cond_destroy( (xbt_os_cond_t)cond );
151 }