/* xbt_os_thread_join frees the joined thread (ie the XBT wrapper around it, the OS frees the rest) */
XBT_PUBLIC(void) xbt_os_thread_join(xbt_os_thread_t thread,void ** thread_return);
XBT_PUBLIC(void) xbt_os_thread_yield(void);
+ XBT_PUBLIC(void) xbt_os_thread_cancel(xbt_os_thread_t thread);
+ XBT_PUBLIC(void*) xbt_os_thread_getparam(void);
/** \brief Thread mutex data type (opaque structure) */
XBT_PUBLIC(xbt_os_cond_t) xbt_os_cond_init(void);
XBT_PUBLIC(void) xbt_os_cond_wait(xbt_os_cond_t cond,
xbt_os_mutex_t mutex);
+ XBT_PUBLIC(void) xbt_os_cond_timedwait(xbt_os_cond_t cond,
+ xbt_os_mutex_t mutex,
+ double delay);
XBT_PUBLIC(void) xbt_os_cond_signal(xbt_os_cond_t cond);
XBT_PUBLIC(void) xbt_os_cond_broadcast(xbt_os_cond_t cond);
XBT_PUBLIC(void) xbt_os_cond_destroy(xbt_os_cond_t cond);