--- rpl/src/interruptions.c 2010/08/22 16:38:36 1.33 +++ rpl/src/interruptions.c 2016/03/16 12:19:34 1.169 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.0.18 - Copyright (C) 1989-2010 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.25 + Copyright (C) 1989-2016 Dr. BERTRAND Joël This file is part of RPL/2. @@ -52,11 +52,151 @@ typedef struct liste_chainee_volatile volatile void *donnee; } struct_liste_chainee_volatile; - static volatile struct_liste_chainee_volatile *liste_threads = NULL; static volatile struct_liste_chainee_volatile *liste_threads_surveillance = NULL; +static volatile int code_erreur_gsl = 0; + +unsigned char *racine_segment; + +static void * +thread_surveillance_signaux(void *argument) +{ + // Cette fonction est lancée dans un thread créé par processus pour + // gérer le cas des appels système qui seraient bloqués lors de l'arrivée du + // signal SIGALRM. Les processus externes n'envoient plus un signal au + // processus ou au thread à signaler mais positionnent les informations + // nécessaires dans la queue des signaux et incrémentent le sémaphore. + // Le sémaphore est décrémenté lorsque le signal est effectivement traité. + + int ios; + int nombre_signaux_envoyes; + + struct_processus *s_etat_processus; + + struct timespec attente; + + 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; + + for(;;) + { + attente.tv_sec = 0; + attente.tv_nsec = GRANULARITE_us * 1000; + + if (sem_wait(semaphore_signalisation) == 0) + { + if (sem_wait(semaphore_arret_signalisation) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + } + + if ((*s_queue_signaux).requete_arret == d_vrai) + { + sem_post(semaphore_arret_signalisation); + sem_post(semaphore_signalisation); + + break; + } + + sem_post(semaphore_arret_signalisation); + sem_post(semaphore_signalisation); + + nombre_signaux_envoyes = 0; + + // Dans un premier temps, on verrouille la queue des signaux + // affectée au processus courant pour vérifier s'il y a quelque + // chose à traiter. + + while((ios = sem_wait(semaphore_queue_signaux)) != 0) + { + if (errno != EINTR) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + } + } + + if ((*s_queue_signaux).pointeur_lecture != + (*s_queue_signaux).pointeur_ecriture) + { + // Attention : raise() envoit le signal au thread appelant ! + // kill() l'envoie au processus appelant, donc dans notre + // cas à un thread aléatoire du processus, ce qui nous + // convient tout à fait puisqu'il s'agit de débloquer les + // appels système lents. + + nombre_signaux_envoyes++; + kill(getpid(), SIGALRM); + sched_yield(); + } + + sem_post(semaphore_queue_signaux); + + // Dans un second temps, on balaye toutes les queues de signaux + // 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); + + l_element_courant = liste_threads; + + while(l_element_courant != NULL) + { + if ((*((struct_thread *) (*l_element_courant).donnee)).pid + == getpid()) + { + pthread_mutex_lock(&((*(*((struct_thread *) + (*l_element_courant).donnee)).s_etat_processus) + .mutex_signaux)); + + if ((*(*((struct_thread *) (*l_element_courant).donnee)) + .s_etat_processus).pointeur_signal_ecriture != + (*(*((struct_thread *) (*l_element_courant) + .donnee)).s_etat_processus).pointeur_signal_lecture) + { + nombre_signaux_envoyes++; + pthread_kill((*((struct_thread *) + (*l_element_courant).donnee)).tid, SIGALRM); + sched_yield(); + } + + pthread_mutex_unlock(&((*(*((struct_thread *) + (*l_element_courant).donnee)).s_etat_processus) + .mutex_signaux)); + } + + l_element_courant = (*l_element_courant).suivant; + } + + pthread_mutex_unlock(&mutex_liste_threads); + + // Nanosleep + + if (nombre_signaux_envoyes > 0) + { + nanosleep(&attente, NULL); + } + } + else + { + if (errno != EINTR) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + } + } + } + + pthread_exit(NULL); +} void modification_pid_thread_pere(struct_processus *s_etat_processus) @@ -74,29 +214,17 @@ modification_pid_thread_pere(struct_proc void insertion_thread(struct_processus *s_etat_processus, logical1 thread_principal) { - sigset_t oldset; - sigset_t set; - volatile struct_liste_chainee_volatile *l_nouvel_objet; - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); - if ((l_nouvel_objet = malloc(sizeof(struct_liste_chainee_volatile))) == NULL) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } if (((*l_nouvel_objet).donnee = malloc(sizeof(struct_thread))) == NULL) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } @@ -108,40 +236,21 @@ insertion_thread(struct_processus *s_eta (*((struct_thread *) (*l_nouvel_objet).donnee)).s_etat_processus = s_etat_processus; -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_liste_threads) == -1) -# else - while(sem_wait(semaphore_liste_threads) == -1) -# endif + if (pthread_mutex_lock(&mutex_liste_threads) != 0) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } (*l_nouvel_objet).suivant = liste_threads; liste_threads = l_nouvel_objet; -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) -# else - if (sem_post(semaphore_liste_threads) != 0) -# endif + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - (*s_etat_processus).erreur_systeme = d_es_processus; return; } - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); return; } @@ -149,93 +258,49 @@ void insertion_thread_surveillance(struct_processus *s_etat_processus, struct_descripteur_thread *s_argument_thread) { - sigset_t oldset; - sigset_t set; - volatile struct_liste_chainee_volatile *l_nouvel_objet; - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); - if ((l_nouvel_objet = malloc(sizeof(struct_liste_chainee_volatile))) == NULL) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_liste_threads) == -1) -# else - while(sem_wait(semaphore_liste_threads) == -1) -# endif + if (pthread_mutex_lock(&mutex_liste_threads) != 0) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } - pthread_mutex_lock(&((*s_argument_thread).mutex)); + pthread_mutex_lock(&((*s_argument_thread).mutex_nombre_references)); (*s_argument_thread).nombre_references++; - pthread_mutex_unlock(&((*s_argument_thread).mutex)); + pthread_mutex_unlock(&((*s_argument_thread).mutex_nombre_references)); (*l_nouvel_objet).suivant = liste_threads_surveillance; (*l_nouvel_objet).donnee = (void *) s_argument_thread; liste_threads_surveillance = l_nouvel_objet; -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) -# else - if (sem_post(semaphore_liste_threads) != 0) -# endif + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - (*s_etat_processus).erreur_systeme = d_es_processus; return; } - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); return; } void retrait_thread(struct_processus *s_etat_processus) { - sigset_t oldset; - sigset_t set; - volatile struct_liste_chainee_volatile *l_element_precedent; volatile struct_liste_chainee_volatile *l_element_courant; - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); - -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_liste_threads) == -1) -# else - while(sem_wait(semaphore_liste_threads) == -1) -# endif + if (pthread_mutex_lock(&mutex_liste_threads) != 0) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } l_element_precedent = NULL; @@ -256,14 +321,7 @@ retrait_thread(struct_processus *s_etat_ if (l_element_courant == NULL) { -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_liste_threads); -# else - sem_post(semaphore_liste_threads); -# endif - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - + pthread_mutex_unlock(&mutex_liste_threads); (*s_etat_processus).erreur_systeme = d_es_processus; return; } @@ -277,38 +335,38 @@ retrait_thread(struct_processus *s_etat_ (*l_element_precedent).suivant = (*l_element_courant).suivant; } - if (pthread_setspecific(semaphore_fork_processus_courant, NULL) != 0) + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_liste_threads); -# else - sem_post(semaphore_liste_threads); -# endif - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); return; } -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) -# else - if (sem_post(semaphore_liste_threads) != 0) -# endif + // Le thread ne peut plus traiter de signaux explicites. Il convient + // alors de corriger le sémaphore pour annuler les signaux en attente. + + while((*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus) + .pointeur_signal_ecriture != (*(*((struct_thread *) + (*l_element_courant).donnee)).s_etat_processus) + .pointeur_signal_lecture) { - (*s_etat_processus).erreur_systeme = d_es_processus; + while(sem_wait(semaphore_signalisation) != 0) + { + if (errno != EINTR) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + } - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - return; + (*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus) + .pointeur_signal_lecture = ((*(*((struct_thread *) + (*l_element_courant).donnee)).s_etat_processus) + .pointeur_signal_lecture + 1) % LONGUEUR_QUEUE_SIGNAUX; } free((void *) (*l_element_courant).donnee); free((struct_liste_chainee_volatile *) l_element_courant); - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); return; } @@ -316,29 +374,13 @@ void retrait_thread_surveillance(struct_processus *s_etat_processus, struct_descripteur_thread *s_argument_thread) { - sigset_t set; - sigset_t oldset; - volatile struct_liste_chainee_volatile *l_element_precedent; volatile struct_liste_chainee_volatile *l_element_courant; - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); - -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_liste_threads) == -1) -# else - while(sem_wait(semaphore_liste_threads) == -1) -# endif + if (pthread_mutex_lock(&mutex_liste_threads) != 0) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } l_element_precedent = NULL; @@ -357,14 +399,7 @@ retrait_thread_surveillance(struct_proce if (l_element_courant == NULL) { -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_liste_threads); -# else - sem_post(semaphore_liste_threads); -# endif - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - + pthread_mutex_unlock(&mutex_liste_threads); (*s_etat_processus).erreur_systeme = d_es_processus; return; } @@ -378,16 +413,10 @@ retrait_thread_surveillance(struct_proce (*l_element_precedent).suivant = (*l_element_courant).suivant; } - if (pthread_mutex_lock(&((*s_argument_thread).mutex)) != 0) + if (pthread_mutex_lock(&((*s_argument_thread).mutex_nombre_references)) + != 0) { -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_liste_threads); -# else - sem_post(semaphore_liste_threads); -# endif - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - + pthread_mutex_unlock(&mutex_liste_threads); (*s_etat_processus).erreur_systeme = d_es_processus; return; } @@ -400,58 +429,36 @@ retrait_thread_surveillance(struct_proce if ((*s_argument_thread).nombre_references == 0) { - if (pthread_mutex_unlock(&((*s_argument_thread).mutex)) != 0) + if (pthread_mutex_unlock(&((*s_argument_thread) + .mutex_nombre_references)) != 0) { -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_liste_threads); -# else - sem_post(semaphore_liste_threads); -# endif - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - + pthread_mutex_unlock(&mutex_liste_threads); (*s_etat_processus).erreur_systeme = d_es_processus; return; } pthread_mutex_destroy(&((*s_argument_thread).mutex)); + pthread_mutex_destroy(&((*s_argument_thread).mutex_nombre_references)); free(s_argument_thread); } else { - if (pthread_mutex_unlock(&((*s_argument_thread).mutex)) != 0) + if (pthread_mutex_unlock(&((*s_argument_thread) + .mutex_nombre_references)) != 0) { -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_liste_threads); -# else - sem_post(semaphore_liste_threads); -# endif - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - + pthread_mutex_unlock(&mutex_liste_threads); (*s_etat_processus).erreur_systeme = d_es_processus; return; } } -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) -# else - if (sem_post(semaphore_liste_threads) != 0) -# endif + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - (*s_etat_processus).erreur_systeme = d_es_processus; return; } free((struct_liste_chainee_volatile *) l_element_courant); - - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - return; } @@ -460,17 +467,10 @@ verrouillage_threads_concurrents(struct_ { volatile struct_liste_chainee_volatile *l_element_courant; -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_liste_threads) == -1) -# else - while(sem_wait(semaphore_liste_threads) == -1) -# endif + if (pthread_mutex_lock(&mutex_liste_threads) != 0) { - if (errno != EINTR) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } l_element_courant = liste_threads; @@ -482,18 +482,15 @@ verrouillage_threads_concurrents(struct_ (*l_element_courant).donnee)).tid, pthread_self()) == 0)) { # ifndef SEMAPHORES_NOMMES - while(sem_wait(&((*(*((struct_thread *) (*l_element_courant) - .donnee)).s_etat_processus).semaphore_fork)) == -1) + while(sem_wait(&((*(*((struct_thread *) (*l_element_courant) + .donnee)).s_etat_processus).semaphore_fork)) == -1) # else - while(sem_wait((*(*((struct_thread *) (*l_element_courant) - .donnee)).s_etat_processus).semaphore_fork) == -1) + while(sem_wait((*(*((struct_thread *) (*l_element_courant) + .donnee)).s_etat_processus).semaphore_fork) == -1) # endif { - if (errno != EINTR) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } } @@ -517,28 +514,20 @@ deverrouillage_threads_concurrents(struc (*l_element_courant).donnee)).tid, pthread_self()) == 0)) { # ifndef SEMAPHORES_NOMMES - if (sem_post(&((*(*((struct_thread *) - (*l_element_courant).donnee)).s_etat_processus) - .semaphore_fork)) != 0) + if (sem_post(&((*(*((struct_thread *) + (*l_element_courant).donnee)).s_etat_processus) + .semaphore_fork)) != 0) # else - if (sem_post((*(*((struct_thread *) - (*l_element_courant).donnee)).s_etat_processus) - .semaphore_fork) != 0) + if (sem_post((*(*((struct_thread *) + (*l_element_courant).donnee)).s_etat_processus) + .semaphore_fork) != 0) # endif { -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; return; } -# else - if (sem_post(semaphore_liste_threads) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } -# endif (*s_etat_processus).erreur_systeme = d_es_processus; return; @@ -548,11 +537,7 @@ deverrouillage_threads_concurrents(struc l_element_courant = (*l_element_courant).suivant; } -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) -# else - if (sem_post(semaphore_liste_threads) != 0) -# endif + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; return; @@ -566,14 +551,17 @@ liberation_threads(struct_processus *s_e { logical1 suppression_variables_partagees; - sigset_t oldset; - sigset_t set; - struct_descripteur_thread *s_argument_thread; 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_courant; @@ -582,21 +570,10 @@ liberation_threads(struct_processus *s_e volatile struct_liste_chainee_volatile *l_element_courant; volatile struct_liste_chainee_volatile *l_element_suivant; - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); - -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_liste_threads) == -1) -# else - while(sem_wait(semaphore_liste_threads) == -1) -# endif + if (pthread_mutex_lock(&mutex_liste_threads) == -1) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } l_element_courant = liste_threads; @@ -627,8 +604,7 @@ liberation_threads(struct_processus *s_e close((*s_etat_processus).pipe_injections); close((*s_etat_processus).pipe_nombre_injections); close((*s_etat_processus).pipe_interruptions); - close((*s_etat_processus).pipe_nombre_objets_attente); - close((*s_etat_processus).pipe_nombre_interruptions_attente); + close((*s_etat_processus).pipe_nombre_elements_attente); liberation(s_etat_processus, (*s_etat_processus).at_exit); @@ -676,10 +652,11 @@ liberation_threads(struct_processus *s_e s_argument_thread = (struct_descripteur_thread *) (*((struct_liste_chainee *) element_courant)).donnee; - if (pthread_mutex_lock(&((*s_argument_thread).mutex)) != 0) + if (pthread_mutex_lock(&((*s_argument_thread) + .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } @@ -695,20 +672,20 @@ liberation_threads(struct_processus *s_e close((*s_argument_thread).pipe_acquittement[1]); close((*s_argument_thread).pipe_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_nombre_interruptions_attente[0]); - if (pthread_mutex_unlock(&((*s_argument_thread).mutex)) - != 0) + if (pthread_mutex_unlock(&((*s_argument_thread) + .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } pthread_mutex_destroy(&((*s_argument_thread).mutex)); + pthread_mutex_destroy(&((*s_argument_thread) + .mutex_nombre_references)); if ((*s_argument_thread).processus_detache == d_faux) { @@ -723,11 +700,11 @@ liberation_threads(struct_processus *s_e } else { - if (pthread_mutex_unlock(&((*s_argument_thread).mutex)) - != 0) + if (pthread_mutex_unlock(&((*s_argument_thread) + .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } } @@ -796,72 +773,41 @@ liberation_threads(struct_processus *s_e } } - for(i = 0; i < (*s_etat_processus).nombre_variables; i++) - { - pthread_mutex_trylock(&((*(*s_etat_processus) - .s_liste_variables[i].objet).mutex)); - pthread_mutex_unlock(&((*(*s_etat_processus) - .s_liste_variables[i].objet).mutex)); - - // Les variables de niveau 0 sont des définitions qui - // ne sont pas copiées entre threads. - if ((*s_etat_processus).s_liste_variables[i].niveau > 0) - { - liberation(s_etat_processus, - (*s_etat_processus).s_liste_variables[i].objet); - } - - free((*s_etat_processus).s_liste_variables[i].nom); - } - - free((*s_etat_processus).s_liste_variables); - - for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++) - { - pthread_mutex_trylock(&((*(*s_etat_processus) - .s_liste_variables_statiques[i].objet).mutex)); - pthread_mutex_unlock(&((*(*s_etat_processus) - .s_liste_variables_statiques[i].objet).mutex)); - - liberation(s_etat_processus, (*s_etat_processus) - .s_liste_variables_statiques[i].objet); - free((*s_etat_processus).s_liste_variables_statiques[i].nom); - } - - free((*s_etat_processus).s_liste_variables_statiques); - // Ne peut être effacé qu'une seule fois if (suppression_variables_partagees == d_faux) { suppression_variables_partagees = d_vrai; - for(i = 0; i < (*(*s_etat_processus) - .s_liste_variables_partagees).nombre_variables; i++) - { - 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_arbre_variables_partagees(s_etat_processus, + (*(*s_etat_processus).s_arbre_variables_partagees)); + (*(*s_etat_processus).s_arbre_variables_partagees) = NULL; - liberation(s_etat_processus, (*(*s_etat_processus) - .s_liste_variables_partagees).table[i].objet); - free((*(*s_etat_processus).s_liste_variables_partagees) - .table[i].nom); - } + l_element_partage_courant = (*(*s_etat_processus) + .l_liste_variables_partagees); - if ((*(*s_etat_processus).s_liste_variables_partagees).table - != NULL) + while(l_element_partage_courant != NULL) { - free((struct_variable_partagee *) (*(*s_etat_processus) - .s_liste_variables_partagees).table); + l_element_partage_suivant = + (*l_element_partage_courant).suivant; + free(l_element_partage_courant); + l_element_partage_courant = l_element_partage_suivant; } - pthread_mutex_trylock(&((*(*s_etat_processus) - .s_liste_variables_partagees).mutex)); - pthread_mutex_unlock(&((*(*s_etat_processus) - .s_liste_variables_partagees).mutex)); + (*(*s_etat_processus).l_liste_variables_partagees) = NULL; + } + + 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; + + while(l_element_statique_courant != NULL) + { + l_element_statique_suivant = + (*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; @@ -1321,14 +1267,16 @@ liberation_threads(struct_processus *s_e liberation_allocateur(s_etat_processus); # ifndef SEMAPHORES_NOMMES - sem_post(&((*s_etat_processus).semaphore_fork)); - sem_destroy(&((*s_etat_processus).semaphore_fork)); + sem_post(&((*s_etat_processus).semaphore_fork)); + sem_destroy(&((*s_etat_processus).semaphore_fork)); # else - sem_post((*s_etat_processus).semaphore_fork); - sem_destroy2((*s_etat_processus).semaphore_fork, sem_fork); + sem_post((*s_etat_processus).semaphore_fork); + sem_close((*s_etat_processus).semaphore_fork); # endif - free(s_etat_processus); + liberation_contexte_cas(s_etat_processus); + liberation_allocateur_buffer(s_etat_processus); + sys_free(s_etat_processus); s_etat_processus = candidat; } @@ -1350,10 +1298,11 @@ liberation_threads(struct_processus *s_e s_argument_thread = (struct_descripteur_thread *) (*l_element_courant).donnee; - if (pthread_mutex_lock(&((*s_argument_thread).mutex)) != 0) + if (pthread_mutex_lock(&((*s_argument_thread).mutex_nombre_references)) + != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } @@ -1369,18 +1318,20 @@ liberation_threads(struct_processus *s_e close((*s_argument_thread).pipe_acquittement[1]); close((*s_argument_thread).pipe_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_nombre_interruptions_attente[0]); - if (pthread_mutex_unlock(&((*s_argument_thread).mutex)) != 0) + if (pthread_mutex_unlock(&((*s_argument_thread) + .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } pthread_mutex_destroy(&((*s_argument_thread).mutex)); + pthread_mutex_destroy(&((*s_argument_thread) + .mutex_nombre_references)); if ((*s_argument_thread).processus_detache == d_faux) { @@ -1394,10 +1345,11 @@ liberation_threads(struct_processus *s_e } else { - if (pthread_mutex_unlock(&((*s_argument_thread).mutex)) != 0) + if (pthread_mutex_unlock(&((*s_argument_thread) + .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } } @@ -1409,19 +1361,12 @@ liberation_threads(struct_processus *s_e liste_threads_surveillance = NULL; -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) -# else - if (sem_post(semaphore_liste_threads) != 0) -# endif + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); (*s_etat_processus).erreur_systeme = d_es_processus; return; } - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); return; } @@ -1432,6 +1377,11 @@ recherche_thread(pid_t pid, pthread_t ti struct_processus *s_etat_processus; + if (pthread_mutex_lock(&mutex_liste_threads) != 0) + { + return(NULL); + } + l_element_courant = liste_threads; while(l_element_courant != NULL) @@ -1452,17 +1402,23 @@ recherche_thread(pid_t pid, pthread_t ti * Le processus n'existe plus. On ne distribue aucun signal. */ + pthread_mutex_unlock(&mutex_liste_threads); return(NULL); } s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus; + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) + { + return(NULL); + } + return(s_etat_processus); } -static logical1 -recherche_thread_principal(pid_t pid, pthread_t *thread) +static struct_processus * +recherche_thread_principal(pid_t pid) { volatile struct_liste_chainee_volatile *l_element_courant; @@ -1486,12 +1442,11 @@ recherche_thread_principal(pid_t pid, pt * Le processus n'existe plus. On ne distribue aucun signal. */ - return(d_faux); + return(NULL); } - (*thread) = (*((struct_thread *) (*l_element_courant).donnee)).tid; - - return(d_vrai); + return((*((struct_thread *) (*l_element_courant).donnee)) + .s_etat_processus); } @@ -1512,1104 +1467,810 @@ recherche_thread_principal(pid_t pid, pt // les sémaphores sont déjà bloqués par un gestionnaire de signal. static inline void -verrouillage_gestionnaire_signaux() +verrouillage_gestionnaire_signaux(struct_processus *s_etat_processus) { - int semaphore; - - sigset_t oldset; - sigset_t set; - - sem_t *sem; - - if ((sem = pthread_getspecific(semaphore_fork_processus_courant)) - != NULL) +# ifndef SEMAPHORES_NOMMES + if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) +# else + if (sem_post((*s_etat_processus).semaphore_fork) != 0) +# endif { - if (sem_post(sem) != 0) - { - BUG(1, uprintf("Lock error !\n")); - return; - } + BUG(1, uprintf("Lock error !\n")); + return; } - // Il faut respecteur l'atomicité des deux opérations suivantes ! - - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); + return; +} +static inline void +deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus) +{ # ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_gestionnaires_signaux_atomique) == -1) + while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) # else - while(sem_wait(semaphore_gestionnaires_signaux_atomique) == -1) + while(sem_wait((*s_etat_processus).semaphore_fork) != 0) # endif { if (errno != EINTR) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); BUG(1, uprintf("Unlock error !\n")); return; } } -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_gestionnaires_signaux) == -1) -# else - if (sem_post(semaphore_gestionnaires_signaux) == -1) -# endif + return; +} + +/* +================================================================================ + Fonctions de gestion des signaux dans les threads. + + Lorsqu'un processus reçoit un signal, il appelle le gestionnaire de signal + associé qui ne fait qu'envoyer au travers de write() le signal + reçus dans un pipe. Un second thread est bloqué sur ce pipe et + effectue le traitement adéquat pour le signal donné. +================================================================================ +*/ + +#define test_signal(signal) \ + if (signal_test == SIGTEST) { signal_test = signal; return; } + +static int pipe_signaux; + +logical1 +lancement_thread_signaux(struct_processus *s_etat_processus) +{ + pthread_attr_t attributs; + + if (pipe((*s_etat_processus).pipe_signaux) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Lock error !\n")); - return; + (*s_etat_processus).erreur_systeme = d_es_processus; + return(d_erreur); } -# ifndef SEMAPHORES_NOMMES - if (sem_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0) -# else - if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) -# endif + pipe_signaux = (*s_etat_processus).pipe_signaux[1]; + + if (pthread_attr_init(&attributs) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Lock error !\n")); - return; + (*s_etat_processus).erreur_systeme = d_es_processus; + return(d_erreur); } -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_gestionnaires_signaux_atomique) != 0) -# else - if (sem_post(semaphore_gestionnaires_signaux_atomique) != 0) -# endif + if (pthread_attr_setdetachstate(&attributs, PTHREAD_CREATE_JOINABLE) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; + (*s_etat_processus).erreur_systeme = d_es_processus; + return(d_erreur); } - if (semaphore == 1) + if (pthread_create(&((*s_etat_processus).thread_signaux), &attributs, + thread_signaux, s_etat_processus) != 0) { - // 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. + (*s_etat_processus).erreur_systeme = d_es_processus; + return(d_erreur); + } -# ifndef SEMAPHORES_NOMMES - while(sem_trywait(&semaphore_liste_threads) == -1) -# else - while(sem_trywait(semaphore_liste_threads) == -1) -# endif - { - if ((errno != EINTR) && (errno != EAGAIN)) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); + return(d_absence_erreur); +} - while(sem_wait(sem) == -1) - { - if (errno != EINTR) - { - BUG(1, uprintf("Lock error !\n")); - return; - } - } +logical1 +arret_thread_signaux(struct_processus *s_etat_processus) +{ + unsigned char signal; + ssize_t n; - BUG(1, uprintf("Lock error !\n")); - return; - } + signal = (unsigned char ) (rpl_sigmax & 0xFF); - sched_yield(); + do + { + n = write_atomic(s_etat_processus, (*s_etat_processus).pipe_signaux[1], + &signal, sizeof(signal)); + + if (n < 0) + { + return(d_erreur); } - } + } while(n != 1); - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); + pthread_join((*s_etat_processus).thread_signaux, NULL); - return; + close((*s_etat_processus).pipe_signaux[0]); + close((*s_etat_processus).pipe_signaux[1]); + + return(d_absence_erreur); } -static inline void -deverrouillage_gestionnaire_signaux() +void * +thread_signaux(void *argument) { - int semaphore; + int *pipe; - sem_t *sem; + sigset_t masque; - sigset_t oldset; - sigset_t set; + struct pollfd fds; - // Il faut respecteur l'atomicité des deux opérations suivantes ! + struct_processus *s_etat_processus; - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); + unsigned char signal; -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_gestionnaires_signaux_atomique) == -1) -# else - while(sem_wait(semaphore_gestionnaires_signaux_atomique) == -1) -# endif - { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; - } - } + s_etat_processus = (struct_processus *) argument; + pipe = (*s_etat_processus).pipe_signaux; + fds.fd = pipe[0]; + fds.events = POLLIN; + fds.revents = 0; -# ifndef SEMAPHORES_NOMMES - if (sem_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0) -# else - if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) -# endif - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; - } + sigfillset(&masque); + pthread_sigmask(SIG_BLOCK, &masque, NULL); -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_gestionnaires_signaux) == -1) -# else - while(sem_wait(semaphore_gestionnaires_signaux) == -1) -# endif + do { - if (errno != EINTR) + if (poll(&fds, 1, -1) == -1) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; + pthread_exit(NULL); } - } - -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_gestionnaires_signaux_atomique) != 0) -# else - if (sem_post(semaphore_gestionnaires_signaux_atomique) != 0) -# endif - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; - } - if ((sem = pthread_getspecific(semaphore_fork_processus_courant)) - != NULL) - { - while(sem_wait(sem) == -1) + if (read_atomic(s_etat_processus, fds.fd, &signal, 1) != 1) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; - } + pthread_exit(NULL); } - } - if (semaphore == 1) - { -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) -# else - if (sem_post(semaphore_liste_threads) != 0) -# endif + if (signal != (0xFF & rpl_sigmax)) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - - BUG(1, uprintf("Unlock error !\n")); - return; + envoi_signal_processus(getpid(), signal, d_faux); + // Un signal SIGALRM est envoyé par le thread de surveillance + // des signaux jusqu'à ce que les signaux soient tous traités. } - } - - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); + } while(signal != (0xFF & rpl_sigmax)); - return; + pthread_exit(NULL); } -#ifdef _BROKEN_SIGINFO - -// Remplacer les mutexes par des sémaphores SysV - -#define longueur_queue 256 -#define nombre_queues 13 - -static int *fifos; -static int segment; -static sem_t *semaphores[nombre_queues]; -static sem_t *semaphore_global; -#ifdef IPCS_SYSV -static unsigned char *chemin = NULL; -#endif - -unsigned char * -nom_segment(unsigned char *chemin, pid_t pid) +static inline void +_write(int fd, const void *buf, size_t count) { - unsigned char *fichier; + ssize_t ios; -# ifdef IPCS_SYSV - if ((fichier = malloc((strlen(chemin) + 1 + 256 + 1) * - sizeof(unsigned char))) == NULL) + while((ios = write(fd, buf, count)) == -1) { - return(NULL); - } - - sprintf(fichier, "%s/RPL-SIGQUEUES-%d", chemin, (int) pid); -# else - if ((fichier = malloc((1 + 256 + 1) * - sizeof(unsigned char))) == NULL) - { - return(NULL); + if (errno != EINTR) + { + break; + } } - sprintf(fichier, "/RPL-SIGQUEUES-%d", (int) pid); -# endif - - return(fichier); + return; } -unsigned char * -nom_semaphore(pid_t pid, int queue) -{ - unsigned char *fichier; - if ((fichier = malloc((256 + 1) * sizeof(unsigned char))) == NULL) - { - return(NULL); - } +// Récupération des signaux +// - SIGINT (arrêt au clavier) +// - SIGTERM (signal d'arrêt en provenance du système) - sprintf(fichier, "/RPL-SIGESMAPHORES-%d-%d", (int) pid, queue); +void +interruption1(int signal) +{ + unsigned char signal_tronque; - return(fichier); -} + test_signal(signal); -inline int -queue_de_signal(int signal) -{ switch(signal) { case SIGINT: - return(0); - case SIGTSTP: - return(1); - case SIGCONT: - return(2); - case SIGURG: - return(3); - case SIGPIPE: - return(4); - case SIGALRM: - return(5); - case SIGFSTOP: - return(6); - case SIGSTART: - return(7); - case SIGINJECT: - return(8); - case SIGABORT: - return(9); - case SIGFABORT: - return(10); - case SIGSEGV: - return(11); - case SIGBUS: - return(12); + signal_tronque = (unsigned char) (rpl_sigint & 0xFF); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); + break; + + case SIGTERM: + signal_tronque = (unsigned char) (rpl_sigterm & 0xFF); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); + break; + + case SIGUSR1: + signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); + break; + + default: + // SIGALRM + break; } - return(-1); + return; } +// Récupération des signaux +// - SIGFSTP +// +// ATTENTION : +// Le signal SIGFSTP provient de la mort du processus de contrôle. +// Sous certains systèmes (Linux...), la mort du terminal de contrôle +// se traduit par l'envoi d'un SIGHUP au processus. Sur d'autres +// (SunOS), le processus reçoit un SIGFSTP avec une structure siginfo +// non initialisée (pointeur NULL) issue de TERMIO. + void -creation_fifos_signaux(struct_processus *s_etat_processus) +interruption2(int signal) { - /* - * Signaux utilisés - * SIGINT, SIGTSTP, SIGCONT, SIGURG, SIGPIPE, SIGALRM, SIGFSTOP, - * SIGSTART, SIGINJECT, SIGABORT, SIGFABORT - */ + unsigned char signal_tronque; -# ifndef IPCS_SYSV // POSIX -# else // SystemV - - file *desc; - - int i; + test_signal(signal); - key_t clef; + signal_tronque = (unsigned char) (rpl_sigtstp & 0xFF); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); - unsigned char *nom; + return; +} - // Création d'un segment de données associé au PID du processus courant +void +interruption3(int signal) +{ + // Si on passe par ici, c'est qu'il est impossible de récupérer + // l'erreur d'accès à la mémoire. On sort donc du programme quitte à + // ce qu'il reste des processus orphelins. - chemin = (*s_etat_processus).chemin_fichiers_temporaires; + unsigned char message_1[] = "+++System : Uncaught access violation\n" + "+++System : Aborting !\n"; + unsigned char message_2[] = "+++System : Stack overflow\n" + "+++System : Aborting !\n"; - if ((nom = nom_segment((*s_etat_processus).chemin_fichiers_temporaires, - getpid())) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + test_signal(signal); - if ((desc = fopen(nom, "w")) == NULL) + if (pid_processus_pere == getpid()) { - (*s_etat_processus).erreur_systeme = d_es_erreur_fichier; - return; + kill(pid_processus_pere, SIGUSR1); } - fclose(desc); +# pragma GCC diagnostic push +# pragma GCC diagnostic ignored "-Wunused-result" - if ((clef = ftok(nom, 1)) == -1) + if (signal != SIGUSR2) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + write(STDERR_FILENO, message_1, strlen(message_1)); } - - free(nom); - - if ((segment = shmget(clef, - nombre_queues * (longueur_queue + 4) * sizeof(int), - IPC_CREAT | IPC_EXCL | S_IRUSR | S_IWUSR)) == -1) + else { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + write(STDERR_FILENO, message_2, strlen(message_2)); } - fifos = shmat(segment, NULL, 0); +# pragma GCC diagnostic pop - if (((void *) fifos) == ((void *) -1)) - { - if (shmctl(segment, IPC_RMID, 0) == -1) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } - - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + _exit(EXIT_FAILURE); +} -# endif +// Récupération des signaux +// - SIGHUP - /* - * Structure d'une queue - * 0 : pointeur en lecture sur le premier emplacement libre (int) - * 1 : pointeur en écriture sur le premier emplacement à lire (int) - * 2 : longueur de la queue (int) - * 3 : éléments restants (int) - * 4 à 4 + (2) : queue (int) - */ +void +interruption4(int signal) +{ + unsigned char signal_tronque; - for(i = 0; i < nombre_queues; i++) - { - fifos[(i * (longueur_queue + 4))] = 0; - fifos[(i * (longueur_queue + 4)) + 1] = 0; - fifos[(i * (longueur_queue + 4)) + 2] = longueur_queue; - fifos[(i * (longueur_queue + 4)) + 3] = longueur_queue; - } + test_signal(signal); - // Création des sémaphores : un sémaphore par signal et par queue - // plus un sémaphore global pour tous les threads. + signal_tronque = (unsigned char) (rpl_sighup & 0xFF); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); - for(i = 0; i < nombre_queues; i++) - { - if ((nom = nom_semaphore(getpid(), i)) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + return; +} - // Le sémaphore est créé en écrasant si nécessaire un sémaphore - // préexistant. Comme le nom du sémaphore contient l'identifiant du - // processus, il est anormal d'avoir un sémaphore de même nom - // préexistant. +// Récupération des signaux +// - SIGPIPE - if ((semaphores[i] = sem_open(nom, O_CREAT, S_IRUSR | S_IWUSR, - 1)) == SEM_FAILED) - { - (*s_etat_processus).erreur_systeme = d_es_semaphore; - return; - } +void +interruption5(int signal) +{ + unsigned char message[] = "+++System : SIGPIPE\n" + "+++System : Aborting !\n"; + unsigned char signal_tronque; - free(nom); - } + test_signal(signal); +# pragma GCC diagnostic push +# pragma GCC diagnostic ignored "-Wunused-result" - if ((nom = nom_semaphore(getpid(), nombre_queues)) == NULL) + if (pid_processus_pere == getpid()) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); } - if ((semaphore_global = sem_open(nom, O_CREAT, S_IRUSR | S_IWUSR, - 1)) == SEM_FAILED) - { - (*s_etat_processus).erreur_systeme = d_es_semaphore; - return; - } + write(STDERR_FILENO, message, strlen(message)); - free(nom); +# pragma GCC diagnostic pop return; } -void -liberation_fifos_signaux(struct_processus *s_etat_processus) +inline static void +signal_alrm(struct_processus *s_etat_processus, pid_t pid) { - int i; + struct_processus *s_thread_principal; - if (shmdt(fifos) == -1) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + verrouillage_gestionnaire_signaux(s_etat_processus); - for(i = 0; i < nombre_queues; i++) + if (pid == getpid()) { - if (sem_close(semaphores[i]) != 0) + // Si pid est égal à getpid(), le signal à traiter est issu + // du même processus que celui qui va le traiter, mais d'un thread + // différent. + + if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - (*s_etat_processus).erreur_systeme = d_es_semaphore; - return; + printf("[%d] RPL/SIGALRM (thread %llu)\n", (int) getpid(), + (unsigned long long) pthread_self()); + fflush(stdout); } - } - if (sem_close(semaphore_global) != 0) + if ((*s_etat_processus).pid_processus_pere != getpid()) + { + // On n'est pas dans le processus père, on remonte le signal. + envoi_signal_processus((*s_etat_processus).pid_processus_pere, + rpl_sigalrm, d_faux); + } + else + { + // On est dans le processus père, on effectue un arrêt d'urgence. + (*s_etat_processus).var_volatile_alarme = -1; + (*s_etat_processus).var_volatile_requete_arret = -1; + } + } + else { - (*s_etat_processus).erreur_systeme = d_es_semaphore; - return; + // Le signal est issu d'un processus différent. On recherche le + // thread principal pour remonter le signal. + + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) + { + envoi_signal_contexte(s_thread_principal, rpl_sigalrm); + } } + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } -void -destruction_fifos_signaux(struct_processus *s_etat_processus) +inline static void +signal_term(struct_processus *s_etat_processus, pid_t pid) { - int i; - - unsigned char *nom; - - if (shmdt(fifos) == -1) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + struct_processus *s_thread_principal; + pthread_mutex_t exclusion = PTHREAD_MUTEX_INITIALIZER; - if (shmctl(segment, IPC_RMID, 0) == -1) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } - - if ((nom = nom_segment((*s_etat_processus).chemin_fichiers_temporaires, - getpid())) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + verrouillage_gestionnaire_signaux(s_etat_processus); - unlink(nom); - free(nom); - - for(i = 0; i < nombre_queues; i++) + if (pid == getpid()) { - if ((nom = nom_semaphore(getpid(), i)) == NULL) + if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + printf("[%d] RPL/SIGTERM (thread %llu)\n", (int) getpid(), + (unsigned long long) pthread_self()); + fflush(stdout); } - if (sem_unlink(nom) != 0) + if ((*s_etat_processus).pid_processus_pere != getpid()) { - (*s_etat_processus).erreur_systeme = d_es_semaphore; - return; + envoi_signal_processus((*s_etat_processus).pid_processus_pere, + rpl_sigterm, d_faux); } + else + { + (*s_etat_processus).var_volatile_traitement_sigint = -1; - free(nom); - } + pthread_mutex_lock(&exclusion); - if ((nom = nom_semaphore(getpid(), nombre_queues)) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + if ((*s_etat_processus).var_volatile_requete_arret == -1) + { + deverrouillage_gestionnaire_signaux(s_etat_processus); + pthread_mutex_unlock(&exclusion); + return; + } + + (*s_etat_processus).var_volatile_requete_arret = -1; + (*s_etat_processus).var_volatile_alarme = -1; - if (sem_unlink(nom) != 0) + pthread_mutex_unlock(&exclusion); + } + } + else { - (*s_etat_processus).erreur_systeme = d_es_semaphore; - return; + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) + { + envoi_signal_contexte(s_thread_principal, rpl_sigterm); + } } - free(nom); - + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } -int -queue_in(pid_t pid, int signal) +inline static void +signal_int(struct_processus *s_etat_processus, pid_t pid) { -#undef printf -// Transformer ce truc en POSIX ! On ne fait du SysV que si on n'a pas le choix + struct_processus *s_thread_principal; + volatile sig_atomic_t exclusion = 0; -# ifndef IPCS_SYSV -# else // Traitement à l'aide d'IPCS SystemV + verrouillage_gestionnaire_signaux(s_etat_processus); - int *base; - int *buffer; - int *projection_fifos; - int queue; - int identifiant; + if (pid == getpid()) + { + if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) + { + printf("[%d] RPL/SIGINT (thread %llu)\n", (int) getpid(), + (unsigned long long) pthread_self()); + fflush(stdout); + } - key_t clef; + if ((*s_etat_processus).pid_processus_pere != getpid()) + { + envoi_signal_processus((*s_etat_processus).pid_processus_pere, + rpl_sigint, d_faux); + } + else + { + (*s_etat_processus).var_volatile_traitement_sigint = -1; - sem_t *semaphore; + while(exclusion == 1); + exclusion = 1; - struct stat s_stat; + if ((*s_etat_processus).var_volatile_requete_arret == -1) + { + deverrouillage_gestionnaire_signaux(s_etat_processus); + exclusion = 0; + return; + } - unsigned char *nom; + if ((*s_etat_processus).langue == 'F') + { + printf("+++Interruption\n"); + } + else + { + printf("+++Interrupt\n"); + } - queue = queue_de_signal(signal); + fflush(stdout); - // Ouverture des projections + (*s_etat_processus).var_volatile_requete_arret = -1; + (*s_etat_processus).var_volatile_alarme = -1; - if ((nom = nom_segment(chemin, pid)) == NULL) + exclusion = 0; + } + } + else { - return(-1); + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) + { + envoi_signal_contexte(s_thread_principal, rpl_sigint); + } } - // Dans le cas de SIGSTART, premier signal envoyé à un processus fils, - // il convient d'attendre que le fichier support soit effectivement - // accessible. Dans tous les autres cas, ce fichier doit exister. S'il - // n'existe plus, le processus associé n'existe plus. + deverrouillage_gestionnaire_signaux(s_etat_processus); + return; +} - if (signal == SIGSTART) - { - // On attend que le fichier sois présent +static inline void +signal_tstp(struct_processus *s_etat_processus, pid_t pid) +{ + struct_processus *s_thread_principal; - while(stat(nom, &s_stat) != 0); - } + verrouillage_gestionnaire_signaux(s_etat_processus); - if ((clef = ftok(nom, 1)) == -1) + if (pid == getpid()) { - return(-1); - } + /* + * 0 => fonctionnement normal + * -1 => requête + * 1 => requête acceptée en attente de traitement + */ - free(nom); + if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) + { + printf("[%d] RPL/SIGTSTP (thread %llu)\n", (int) getpid(), + (unsigned long long) pthread_self()); + fflush(stdout); + } - if (signal == SIGSTART) - { - while((identifiant = shmget(clef, - nombre_queues * (longueur_queue + 4) * sizeof(int), - S_IRUSR | S_IWUSR)) == -1); + if ((*s_etat_processus).var_volatile_processus_pere == 0) + { + envoi_signal_processus((*s_etat_processus).pid_processus_pere, + rpl_sigtstp, d_faux); + } + else + { + (*s_etat_processus).var_volatile_requete_arret2 = -1; + } } else { - if ((identifiant = shmget(clef, - nombre_queues * (longueur_queue + 4) * sizeof(int), - S_IRUSR | S_IWUSR)) == -1) + // Envoi d'un signal au thread maître du groupe. + + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) { - return(-1); + envoi_signal_contexte(s_thread_principal, rpl_sigtstp); } } - projection_fifos = shmat(identifiant, NULL, 0); + deverrouillage_gestionnaire_signaux(s_etat_processus); + return; +} - if (((void *) projection_fifos) == ((void *) -1)) +static void +sortie_interruption_depassement_pile(void *arg1, void *arg2, void *arg3) +{ + switch((*((volatile int *) arg1))) { - return(-1); - } + case 1: + longjmp(contexte_ecriture, -1); + break; - if ((nom = nom_semaphore(pid, queue)) == NULL) - { - shmdt(projection_fifos); - return(-1); + case 2: + longjmp(contexte_impression, -1); + break; } - while((semaphore = sem_open(nom, 0)) == SEM_FAILED); + return; +} - if (sem_wait(semaphore) != 0) +void +interruption_depassement_pile(int urgence, stackoverflow_context_t scp) +{ + if ((urgence == 0) && (routine_recursive != 0)) { - shmdt(projection_fifos); - return(-1); + // On peut tenter de récupérer le dépassement de pile. Si la variable + // 'routine_recursive' est non nulle, on récupère l'erreur. + + sigsegv_leave_handler(sortie_interruption_depassement_pile, + (void *) &routine_recursive, NULL, NULL); } - // Il ne faut pas empiler plusieurs SIGSTART car SIGSTART peut provenir - // de l'instruction SWI. Plusieurs threads peuvent interrompre de façon - // asynchrone le processus père durant une phase de signaux masqués. + // Ici, la panique est totale et il vaut mieux quitter l'application. + interruption3(SIGUSR2); + return; +} - base = &(projection_fifos[(longueur_queue + 4) * queue]); - buffer = &(base[4]); +int +interruption_violation_access(void *adresse_fautive, int gravite) +{ + unsigned char message[] = "+++System : Trying to catch access " + "violation\n"; - // base[3] contient le nombre d'éléments restants + static int compteur_erreur = 0; - if (base[3] <= 0) + if ((gravite == 0) && (routine_recursive != 0)) { - sem_post(semaphore); - sem_close(semaphore); - shmdt(projection_fifos); - return(-1); + // Il peut s'agir d'un dépassement de pile. + + sigsegv_leave_handler(sortie_interruption_depassement_pile, + (void *) &routine_recursive, NULL, NULL); } - base[3]--; + // On est dans une bonne vieille violation d'accès. On essaie + // de fermer au mieux l'application. - // base[1] contient le prochain élément à écrire - buffer[base[1]++] = (int) pid; - base[1] %= base[2]; + compteur_erreur++; - if (sem_post(semaphore) != 0) + if (compteur_erreur >= 2) { - shmdt(projection_fifos); - sem_close(semaphore); - return(-1); + // Erreurs multiples, on arrête l'application. + interruption3(SIGSEGV); + return(0); } - sem_close(semaphore); +# pragma GCC diagnostic push +# pragma GCC diagnostic ignored "-Wunused-result" - // Fermeture des projections - shmdt(projection_fifos); + write(STDERR_FILENO, message, strlen(message)); -# endif +# pragma GCC diagnostic pop - return(0); -} - -pid_t -origine_signal(int signal) -{ - int *base; - int *buffer; - int pid; - int queue; - - queue = queue_de_signal(signal); - - BUG(queue == -1, uprintf("[%d] Unknown signal %d in this context\n", - (int) getpid(), signal)); - - if (sem_wait(semaphores[queue]) != 0) + if (pid_processus_pere == getpid()) { - return(-1); - } - - // Le signal SIGCONT peut être envoyé de façon totalement asynchrone. - // Il peut y avoir plus de signaux envoyés que d'interruptions traitées. - // Il convient donc de rectifier la queue lors du traitement de - // l'interruption correspondante. Le gestionnaire étant installé sans - // l'option NODEFER, la queue reste cohérente. - - if (signal == SIGCONT) - { - base = &(fifos[(longueur_queue + 4) * queue]); - buffer = &(base[4]); - base[0] = (base[1] - 1) % base[2]; - pid = buffer[base[0]++]; - base[3] = base[2]; + longjmp(contexte_initial, -1); + return(1); } else { - base = &(fifos[(longueur_queue + 4) * queue]); - buffer = &(base[4]); - pid = buffer[base[0]++]; - base[0] %= base[2]; - base[3]++; - } - - if (base[3] > base[2]) - { - sem_post(semaphores[queue]); - return(-1); - } - - if (sem_post(semaphores[queue]) != 0) - { - return(-1); + longjmp(contexte_processus, -1); + return(1); } - return((pid_t) pid); + // On renvoie 0 parce qu'on décline toute responsabilité quant à la + // suite des événements... + return(0); } -#endif - -#ifdef printf -# undef printf -#endif +// Traitement de rpl_sigstart -void -interruption1(SIGHANDLER_ARGS) +static inline void +signal_start(struct_processus *s_etat_processus, pid_t pid) { - pid_t pid; + struct_processus *s_thread_principal; - pthread_t thread; + verrouillage_gestionnaire_signaux(s_etat_processus); - struct_processus *s_etat_processus; - - volatile sig_atomic_t exclusion = 0; - - verrouillage_gestionnaire_signaux(); - -# ifdef _BROKEN_SIGINFO - if (signal == SIGINT) + if (pid == getpid()) { - // Si l'interruption provient du clavier, il n'y a pas eu d'appel - // à queue_in(). - - pid = getpid(); + (*s_etat_processus).demarrage_fils = d_vrai; } else { - pid = origine_signal(signal); - } -# else - pid = (*siginfo).si_pid; -# endif + // Envoi d'un signal au thread maître du groupe. - switch(signal) - { - case SIGALRM : + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) { - if (pid == getpid()) - { - if ((s_etat_processus = recherche_thread(getpid(), - pthread_self())) == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } - - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) - { - printf("[%d] SIGALRM (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); - } - - if ((*s_etat_processus).pid_processus_pere != getpid()) - { - kill((*s_etat_processus).pid_processus_pere, signal); - } - else - { - (*s_etat_processus).var_volatile_alarme = -1; - (*s_etat_processus).var_volatile_requete_arret = -1; - } - } - else - { - if (recherche_thread_principal(getpid(), &thread) == d_vrai) - { - pthread_kill(thread, signal); - } - } - - break; + envoi_signal_contexte(s_thread_principal, rpl_sigstart); } + } - case SIGINT : - { - /* - * Une vieille spécification POSIX permet au pointeur siginfo - * d'être nul dans le cas d'un ^C envoyé depuis le clavier. - * Solaris suit en particulier cette spécification. - */ - -# ifndef _BROKEN_SIGINFO - if (siginfo == NULL) - { - kill(getpid(), signal); - } - else -# endif - if (pid == getpid()) - { - if ((s_etat_processus = recherche_thread(getpid(), - pthread_self())) == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } - - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) - { - printf("[%d] SIGINT (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); - } - - if ((*s_etat_processus).pid_processus_pere != getpid()) - { - kill((*s_etat_processus).pid_processus_pere, signal); - } - else - { - (*s_etat_processus).var_volatile_traitement_sigint = -1; - - while(exclusion == 1); - exclusion = 1; - - if ((*s_etat_processus).var_volatile_requete_arret == -1) - { - deverrouillage_gestionnaire_signaux(); - exclusion = 0; - return; - } - - if (strncmp(getenv("LANG"), "fr", 2) == 0) - { - printf("+++Interruption\n"); - } - else - { - printf("+++Interrupt\n"); - } + deverrouillage_gestionnaire_signaux(s_etat_processus); + return; +} - fflush(stdout); +// Traitement de rpl_sigcont - (*s_etat_processus).var_volatile_requete_arret = -1; - (*s_etat_processus).var_volatile_alarme = -1; +static inline void +signal_cont(struct_processus *s_etat_processus, pid_t pid) +{ + struct_processus *s_thread_principal; - exclusion = 0; - } - } - else - { - if (recherche_thread_principal(getpid(), &thread) == d_vrai) - { - pthread_kill(thread, signal); - } - } + verrouillage_gestionnaire_signaux(s_etat_processus); - break; - } + if (pid == getpid()) + { + (*s_etat_processus).redemarrage_processus = d_vrai; + } + else + { + // Envoi d'un signal au thread maître du groupe. - default : + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) { - BUG(1, uprintf("[%d] Unknown signal %d in this context\n", - (int) getpid(), signal)); - break; + envoi_signal_contexte(s_thread_principal, rpl_sigcont); } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } -void -interruption2(SIGHANDLER_ARGS) -{ - pid_t pid; +// Traitement de rpl_sigstop - pthread_t thread; - - struct_processus *s_etat_processus; - - verrouillage_gestionnaire_signaux(); - -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif +static inline void +signal_stop(struct_processus *s_etat_processus, pid_t pid) +{ + struct_processus *s_thread_principal; -# ifndef _BROKEN_SIGINFO - if (siginfo == NULL) - { - /* - * Le signal SIGFSTP provient de la mort du processus de contrôle. - * Sous certains systèmes (Linux...), la mort du terminal de contrôle - * se traduit par l'envoi d'un SIGHUP au processus. Sur d'autres - * (SunOS), le processus reçoit un SIGFSTP avec une structure siginfo - * non initialisée (pointeur NULL) issue de TERMIO. - */ + verrouillage_gestionnaire_signaux(s_etat_processus); - if (recherche_thread_principal(getpid(), &thread) == d_vrai) - { - pthread_kill(thread, SIGHUP); - deverrouillage_gestionnaire_signaux(); - return; - } - } - else -# endif if (pid == getpid()) { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } - - /* - * 0 => fonctionnement normal - * -1 => requête - * 1 => requête acceptée en attente de traitement - */ - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - printf("[%d] SIGTSTP (thread %llu)\n", (int) getpid(), + printf("[%d] RPL/SIGSTOP (thread %llu)\n", (int) getpid(), (unsigned long long) pthread_self()); fflush(stdout); } - if ((*s_etat_processus).var_volatile_processus_pere == 0) + /* + * var_globale_traitement_retarde_stop : + * 0 -> traitement immédiat + * 1 -> traitement retardé (aucun signal reçu) + * -1 -> traitement retardé (un ou plusieurs signaux stop reçus) + */ + + if ((*s_etat_processus).var_volatile_traitement_retarde_stop == 0) { - kill((*s_etat_processus).pid_processus_pere, signal); + (*s_etat_processus).var_volatile_requete_arret = -1; } else { - (*s_etat_processus).var_volatile_requete_arret2 = -1; + (*s_etat_processus).var_volatile_traitement_retarde_stop = -1; } } else { // Envoi d'un signal au thread maître du groupe. - if (recherche_thread_principal(getpid(), &thread) == d_vrai) + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) { - pthread_kill(thread, SIGTSTP); - deverrouillage_gestionnaire_signaux(); - return; + envoi_signal_contexte(s_thread_principal, rpl_sigstop); } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } -void -interruption3(SIGHANDLER_ARGS) -{ - pid_t pid; - - struct_processus *s_etat_processus; - - static int compteur = 0; +// Traitement de rpl_siginject - verrouillage_gestionnaire_signaux(); - -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif +static inline void +signal_inject(struct_processus *s_etat_processus, pid_t pid) +{ + verrouillage_gestionnaire_signaux(s_etat_processus); if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - printf("[%d] SIGSEGV (thread %llu)\n", (int) getpid(), + printf("[%d] RPL/SIGINJECT (thread %llu)\n", (int) getpid(), (unsigned long long) pthread_self()); fflush(stdout); } - if ((*s_etat_processus).var_volatile_recursivite == -1) - { - // Segfault dans un appel de fonction récursive - deverrouillage_gestionnaire_signaux(); - longjmp(contexte, -1); - } - else - { - // Segfault dans une routine interne - if (strncmp(getenv("LANG"), "fr", 2) == 0) - { - printf("+++Système : Violation d'accès (dépassement de pile)\n"); - } - else - { - printf("+++System : Access violation (stack overflow)\n"); - } + deverrouillage_gestionnaire_signaux(s_etat_processus); + return; +} - fflush(stdout); - compteur++; +static inline void +signal_urg(struct_processus *s_etat_processus, pid_t pid) +{ + struct_processus *s_thread_principal; + + verrouillage_gestionnaire_signaux(s_etat_processus); - if (compteur > 1) + if (pid == getpid()) + { + if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - deverrouillage_gestionnaire_signaux(); - exit(EXIT_FAILURE); + printf("[%d] RPL/SIGURG (thread %llu)\n", (int) getpid(), + (unsigned long long) pthread_self()); + fflush(stdout); } - else + + (*s_etat_processus).var_volatile_alarme = -1; + (*s_etat_processus).var_volatile_requete_arret = -1; + } + else + { + // Envoi d'un signal au thread maître du groupe. + + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) { - deverrouillage_gestionnaire_signaux(); - longjmp(contexte_initial, -1); + envoi_signal_contexte(s_thread_principal, rpl_sigurg); } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } -void -interruption4(SIGHANDLER_ARGS) -{ - pid_t pid; +// Traitement de rpl_sigabort - struct_processus *s_etat_processus; - - verrouillage_gestionnaire_signaux(); +static inline void +signal_abort(struct_processus *s_etat_processus, pid_t pid) +{ + struct_processus *s_thread_principal; -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif + verrouillage_gestionnaire_signaux(s_etat_processus); if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } - /* - * Démarrage d'un processus fils ou gestion de SIGCONT (SUSPEND) - */ - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - printf("[%d] SIGSTART/SIGCONT (thread %llu)\n", (int) getpid(), + printf("[%d] RPL/SIGABORT (thread %llu)\n", (int) getpid(), (unsigned long long) pthread_self()); fflush(stdout); } - deverrouillage_gestionnaire_signaux(); - return; -} - -void -interruption5(SIGHANDLER_ARGS) -{ - pid_t pid; - - pthread_t thread; - - struct_processus *s_etat_processus; - - verrouillage_gestionnaire_signaux(); - -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif - if (pid == getpid()) { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } - - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) - { - printf("[%d] SIGFSTOP (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); - } + (*s_etat_processus).arret_depuis_abort = -1; /* * var_globale_traitement_retarde_stop : @@ -2629,442 +2290,1132 @@ interruption5(SIGHANDLER_ARGS) } else { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } + (*s_etat_processus).arret_depuis_abort = -1; // Envoi d'un signal au thread maître du groupe. - if (recherche_thread_principal(getpid(), &thread) == d_vrai) + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) { - pthread_kill(thread, signal); - deverrouillage_gestionnaire_signaux(); - return; + envoi_signal_contexte(s_thread_principal, rpl_sigabort); } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } -void -interruption6(SIGHANDLER_ARGS) -{ - pid_t pid; - struct_processus *s_etat_processus; +static inline void +signal_hup(struct_processus *s_etat_processus, pid_t pid) +{ + file *fichier; - verrouillage_gestionnaire_signaux(); + unsigned char nom[8 + 64 + 1]; -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif + verrouillage_gestionnaire_signaux(s_etat_processus); if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } + snprintf(nom, 8 + 64 + 1, "rpl-out-%llu-%llu", + (unsigned long long) getpid(), + (unsigned long long) pthread_self()); + +# pragma GCC diagnostic push +# pragma GCC diagnostic ignored "-Wunused-result" + + if ((fichier = fopen(nom, "w+")) != NULL) + { + fclose(fichier); + + freopen(nom, "w", stdout); + freopen(nom, "w", stderr); + } + + freopen("/dev/null", "r", stdin); + +# pragma GCC diagnostic pop + if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - printf("[%d] SIGINJECT/SIGQUIT (thread %llu)\n", (int) getpid(), + printf("[%d] RPL/SIGHUP (thread %llu)\n", (int) getpid(), (unsigned long long) pthread_self()); fflush(stdout); } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } void -interruption7(SIGHANDLER_ARGS) +traitement_exceptions_gsl(const char *reason, const char *file, + int line, int gsl_errno) { - pid_t pid; - - struct_processus *s_etat_processus; - - verrouillage_gestionnaire_signaux(); + code_erreur_gsl = gsl_errno; + envoi_signal_processus(getpid(), rpl_sigexcept, d_faux); + return; +} -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif +static inline void +signal_except(struct_processus *s_etat_processus, pid_t pid) +{ + verrouillage_gestionnaire_signaux(s_etat_processus); if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) + (*s_etat_processus).var_volatile_exception_gsl = code_erreur_gsl; + deverrouillage_gestionnaire_signaux(s_etat_processus); + + return; +} + +static inline void +envoi_interruptions(struct_processus *s_etat_processus, enum signaux_rpl signal, + pid_t pid_source) +{ + switch(signal) { - printf("[%d] SIGPIPE (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); - } + case rpl_signull: + break; + + case rpl_sigint: + signal_int(s_etat_processus, pid_source); + break; + + case rpl_sigterm: + signal_term(s_etat_processus, pid_source); + break; + + case rpl_sigstart: + signal_start(s_etat_processus, pid_source); + break; + + case rpl_sigcont: + signal_cont(s_etat_processus, pid_source); + break; + + case rpl_sigstop: + signal_stop(s_etat_processus, pid_source); + break; + + case rpl_sigabort: + signal_abort(s_etat_processus, pid_source); + break; + + case rpl_sigurg: + signal_urg(s_etat_processus, pid_source); + break; + + case rpl_siginject: + signal_inject(s_etat_processus, pid_source); + break; + + case rpl_sigalrm: + signal_alrm(s_etat_processus, pid_source); + break; + + case rpl_sighup: + signal_hup(s_etat_processus, pid_source); + break; + + case rpl_sigtstp: + signal_tstp(s_etat_processus, pid_source); + break; + + case rpl_sigexcept: + signal_except(s_etat_processus, pid_source); + break; - (*s_etat_processus).var_volatile_requete_arret = -1; - deverrouillage_gestionnaire_signaux(); + default: + if ((*s_etat_processus).langue == 'F') + { + printf("+++System : Signal inconnu (%d) !\n", signal); + } + else + { + printf("+++System : Spurious signal (%d) !\n", signal); + } + + break; + } - BUG(1, printf("[%d] SIGPIPE\n", (int) getpid())); return; } void -interruption8(SIGHANDLER_ARGS) +scrutation_interruptions(struct_processus *s_etat_processus) { - pid_t pid; + // Interruptions qui arrivent sur le processus depuis un + // processus externe. - pthread_t thread; + // Les pointeurs de lecture pointent sur les prochains éléments + // à lire. Les pointeurs d'écriture pointent sur les prochains éléments à + // écrire. + + if (sem_trywait(semaphore_queue_signaux) == 0) + { + while((*s_queue_signaux).pointeur_lecture != + (*s_queue_signaux).pointeur_ecriture) + { + // Il y a un signal en attente dans le segment partagé. On le + // traite. + + envoi_interruptions(s_etat_processus, + (*s_queue_signaux).queue[(*s_queue_signaux) + .pointeur_lecture].signal, (*s_queue_signaux).queue + [(*s_queue_signaux).pointeur_lecture].pid); + (*s_queue_signaux).pointeur_lecture = + ((*s_queue_signaux).pointeur_lecture + 1) + % LONGUEUR_QUEUE_SIGNAUX; + +# ifndef IPCS_SYSV + if (msync(s_queue_signaux, sizeof(s_queue_signaux), + MS_ASYNC | MS_INVALIDATE) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } +# endif + + while(sem_wait(semaphore_signalisation) != 0) + { + if (errno != EINTR) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + } + } + + sem_post(semaphore_queue_signaux); + } + + // Interruptions qui arrivent depuis le groupe courant de threads. + + if (pthread_mutex_trylock(&mutex_liste_threads) == 0) + { + if (pthread_mutex_trylock(&((*s_etat_processus).mutex_signaux)) == 0) + { + while((*s_etat_processus).pointeur_signal_lecture != + (*s_etat_processus).pointeur_signal_ecriture) + { + // Il y a un signal dans la queue du thread courant. + // On le traite. + + envoi_interruptions(s_etat_processus, + (*s_etat_processus).signaux_en_queue + [(*s_etat_processus).pointeur_signal_lecture], + getpid()); + (*s_etat_processus).pointeur_signal_lecture = + ((*s_etat_processus).pointeur_signal_lecture + 1) + % LONGUEUR_QUEUE_SIGNAUX; + + while(sem_wait(semaphore_signalisation) != 0) + { + if (errno != EINTR) + { + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + } + } + + pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux)); + } + + pthread_mutex_unlock(&mutex_liste_threads); + } + + return; +} - struct_processus *s_etat_processus; - verrouillage_gestionnaire_signaux(); +/* +================================================================================ + Fonction renvoyant le nom du segment de mémoire partagée en fonction + du pid du processus. +================================================================================ + Entrée : Chemin absolue servant de racine, pid du processus +-------------------------------------------------------------------------------- + Sortie : NULL ou nom du segment +-------------------------------------------------------------------------------- + Effet de bord : Néant +================================================================================ +*/ + +static unsigned char * +nom_segment(unsigned char *chemin, pid_t pid) +{ + unsigned char *fichier; + +# ifdef IPCS_SYSV // !POSIX +# ifndef OS2 // !OS2 + + if ((fichier = sys_malloc((strlen(chemin) + 1 + 256 + 1) * + sizeof(unsigned char))) == NULL) + { + return(NULL); + } + + sprintf(fichier, "%s/RPL-SIGQUEUES-%d", chemin, (int) pid); +# else // OS2 + if ((fichier = sys_malloc((10 + 256 + 1) * sizeof(unsigned char))) + == NULL) + { + return(NULL); + } + + sprintf(fichier, "\\SHAREMEM\\RPL-SIGQUEUES-%d", (int) pid); +# endif // OS2 +# else // POSIX + + if ((fichier = sys_malloc((1 + 256 + 1) * + sizeof(unsigned char))) == NULL) + { + return(NULL); + } + + sprintf(fichier, "/RPL-SIGQUEUES-%d", (int) pid); +# endif + + return(fichier); +} + + +/* +================================================================================ + Fonctions d'envoi d'un signal à un thread ou à un processus. +================================================================================ + Entrée : processus et signal +-------------------------------------------------------------------------------- + Sortie : erreur +-------------------------------------------------------------------------------- + Effet de bord : Néant +================================================================================ +*/ + +int +envoi_signal_processus(pid_t pid, enum signaux_rpl signal, + logical1 test_ouverture) +{ +# ifndef OS2 + int segment; +# endif -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); +# ifndef IPCS_SYSV + sem_t *semaphore; + sem_t *signalisation; # else - pid = (*siginfo).si_pid; + sem_t *semaphore; + sem_t *signalisation; +# ifndef OS2 + int desc; + key_t clef; +# endif # endif + struct_queue_signaux *queue; + + struct timespec attente; + + unsigned char *nom; + + // Il s'agit d'ouvrir le segment de mémoire partagée, de le projeter en + // mémoire puis d'y inscrire le signal à traiter. + if (pid == getpid()) { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) + // Le signal est envoyé au même processus. + + if (s_queue_signaux == NULL) { - deverrouillage_gestionnaire_signaux(); - return; + return(1); } - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) + while(sem_wait(semaphore_queue_signaux) != 0) { - printf("[%d] SIGURG (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); + if (errno != EINTR) + { + return(1); + } } - (*s_etat_processus).var_volatile_alarme = -1; - (*s_etat_processus).var_volatile_requete_arret = -1; + (*s_queue_signaux).queue[(*s_queue_signaux).pointeur_ecriture] + .pid = pid; + (*s_queue_signaux).queue[(*s_queue_signaux).pointeur_ecriture] + .signal = signal; + + (*s_queue_signaux).pointeur_ecriture = + ((*s_queue_signaux).pointeur_ecriture + 1) + % LONGUEUR_QUEUE_SIGNAUX; + +# ifndef IPCS_SYSV + if (msync(s_queue_signaux, sizeof(s_queue_signaux), + MS_ASYNC | MS_INVALIDATE) != 0) + { + sem_post(semaphore_queue_signaux); + return(1); + } +# endif + + if (sem_post(semaphore_queue_signaux) != 0) + { + return(1); + } + + if (sem_post(semaphore_signalisation) != 0) + { + return(1); + } } else { - // Envoi d'un signal au thread maître du groupe. + // Le signal est envoyé depuis un processus distinct. + +# ifdef IPCS_SYSV + if ((nom = nom_segment(racine_segment, pid)) == NULL) + { + return(1); + } + +# ifndef OS2 // SysV + if (test_ouverture == d_vrai) + { + attente.tv_sec = 0; + attente.tv_nsec = GRANULARITE_us * 1000; + + while((desc = open(nom, O_RDWR)) == -1) + { + nanosleep(&attente, NULL); + INCR_GRANULARITE(attente.tv_nsec); + } + } + else + { + if ((desc = open(nom, O_RDWR)) == -1) + { + sys_free(nom); + return(1); + } + } + + close(desc); + + if ((clef = ftok(nom, 1)) == -1) + { + sys_free(nom); + return(1); + } - if (recherche_thread_principal(getpid(), &thread) == d_vrai) + sys_free(nom); + + if ((segment = shmget(clef, sizeof(struct_queue_signaux), 0)) + == -1) + { + return(1); + } + + queue = shmat(segment, NULL, 0); +# else // OS/2 + if (DosGetNamedSharedMem((PVOID) &queue, nom, + PAG_WRITE | PAG_READ) != 0) + { + sys_free(nom); + return(1); + } + + sys_free(nom); +# endif +# else // POSIX + if ((nom = nom_segment(racine_segment, pid)) == NULL) + { + return(1); + } + + if (test_ouverture == d_vrai) + { + attente.tv_sec = 0; + attente.tv_nsec = GRANULARITE_us * 1000; + + while((segment = shm_open(nom, O_RDWR, 0)) == -1) + { + nanosleep(&attente, NULL); + INCR_GRANULARITE(attente.tv_nsec); + } + } + else + { + if ((segment = shm_open(nom, O_RDWR, 0)) == -1) + { + sys_free(nom); + return(1); + } + } + + sys_free(nom); + + if ((queue = mmap(NULL, sizeof(struct_queue_signaux), + PROT_READ | PROT_WRITE, MAP_SHARED, segment, 0)) == + MAP_FAILED) + { + close(segment); + return(1); + } +# endif + + // À ce moment, le segment de mémoire partagée est projeté + // dans l'espace du processus. + + if ((semaphore = sem_open2(pid, SEM_QUEUE)) == SEM_FAILED) { - pthread_kill(thread, SIGURG); - deverrouillage_gestionnaire_signaux(); - return; + return(1); } - } - deverrouillage_gestionnaire_signaux(); - return; -} + if ((signalisation = sem_open2(pid, SEM_SIGNALISATION)) + == SEM_FAILED) + { + return(1); + } -void -interruption9(SIGHANDLER_ARGS) -{ - pid_t pid; + while(sem_wait(semaphore) != 0) + { + if (errno != EINTR) + { + sem_close(semaphore); + sem_close(signalisation); + return(1); + } + } - struct_processus *s_etat_processus; + (*queue).queue[(*queue).pointeur_ecriture].pid = getpid(); + (*queue).queue[(*queue).pointeur_ecriture].signal = signal; - verrouillage_gestionnaire_signaux(); + (*queue).pointeur_ecriture = ((*queue).pointeur_ecriture + 1) + % LONGUEUR_QUEUE_SIGNAUX; -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif +# ifndef IPCS_SYSV + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + sem_close(semaphore); + sem_close(signalisation); + return(1); + } +# endif - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } + if (sem_post(semaphore) != 0) + { + sem_close(semaphore); + sem_close(signalisation); + return(1); + } - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) - { - printf("[%d] SIGABORT/SIGPROF (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); - } + if (sem_close(semaphore) != 0) + { + return(1); + } -# ifdef _BROKEN_SIGINFO - if (queue_in(getpid(), signal) != 0) - { - return; + if (sem_post(signalisation) != 0) + { + sem_close(signalisation); + return(1); + } + + if (sem_close(signalisation) != 0) + { + return(1); + } + +# ifndef IPCS_SYSV // POSIX + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + return(1); + } +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif } - deverrouillage_gestionnaire_signaux(); - interruption11(signal); -# else - deverrouillage_gestionnaire_signaux(); - interruption11(signal, siginfo, context); -# endif - return; + return(0); } -void -interruption10(SIGHANDLER_ARGS) +int +envoi_signal_thread(pthread_t tid, enum signaux_rpl signal) { - file *fichier; + // Un signal est envoyé d'un thread à un autre thread du même processus. - pid_t pid; + volatile struct_liste_chainee_volatile *l_element_courant; - struct_processus *s_etat_processus; + struct_processus *s_etat_processus; - unsigned char nom[8 + 64 + 1]; + if (pthread_mutex_lock(&mutex_liste_threads) != 0) + { + return(1); + } - verrouillage_gestionnaire_signaux(); + l_element_courant = liste_threads; -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif + while(l_element_courant != NULL) + { + if (((*((struct_thread *) (*l_element_courant).donnee)).pid + == getpid()) && (pthread_equal((*((struct_thread *) + (*l_element_courant).donnee)).tid, tid) != 0)) + { + break; + } - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) + l_element_courant = (*l_element_courant).suivant; + } + + if (l_element_courant == NULL) { - deverrouillage_gestionnaire_signaux(); - return; + pthread_mutex_unlock(&mutex_liste_threads); + return(1); } - snprintf(nom, 8 + 64 + 1, "rpl-out-%lu-%lu", (unsigned long) getpid(), - (unsigned long) pthread_self()); + s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee)) + .s_etat_processus; - if ((fichier = fopen(nom, "w+")) != NULL) + if (pthread_mutex_lock(&((*s_etat_processus).mutex_signaux)) != 0) { - fclose(fichier); + pthread_mutex_unlock(&mutex_liste_threads); + return(1); + } - freopen(nom, "w", stdout); - freopen(nom, "w", stderr); + (*s_etat_processus).signaux_en_queue + [(*s_etat_processus).pointeur_signal_ecriture] = signal; + (*s_etat_processus).pointeur_signal_ecriture = + ((*s_etat_processus).pointeur_signal_ecriture + 1) + % LONGUEUR_QUEUE_SIGNAUX; + + if (pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux)) != 0) + { + pthread_mutex_unlock(&mutex_liste_threads); + return(1); } - freopen("/dev/null", "r", stdin); + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) + { + return(1); + } - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) + if (sem_post(semaphore_signalisation) != 0) { - printf("[%d] SIGHUP (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); + return(1); } - deverrouillage_gestionnaire_signaux(); - return; + return(0); +} + +int +envoi_signal_contexte(struct_processus *s_etat_processus_a_signaler, + enum signaux_rpl signal) +{ + pthread_mutex_lock(&((*s_etat_processus_a_signaler).mutex_signaux)); + (*s_etat_processus_a_signaler).signaux_en_queue + [(*s_etat_processus_a_signaler).pointeur_signal_ecriture] = + signal; + (*s_etat_processus_a_signaler).pointeur_signal_ecriture = + ((*s_etat_processus_a_signaler).pointeur_signal_ecriture + 1) + % LONGUEUR_QUEUE_SIGNAUX; + pthread_mutex_unlock(&((*s_etat_processus_a_signaler).mutex_signaux)); + + if (sem_post(semaphore_signalisation) != 0) + { + return(1); + } + + return(0); } + +/* +================================================================================ + Fonction créant un segment de mémoire partagée destiné à contenir + la queue des signaux. +================================================================================ + Entrée : structure de description du processus +-------------------------------------------------------------------------------- + Sortie : Néant +-------------------------------------------------------------------------------- + Effet de bord : Néant +================================================================================ +*/ + void -interruption11(SIGHANDLER_ARGS) +creation_queue_signaux(struct_processus *s_etat_processus) { - pid_t pid; + pthread_attr_t attributs; - pthread_t thread; + unsigned char *nom; - struct_processus *s_etat_processus; + racine_segment = (*s_etat_processus).chemin_fichiers_temporaires; - verrouillage_gestionnaire_signaux(); +# ifndef IPCS_SYSV // POSIX + if ((nom = nom_segment((*s_etat_processus).chemin_fichiers_temporaires, + getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } -# ifdef _BROKEN_SIGINFO - pid = origine_signal(signal); -# else - pid = (*siginfo).si_pid; -# endif + if ((f_queue_signaux = shm_open(nom, O_RDWR | O_CREAT | O_EXCL, + S_IRUSR | S_IWUSR)) == -1) + { + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - if (pid == getpid()) - { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) + if (ftruncate(f_queue_signaux, sizeof(struct_queue_signaux)) == -1) { - deverrouillage_gestionnaire_signaux(); + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } - (*s_etat_processus).arret_depuis_abort = -1; + s_queue_signaux = mmap(NULL, sizeof(struct_queue_signaux), + PROT_READ | PROT_WRITE, MAP_SHARED, f_queue_signaux, 0); - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) + if (((void *) s_queue_signaux) == ((void *) -1)) { - printf("[%d] SIGFABORT (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); + if (shm_unlink(nom) == -1) + { + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; } - /* - * var_globale_traitement_retarde_stop : - * 0 -> traitement immédiat - * 1 -> traitement retardé (aucun signal reçu) - * -1 -> traitement retardé (un ou plusieurs signaux stop reçus) - */ + sys_free(nom); - if ((*s_etat_processus).var_volatile_traitement_retarde_stop == 0) + if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE)) + == SEM_FAILED) { - (*s_etat_processus).var_volatile_requete_arret = -1; + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } - else + + if ((semaphore_signalisation = sem_init2(0, getpid(), + SEM_SIGNALISATION)) == SEM_FAILED) { - (*s_etat_processus).var_volatile_traitement_retarde_stop = -1; + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } - } - else - { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) + + if ((semaphore_arret_signalisation = sem_init2(1, getpid(), + SEM_ARRET_SIGNALISATION)) == SEM_FAILED) { - deverrouillage_gestionnaire_signaux(); + (*s_etat_processus).erreur_systeme = d_es_processus; return; } - (*s_etat_processus).arret_depuis_abort = -1; + (*s_queue_signaux).pointeur_lecture = 0; + (*s_queue_signaux).pointeur_ecriture = 0; - // Envoi d'un signal au thread maître du groupe. + (*s_queue_signaux).requete_arret = d_faux; - if (recherche_thread_principal(getpid(), &thread) == d_vrai) + if (msync(s_queue_signaux, sizeof(struct_queue_signaux), + MS_ASYNC | MS_INVALIDATE) != 0) { - pthread_kill(thread, signal); - deverrouillage_gestionnaire_signaux(); + (*s_etat_processus).erreur_systeme = d_es_processus; return; } - } +# else // IPCS_SYSV +# ifndef OS2 + int segment; + int support; - deverrouillage_gestionnaire_signaux(); - return; -} + key_t clef; -void -traitement_exceptions_gsl(const char *reason, const char *file, - int line, int gsl_errno) -{ - struct_processus *s_etat_processus; + // Création d'un segment de données associé au PID du processus + // courant - verrouillage_gestionnaire_signaux(); + if ((nom = nom_segment((*s_etat_processus) + .chemin_fichiers_temporaires, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } + if ((support = open(nom, O_RDWR | O_CREAT | O_EXCL, + S_IRUSR | S_IWUSR)) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_erreur_fichier; + return; + } - (*s_etat_processus).var_volatile_exception_gsl = gsl_errno; - deverrouillage_gestionnaire_signaux(); - return; -} + if ((clef = ftok(nom, 1)) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } -#ifdef _BROKEN_SIGINFO + close(support); + sys_free(nom); -#undef kill -#undef pthread_kill + if ((segment = shmget(clef, sizeof(struct_queue_signaux), + IPC_CREAT | IPC_EXCL | S_IRUSR | S_IWUSR)) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } -int -kill_broken_siginfo(pid_t pid, int signal) -{ - int ios; + s_queue_signaux = shmat(segment, NULL, 0); + f_queue_signaux = segment; - sem_t *semaphore; + if (((void *) s_queue_signaux) == ((void *) -1)) + { + if (shmctl(f_queue_signaux, IPC_RMID, 0) == -1) + { + (*s_etat_processus).erreur_systeme = + d_es_allocation_memoire; + return; + } - unsigned char *nom; + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - /* - * Lorsqu'on veut interrompre le processus pid, on ouvre le segment - * correspondant au processus en question et ou ajoute le pid dans la - * queue. - * - * Le sémaphore global à tous les threads d'un même processus sert - * à garantir que les signaux seront traités dans l'ordre de ce qui est - * effectivement mis dans la queue. - */ + if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE)) + == SEM_FAILED) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } - // Sémaphore acquis + if ((semaphore_signalisation = sem_init2(0, getpid(), + SEM_SIGNALISATION)) == SEM_FAILED) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } - if ((nom = nom_semaphore(getpid(), nombre_queues)) == NULL) + if ((semaphore_arret_signalisation = sem_init2(1, getpid(), + SEM_ARRET_SIGNALISATION)) == SEM_FAILED) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + + (*s_queue_signaux).pointeur_lecture = 0; + (*s_queue_signaux).pointeur_ecriture = 0; + (*s_queue_signaux).requete_arret = d_faux; +# else // OS/2 + if ((nom = nom_segment(NULL, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + if (DosAllocSharedMem((PVOID) &s_queue_signaux, nom, + sizeof(struct_queue_signaux), + PAG_WRITE | PAG_READ | PAG_COMMIT) != 0) + { + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + sys_free(nom); + + sem_init(&((*s_queue_signaux).semaphore), 1, 1); + 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_ecriture = 0; + (*s_queue_signaux).requete_arret = d_faux; +# endif +# endif + + // Lancement du thread de récupération des signaux. + + if (pthread_attr_init(&attributs) != 0) { - return(-1); + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } - if ((semaphore = sem_open(nom, 0)) == SEM_FAILED) + if (pthread_attr_setdetachstate(&attributs, + PTHREAD_CREATE_JOINABLE) != 0) { - free(nom); - return(-1); + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } - free(nom); +# ifdef SCHED_OTHER + if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } +# endif + +# ifdef PTHREAD_EXPLICIT_SCHED + if (pthread_attr_setinheritsched(&attributs, PTHREAD_EXPLICIT_SCHED) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } +# endif - if (sem_wait(semaphore) == -1) +# ifdef PTHREAD_SCOPE_SYSTEM + if (pthread_attr_setscope(&attributs, PTHREAD_SCOPE_SYSTEM) != 0) { - return(-1); + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } +# endif - if ((signal != 0) && (signal != SIGINT)) + if (pthread_attr_destroy(&attributs) != 0) { - if (queue_in(pid, signal) != 0) - { - sem_post(semaphore); - sem_close(semaphore); - return(-1); - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } - ios = kill(pid, signal); + if (pthread_create(&((*s_queue_signaux).thread_signaux), &attributs, + thread_surveillance_signaux, s_etat_processus) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } - // Sémaphore relâché + (*s_queue_signaux).controle = getpid(); - sem_post(semaphore); - sem_close(semaphore); +# ifndef IPCS_SYSV + if (msync(s_queue_signaux, sizeof(s_queue_signaux), + MS_ASYNC | MS_INVALIDATE) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } +# endif - return(ios); + return; } -int -pthread_kill_broken_siginfo(pthread_t tid, int signal) + +/* +================================================================================ + Fonction libérant le segment de mémoire partagée destiné à contenir + la queue des signaux. +================================================================================ + Entrée : structure de description du processus +-------------------------------------------------------------------------------- + Sortie : Néant +-------------------------------------------------------------------------------- + Effet de bord : Néant +================================================================================ +*/ + +void +liberation_queue_signaux(struct_processus *s_etat_processus) { - int ios; + sem_wait(semaphore_arret_signalisation); + (*s_queue_signaux).requete_arret = d_vrai; + +# ifndef IPCS_SYSV + msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE); +# endif - sem_t *semaphore; + sem_post(semaphore_arret_signalisation); - unsigned char *nom; + // Incrémenter le sémaphore pour être sûr de le débloquer. - if ((nom = nom_semaphore(getpid(), nombre_queues)) == NULL) - { - return(-1); - } + sem_post(semaphore_signalisation); - if ((semaphore = sem_open(nom, 0)) == SEM_FAILED) + if (getpid() == (*s_queue_signaux).controle) { - free(nom); - return(-1); + arret_thread_signaux(s_etat_processus); + pthread_join((*s_queue_signaux).thread_signaux, NULL); } - free(nom); +# ifdef IPCS_SYSV // SystemV +# ifndef OS2 + if (shmdt(s_queue_signaux) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } +# else // OS/2 +# endif +# else // POSIX + sem_close(semaphore_queue_signaux); + sem_close(semaphore_signalisation); + sem_close(semaphore_arret_signalisation); - if (sem_wait(semaphore) == -1) - { - return(-1); - } + if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - if ((signal != 0) && (signal != SIGINT)) - { - if (queue_in(getpid(), signal) != 0) + close(f_queue_signaux); +# endif + + return; +} + + +/* +================================================================================ + Fonction détruisant le segment de mémoire partagée destiné à contenir + la queue des signaux. +================================================================================ + Entrée : structure de description du processus +-------------------------------------------------------------------------------- + Sortie : Néant +-------------------------------------------------------------------------------- + Effet de bord : Néant +================================================================================ +*/ + +void +destruction_queue_signaux(struct_processus *s_etat_processus) +{ +# ifndef OS2 + unsigned char *nom; +# endif + + sem_wait(semaphore_arret_signalisation); + (*s_queue_signaux).requete_arret = d_vrai; + +# ifndef IPCS_SYSV + msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE); +# endif + + sem_post(semaphore_arret_signalisation); + + // Incrémenter le sémaphore pour être sûr de le débloquer. + + sem_post(semaphore_signalisation); + arret_thread_signaux(s_etat_processus); + +# ifdef IPCS_SYSV // SystemV +# ifndef OS2 + // Il faut commencer par éliminer le sémaphore. + + if (semctl((*semaphore_queue_signaux).sem, 0, IPC_RMID) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + + unlink((*semaphore_queue_signaux).path); + sys_free((*semaphore_queue_signaux).path); + + if (semctl((*semaphore_signalisation).sem, 0, IPC_RMID) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + + unlink((*semaphore_signalisation).path); + sys_free((*semaphore_signalisation).path); + + if (semctl((*semaphore_arret_signalisation).sem, 0, IPC_RMID) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + + unlink((*semaphore_arret_signalisation).path); + sys_free((*semaphore_arret_signalisation).path); + + if (shmdt(s_queue_signaux) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + if (shmctl(f_queue_signaux, IPC_RMID, 0) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + if ((nom = nom_segment((*s_etat_processus) + .chemin_fichiers_temporaires, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + unlink(nom); + sys_free(nom); +# else + sem_close(&((*s_queue_signaux).semaphore)); + sem_destroy(&((*s_queue_signaux).semaphore)); + + sem_close(&((*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) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } +# endif +# else // POSIX + sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE); + sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION); + sem_destroy2(semaphore_arret_signalisation, getpid(), + SEM_ARRET_SIGNALISATION); + + if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) { - sem_post(semaphore); - sem_close(semaphore); - return(-1); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + if ((nom = nom_segment(NULL, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; } - } - ios = pthread_kill(tid, signal); + close(f_queue_signaux); - sem_post(semaphore); - sem_close(semaphore); + if (shm_unlink(nom) != 0) + { + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - return(ios); -} + sys_free(nom); +# endif -#endif + return; +} // vim: ts=4