X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c28b7e03130c89fae7bad65806977cdbccb79c53..3be198601dc7795688cc8f464cc7a69d5e6e5f53:/src/xbt/xbt_rl_synchro.c

diff --git a/src/xbt/xbt_rl_synchro.c b/src/xbt/xbt_rl_synchro.c
index 356313f7dc..3aaca7d125 100644
--- a/src/xbt/xbt_rl_synchro.c
+++ b/src/xbt/xbt_rl_synchro.c
@@ -46,6 +46,14 @@ xbt_thread_t xbt_thread_create(const char*name,void_f_pvoid_t* code, void* param
    return res;
 }
 
+const char* xbt_thread_name(xbt_thread_t t) {
+   return xbt_os_thread_name(t->os_thread);
+}
+
+const char* xbt_thread_self_name(void) {
+   return xbt_os_thread_self_name();
+}
+
 void 
 xbt_thread_join(xbt_thread_t thread) {
    DEBUG1("Join thread %p",thread);
@@ -82,7 +90,6 @@ struct xbt_mutex_ {
 xbt_mutex_t xbt_mutex_init(void) {
    xbt_mutex_t res = (xbt_mutex_t)xbt_os_mutex_init();
    DEBUG1("Create mutex %p", res);
-   xbt_backtrace_display_current();
    return res;
 }
 
@@ -94,7 +101,6 @@ void xbt_mutex_lock(xbt_mutex_t mutex) {
 void xbt_mutex_unlock(xbt_mutex_t mutex) {
    DEBUG1("Unlock mutex %p", mutex);
    xbt_os_mutex_unlock( (xbt_os_mutex_t)mutex );
-   xbt_backtrace_display_current();
 }
 
 void xbt_mutex_destroy(xbt_mutex_t mutex) {
@@ -136,7 +142,6 @@ void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) {
 
 void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay) {
    DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex,delay);
-   xbt_backtrace_display_current();
    xbt_os_cond_timedwait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex, delay );
    DEBUG3("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);
 }