version 1.208, 2019/02/09 13:36:42
|
version 1.209, 2019/02/11 06:18:21
|
Line 6110 rplinit(int argc, char *argv[], char *en
|
Line 6110 rplinit(int argc, char *argv[], char *en
|
attente.tv_sec = 0; |
attente.tv_sec = 0; |
attente.tv_nsec = GRANULARITE_us * 1000; |
attente.tv_nsec = GRANULARITE_us * 1000; |
|
|
|
pthread_mutex_lock(&((*s_etat_processus).mutex_pile_processus)); |
|
|
while(nombre_thread_surveillance_processus != 0) |
while(nombre_thread_surveillance_processus != 0) |
{ |
{ |
|
pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus)); |
nanosleep(&attente, NULL); |
nanosleep(&attente, NULL); |
INCR_GRANULARITE(attente.tv_nsec); |
INCR_GRANULARITE(attente.tv_nsec); |
|
pthread_mutex_lock(&((*s_etat_processus).mutex_pile_processus)); |
} |
} |
|
|
|
pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus)); |
|
|
attente.tv_sec = 0; |
attente.tv_sec = 0; |
attente.tv_nsec = GRANULARITE_us * 1000; |
attente.tv_nsec = GRANULARITE_us * 1000; |
|
|