X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0446fc9e3f379b9aff5e0bb44cf06d06b9e663cc..dec242c057a35631bad2c2464580873b0c1200f3:/src/xbt/xbt_rl_synchro.c

diff --git a/src/xbt/xbt_rl_synchro.c b/src/xbt/xbt_rl_synchro.c
index ad230a7486..d7d8a4dfa7 100644
--- a/src/xbt/xbt_rl_synchro.c
+++ b/src/xbt/xbt_rl_synchro.c
@@ -93,14 +93,20 @@ xbt_mutex_t xbt_mutex_init(void) {
    return res;
 }
 
-void xbt_mutex_lock(xbt_mutex_t mutex) {
-   DEBUG1("Lock mutex %p", mutex);
-   xbt_os_mutex_lock( (xbt_os_mutex_t)mutex );
+void xbt_mutex_acquire(xbt_mutex_t mutex) {
+   DEBUG1("Acquire mutex %p", mutex);
+   xbt_os_mutex_acquire( (xbt_os_mutex_t)mutex );
 }
 
-void xbt_mutex_unlock(xbt_mutex_t mutex) {
+void xbt_mutex_timedacquire(xbt_mutex_t mutex, double delay)
+{
+	DEBUG2("Acquire mutex %p with delay %lf", mutex,delay);
+   xbt_os_mutex_timedacquire( (xbt_os_mutex_t)mutex,delay );
+}
+
+void xbt_mutex_release(xbt_mutex_t mutex) {
    DEBUG1("Unlock mutex %p", mutex);
-   xbt_os_mutex_unlock( (xbt_os_mutex_t)mutex );
+   xbt_os_mutex_release( (xbt_os_mutex_t)mutex );
 }
 
 void xbt_mutex_destroy(xbt_mutex_t mutex) {
@@ -132,7 +138,7 @@ typedef struct xbt_cond_ {
 xbt_cond_t xbt_cond_init(void) {
    xbt_cond_t res = (xbt_cond_t) xbt_os_cond_init();
    DEBUG1("Create cond %p", res);
-   return (xbt_cond_t) xbt_os_cond_init();
+   return res;
 }
 
 void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) {