+ DEBUG1("Destroy condition %p", cond);
+ if (cond == NULL)
+ return;
+ else {
+ xbt_fifo_item_t item = NULL;
+ smx_action_t action = NULL;
+
+ xbt_assert0(xbt_swag_size(cond->sleeping) == 0,
+ "Cannot destroy conditional since someone is still using it");
+ xbt_swag_free(cond->sleeping);
+
+ DEBUG1("%d actions registered", xbt_fifo_size(cond->actions));
+ __SIMIX_cond_display_actions(cond);
+ xbt_fifo_foreach(cond->actions, item, action, smx_action_t) {
+ SIMIX_unregister_action_to_condition(action, cond);
+ }
+ __SIMIX_cond_display_actions(cond);
+
+ xbt_fifo_free(cond->actions);
+ xbt_free(cond);
+ return;
+ }
+}
+
+void SIMIX_cond_display_info(smx_cond_t cond)
+{
+ if (cond == NULL)
+ return;
+ else {
+ smx_process_t process = NULL;
+
+ INFO0("Blocked process on this condition:");
+ xbt_swag_foreach(process, cond->sleeping) {
+ INFO2("\t %s running on host %s", process->name,
+ process->smx_host->name);
+ }
+ }
+}
+
+/* ************************** Semaphores ************************************** */
+#define SMX_SEM_NOLIMIT 99999
+/** @brief Initialize a semaphore */
+smx_sem_t SIMIX_sem_init(int capacity)
+{
+ smx_sem_t sem = xbt_new0(s_smx_sem_t, 1);
+
+ sem->sleeping = xbt_fifo_new();
+ sem->actions = xbt_fifo_new();
+ sem->capacity = capacity;
+ return sem;
+}
+
+/** @brief Destroys a semaphore */
+void SIMIX_sem_destroy(smx_sem_t sem)
+{
+ smx_action_t action = NULL;
+ DEBUG1("Destroy semaphore %p", sem);
+ if (sem == NULL)
+ return;
+
+ xbt_assert0(xbt_fifo_size(sem->sleeping) == 0,
+ "Cannot destroy semaphore since someone is still using it");
+ xbt_fifo_free(sem->sleeping);
+
+ DEBUG1("%d actions registered", xbt_fifo_size(sem->actions));
+ while ((action = xbt_fifo_pop(sem->actions)))
+ SIMIX_unregister_action_to_semaphore(action, sem);
+
+ xbt_fifo_free(sem->actions);
+ xbt_free(sem);
+}
+
+/** @brief release the semaphore
+ *
+ * The first locked process on this semaphore is unlocked.
+ * If no one was blocked, the semaphore capacity is increased by 1.
+ * */
+void SIMIX_sem_release(smx_sem_t sem)
+{
+ smx_process_t proc;
+
+ if (sem->capacity != SMX_SEM_NOLIMIT) {
+ sem->capacity++;
+ }
+ DEBUG1("Sem release semaphore %p", sem);
+ if ((proc = xbt_fifo_shift(sem->sleeping)) != NULL) {
+ xbt_swag_insert(proc, simix_global->process_to_run);
+ }
+}
+
+/** @brief make sure the semaphore will never be blocking again
+ *
+ * This function is not really in the semaphore spirit. It makes
+ * sure that the semaphore will never be blocking anymore.
+ *
+ * Releasing and acquiring the semaphore after calling this
+ * function is a noop. Such "broken" semaphores are useful to
+ * implement something between condition variables (with broadcast)
+ * and semaphore (with memory). It's like a semaphore signaled for ever.
+ *
+ * There is no way to reset the semaphore to a more regular state afterward.
+ * */
+void SIMIX_sem_release_forever(smx_sem_t sem)
+{
+ smx_process_t proc;
+
+ sem->capacity = SMX_SEM_NOLIMIT;
+ DEBUG1("Broadcast semaphore %p", sem);
+ while ((proc = xbt_fifo_shift(sem->sleeping)) != NULL) {
+ xbt_swag_insert(proc, simix_global->process_to_run);
+ }