X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/456eb348c9521090931eba2c7fbfcacf40623fae..0f9669031a1bc6ab9f0ecab2981ba2214ae1c210:/include/xbt/synchro.h?ds=sidebyside

diff --git a/include/xbt/synchro.h b/include/xbt/synchro.h
index 84bdb79798..4c4cf57e73 100644
--- a/include/xbt/synchro.h
+++ b/include/xbt/synchro.h
@@ -32,13 +32,15 @@ SG_BEGIN_DECL()
   /** \brief Thread data type (opaque structure) */
   typedef struct s_xbt_thread_ *xbt_thread_t;
 
-  XBT_PUBLIC(xbt_thread_t) xbt_thread_create(void_f_pvoid_t start_routine,void* param);
+  XBT_PUBLIC(xbt_thread_t) xbt_thread_create(const char *name, void_f_pvoid_t start_routine,void* param);
   XBT_PUBLIC(void) xbt_thread_exit();
   XBT_PUBLIC(xbt_thread_t) xbt_thread_self(void);
+  XBT_PUBLIC(const char*) xbt_thread_name(xbt_thread_t t);
+  XBT_PUBLIC(const char*) xbt_thread_self_name(void);
   /* xbt_thread_join frees the joined thread (ie the XBT wrapper around it, the OS frees the rest) */
   XBT_PUBLIC(void) xbt_thread_join(xbt_thread_t thread);
-  /* Brutally ends the life of the poor victim */
-  XBT_PUBLIC(void) xbt_thread_destroy(xbt_thread_t thread);
+  /* Ends the life of the poor victim (not always working if it's computing, but working if it's blocked in the OS) */
+  XBT_PUBLIC(void) xbt_thread_cancel(xbt_thread_t thread);
   /* suicide */
   XBT_PUBLIC(void) xbt_thread_exit(void);
   /* current thread pass control to any possible thread wanting it */
@@ -49,8 +51,10 @@ SG_BEGIN_DECL()
   typedef struct s_xbt_mutex_ *xbt_mutex_t;
 
   XBT_PUBLIC(xbt_mutex_t) xbt_mutex_init(void);
-  XBT_PUBLIC(void)        xbt_mutex_lock(xbt_mutex_t mutex);
-  XBT_PUBLIC(void)        xbt_mutex_unlock(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_acquire(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_release(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_tryacquire(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_timedacquire(xbt_mutex_t mutex, double delay);
   XBT_PUBLIC(void)        xbt_mutex_destroy(xbt_mutex_t mutex);