version 1.83, 2016/03/15 16:31:14
|
version 1.85, 2016/07/21 15:22:52
|
Line 83 surveillance_processus(void *argument)
|
Line 83 surveillance_processus(void *argument)
|
BUG(1, uprintf("General mutex error!\n")); |
BUG(1, uprintf("General mutex error!\n")); |
} |
} |
|
|
|
nombre_thread_surveillance_processus++; |
insertion_thread_surveillance(s_etat_processus, s_argument_thread); |
insertion_thread_surveillance(s_etat_processus, s_argument_thread); |
|
|
if (pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus)) != 0) |
if (pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus)) != 0) |
Line 1427 surveillance_processus(void *argument)
|
Line 1428 surveillance_processus(void *argument)
|
} |
} |
|
|
retrait_thread_surveillance(s_etat_processus, s_argument_thread); |
retrait_thread_surveillance(s_etat_processus, s_argument_thread); |
|
nombre_thread_surveillance_processus--; |
|
|
if (pthread_mutex_unlock(&((*s_etat_processus) |
if (pthread_mutex_unlock(&((*s_etat_processus) |
.mutex_pile_processus)) != 0) |
.mutex_pile_processus)) != 0) |
Line 1436 surveillance_processus(void *argument)
|
Line 1438 surveillance_processus(void *argument)
|
} |
} |
|
|
pthread_exit(NULL); |
pthread_exit(NULL); |
return(NULL); |
|
} |
} |
|
|
|
|