Details of this changes:

[simgrid.git] / src / xbt / xbt_sg_synchro.c

diff --git a/src/xbt/xbt_sg_synchro.c b/src/xbt/xbt_sg_synchro.c
index bc80b82..e7c1586 100644 (file)
--- a/src/xbt/xbt_sg_synchro.c
+++ b/src/xbt/xbt_sg_synchro.c
@@ -45,7 +45,7 @@ xbt_thread_t xbt_thread_create(const char*name,void_f_pvoid_t code, void* param)
    res->s_process = SIMIX_process_create(name, 
                                         xbt_thread_create_wrapper, res,
                                         SIMIX_host_get_name(SIMIX_host_self()),
-                                        0,/*props*/NULL);
+                                        0,NULL,/*props*/NULL);
 //   free(name);
    return res;
 }
@@ -68,6 +68,7 @@ xbt_thread_join(xbt_thread_t thread) {
 void 
 xbt_thread_cancel(xbt_thread_t thread) {
    SIMIX_process_kill(thread->s_process);
+   free(thread->name);
    free(thread);
 }                     
 
@@ -91,7 +92,7 @@ struct s_xbt_mutex_ {
    
    /* KEEP IT IN SYNC WITH src/simix/private.h::struct s_smx_mutex */
    xbt_swag_t sleeping;                        /* list of sleeping process */
-   int using;
+   int refcount ;
    /* KEEP IT IN SYNC WITH src/simix/private.h::struct s_smx_mutex */
    
 };