version 1.106, 2012/10/14 21:37:11
|
version 1.139, 2014/01/26 18:21:34
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.11 |
RPL/2 (R) version 4.1.17 |
Copyright (C) 1989-2012 Dr. BERTRAND Joël |
Copyright (C) 1989-2014 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 60 static volatile int code_erreur_g
|
Line 60 static volatile int code_erreur_g
|
|
|
unsigned char *racine_segment; |
unsigned char *racine_segment; |
|
|
static pthread_mutex_t mutex_interruptions |
|
= PTHREAD_MUTEX_INITIALIZER; |
|
|
|
static void * |
static void * |
thread_surveillance_signaux(void *argument) |
thread_surveillance_signaux(void *argument) |
{ |
{ |
Line 81 thread_surveillance_signaux(void *argume
|
Line 78 thread_surveillance_signaux(void *argume
|
|
|
volatile struct_liste_chainee_volatile *l_element_courant; |
volatile struct_liste_chainee_volatile *l_element_courant; |
|
|
|
sigset_t set; |
|
|
|
sigfillset(&set); |
|
pthread_sigmask(SIG_BLOCK, &set, NULL); |
|
|
s_etat_processus = (struct_processus *) argument; |
s_etat_processus = (struct_processus *) argument; |
|
|
for(;;) |
for(;;) |
Line 91 thread_surveillance_signaux(void *argume
|
Line 93 thread_surveillance_signaux(void *argume
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
if (sem_wait(&(*s_queue_signaux).signalisation) == 0) |
if (sem_wait(&(*s_queue_signaux).signalisation) == 0) |
# else |
# else |
if(sem_wait(semaphore_signalisation) == 0) |
if (sem_wait(semaphore_signalisation) == 0) |
# endif |
# endif |
{ |
{ |
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
|
if (sem_wait(&(*s_queue_signaux).arret_signalisation) != 0) |
|
# else |
|
if (sem_wait(semaphore_arret_signalisation) != 0) |
|
# endif |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
} |
|
|
if ((*s_queue_signaux).requete_arret == d_vrai) |
if ((*s_queue_signaux).requete_arret == d_vrai) |
{ |
{ |
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
|
sem_post(&(*s_queue_signaux).arret_signalisation); |
|
sem_post(&(*s_queue_signaux).signalisation); |
|
# else |
|
sem_post(semaphore_arret_signalisation); |
|
sem_post(semaphore_signalisation); |
|
# endif |
|
|
break; |
break; |
} |
} |
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
|
sem_post(&(*s_queue_signaux).arret_signalisation); |
sem_post(&(*s_queue_signaux).signalisation); |
sem_post(&(*s_queue_signaux).signalisation); |
# else |
# else |
|
sem_post(semaphore_arret_signalisation); |
sem_post(semaphore_signalisation); |
sem_post(semaphore_signalisation); |
# endif |
# endif |
|
|
Line 140 thread_surveillance_signaux(void *argume
|
Line 161 thread_surveillance_signaux(void *argume
|
// Dans un second temps, on balaye toutes les queues de signaux |
// Dans un second temps, on balaye toutes les queues de signaux |
// des threads du processus courant. |
// des threads du processus courant. |
|
|
|
// Attention : l'ordre de verrouillage des mutexes est important |
|
// pour éviter les conditions bloquantes ! |
|
|
pthread_mutex_lock(&mutex_liste_threads); |
pthread_mutex_lock(&mutex_liste_threads); |
|
|
l_element_courant = liste_threads; |
l_element_courant = liste_threads; |
|
|
while(l_element_courant != NULL) |
while(l_element_courant != NULL) |
Line 148 thread_surveillance_signaux(void *argume
|
Line 173 thread_surveillance_signaux(void *argume
|
if ((*((struct_thread *) (*l_element_courant).donnee)).pid |
if ((*((struct_thread *) (*l_element_courant).donnee)).pid |
== getpid()) |
== getpid()) |
{ |
{ |
|
pthread_mutex_lock(&((*(*((struct_thread *) |
|
(*l_element_courant).donnee)).s_etat_processus) |
|
.mutex_signaux)); |
|
|
if ((*(*((struct_thread *) (*l_element_courant).donnee)) |
if ((*(*((struct_thread *) (*l_element_courant).donnee)) |
.s_etat_processus).pointeur_signal_ecriture != |
.s_etat_processus).pointeur_signal_ecriture != |
(*(*((struct_thread *) (*l_element_courant).donnee)) |
(*(*((struct_thread *) (*l_element_courant) |
.s_etat_processus).pointeur_signal_lecture) |
.donnee)).s_etat_processus) |
|
.pointeur_signal_lecture) |
{ |
{ |
nombre_signaux_envoyes++; |
nombre_signaux_envoyes++; |
pthread_kill((*((struct_thread *) (*l_element_courant) |
pthread_kill((*((struct_thread *) |
.donnee)).tid, SIGALRM); |
(*l_element_courant).donnee)).tid, SIGALRM); |
} |
} |
|
|
|
pthread_mutex_unlock(&((*(*((struct_thread *) |
|
(*l_element_courant).donnee)).s_etat_processus) |
|
.mutex_signaux)); |
} |
} |
|
|
l_element_courant = (*l_element_courant).suivant; |
l_element_courant = (*l_element_courant).suivant; |
Line 173 thread_surveillance_signaux(void *argume
|
Line 207 thread_surveillance_signaux(void *argume
|
} |
} |
else |
else |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
if (errno != EINTR) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
} |
} |
} |
} |
} |
|
|
Line 332 retrait_thread(struct_processus *s_etat_
|
Line 369 retrait_thread(struct_processus *s_etat_
|
.pointeur_signal_lecture) |
.pointeur_signal_lecture) |
{ |
{ |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
sem_wait(&((*s_queue_signaux).signalisation)); |
while(sem_wait(&((*s_queue_signaux).signalisation)) != 0) |
# else |
# else |
sem_wait(semaphore_signalisation); |
while(sem_wait(semaphore_signalisation) != 0) |
# endif |
# endif |
|
{ |
|
if (errno != EINTR) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
|
|
(*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus) |
(*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus) |
.pointeur_signal_lecture = ((*(*((struct_thread *) |
.pointeur_signal_lecture = ((*(*((struct_thread *) |
Line 534 liberation_threads(struct_processus *s_e
|
Line 578 liberation_threads(struct_processus *s_e
|
|
|
struct_processus *candidat; |
struct_processus *candidat; |
|
|
unsigned long i; |
struct_liste_variables_partagees *l_element_partage_courant; |
|
struct_liste_variables_partagees *l_element_partage_suivant; |
|
|
|
struct_liste_variables_statiques *l_element_statique_courant; |
|
struct_liste_variables_statiques *l_element_statique_suivant; |
|
|
|
integer8 i; |
|
|
void *element_candidat; |
void *element_candidat; |
void *element_courant; |
void *element_courant; |
Line 577 liberation_threads(struct_processus *s_e
|
Line 627 liberation_threads(struct_processus *s_e
|
close((*s_etat_processus).pipe_injections); |
close((*s_etat_processus).pipe_injections); |
close((*s_etat_processus).pipe_nombre_injections); |
close((*s_etat_processus).pipe_nombre_injections); |
close((*s_etat_processus).pipe_interruptions); |
close((*s_etat_processus).pipe_interruptions); |
close((*s_etat_processus).pipe_nombre_objets_attente); |
close((*s_etat_processus).pipe_nombre_elements_attente); |
close((*s_etat_processus).pipe_nombre_interruptions_attente); |
|
|
|
liberation(s_etat_processus, (*s_etat_processus).at_exit); |
liberation(s_etat_processus, (*s_etat_processus).at_exit); |
|
|
Line 646 liberation_threads(struct_processus *s_e
|
Line 695 liberation_threads(struct_processus *s_e
|
close((*s_argument_thread).pipe_acquittement[1]); |
close((*s_argument_thread).pipe_acquittement[1]); |
close((*s_argument_thread).pipe_injections[1]); |
close((*s_argument_thread).pipe_injections[1]); |
close((*s_argument_thread).pipe_nombre_injections[1]); |
close((*s_argument_thread).pipe_nombre_injections[1]); |
close((*s_argument_thread).pipe_nombre_objets_attente[0]); |
close((*s_argument_thread).pipe_nombre_elements_attente[0]); |
close((*s_argument_thread).pipe_interruptions[0]); |
close((*s_argument_thread).pipe_interruptions[0]); |
close((*s_argument_thread) |
|
.pipe_nombre_interruptions_attente[0]); |
|
|
|
if (pthread_mutex_unlock(&((*s_argument_thread) |
if (pthread_mutex_unlock(&((*s_argument_thread) |
.mutex_nombre_references)) != 0) |
.mutex_nombre_references)) != 0) |
Line 749 liberation_threads(struct_processus *s_e
|
Line 796 liberation_threads(struct_processus *s_e
|
} |
} |
} |
} |
|
|
liberation_arbre_variables(s_etat_processus, |
// ne peut être effacé qu'une seule fois |
(*s_etat_processus).s_arbre_variables, d_faux); |
|
|
|
// Ne peut être effacé qu'une seule fois |
|
if (suppression_variables_partagees == d_faux) |
if (suppression_variables_partagees == d_faux) |
{ |
{ |
suppression_variables_partagees = d_vrai; |
suppression_variables_partagees = d_vrai; |
|
|
for(i = 0; i < (*(*s_etat_processus) |
liberation_arbre_variables_partagees(s_etat_processus, |
.s_liste_variables_partagees).nombre_variables; i++) |
(*(*s_etat_processus).s_arbre_variables_partagees)); |
{ |
|
pthread_mutex_trylock(&((*(*(*s_etat_processus) |
|
.s_liste_variables_partagees).table[i].objet) |
|
.mutex)); |
|
pthread_mutex_unlock(&((*(*(*s_etat_processus) |
|
.s_liste_variables_partagees).table[i].objet) |
|
.mutex)); |
|
|
|
liberation(s_etat_processus, (*(*s_etat_processus) |
l_element_partage_courant = (*(*s_etat_processus) |
.s_liste_variables_partagees).table[i].objet); |
.l_liste_variables_partagees); |
free((*(*s_etat_processus).s_liste_variables_partagees) |
|
.table[i].nom); |
|
} |
|
|
|
if ((*(*s_etat_processus).s_liste_variables_partagees).table |
while(l_element_partage_courant != NULL) |
!= NULL) |
|
{ |
{ |
free((struct_variable_partagee *) (*(*s_etat_processus) |
l_element_partage_suivant = |
.s_liste_variables_partagees).table); |
(*l_element_partage_courant).suivant; |
|
free(l_element_partage_courant); |
|
l_element_partage_courant = l_element_partage_suivant; |
} |
} |
|
} |
|
|
|
liberation_arbre_variables(s_etat_processus, |
|
(*s_etat_processus).s_arbre_variables, d_faux); |
|
|
|
l_element_statique_courant = (*s_etat_processus) |
|
.l_liste_variables_statiques; |
|
|
pthread_mutex_trylock(&((*(*s_etat_processus) |
while(l_element_statique_courant != NULL) |
.s_liste_variables_partagees).mutex)); |
{ |
pthread_mutex_unlock(&((*(*s_etat_processus) |
l_element_statique_suivant = |
.s_liste_variables_partagees).mutex)); |
(*l_element_statique_courant).suivant; |
|
free(l_element_statique_courant); |
|
l_element_statique_courant = l_element_statique_suivant; |
} |
} |
|
|
element_courant = (*s_etat_processus).l_base_pile; |
element_courant = (*s_etat_processus).l_base_pile; |
Line 1293 liberation_threads(struct_processus *s_e
|
Line 1337 liberation_threads(struct_processus *s_e
|
close((*s_argument_thread).pipe_acquittement[1]); |
close((*s_argument_thread).pipe_acquittement[1]); |
close((*s_argument_thread).pipe_injections[1]); |
close((*s_argument_thread).pipe_injections[1]); |
close((*s_argument_thread).pipe_nombre_injections[1]); |
close((*s_argument_thread).pipe_nombre_injections[1]); |
close((*s_argument_thread).pipe_nombre_objets_attente[0]); |
close((*s_argument_thread).pipe_nombre_elements_attente[0]); |
close((*s_argument_thread).pipe_interruptions[0]); |
close((*s_argument_thread).pipe_interruptions[0]); |
close((*s_argument_thread).pipe_nombre_interruptions_attente[0]); |
|
|
|
if (pthread_mutex_unlock(&((*s_argument_thread) |
if (pthread_mutex_unlock(&((*s_argument_thread) |
.mutex_nombre_references)) != 0) |
.mutex_nombre_references)) != 0) |
Line 1353 recherche_thread(pid_t pid, pthread_t ti
|
Line 1396 recherche_thread(pid_t pid, pthread_t ti
|
|
|
struct_processus *s_etat_processus; |
struct_processus *s_etat_processus; |
|
|
|
if (pthread_mutex_lock(&mutex_liste_threads) != 0) |
|
{ |
|
return(NULL); |
|
} |
|
|
l_element_courant = liste_threads; |
l_element_courant = liste_threads; |
|
|
while(l_element_courant != NULL) |
while(l_element_courant != NULL) |
Line 1373 recherche_thread(pid_t pid, pthread_t ti
|
Line 1421 recherche_thread(pid_t pid, pthread_t ti
|
* Le processus n'existe plus. On ne distribue aucun signal. |
* Le processus n'existe plus. On ne distribue aucun signal. |
*/ |
*/ |
|
|
|
pthread_mutex_unlock(&mutex_liste_threads); |
return(NULL); |
return(NULL); |
} |
} |
|
|
s_etat_processus = (*((struct_thread *) |
s_etat_processus = (*((struct_thread *) |
(*l_element_courant).donnee)).s_etat_processus; |
(*l_element_courant).donnee)).s_etat_processus; |
|
|
|
if (pthread_mutex_unlock(&mutex_liste_threads) != 0) |
|
{ |
|
return(NULL); |
|
} |
|
|
return(s_etat_processus); |
return(s_etat_processus); |
} |
} |
|
|
Line 1434 recherche_thread_principal(pid_t pid)
|
Line 1488 recherche_thread_principal(pid_t pid)
|
static inline void |
static inline void |
verrouillage_gestionnaire_signaux(struct_processus *s_etat_processus) |
verrouillage_gestionnaire_signaux(struct_processus *s_etat_processus) |
{ |
{ |
int semaphore; |
|
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
Line 1446 verrouillage_gestionnaire_signaux(struct
|
Line 1498 verrouillage_gestionnaire_signaux(struct
|
return; |
return; |
} |
} |
|
|
// Il faut respecteur l'atomicité des deux opérations suivantes ! |
|
|
|
if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) != 0) |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Unlock error !\n")); |
|
return; |
|
} |
|
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&semaphore_gestionnaires_signaux) == -1) |
if (sem_post(&semaphore_gestionnaires_signaux) == -1) |
# else |
# else |
Line 1474 verrouillage_gestionnaire_signaux(struct
|
Line 1513 verrouillage_gestionnaire_signaux(struct
|
return; |
return; |
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
|
if (sem_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0) |
|
# else |
|
if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) |
|
# endif |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Lock error !\n")); |
|
return; |
|
} |
|
|
|
if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0) |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Unlock error !\n")); |
|
return; |
|
} |
|
|
|
if (semaphore == 1) |
|
{ |
|
// Le semaphore ne peut être pris par le thread qui a appelé |
|
// le gestionnaire de signal car le signal est bloqué par ce thread |
|
// dans les zones critiques. Ce sémaphore ne peut donc être bloqué que |
|
// par un thread concurrent. On essaye donc de le bloquer jusqu'à |
|
// ce que ce soit possible. |
|
|
|
if (pthread_mutex_lock(&mutex_liste_threads) != 0) |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Lock error !\n")); |
|
return; |
|
} |
|
} |
|
|
|
return; |
return; |
} |
} |
|
|
static inline void |
static inline void |
deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus) |
deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus) |
{ |
{ |
int semaphore; |
|
|
|
// Il faut respecteur l'atomicité des deux opérations suivantes ! |
|
|
|
if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) == -1) |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Unlock error !\n")); |
|
return; |
|
} |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
if (sem_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0) |
|
# else |
|
if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) |
|
# endif |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Unlock error !\n")); |
|
return; |
|
} |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
while(sem_wait(&semaphore_gestionnaires_signaux) == -1) |
|
# else |
|
while(sem_wait(semaphore_gestionnaires_signaux) == -1) |
|
# endif |
|
{ |
|
if (errno != EINTR) |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Unlock error !\n")); |
|
return; |
|
} |
|
} |
|
|
|
if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0) |
|
{ |
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_etat_processus).semaphore_fork)); |
|
# else |
|
sem_wait((*s_etat_processus).semaphore_fork); |
|
# endif |
|
BUG(1, uprintf("Unlock error !\n")); |
|
return; |
|
} |
|
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
Line 1598 deverrouillage_gestionnaire_signaux(stru
|
Line 1532 deverrouillage_gestionnaire_signaux(stru
|
} |
} |
} |
} |
|
|
if (semaphore == 1) |
|
{ |
|
if (pthread_mutex_unlock(&mutex_liste_threads) != 0) |
|
{ |
|
BUG(1, uprintf("Unlock error !\n")); |
|
return; |
|
} |
|
} |
|
|
|
return; |
return; |
} |
} |
|
|
Line 2391 signal_hup(struct_processus *s_etat_proc
|
Line 2316 signal_hup(struct_processus *s_etat_proc
|
return; |
return; |
} |
} |
|
|
snprintf(nom, 8 + 64 + 1, "rpl-out-%lu-%lu", (unsigned long) getpid(), |
snprintf(nom, 8 + 64 + 1, "rpl-out-%llu-%llu", |
(unsigned long) pthread_self()); |
(unsigned long long) getpid(), |
|
(unsigned long long) pthread_self()); |
|
|
if ((fichier = fopen(nom, "w+")) != NULL) |
if ((fichier = fopen(nom, "w+")) != NULL) |
{ |
{ |
Line 2501 envoi_interruptions(struct_processus *s_
|
Line 2427 envoi_interruptions(struct_processus *s_
|
default: |
default: |
if ((*s_etat_processus).langue == 'F') |
if ((*s_etat_processus).langue == 'F') |
{ |
{ |
printf("+++System : Spurious signal (%d) !\n", signal); |
printf("+++System : Signal inconnu (%d) !\n", signal); |
} |
} |
else |
else |
{ |
{ |
printf("+++System : Signal inconnu (%d) !\n", signal); |
printf("+++System : Spurious signal (%d) !\n", signal); |
} |
} |
|
|
break; |
break; |
Line 2545 scrutation_interruptions(struct_processu
|
Line 2471 scrutation_interruptions(struct_processu
|
% LONGUEUR_QUEUE_SIGNAUX; |
% LONGUEUR_QUEUE_SIGNAUX; |
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
sem_wait(&((*s_queue_signaux).signalisation)); |
while(sem_wait(&((*s_queue_signaux).signalisation)) != 0) |
# else |
# else |
sem_wait(semaphore_signalisation); |
while(sem_wait(semaphore_signalisation) != 0) |
# endif |
# endif |
|
{ |
|
if (errno != EINTR) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
} |
} |
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
Line 2560 scrutation_interruptions(struct_processu
|
Line 2493 scrutation_interruptions(struct_processu
|
|
|
// Interruptions qui arrivent depuis le groupe courant de threads. |
// Interruptions qui arrivent depuis le groupe courant de threads. |
|
|
if (pthread_mutex_trylock(&mutex_interruptions) == 0) |
if (pthread_mutex_trylock(&((*s_etat_processus).mutex_signaux)) == 0) |
{ |
{ |
while((*s_etat_processus).pointeur_signal_lecture != |
while((*s_etat_processus).pointeur_signal_lecture != |
(*s_etat_processus).pointeur_signal_ecriture) |
(*s_etat_processus).pointeur_signal_ecriture) |
Line 2576 scrutation_interruptions(struct_processu
|
Line 2509 scrutation_interruptions(struct_processu
|
% LONGUEUR_QUEUE_SIGNAUX; |
% LONGUEUR_QUEUE_SIGNAUX; |
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
sem_wait(&((*s_queue_signaux).signalisation)); |
while(sem_wait(&((*s_queue_signaux).signalisation)) != 0) |
# else |
# else |
sem_wait(semaphore_signalisation); |
while(sem_wait(semaphore_signalisation) != 0) |
# endif |
# endif |
|
{ |
|
if (errno != EINTR) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
} |
} |
|
|
pthread_mutex_unlock(&mutex_interruptions); |
pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux)); |
} |
} |
|
|
return; |
return; |
Line 2944 envoi_signal_thread(pthread_t tid, enum
|
Line 2884 envoi_signal_thread(pthread_t tid, enum
|
return(1); |
return(1); |
} |
} |
|
|
if (pthread_mutex_lock(&mutex_interruptions) != 0) |
s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee)) |
|
.s_etat_processus; |
|
|
|
if (pthread_mutex_lock(&((*s_etat_processus).mutex_signaux)) != 0) |
{ |
{ |
pthread_mutex_unlock(&mutex_liste_threads); |
pthread_mutex_unlock(&mutex_liste_threads); |
return(1); |
return(1); |
} |
} |
|
|
s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee)) |
|
.s_etat_processus; |
|
|
|
(*s_etat_processus).signaux_en_queue |
(*s_etat_processus).signaux_en_queue |
[(*s_etat_processus).pointeur_signal_ecriture] = signal; |
[(*s_etat_processus).pointeur_signal_ecriture] = signal; |
(*s_etat_processus).pointeur_signal_ecriture = |
(*s_etat_processus).pointeur_signal_ecriture = |
((*s_etat_processus).pointeur_signal_ecriture + 1) |
((*s_etat_processus).pointeur_signal_ecriture + 1) |
% LONGUEUR_QUEUE_SIGNAUX; |
% LONGUEUR_QUEUE_SIGNAUX; |
|
|
if (pthread_mutex_unlock(&mutex_interruptions) != 0) |
if (pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux)) != 0) |
{ |
{ |
pthread_mutex_unlock(&mutex_liste_threads); |
pthread_mutex_unlock(&mutex_liste_threads); |
return(1); |
return(1); |
Line 2989 int
|
Line 2929 int
|
envoi_signal_contexte(struct_processus *s_etat_processus_a_signaler, |
envoi_signal_contexte(struct_processus *s_etat_processus_a_signaler, |
enum signaux_rpl signal) |
enum signaux_rpl signal) |
{ |
{ |
pthread_mutex_lock(&mutex_interruptions); |
pthread_mutex_lock(&((*s_etat_processus_a_signaler).mutex_signaux)); |
(*s_etat_processus_a_signaler).signaux_en_queue |
(*s_etat_processus_a_signaler).signaux_en_queue |
[(*s_etat_processus_a_signaler).pointeur_signal_ecriture] = |
[(*s_etat_processus_a_signaler).pointeur_signal_ecriture] = |
signal; |
signal; |
(*s_etat_processus_a_signaler).pointeur_signal_ecriture = |
(*s_etat_processus_a_signaler).pointeur_signal_ecriture = |
((*s_etat_processus_a_signaler).pointeur_signal_ecriture + 1) |
((*s_etat_processus_a_signaler).pointeur_signal_ecriture + 1) |
% LONGUEUR_QUEUE_SIGNAUX; |
% LONGUEUR_QUEUE_SIGNAUX; |
pthread_mutex_unlock(&mutex_interruptions); |
pthread_mutex_unlock(&((*s_etat_processus_a_signaler).mutex_signaux)); |
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
if (sem_post(&((*s_queue_signaux).signalisation)) != 0) |
if (sem_post(&((*s_queue_signaux).signalisation)) != 0) |
Line 3081 creation_queue_signaux(struct_processus
|
Line 3021 creation_queue_signaux(struct_processus
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
|
sem_init(&((*s_queue_signaux).arret_signalisation), 1, 1); |
# else |
# else |
if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE)) |
if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE)) |
== SEM_FAILED) |
== SEM_FAILED) |
Line 3089 creation_queue_signaux(struct_processus
|
Line 3030 creation_queue_signaux(struct_processus
|
return; |
return; |
} |
} |
|
|
if ((semaphore_signalisation = sem_init2(1, getpid(), |
if ((semaphore_signalisation = sem_init2(0, getpid(), |
SEM_SIGNALISATION)) == SEM_FAILED) |
SEM_SIGNALISATION)) == SEM_FAILED) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
return; |
return; |
} |
} |
|
|
|
if ((semaphore_arret_signalisation = sem_init2(1, getpid(), |
|
SEM_ARRET_SIGNALISATION)) == SEM_FAILED) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
# endif |
# endif |
|
|
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
|
|
(*s_queue_signaux).requete_arret = d_faux; |
(*s_queue_signaux).requete_arret = d_faux; |
|
|
if (msync(s_queue_signaux, sizeof(struct_queue_signaux), 0)) |
if (msync(s_queue_signaux, sizeof(struct_queue_signaux), 0)) |
Line 3164 creation_queue_signaux(struct_processus
|
Line 3113 creation_queue_signaux(struct_processus
|
|
|
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
|
sem_init(&((*s_queue_signaux).arret_signalisation), 1, 1); |
|
|
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).requete_arret = d_faux; |
(*s_queue_signaux).requete_arret = d_faux; |
Line 3187 creation_queue_signaux(struct_processus
|
Line 3138 creation_queue_signaux(struct_processus
|
|
|
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
|
sem_init(&((*s_queue_signaux).arret_signalisation), 1, 1); |
|
|
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).requete_arret = d_faux; |
(*s_queue_signaux).requete_arret = d_faux; |
Line 3265 creation_queue_signaux(struct_processus
|
Line 3218 creation_queue_signaux(struct_processus
|
void |
void |
liberation_queue_signaux(struct_processus *s_etat_processus) |
liberation_queue_signaux(struct_processus *s_etat_processus) |
{ |
{ |
// Incrémenter le sémaphore pour être sûr de le débloquer. |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
|
sem_wait(&((*s_queue_signaux).arret_signalisation)); |
|
# else |
|
sem_wait(semaphore_arret_signalisation); |
|
# endif |
|
|
(*s_queue_signaux).requete_arret = d_vrai; |
(*s_queue_signaux).requete_arret = d_vrai; |
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
|
sem_post(&((*s_queue_signaux).arret_signalisation)); |
|
# else |
|
sem_post(semaphore_arret_signalisation); |
|
# endif |
|
|
|
// Incrémenter le sémaphore pour être sûr de le débloquer. |
|
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
sem_post(&((*s_queue_signaux).signalisation)); |
sem_post(&((*s_queue_signaux).signalisation)); |
# else |
# else |
sem_post(semaphore_signalisation); |
sem_post(semaphore_signalisation); |
Line 3288 liberation_queue_signaux(struct_processu
|
Line 3253 liberation_queue_signaux(struct_processu
|
# endif |
# endif |
# else // POSIX |
# else // POSIX |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
sem_close(&((*s_queue_signaux).semaphore)); |
// Rien à faire, les sémaphores sont anonymes. |
sem_close(&((*s_queue_signaux).signalisation)); |
|
# else |
# else |
sem_close(semaphore_queue_signaux); |
sem_close(semaphore_queue_signaux); |
sem_close(semaphore_signalisation); |
sem_close(semaphore_signalisation); |
|
sem_close(semaphore_arret_signalisation); |
# endif |
# endif |
|
|
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |
Line 3328 destruction_queue_signaux(struct_process
|
Line 3293 destruction_queue_signaux(struct_process
|
unsigned char *nom; |
unsigned char *nom; |
# endif |
# endif |
|
|
// Incrémenter le sémaphore pour être sûr de le débloquer. |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
|
sem_wait(&((*s_queue_signaux).arret_signalisation)); |
|
# else |
|
sem_wait(semaphore_arret_signalisation); |
|
# endif |
|
|
(*s_queue_signaux).requete_arret = d_vrai; |
(*s_queue_signaux).requete_arret = d_vrai; |
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
|
sem_post(&((*s_queue_signaux).arret_signalisation)); |
|
# else |
|
sem_post(semaphore_arret_signalisation); |
|
# endif |
|
|
|
// Incrémenter le sémaphore pour être sûr de le débloquer. |
|
|
|
# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) |
sem_post(&((*s_queue_signaux).signalisation)); |
sem_post(&((*s_queue_signaux).signalisation)); |
# else |
# else |
sem_post(semaphore_signalisation); |
sem_post(semaphore_signalisation); |
Line 3362 destruction_queue_signaux(struct_process
|
Line 3339 destruction_queue_signaux(struct_process
|
unlink((*s_queue_signaux).signalisation.path); |
unlink((*s_queue_signaux).signalisation.path); |
free((*s_queue_signaux).signalisation.path); |
free((*s_queue_signaux).signalisation.path); |
|
|
|
if (semctl((*s_queue_signaux).arret_signalisation.sem, 0, IPC_RMID) |
|
== -1) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
unlink((*s_queue_signaux).arret_signalisation.path); |
|
free((*s_queue_signaux).arret_signalisation.path); |
|
|
if (shmdt(s_queue_signaux) == -1) |
if (shmdt(s_queue_signaux) == -1) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 3390 destruction_queue_signaux(struct_process
|
Line 3377 destruction_queue_signaux(struct_process
|
sem_close(&((*s_queue_signaux).signalisation)); |
sem_close(&((*s_queue_signaux).signalisation)); |
sem_destroy(&((*s_queue_signaux).signalisation)); |
sem_destroy(&((*s_queue_signaux).signalisation)); |
|
|
|
sem_close(&((*s_queue_signaux).arret_signalisation)); |
|
sem_destroy(&((*s_queue_signaux).arret_signalisation)); |
|
|
if (DosFreeMem(s_queue_signaux) != 0) |
if (DosFreeMem(s_queue_signaux) != 0) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 3398 destruction_queue_signaux(struct_process
|
Line 3388 destruction_queue_signaux(struct_process
|
# endif |
# endif |
# else // POSIX |
# else // POSIX |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
sem_close(&((*s_queue_signaux).semaphore)); |
|
sem_destroy(&((*s_queue_signaux).semaphore)); |
sem_destroy(&((*s_queue_signaux).semaphore)); |
|
|
sem_close(&((*s_queue_signaux).signalisation)); |
|
sem_destroy(&((*s_queue_signaux).signalisation)); |
sem_destroy(&((*s_queue_signaux).signalisation)); |
|
sem_destroy(&((*s_queue_signaux).arret_signalisation)); |
# else |
# else |
sem_close(semaphore_queue_signaux); |
sem_close(semaphore_queue_signaux); |
sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE); |
sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE); |
|
|
sem_close(semaphore_signalisation); |
sem_close(semaphore_signalisation); |
sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION); |
sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION); |
|
|
|
sem_close(semaphore_arret_signalisation); |
|
sem_destroy2(semaphore_arret_signalisation, getpid(), |
|
SEM_ARRET_SIGNALISATION); |
# endif |
# endif |
|
|
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |