XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_sync_os, xbt, "Synchronization mechanism (OS-level)");
-/* use named sempahore when sem_init() does not work */
+/* use named semaphore when sem_init() does not work */
#if !HAVE_SEM_INIT
static int next_sem_ID = 0;
static xbt_os_mutex_t next_sem_ID_lock;
xbt_free(sem);
}
-void xbt_os_sem_get_value(xbt_os_sem_t sem, int *svalue)
-{
- if (sem_getvalue(&(sem->s), svalue) < 0)
- THROWF(system_error, errno, "sem_getvalue() failed: %s",
- strerror(errno));
-}
-
/** @brief Returns the amount of cores on the current host */
int xbt_os_get_numcores(void) {
#ifdef WIN32