#include "xbt/synchro_core.h"
#include "xbt/log.h"
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(msg_synchro, msg,
- "Logging specific to MSG (synchro)");
-
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(msg_synchro, msg, "Logging specific to MSG (synchro)");
/** @addtogroup msg_synchro
*
* @{
*/
-/********************************* Host **************************************/
-
/** @brief creates a semaphore object of the given initial capacity */
msg_sem_t MSG_sem_init(int initial_value) {
return simcall_sem_init(initial_value);
void MSG_sem_acquire(msg_sem_t sem) {
simcall_sem_acquire(sem);
}
+
/** @brief locks on a semaphore object up until the provided timeout expires */
msg_error_t MSG_sem_acquire_timeout(msg_sem_t sem, double timeout) {
xbt_ex_t e;
}
return res;
}
+
/** @brief releases the semaphore object */
void MSG_sem_release(msg_sem_t sem) {
simcall_sem_release(sem);
}
+
void MSG_sem_get_capacity(msg_sem_t sem) {
simcall_sem_get_capacity(sem);
}
void MSG_sem_destroy(msg_sem_t sem) {
SIMIX_sem_destroy(sem);
}
+
/** @brief returns a boolean indicating if this semaphore would block at this very specific time
*
* Note that the returned value may be wrong right after the function call, when you try to use it...
else
return 0;
}
-
/**@}*/