/** \brief Thread data type (opaque structure) */
typedef struct s_xbt_thread_ *xbt_thread_t;
- XBT_PUBLIC(xbt_thread_t) xbt_thread_create(const char *name, void_fp_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);
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_timedacquire(xbt_mutex_t mutex, double delay);
XBT_PUBLIC(void) xbt_mutex_destroy(xbt_mutex_t mutex);