pthread_mutex_t m;
} s_xbt_os_mutex_t;
-typedef struct xbt_os_rmutex_ {
- xbt_os_mutex_t mutex;
- xbt_os_thread_t owner;
- int count;
-} s_xbt_os_rmutex_t;
-
#include <time.h>
#include <math.h>
#endif
+/***** reentrant mutexes *****/
+typedef struct xbt_os_rmutex_ {
+ xbt_os_mutex_t mutex;
+ xbt_os_thread_t owner;
+ int count;
+} s_xbt_os_rmutex_t;
+
void xbt_os_thread_set_extra_data(void *data)
{
xbt_os_thread_self()->extra_data = data;