/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "gras_config.h"
+#include "internal_config.h"
#include "xbt/sysdep.h"
#include "xbt/ex.h"
#include "xbt/ex_interface.h" /* We play crude games with exceptions */
/* ********************************* PTHREAD IMPLEMENTATION ************************************ */
#ifdef HAVE_PTHREAD_H
-#include <pthread.h>
#include <semaphore.h>
#ifdef HAVE_MUTEX_TIMEDLOCK
static pthread_key_t xbt_self_thread_key;
static int thread_mod_inited = 0;
+/* attribute structure to handle pthread stack size changing */
+//FIXME: find where to put this
+static pthread_attr_t attr;
+static int thread_attr_inited = 0;
+
/* frees the xbt_os_thread_t corresponding to the current thread */
static void xbt_os_thread_free_thread_data(xbt_os_thread_t thread)
{
static void _os_thread_ex_terminate(xbt_ex_t * e)
{
xbt_ex_display(e);
-
- abort();
+ xbt_abort();
/* FIXME: there should be a configuration variable to choose to kill everyone or only this one */
}
return;
if ((errcode = pthread_key_create(&xbt_self_thread_key, NULL)))
- THROW0(system_error, errcode,
+ THROWF(system_error, errcode,
"pthread_key_create failed for xbt_self_thread_key");
main_thread = xbt_new(s_xbt_os_thread_t, 1);
XBT_RUNNING_CTX_INITIALIZE(main_thread->running_ctx);
if ((errcode = pthread_setspecific(xbt_self_thread_key, main_thread)))
- THROW0(system_error, errcode,
+ THROWF(system_error, errcode,
"pthread_setspecific failed for xbt_self_thread_key");
// int errcode;
// if ((errcode=pthread_key_delete(xbt_self_thread_key)))
- // THROW0(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
+ // THROWF(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
free(main_thread->running_ctx);
free(main_thread);
main_thread = NULL;
__xbt_ex_terminate = &__xbt_ex_terminate_default;
}
+/* this function is critical to tesh+mmalloc, don't mess with it */
int xbt_os_thread_atfork(void (*prepare)(void),
void (*parent)(void), void (*child)(void))
{
+#ifdef WIN32
+ THROW_UNIMPLEMENTED; //pthread_atfork is not implemented in pthread.h on windows
+#else
return pthread_atfork(prepare, parent, child);
+#endif
}
static void *wrapper_start_routine(void *s)
int errcode;
if ((errcode = pthread_setspecific(xbt_self_thread_key, t)))
- THROW0(system_error, errcode,
+ THROWF(system_error, errcode,
"pthread_setspecific failed for xbt_self_thread_key");
- void *res = (*(t->start_routine)) (t->param);
+ void *res = t->start_routine(t->param);
if (t->detached)
xbt_os_thread_free_thread_data(t);
return res;
}
+
xbt_os_thread_t xbt_os_thread_create(const char *name,
pvoid_f_pvoid_t start_routine,
void *param,
XBT_RUNNING_CTX_INITIALIZE(res_thread->running_ctx);
res_thread->extra_data = extra_data;
- if ((errcode = pthread_create(&(res_thread->t), NULL,
+ if ((errcode = pthread_create(&(res_thread->t), thread_attr_inited!=0? &attr: NULL,
wrapper_start_routine, res_thread)))
- THROW1(system_error, errcode,
+ THROWF(system_error, errcode,
"pthread_create failed: %s", strerror(errcode));
+
+
return res_thread;
}
+
+void xbt_os_thread_setstacksize(int stack_size)
+{
+ size_t def=0;
+ if(stack_size<0)xbt_die("stack size is negative, maybe it exceeds MAX_INT?\n");
+ pthread_attr_init(&attr);
+ pthread_attr_getstacksize (&attr, &def);
+ int res = pthread_attr_setstacksize (&attr, stack_size);
+ if ( res!=0 ) {
+ if(res==EINVAL)XBT_WARN("Thread stack size is either < PTHREAD_STACK_MIN, > the max limit of the system, or perhaps not a multiple of PTHREAD_STACK_MIN - The parameter was ignored");
+ else XBT_WARN("unknown error in pthread stacksize setting");
+
+ pthread_attr_setstacksize (&attr, def);
+ }
+ thread_attr_inited=1;
+}
+
const char *xbt_os_thread_name(xbt_os_thread_t t)
{
return t->name;
int errcode;
if ((errcode = pthread_join(thread->t, thread_return)))
- THROW1(system_error, errcode, "pthread_join failed: %s",
+ THROWF(system_error, errcode, "pthread_join failed: %s",
strerror(errcode));
xbt_os_thread_free_thread_data(thread);
}
return res;
}
+void xbt_os_thread_key_create(xbt_os_thread_key_t* key) {
+
+ int errcode;
+ if ((errcode = pthread_key_create(key, NULL)))
+ THROWF(system_error, errcode, "pthread_key_create failed");
+}
+
+void xbt_os_thread_set_specific(xbt_os_thread_key_t key, void* value) {
+
+ int errcode;
+ if ((errcode = pthread_setspecific(key, value)))
+ THROWF(system_error, errcode, "pthread_setspecific failed");
+}
+
+void* xbt_os_thread_get_specific(xbt_os_thread_key_t key) {
+ return pthread_getspecific(key);
+}
+
void xbt_os_thread_detach(xbt_os_thread_t thread)
{
thread->detached = 1;
int errcode;
if ((errcode = pthread_mutex_init(&(res->m), NULL)))
- THROW1(system_error, errcode, "pthread_mutex_init() failed: %s",
+ THROWF(system_error, errcode, "pthread_mutex_init() failed: %s",
strerror(errcode));
return res;
int errcode;
if ((errcode = pthread_mutex_lock(&(mutex->m))))
- THROW2(system_error, errcode, "pthread_mutex_lock(%p) failed: %s",
+ THROWF(system_error, errcode, "pthread_mutex_lock(%p) failed: %s",
mutex, strerror(errcode));
}
case 0:
return;
case ETIMEDOUT:
- THROW1(timeout_error, 0, "mutex %p not ready", mutex);
+ THROWF(timeout_error, 0, "mutex %p not ready", mutex);
default:
- THROW2(system_error, errcode,
+ THROWF(system_error, errcode,
"xbt_mutex_timedacquire(%p) failed: %s", mutex,
strerror(errcode));
}
return;
case ETIMEDOUT:
- THROW2(timeout_error, delay,
+ THROWF(timeout_error, delay,
"mutex %p wasn't signaled before timeout (%f)", mutex, delay);
default:
- THROW3(system_error, errcode,
+ THROWF(system_error, errcode,
"pthread_mutex_timedlock(%p,%f) failed: %s", mutex, delay,
strerror(errcode));
}
int errcode;
if ((errcode = pthread_mutex_unlock(&(mutex->m))))
- THROW2(system_error, errcode, "pthread_mutex_unlock(%p) failed: %s",
+ THROWF(system_error, errcode, "pthread_mutex_unlock(%p) failed: %s",
mutex, strerror(errcode));
}
return;
if ((errcode = pthread_mutex_destroy(&(mutex->m))))
- THROW2(system_error, errcode, "pthread_mutex_destroy(%p) failed: %s",
+ THROWF(system_error, errcode, "pthread_mutex_destroy(%p) failed: %s",
mutex, strerror(errcode));
free(mutex);
}
xbt_os_cond_t res = xbt_new(s_xbt_os_cond_t, 1);
int errcode;
if ((errcode = pthread_cond_init(&(res->c), NULL)))
- THROW1(system_error, errcode, "pthread_cond_init() failed: %s",
+ THROWF(system_error, errcode, "pthread_cond_init() failed: %s",
strerror(errcode));
return res;
{
int errcode;
if ((errcode = pthread_cond_wait(&(cond->c), &(mutex->m))))
- THROW3(system_error, errcode, "pthread_cond_wait(%p,%p) failed: %s",
+ THROWF(system_error, errcode, "pthread_cond_wait(%p,%p) failed: %s",
cond, mutex, strerror(errcode));
}
case 0:
return;
case ETIMEDOUT:
- THROW3(timeout_error, errcode,
+ THROWF(timeout_error, errcode,
"condition %p (mutex %p) wasn't signaled before timeout (%f)",
cond, mutex, delay);
default:
- THROW4(system_error, errcode,
+ THROWF(system_error, errcode,
"pthread_cond_timedwait(%p,%p,%f) failed: %s", cond, mutex,
delay, strerror(errcode));
}
{
int errcode;
if ((errcode = pthread_cond_signal(&(cond->c))))
- THROW2(system_error, errcode, "pthread_cond_signal(%p) failed: %s",
+ THROWF(system_error, errcode, "pthread_cond_signal(%p) failed: %s",
cond, strerror(errcode));
}
{
int errcode;
if ((errcode = pthread_cond_broadcast(&(cond->c))))
- THROW2(system_error, errcode, "pthread_cond_broadcast(%p) failed: %s",
+ THROWF(system_error, errcode, "pthread_cond_broadcast(%p) failed: %s",
cond, strerror(errcode));
}
return;
if ((errcode = pthread_cond_destroy(&(cond->c))))
- THROW2(system_error, errcode, "pthread_cond_destroy(%p) failed: %s",
+ THROWF(system_error, errcode, "pthread_cond_destroy(%p) failed: %s",
cond, strerror(errcode));
free(cond);
}
*/
#ifdef HAVE_SEM_INIT
if (sem_init(&(res->s), 0, value) != 0)
- THROW1(system_error, errno, "sem_init() failed: %s", strerror(errno));
+ THROWF(system_error, errno, "sem_init() failed: %s", strerror(errno));
res->ps = &(res->s);
#else /* damn, no sem_init(). Reimplement it */
if ((res->ps == (sem_t *) SEM_FAILED) && (errno == ENAMETOOLONG)) {
/* Old darwins only allow 13 chars. Did you create *that* amount of semaphores? */
res->name[13] = '\0';
- res->ps = sem_open(res->name, O_CREAT, 0644, 1);
+ res->ps = sem_open(res->name, O_CREAT, 0644, value);
}
if ((res->ps == (sem_t *) SEM_FAILED))
- THROW1(system_error, errno, "sem_open() failed: %s", strerror(errno));
+ THROWF(system_error, errno, "sem_open() failed: %s", strerror(errno));
/* Remove the name from the semaphore namespace: we never join on it */
if (sem_unlink(res->name) < 0)
- THROW1(system_error, errno, "sem_unlink() failed: %s",
+ THROWF(system_error, errno, "sem_unlink() failed: %s",
strerror(errno));
#endif
void xbt_os_sem_acquire(xbt_os_sem_t sem)
{
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
+ THROWF(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
if (sem_wait(sem->ps) < 0)
- THROW1(system_error, errno, "sem_wait() failed: %s", strerror(errno));
+ THROWF(system_error, errno, "sem_wait() failed: %s", strerror(errno));
}
void xbt_os_sem_timedacquire(xbt_os_sem_t sem, double delay)
int errcode;
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
+ THROWF(arg_error, EINVAL, "Cannot acquire of the NULL semaphore");
if (delay < 0) {
xbt_os_sem_acquire(sem);
case 0:
return;
case ETIMEDOUT:
- THROW1(timeout_error, 0, "semaphore %p not ready", sem);
+ THROWF(timeout_error, 0, "semaphore %p not ready", sem);
default:
- THROW2(system_error, errcode,
+ THROWF(system_error, errcode,
"xbt_os_sem_timedacquire(%p) failed: %s", sem,
strerror(errcode));
}
return;
case ETIMEDOUT:
- THROW2(timeout_error, delay,
+ THROWF(timeout_error, delay,
"semaphore %p wasn't signaled before timeout (%f)", sem,
delay);
default:
- THROW3(system_error, errcode, "sem_timedwait(%p,%f) failed: %s", sem,
+ THROWF(system_error, errcode, "sem_timedwait(%p,%f) failed: %s", sem,
delay, strerror(errcode));
}
}
void xbt_os_sem_release(xbt_os_sem_t sem)
{
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot release of the NULL semaphore");
+ THROWF(arg_error, EINVAL, "Cannot release of the NULL semaphore");
if (sem_post(sem->ps) < 0)
- THROW1(system_error, errno, "sem_post() failed: %s", strerror(errno));
+ THROWF(system_error, errno, "sem_post() failed: %s", strerror(errno));
}
void xbt_os_sem_destroy(xbt_os_sem_t sem)
{
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot destroy the NULL sempahore");
+ THROWF(arg_error, EINVAL, "Cannot destroy the NULL sempahore");
#ifdef HAVE_SEM_INIT
if (sem_destroy(sem->ps) < 0)
- THROW1(system_error, errno, "sem_destroy() failed: %s",
+ THROWF(system_error, errno, "sem_destroy() failed: %s",
strerror(errno));
#else
if (sem_close(sem->ps) < 0)
- THROW1(system_error, errno, "sem_close() failed: %s", strerror(errno));
+ THROWF(system_error, errno, "sem_close() failed: %s", strerror(errno));
xbt_free(sem->name);
#endif
void xbt_os_sem_get_value(xbt_os_sem_t sem, int *svalue)
{
if (!sem)
- THROW0(arg_error, EINVAL,
+ THROWF(arg_error, EINVAL,
"Cannot get the value of the NULL semaphore");
if (sem_getvalue(&(sem->s), svalue) < 0)
- THROW1(system_error, errno, "sem_getvalue() failed: %s",
+ THROWF(system_error, errno, "sem_getvalue() failed: %s",
strerror(errno));
}
#endif
/* the default size of the stack of the threads (in bytes)*/
-#define XBT_DEFAULT_THREAD_STACK_SIZE 4096
-
+#define XBT_DEFAULT_THREAD_STACK_SIZE 4096
+static int stack_size=0;
/* key to the TLS containing the xbt_os_thread_t structure */
static unsigned long xbt_self_thread_key;
{
if (!TlsFree(xbt_self_thread_key))
- THROW0(system_error, (int) GetLastError(),
+ THROWF(system_error, (int) GetLastError(),
"TlsFree() failed to cleanup the thread submodule");
}
DWORD *rv;
if (!TlsSetValue(xbt_self_thread_key, t))
- THROW0(system_error, (int) GetLastError(),
+ THROWF(system_error, (int) GetLastError(),
"TlsSetValue of data describing the created thread failed");
rv = (DWORD *) ((t->start_routine) (t->param));
t->start_routine = start_routine;
t->param = param;
t->extra_data = extra_data;
- t->handle = CreateThread(NULL, XBT_DEFAULT_THREAD_STACK_SIZE,
+ t->handle = CreateThread(NULL, stack_size==0 ? XBT_DEFAULT_THREAD_STACK_SIZE : stack_size,
(LPTHREAD_START_ROUTINE) wrapper_start_routine,
t, STACK_SIZE_PARAM_IS_A_RESERVATION, &(t->id));
if (!t->handle) {
xbt_free(t);
- THROW0(system_error, (int) GetLastError(), "CreateThread failed");
+ THROWF(system_error, (int) GetLastError(), "CreateThread failed");
}
return t;
}
+void xbt_os_thread_setstacksize(int size)
+{
+ stack_size = size;
+}
+
const char *xbt_os_thread_name(xbt_os_thread_t t)
{
return t->name;
{
if (WAIT_OBJECT_0 != WaitForSingleObject(thread->handle, INFINITE))
- THROW0(system_error, (int) GetLastError(),
+ THROWF(system_error, (int) GetLastError(),
"WaitForSingleObject failed");
if (thread_return) {
if (!GetExitCodeThread(thread->handle, (DWORD *) (*thread_return)))
- THROW0(system_error, (int) GetLastError(),
+ THROWF(system_error, (int) GetLastError(),
"GetExitCodeThread failed");
}
CloseHandle(thread->handle);
- if (thread->name)
- free(thread->name);
+ free(thread->name);
free(thread);
}
ExitThread(0);
}
+void xbt_os_thread_key_create(xbt_os_thread_key_t* key) {
+
+ *key = TlsAlloc();
+}
+
+void xbt_os_thread_set_specific(xbt_os_thread_key_t key, void* value) {
+
+ if (!TlsSetValue(key, value))
+ THROWF(system_error, (int) GetLastError(), "TlsSetValue() failed");
+}
+
+void* xbt_os_thread_get_specific(xbt_os_thread_key_t key) {
+ return TlsGetValue(key);
+}
+
void xbt_os_thread_detach(xbt_os_thread_t thread)
{
THROW_UNIMPLEMENTED;
void xbt_os_thread_cancel(xbt_os_thread_t t)
{
if (!TerminateThread(t->handle, 0))
- THROW0(system_error, (int) GetLastError(), "TerminateThread failed");
+ THROWF(system_error, (int) GetLastError(), "TerminateThread failed");
}
/****** mutex related functions ******/
if (!res->events[SIGNAL]) {
DeleteCriticalSection(&res->waiters_count_lock);
free(res);
- THROW0(system_error, 0, "CreateEvent failed for the signals");
+ THROWF(system_error, 0, "CreateEvent failed for the signals");
}
/* Create a manual-reset event. */
DeleteCriticalSection(&res->waiters_count_lock);
CloseHandle(res->events[SIGNAL]);
free(res);
- THROW0(system_error, 0, "CreateEvent failed for the broadcasts");
+ THROWF(system_error, 0, "CreateEvent failed for the broadcasts");
}
return res;
wait_result = WaitForMultipleObjects(2, cond->events, FALSE, INFINITE);
if (wait_result == WAIT_FAILED)
- THROW0(system_error, 0,
+ THROWF(system_error, 0,
"WaitForMultipleObjects failed, so we cannot wait on the condition");
/* we have a signal lock the condition */
*/
if (is_last_waiter)
if (!ResetEvent(cond->events[BROADCAST]))
- THROW0(system_error, 0, "ResetEvent failed");
+ THROWF(system_error, 0, "ResetEvent failed");
/* relock the mutex associated with the condition in accordance with the posix thread specification */
EnterCriticalSection(&mutex->lock);
switch (wait_result) {
case WAIT_TIMEOUT:
- THROW3(timeout_error, GetLastError(),
+ THROWF(timeout_error, GetLastError(),
"condition %p (mutex %p) wasn't signaled before timeout (%f)",
cond, mutex, delay);
case WAIT_FAILED:
- THROW0(system_error, GetLastError(),
+ THROWF(system_error, GetLastError(),
"WaitForMultipleObjects failed, so we cannot wait on the condition");
}
*/
if (is_last_waiter)
if (!ResetEvent(cond->events[BROADCAST]))
- THROW0(system_error, 0, "ResetEvent failed");
+ THROWF(system_error, 0, "ResetEvent failed");
/* relock the mutex associated with the condition in accordance with the posix thread specification */
EnterCriticalSection(&mutex->lock);
if (have_waiters)
if (!SetEvent(cond->events[SIGNAL]))
- THROW0(system_error, 0, "SetEvent failed");
+ THROWF(system_error, 0, "SetEvent failed");
xbt_os_thread_yield();
}
xbt_free(cond);
if (error)
- THROW0(system_error, 0, "Error while destroying the condition");
+ THROWF(system_error, 0, "Error while destroying the condition");
}
typedef struct xbt_os_sem_ {
xbt_os_sem_t res;
if (value > INT_MAX)
- THROW1(arg_error, value,
+ THROWF(arg_error, value,
"Semaphore initial value too big: %ud cannot be stored as a signed int",
value);
res = (xbt_os_sem_t) xbt_new0(s_xbt_os_sem_t, 1);
if (!(res->h = CreateSemaphore(NULL, value, (long) INT_MAX, NULL))) {
- THROW1(system_error, GetLastError(), "CreateSemaphore() failed: %s",
+ THROWF(system_error, GetLastError(), "CreateSemaphore() failed: %s",
strerror(GetLastError()));
return NULL;
}
void xbt_os_sem_acquire(xbt_os_sem_t sem)
{
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
+ THROWF(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
/* wait failure */
if (WAIT_OBJECT_0 != WaitForSingleObject(sem->h, INFINITE))
- THROW1(system_error, GetLastError(),
+ THROWF(system_error, GetLastError(),
"WaitForSingleObject() failed: %s", strerror(GetLastError()));
EnterCriticalSection(&(sem->value_lock));
sem->value--;
double end = timeout + xbt_os_time();
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
+ THROWF(arg_error, EINVAL, "Cannot acquire the NULL semaphore");
if (timeout < 0) {
xbt_os_sem_acquire(sem);
return;
case WAIT_TIMEOUT:
- THROW2(timeout_error, GetLastError(),
+ THROWF(timeout_error, GetLastError(),
"semaphore %p wasn't signaled before timeout (%f)", sem,
timeout);
return;
default:
- THROW3(system_error, GetLastError(),
+ THROWF(system_error, GetLastError(),
"WaitForSingleObject(%p,%f) failed: %s", sem, timeout,
strerror(GetLastError()));
}
void xbt_os_sem_release(xbt_os_sem_t sem)
{
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot release the NULL semaphore");
+ THROWF(arg_error, EINVAL, "Cannot release the NULL semaphore");
if (!ReleaseSemaphore(sem->h, 1, NULL))
- THROW1(system_error, GetLastError(), "ReleaseSemaphore() failed: %s",
+ THROWF(system_error, GetLastError(), "ReleaseSemaphore() failed: %s",
strerror(GetLastError()));
EnterCriticalSection(&(sem->value_lock));
sem->value++;
void xbt_os_sem_destroy(xbt_os_sem_t sem)
{
if (!sem)
- THROW0(arg_error, EINVAL, "Cannot destroy the NULL semaphore");
+ THROWF(arg_error, EINVAL, "Cannot destroy the NULL semaphore");
if (!CloseHandle(sem->h))
- THROW1(system_error, GetLastError(), "CloseHandle() failed: %s",
+ THROWF(system_error, GetLastError(), "CloseHandle() failed: %s",
strerror(GetLastError()));
DeleteCriticalSection(&(sem->value_lock));
void xbt_os_sem_get_value(xbt_os_sem_t sem, int *svalue)
{
if (!sem)
- THROW0(arg_error, EINVAL,
+ THROWF(arg_error, EINVAL,
"Cannot get the value of the NULL semaphore");
EnterCriticalSection(&(sem->value_lock));
#endif
+
+/** @brief Returns the amount of cores on the current host */
+int xbt_os_get_numcores(void) {
+#ifdef WIN32
+ SYSTEM_INFO sysinfo;
+ GetSystemInfo(&sysinfo);
+ return sysinfo.dwNumberOfProcessors;
+#elif MACOS
+ int nm[2];
+ size_t len = 4;
+ uint32_t count;
+
+ nm[0] = CTL_HW; nm[1] = HW_AVAILCPU;
+ sysctl(nm, 2, &count, &len, NULL, 0);
+
+ if(count < 1) {
+ nm[1] = HW_NCPU;
+ sysctl(nm, 2, &count, &len, NULL, 0);
+ if(count < 1) { count = 1; }
+ }
+ return count;
+#else
+ return sysconf(_SC_NPROCESSORS_ONLN);
+#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;
{
return xbt_os_thread_self()->extra_data;
}
+
+xbt_os_rmutex_t xbt_os_rmutex_init(void)
+{
+ xbt_os_rmutex_t rmutex = xbt_new0(struct xbt_os_rmutex_, 1);
+ rmutex->mutex = xbt_os_mutex_init();
+ rmutex->owner = NULL;
+ rmutex->count = 0;
+ return rmutex;
+}
+
+void xbt_os_rmutex_acquire(xbt_os_rmutex_t rmutex)
+{
+ xbt_os_thread_t self = xbt_os_thread_self();
+
+ if (self == NULL) {
+ /* the thread module is not initialized yet */
+ rmutex->owner = NULL;
+ return;
+ }
+
+ if (self != rmutex->owner) {
+ xbt_os_mutex_acquire(rmutex->mutex);
+ rmutex->owner = self;
+ rmutex->count = 1;
+ } else {
+ rmutex->count++;
+ }
+}
+
+void xbt_os_rmutex_release(xbt_os_rmutex_t rmutex)
+{
+ if (rmutex->owner == NULL) {
+ /* the thread module was not initialized */
+ return;
+ }
+
+ xbt_assert(rmutex->owner == xbt_os_thread_self());
+
+ if (--rmutex->count == 0) {
+ rmutex->owner = NULL;
+ xbt_os_mutex_release(rmutex->mutex);
+ }
+}
+
+void xbt_os_rmutex_destroy(xbt_os_rmutex_t rmutex)
+{
+ xbt_os_mutex_destroy(rmutex->mutex);
+ xbt_free(rmutex);
+}
