Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "Always decrement the semaphore capacity, even if it will go under 0 that...
[simgrid.git] / src / simix / smx_synchro.c
index bec90e9..1cd37ed 100644 (file)
@@ -485,7 +485,6 @@ void SIMIX_sem_acquire_timeout(smx_sem_t sem, double max_duration)
     sem->capacity--;
     return;
   }
-  sem->capacity--;
 
   /* Always create an action null in case there is a host failure */
   act_sleep = SIMIX_action_sleep(SIMIX_host_self(), max_duration);