- xbt_os_cond_t cond; /* the condition used to synchronize the process */
- xbt_os_mutex_t mutex; /* the mutex used to synchronize the process */
+ xbt_os_sem_t begin; /* this semaphore is used to schedule/unschedule the process */
+ xbt_os_sem_t end; /* this semaphore is used to schedule/unschedule the process */