--- rpl/src/interruptions.c 2011/09/14 14:34:28 1.67 +++ rpl/src/interruptions.c 2011/09/20 07:16:40 1.76 @@ -57,6 +57,12 @@ static volatile struct_liste_chainee_vol = NULL; static volatile struct_liste_chainee_volatile *liste_threads_surveillance = NULL; +static volatile int code_erreur_gsl = 0; + +unsigned char *racine_segment; + +static pthread_mutex_t mutex_interruptions + = PTHREAD_MUTEX_INITIALIZER; void modification_pid_thread_pere(struct_processus *s_etat_processus) @@ -74,29 +80,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 +102,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,38 +124,19 @@ 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_nombre_references)); @@ -192,50 +148,25 @@ insertion_thread_surveillance(struct_pro 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 +187,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 +201,15 @@ retrait_thread(struct_processus *s_etat_ (*l_element_precedent).suivant = (*l_element_courant).suivant; } - if (pthread_setspecific(semaphore_fork_processus_courant, NULL) != 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 + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); return; } 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 +217,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 +242,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; } @@ -381,14 +259,7 @@ retrait_thread_surveillance(struct_proce 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; } @@ -404,14 +275,7 @@ retrait_thread_surveillance(struct_proce 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; } @@ -425,37 +289,19 @@ retrait_thread_surveillance(struct_proce 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; } @@ -464,17 +310,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; @@ -485,19 +324,11 @@ verrouillage_threads_concurrents(struct_ == getpid()) && (pthread_equal((*((struct_thread *) (*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) -# else - while(sem_wait((*(*((struct_thread *) (*l_element_courant) - .donnee)).s_etat_processus).semaphore_fork) == -1) -# endif + if (pthread_mutex_lock(&((*(*((struct_thread *) (*l_element_courant) + .donnee)).s_etat_processus).mutex_fork)) == -1) { - if (errno != EINTR) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } + (*s_etat_processus).erreur_systeme = d_es_processus; + return; } } @@ -520,29 +351,15 @@ deverrouillage_threads_concurrents(struc == getpid()) && (pthread_equal((*((struct_thread *) (*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) -# else - if (sem_post((*(*((struct_thread *) + if (pthread_mutex_unlock(&((*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus) - .semaphore_fork) != 0) -# endif + .mutex_fork)) != 0) { -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_liste_threads) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } -# else - if (sem_post(semaphore_liste_threads) != 0) + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; return; } -# endif (*s_etat_processus).erreur_systeme = d_es_processus; return; @@ -552,11 +369,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; @@ -570,9 +383,6 @@ 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; @@ -586,21 +396,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; @@ -684,7 +483,7 @@ liberation_threads(struct_processus *s_e .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } @@ -709,7 +508,7 @@ liberation_threads(struct_processus *s_e .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } @@ -734,7 +533,7 @@ liberation_threads(struct_processus *s_e .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } } @@ -1310,13 +1109,8 @@ 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)); -# else - sem_post((*s_etat_processus).semaphore_fork); - sem_destroy2((*s_etat_processus).semaphore_fork, sem_fork); -# endif + pthread_mutex_unlock(&((*s_etat_processus).mutex_fork)); + pthread_mutex_destroy(&((*s_etat_processus).mutex_fork)); liberation_contexte_cas(s_etat_processus); free(s_etat_processus); @@ -1345,7 +1139,7 @@ liberation_threads(struct_processus *s_e != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } @@ -1369,7 +1163,7 @@ liberation_threads(struct_processus *s_e .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } @@ -1393,7 +1187,7 @@ liberation_threads(struct_processus *s_e .mutex_nombre_references)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; - sem_post(&semaphore_liste_threads); + pthread_mutex_unlock(&mutex_liste_threads); return; } } @@ -1405,19 +1199,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; } @@ -1507,42 +1294,23 @@ recherche_thread_principal(pid_t pid) // 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) + if (pthread_mutex_unlock(&((*s_etat_processus).mutex_fork)) != 0) { - 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); - -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_gestionnaires_signaux_atomique) == -1) -# else - while(sem_wait(semaphore_gestionnaires_signaux_atomique) == -1) -# endif + if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) != 0) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; - } + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); + BUG(1, uprintf("Unlock error !\n")); + return; } # ifndef SEMAPHORES_NOMMES @@ -1551,7 +1319,7 @@ verrouillage_gestionnaire_signaux() if (sem_post(semaphore_gestionnaires_signaux) == -1) # endif { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); BUG(1, uprintf("Lock error !\n")); return; } @@ -1562,18 +1330,14 @@ verrouillage_gestionnaire_signaux() if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) # endif { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); BUG(1, uprintf("Lock error !\n")); return; } -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_gestionnaires_signaux_atomique) != 0) -# else - if (sem_post(semaphore_gestionnaires_signaux_atomique) != 0) -# endif + if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); BUG(1, uprintf("Unlock error !\n")); return; } @@ -1586,64 +1350,29 @@ verrouillage_gestionnaire_signaux() // par un thread concurrent. On essaye donc de le bloquer jusqu'à // ce que ce soit possible. -# 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); - - while(sem_wait(sem) == -1) - { - if (errno != EINTR) - { - BUG(1, uprintf("Lock error !\n")); - return; - } - } - - BUG(1, uprintf("Lock error !\n")); - return; - } + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); + BUG(1, uprintf("Lock error !\n")); + return; } } - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - return; } static inline void -deverrouillage_gestionnaire_signaux() +deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus) { int semaphore; - sem_t *sem; - - sigset_t oldset; - sigset_t set; - // Il faut respecteur l'atomicité des deux opérations suivantes ! - sigfillset(&set); - pthread_sigmask(SIG_BLOCK, &set, &oldset); - -# ifndef SEMAPHORES_NOMMES - while(sem_wait(&semaphore_gestionnaires_signaux_atomique) == -1) -# else - while(sem_wait(semaphore_gestionnaires_signaux_atomique) == -1) -# endif + if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) == -1) { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; - } + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); + BUG(1, uprintf("Unlock error !\n")); + return; } # ifndef SEMAPHORES_NOMMES @@ -1652,7 +1381,7 @@ deverrouillage_gestionnaire_signaux() if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) # endif { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); BUG(1, uprintf("Unlock error !\n")); return; } @@ -1665,55 +1394,34 @@ deverrouillage_gestionnaire_signaux() { if (errno != EINTR) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); BUG(1, uprintf("Unlock error !\n")); return; } } -# ifndef SEMAPHORES_NOMMES - if (sem_post(&semaphore_gestionnaires_signaux_atomique) != 0) -# else - if (sem_post(semaphore_gestionnaires_signaux_atomique) != 0) -# endif + if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0) { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); + pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); BUG(1, uprintf("Unlock error !\n")); return; } - if ((sem = pthread_getspecific(semaphore_fork_processus_courant)) - != NULL) + if (pthread_mutex_lock(&((*s_etat_processus).mutex_fork)) != 0) { - while(sem_wait(sem) == -1) - { - if (errno != EINTR) - { - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - BUG(1, uprintf("Unlock error !\n")); - return; - } - } + BUG(1, uprintf("Unlock error !\n")); + return; } if (semaphore == 1) { -# 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); - BUG(1, uprintf("Unlock error !\n")); return; } } - pthread_sigmask(SIG_SETMASK, &oldset, NULL); - sigpending(&set); - return; } @@ -1752,7 +1460,7 @@ signal_alrm(struct_processus *s_etat_pro { struct_processus *s_thread_principal; - verrouillage_gestionnaire_signaux(); + verrouillage_gestionnaire_signaux(s_etat_processus); if (pid == getpid()) { @@ -1792,7 +1500,7 @@ signal_alrm(struct_processus *s_etat_pro } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -1802,7 +1510,7 @@ signal_term(struct_processus *s_etat_pro struct_processus *s_thread_principal; volatile sig_atomic_t exclusion = 0; - verrouillage_gestionnaire_signaux(); + verrouillage_gestionnaire_signaux(s_etat_processus); if (pid == getpid()) { @@ -1827,7 +1535,7 @@ signal_term(struct_processus *s_etat_pro if ((*s_etat_processus).var_volatile_requete_arret == -1) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); exclusion = 0; return; } @@ -1847,7 +1555,7 @@ signal_term(struct_processus *s_etat_pro } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -1857,7 +1565,7 @@ signal_int(struct_processus *s_etat_proc struct_processus *s_thread_principal; volatile sig_atomic_t exclusion = 0; - verrouillage_gestionnaire_signaux(); + verrouillage_gestionnaire_signaux(s_etat_processus); if (pid == getpid()) { @@ -1882,7 +1590,7 @@ signal_int(struct_processus *s_etat_proc if ((*s_etat_processus).var_volatile_requete_arret == -1) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); exclusion = 0; return; } @@ -1913,7 +1621,7 @@ signal_int(struct_processus *s_etat_proc } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -1940,7 +1648,7 @@ signal_tstp(struct_processus *s_etat_pro { struct_processus *s_thread_principal; - verrouillage_gestionnaire_signaux(); + verrouillage_gestionnaire_signaux(s_etat_processus); if (pid == getpid()) { @@ -1978,7 +1686,7 @@ signal_tstp(struct_processus *s_etat_pro } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2012,11 +1720,11 @@ void INTERRUPTION3_A_FIXER() struct_processus *s_etat_processus; test_signal(signal); - verrouillage_gestionnaire_signaux(); + 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; } @@ -2030,7 +1738,7 @@ void INTERRUPTION3_A_FIXER() if ((*s_etat_processus).var_volatile_recursivite == -1) { // Segfault dans un appel de fonction récursive - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); longjmp(contexte, -1); } else @@ -2070,7 +1778,7 @@ void INTERRUPTION3_A_FIXER() fflush(stdout); - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); exit(EXIT_FAILURE); } else @@ -2083,7 +1791,7 @@ void INTERRUPTION3_A_FIXER() { if (pthread_equal(thread, pthread_self()) != 0) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); if ((*s_etat_processus).pid_processus_pere != getpid()) { @@ -2103,7 +1811,7 @@ void INTERRUPTION3_A_FIXER() { // On est dans un thread fils d'un thread principal. - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); longjmp(contexte_thread, -1); } } @@ -2111,12 +1819,12 @@ void INTERRUPTION3_A_FIXER() // Là, on ramasse les miettes puisque le thread n'existe plus // dans la base (corruption de la mémoire). - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); longjmp(contexte_initial, -1); } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } #endif @@ -2126,7 +1834,26 @@ void INTERRUPTION3_A_FIXER() static inline void signal_start(struct_processus *s_etat_processus, pid_t pid) { - (*s_etat_processus).demarrage_fils = d_vrai; + struct_processus *s_thread_principal; + + verrouillage_gestionnaire_signaux(s_etat_processus); + + if (pid == getpid()) + { + (*s_etat_processus).demarrage_fils = d_vrai; + } + else + { + // Envoi d'un signal au thread maître du groupe. + + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) + { + envoi_signal_contexte(s_thread_principal, rpl_sigstart); + } + } + + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2135,7 +1862,26 @@ signal_start(struct_processus *s_etat_pr static inline void signal_cont(struct_processus *s_etat_processus, pid_t pid) { - (*s_etat_processus).redemarrage_processus = d_vrai; + struct_processus *s_thread_principal; + + verrouillage_gestionnaire_signaux(s_etat_processus); + + if (pid == getpid()) + { + (*s_etat_processus).redemarrage_processus = d_vrai; + } + else + { + // Envoi d'un signal au thread maître du groupe. + + if ((s_thread_principal = recherche_thread_principal(getpid())) + != NULL) + { + envoi_signal_contexte(s_thread_principal, rpl_sigcont); + } + } + + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2146,20 +1892,20 @@ signal_stop(struct_processus *s_etat_pro { struct_processus *s_thread_principal; - verrouillage_gestionnaire_signaux(); + verrouillage_gestionnaire_signaux(s_etat_processus); if (pid == getpid()) { 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] RPL/SIGFSTOP (thread %llu)\n", (int) getpid(), + printf("[%d] RPL/SIGSTOP (thread %llu)\n", (int) getpid(), (unsigned long long) pthread_self()); fflush(stdout); } @@ -2182,13 +1928,6 @@ signal_stop(struct_processus *s_etat_pro } else { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) - { - deverrouillage_gestionnaire_signaux(); - return; - } - // Envoi d'un signal au thread maître du groupe. if ((s_thread_principal = recherche_thread_principal(getpid())) @@ -2198,7 +1937,7 @@ signal_stop(struct_processus *s_etat_pro } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2207,11 +1946,11 @@ signal_stop(struct_processus *s_etat_pro static inline void signal_inject(struct_processus *s_etat_processus, pid_t pid) { - verrouillage_gestionnaire_signaux(); + 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; } @@ -2222,7 +1961,7 @@ signal_inject(struct_processus *s_etat_p fflush(stdout); } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2251,14 +1990,14 @@ signal_urg(struct_processus *s_etat_proc { struct_processus *s_thread_principal; - verrouillage_gestionnaire_signaux(); + verrouillage_gestionnaire_signaux(s_etat_processus); if (pid == getpid()) { if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2283,7 +2022,7 @@ signal_urg(struct_processus *s_etat_proc } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2294,11 +2033,11 @@ signal_abort(struct_processus *s_etat_pr { struct_processus *s_thread_principal; - verrouillage_gestionnaire_signaux(); + 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; } @@ -2314,19 +2053,12 @@ signal_abort(struct_processus *s_etat_pr if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) { - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } (*s_etat_processus).arret_depuis_abort = -1; - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) - { - printf("[%d] SIGFABORT (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); - } - /* * var_globale_traitement_retarde_stop : * 0 -> traitement immédiat @@ -2345,13 +2077,6 @@ signal_abort(struct_processus *s_etat_pr } 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. @@ -2363,7 +2088,7 @@ signal_abort(struct_processus *s_etat_pr } } - deverrouillage_gestionnaire_signaux(); + deverrouillage_gestionnaire_signaux(s_etat_processus); return; } @@ -2385,11 +2110,11 @@ signal_hup(struct_processus *s_etat_proc unsigned char nom[8 + 64 + 1]; - verrouillage_gestionnaire_signaux(); + 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; } @@ -2408,12 +2133,12 @@ signal_hup(struct_processus *s_etat_proc if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { - printf("[%d] SIGHUP (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; } @@ -2421,18 +2146,25 @@ void traitement_exceptions_gsl(const char *reason, const char *file, int line, int gsl_errno) { - struct_processus *s_etat_processus; + code_erreur_gsl = gsl_errno; + envoi_signal_processus(getpid(), rpl_sigexcept); + return; +} - verrouillage_gestionnaire_signaux(); +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; } - (*s_etat_processus).var_volatile_exception_gsl = gsl_errno; - deverrouillage_gestionnaire_signaux(); + (*s_etat_processus).var_volatile_exception_gsl = code_erreur_gsl; + deverrouillage_gestionnaire_signaux(s_etat_processus); + return; } @@ -2440,10 +2172,11 @@ static inline void envoi_interruptions(struct_processus *s_etat_processus, enum signaux_rpl signal, pid_t pid_source) { - unsigned char message[] = "+++System : Spurious signa !\n"; - switch(signal) { + case rpl_signull: + break; + case rpl_sigint: signal_int(s_etat_processus, pid_source); break; @@ -2488,8 +2221,20 @@ envoi_interruptions(struct_processus *s_ signal_tstp(s_etat_processus, pid_source); break; + case rpl_sigexcept: + signal_except(s_etat_processus, pid_source); + break; + default: - write(STDERR_FILENO, message, strlen(message)); + if ((*s_etat_processus).langue == 'F') + { + printf("+++System : Spurious signal (%d) !\n", signal); + } + else + { + printf("+++System : Signal inconnu (%d) !\n", signal); + } + break; } @@ -2502,49 +2247,62 @@ scrutation_interruptions(struct_processu // Interruptions qui arrivent sur le processus depuis un // processus externe. - // Interruptions qui arrivent depuis le groupe courant de threads. + // Les pointeurs de lecture pointent sur les prochains éléments + // à lire. Les pointeurs d'écriture pointent sur les prochains éléments à + // écrire. - if ((*s_etat_processus).pointeur_signal_lecture != - (*s_etat_processus).pointeur_signal_ecriture) +# ifndef SEMAPHORES_NOMMES + if (sem_trywait(&((*s_queue_signaux).semaphore)) == 0) +# else + if (sem_trywait(semaphore_queue_signaux) == 0) +# endif { - // Il y a un signal dans la queue du thread courant. On le traite. - } - - return; -} + if ((*s_queue_signaux).pointeur_lecture != + (*s_queue_signaux).pointeur_ecriture) + { + // Il y a un signal en attente dans le segment partagé. On le + // traite. -int -envoi_signal_processus(pid_t pid, enum signaux_rpl signal) -{ - // 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. + 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; + } - return(0); -} +# ifndef SEMAPHORES_NOMMES + sem_post(&((*s_queue_signaux).semaphore)); +# else + sem_post(semaphore_queue_signaux); +# endif + } -int -envoi_signal_thread(pthread_t tid, enum signaux_rpl signal) -{ - // Un signal est envoyé d'un thread à un autre thread du même processus. + // Interruptions qui arrivent depuis le groupe courant de threads. - return(0); -} + if (pthread_mutex_trylock(&mutex_interruptions) == 0) + { + if ((*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. -int -envoi_signal_contexte(struct_processus *s_etat_processus_a_signaler, - enum signaux_rpl signal) -{ - (*s_etat_processus_a_signaler).signaux_en_queue - [(*s_etat_processus_a_signaler).pointeur_signal_ecriture + 1] = - signal; + 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; + } - // On valide l'écriture. Cela évite l'utilisation d'un mutex. + pthread_mutex_unlock(&mutex_interruptions); + } - (*s_etat_processus_a_signaler).pointeur_signal_ecriture++; - return(0); + return; } - /* ================================================================================ Fonction renvoyant le nom du segment de mémoire partagée en fonction @@ -2599,155 +2357,441 @@ nom_segment(unsigned char *chemin, pid_t /* ================================================================================ - Fonction créant un segment de mémoire partagée destiné à contenir - la queue des signaux. + Fonctions d'envoi d'un signal à un thread ou à un processus. ================================================================================ - Entrée : structure de description du processus + Entrée : processus et signal -------------------------------------------------------------------------------- - Sortie : Néant + Sortie : erreur -------------------------------------------------------------------------------- Effet de bord : Néant ================================================================================ */ -void -creation_queue_signaux(struct_processus *s_etat_processus) +int +envoi_signal_processus(pid_t pid, enum signaux_rpl signal) { int segment; - pthread_mutexattr_t attributs_mutex; +# ifndef IPCS_SYSV +# ifdef SEMAPHORES_NOMMES + sem_t *semaphore; +# endif +# else + int desc; + key_t clef; +# endif + + struct_queue_signaux *queue; unsigned char *nom; -# ifndef IPCS_SYSV // POSIX + // 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 ((nom = nom_segment((*s_etat_processus).chemin_fichiers_temporaires, - getpid())) == NULL) + if (pid == getpid()) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + // Le signal est envoyé au même processus. - if ((segment = shm_open(nom, O_RDWR | O_CREAT | O_EXCL, - S_IRUSR | S_IWUSR)) == -1) - { - free(nom); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + if (s_queue_signaux == NULL) + { + return(1); + } - if (ftruncate(segment, sizeof(struct_queue_signaux)) == -1) - { - free(nom); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } +# ifndef SEMAPHORES_NOMMES + if (sem_wait(&((*s_queue_signaux).semaphore)) != 0) +# else + if (sem_wait(semaphore_queue_signaux) != 0) +# endif + { + return(1); + } - s_queue_signaux = mmap(NULL, sizeof(struct_queue_signaux), - PROT_READ | PROT_WRITE, MAP_SHARED, segment, 0); - close(segment); + (*s_queue_signaux).queue[(*s_queue_signaux).pointeur_ecriture] + .pid = pid; + (*s_queue_signaux).queue[(*s_queue_signaux).pointeur_ecriture] + .signal = signal; - if (((void *) s_queue_signaux) == ((void *) -1)) - { - if (shm_unlink(nom) == -1) + (*s_queue_signaux).pointeur_ecriture = + ((*s_queue_signaux).pointeur_ecriture + 1) + % LONGUEUR_QUEUE_SIGNAUX; + +# ifndef SEMAPHORES_NOMMES + if (sem_post(&((*s_queue_signaux).semaphore)) != 0) +# else + if (sem_post(semaphore_queue_signaux) != 0) +# endif { - free(nom); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + return(1); } - - free(nom); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; } + else + { + // Le signal est envoyé depuis un processus distinct. - free(nom); +# ifdef IPCS_SYSV + if ((nom = nom_segment(racine_segment, pid)) == NULL) + { + return(1); + } - pthread_mutexattr_init(&attributs_mutex); - pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL); - pthread_mutex_init(&((*s_queue_signaux).mutex), &attributs_mutex); - pthread_mutexattr_destroy(&attributs_mutex); + if ((desc = open(nom, O_RDWR)) == -1) + { + free(nom); + return(1); + } - (*s_queue_signaux).pointeur_lecture = 0; - (*s_queue_signaux).pointeur_ecriture = 0; + close(desc); -# else // SystemV -# ifndef OS2 + if ((clef = ftok(nom, 1)) == -1) + { + free(nom); + return(1); + } - file *desc; + free(nom); - key_t clef; + if ((segment = shmget(clef, sizeof(struct_queue_signaux), 0)) == -1) + { + return(1); + } - // Création d'un segment de données associé au PID du processus courant + queue = shmat(segment, NULL, 0); +# else // POSIX + if ((nom = nom_segment(racine_segment, pid)) == NULL) + { + return(1); + } - chemin = (*s_etat_processus).chemin_fichiers_temporaires; + if ((segment = shm_open(nom, O_RDWR, 0)) == -1) + { + free(nom); + return(1); + } - if ((nom = nom_segment((*s_etat_processus).chemin_fichiers_temporaires, - getpid())) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + 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. + +# ifndef IPCS_SYSV // POSIX +# ifndef SEMAPHORES_NOMMES + if (sem_wait(&((*queue).semaphore)) != 0) + { + return(1); + } +# else + if ((semaphore = sem_open2(pid)) == SEM_FAILED) + { + return(1); + } + + if (sem_wait(semaphore) != 0) + { + sem_close(semaphore); + return(1); + } +# endif +# else // IPCS_SYSV + if (sem_wait(&((*queue).semaphore)) != 0) + { + return(1); + } +# endif + + (*queue).queue[(*queue).pointeur_ecriture].pid = getpid(); + (*queue).queue[(*queue).pointeur_ecriture].signal = signal; + + (*queue).pointeur_ecriture = ((*queue).pointeur_ecriture + 1) + % LONGUEUR_QUEUE_SIGNAUX; + +# ifndef IPCS_SYSV // POSIX +# ifndef SEMAPHORES_NOMMES + if (sem_post(&((*queue).semaphore)) != 0) + { + return(1); + } +# else + if (sem_post(semaphore) != 0) + { + sem_close(semaphore); + return(1); + } + + if (sem_close(semaphore) != 0) + { + return(1); + } +# endif + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + return(1); + } +# else // IPCS_SYSV + if (sem_post(&((*queue).semaphore)) != 0) + { + return(1); + } + + if (shmdt(queue) != 0) + { + return(1); + } +# endif } - if ((desc = fopen(nom, "w")) == NULL) + return(0); +} + +int +envoi_signal_thread(pthread_t tid, enum signaux_rpl signal) +{ + // Un signal est envoyé d'un thread à un autre thread du même processus. + + volatile struct_liste_chainee_volatile *l_element_courant; + + struct_processus *s_etat_processus; + + if (pthread_mutex_lock(&mutex_liste_threads) != 0) { - (*s_etat_processus).erreur_systeme = d_es_erreur_fichier; - return; + return(1); } - fclose(desc); + l_element_courant = liste_threads; - if ((clef = ftok(nom, 1)) == -1) + while(l_element_courant != NULL) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + if (((*((struct_thread *) (*l_element_courant).donnee)).pid + == getpid()) && (pthread_equal((*((struct_thread *) + (*l_element_courant).donnee)).tid, tid) != 0)) + { + break; + } + + l_element_courant = (*l_element_courant).suivant; } - free(nom); + if (l_element_courant == NULL) + { + pthread_mutex_unlock(&mutex_liste_threads); + return(1); + } - if ((segment = shmget(clef, - nombre_queues * ((2 * longueur_queue) + 4) * sizeof(int), - IPC_CREAT | IPC_EXCL | S_IRUSR | S_IWUSR)) == -1) + if (pthread_mutex_lock(&mutex_interruptions) != 0) { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; + pthread_mutex_unlock(&mutex_liste_threads); + return(1); } - fifos = shmat(segment, NULL, 0); + s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee)) + .s_etat_processus; - if (((void *) fifos) == ((void *) -1)) + (*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(&mutex_interruptions) != 0) { - if (shmctl(segment, IPC_RMID, 0) == -1) + pthread_mutex_unlock(&mutex_liste_threads); + return(1); + } + + if (pthread_mutex_unlock(&mutex_liste_threads) != 0) + { + return(1); + } + + return(0); +} + +int +envoi_signal_contexte(struct_processus *s_etat_processus_a_signaler, + enum signaux_rpl signal) +{ + pthread_mutex_lock(&mutex_interruptions); + (*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(&mutex_interruptions); + + 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 +creation_queue_signaux(struct_processus *s_etat_processus) +{ + unsigned char *nom; + + racine_segment = (*s_etat_processus).chemin_fichiers_temporaires; + +# 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; } - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + if ((f_queue_signaux = shm_open(nom, O_RDWR | O_CREAT | O_EXCL, + S_IRUSR | S_IWUSR)) == -1) + { + free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } -# else + if (ftruncate(f_queue_signaux, sizeof(struct_queue_signaux)) == -1) + { + free(nom); + (*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; - } + s_queue_signaux = mmap(NULL, sizeof(struct_queue_signaux), + PROT_READ | PROT_WRITE, MAP_SHARED, f_queue_signaux, 0); + + if (((void *) s_queue_signaux) == ((void *) -1)) + { + if (shm_unlink(nom) == -1) + { + free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - if (DosAllocSharedMem(&ptr_os2, nom, nombre_queues * - ((2 * longueur_queue) + 4) * sizeof(int), - PAG_WRITE | PAG_READ | PAG_COMMIT) != 0) - { free(nom); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } - free(nom); - fifos = ptr_os2; +# ifndef SEMAPHORES_NOMMES + sem_init(&((*s_queue_signaux).semaphore), 1, 1); +# else + if ((semaphore_queue_signaux = sem_init2(1, getpid())) + == SEM_FAILED) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } +# endif -# endif + (*s_queue_signaux).pointeur_lecture = 0; + (*s_queue_signaux).pointeur_ecriture = 0; + + if (msync(s_queue_signaux, sizeof(struct_queue_signaux), 0)) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } +# else // IPCS_SYSV +# ifndef OS2 + int segment; + int support; + + key_t clef; + + // Création d'un segment de données associé au PID du processus + // courant + + if ((nom = nom_segment((*s_etat_processus) + .chemin_fichiers_temporaires, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + 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; + } + + if ((clef = ftok(nom, 1)) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + close(support); + free(nom); + + 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; + } + + s_queue_signaux = shmat(segment, NULL, 0); + f_queue_signaux = segment; + + 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; + } + + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + sem_init(&((*s_queue_signaux).semaphore), 1, 1); + (*s_queue_signaux).pointeur_lecture = 0; + (*s_queue_signaux).pointeur_ecriture = 0; +# else // OS/2 + if ((nom = nom_segment(NULL, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + if (DosAllocSharedMem(&ptr_os2, nom, nombre_queues * + ((2 * longueur_queue) + 4) * sizeof(int), + PAG_WRITE | PAG_READ | PAG_COMMIT) != 0) + { + free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + free(nom); + fifos = ptr_os2; +# endif # endif return; @@ -2772,14 +2816,27 @@ liberation_queue_signaux(struct_processu { # 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 +# ifndef SEMAPHORES_NOMMES + sem_close(&((*s_queue_signaux).semaphore)); +# else + sem_close(semaphore_queue_signaux); +# endif + if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } + + close(f_queue_signaux); # endif return; @@ -2805,62 +2862,79 @@ destruction_queue_signaux(struct_process unsigned char *nom; # ifdef IPCS_SYSV // SystemV -# ifndef OS2 +# ifndef OS2 + // Il faut commencer par éliminer le sémaphore. - if (shmdt(fifos) == -1) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + if (semctl((*s_queue_signaux).semaphore.sem, 0, IPC_RMID) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } - if (shmctl(segment, IPC_RMID, 0) == -1) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + unlink((*s_queue_signaux).semaphore.path); - if ((nom = nom_segment((*s_etat_processus).chemin_fichiers_temporaires, - getpid())) == NULL) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + if (shmdt(s_queue_signaux) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - unlink(nom); - free(nom); + if (shmctl(f_queue_signaux, IPC_RMID, 0) == -1) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } -# else + if ((nom = nom_segment((*s_etat_processus) + .chemin_fichiers_temporaires, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - if (DosFreeMem(fifos) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + unlink(nom); + free(nom); +# else + if (DosFreeMem(fifos) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } -# endif + // FERMER LE FICHIER + +# endif # else // POSIX +# ifndef SEMAPHORES_NOMMES + sem_close(&((*s_queue_signaux).semaphore)); + sem_destroy(&((*s_queue_signaux).semaphore)); +# else + sem_close(semaphore_queue_signaux); + sem_destroy2(semaphore_queue_signaux, getpid()); +# endif - if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) + { + (*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; - } + if ((nom = nom_segment(NULL, getpid())) == NULL) + { + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } - if (shm_unlink(nom) != 0) - { - free(nom); - (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; - return; - } + close(f_queue_signaux); - free(nom); + if (shm_unlink(nom) != 0) + { + free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + free(nom); # endif return;