--- rpl/src/gestion_threads.c 2019/02/03 14:40:33 1.110 +++ rpl/src/gestion_threads.c 2019/02/07 21:44:14 1.111 @@ -78,6 +78,9 @@ lancement_thread(void *argument) # ifndef SEMAPHORES_NOMMES sem_init(&((*s_etat_processus).semaphore_fork), 0, 0); +uprintf("[%d-%llu] Semaphore fork %p (gestion_threads.c)\n", (int) getpid(), + (unsigned long long) pthread_self(), + &((*s_etat_processus).semaphore_fork)); # else if (((*s_etat_processus).semaphore_fork = sem_init3(0, getpid(), pthread_self(), SEM_FORK)) == SEM_FAILED) @@ -1014,8 +1017,10 @@ lancement_thread(void *argument) pthread_mutex_destroy(&((*s_etat_processus).mutex_signaux)); # ifndef SEMAPHORES_NOMMES + sem_post(&((*s_etat_processus).semaphore_fork)); sem_destroy(&((*s_etat_processus).semaphore_fork)); # else + sem_post((*s_etat_processus).semaphore_fork); sem_destroy3((*s_etat_processus).semaphore_fork, getpid(), pthread_self(), SEM_FORK); # endif