--- rpl/src/interruptions.c 2012/05/17 17:06:18 1.96 +++ rpl/src/interruptions.c 2012/10/09 15:27:45 1.105 @@ -1,6 +1,6 @@ /* ================================================================================ - RPL/2 (R) version 4.1.8 + RPL/2 (R) version 4.1.11 Copyright (C) 1989-2012 Dr. BERTRAND Joël This file is part of RPL/2. @@ -88,7 +88,7 @@ thread_surveillance_signaux(void *argume attente.tv_sec = 0; attente.tv_nsec = GRANULARITE_us * 1000; -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) if (sem_wait(&(*s_queue_signaux).signalisation) == 0) # else if(sem_wait(semaphore_signalisation) == 0) @@ -99,13 +99,20 @@ thread_surveillance_signaux(void *argume break; } +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) + sem_post(&(*s_queue_signaux).signalisation); +# else + sem_post(semaphore_signalisation); +# endif + nombre_signaux_envoyes = 0; + sched_yield(); // 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. -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) sem_wait(&(*s_queue_signaux).semaphore); # else sem_wait(semaphore_queue_signaux); @@ -118,7 +125,7 @@ thread_surveillance_signaux(void *argume raise(SIGALRM); } -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) sem_post(&(*s_queue_signaux).semaphore); # else sem_post(semaphore_queue_signaux); @@ -310,6 +317,26 @@ retrait_thread(struct_processus *s_etat_ return; } + // 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) + { +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) + sem_wait(&((*s_queue_signaux).signalisation)); +# else + sem_wait(semaphore_signalisation); +# endif + + (*(*((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); @@ -719,20 +746,6 @@ liberation_threads(struct_processus *s_e liberation_arbre_variables(s_etat_processus, (*s_etat_processus).s_arbre_variables, d_faux); - 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) { @@ -1595,7 +1608,7 @@ deverrouillage_gestionnaire_signaux(stru if (signal_test == SIGTEST) { signal_test = signal; return; } // Récupération des signaux -// - SIGINT (arrêt au clavier) +// - SIGINT (arrêt au clavier) // - SIGTERM (signal d'arrêt en provenance du système) void @@ -1616,6 +1629,10 @@ interruption1(int signal) case SIGUSR1: envoi_signal_processus(getpid(), rpl_sigalrm); break; + + default: + // SIGALRM + break; } return; @@ -1674,7 +1691,7 @@ inline static void signal_term(struct_processus *s_etat_processus, pid_t pid) { struct_processus *s_thread_principal; - volatile sig_atomic_t exclusion = 0; + pthread_mutex_t exclusion = PTHREAD_MUTEX_INITIALIZER; verrouillage_gestionnaire_signaux(s_etat_processus); @@ -1696,20 +1713,19 @@ signal_term(struct_processus *s_etat_pro { (*s_etat_processus).var_volatile_traitement_sigint = -1; - while(exclusion == 1); - exclusion = 1; + pthread_mutex_lock(&exclusion); if ((*s_etat_processus).var_volatile_requete_arret == -1) { deverrouillage_gestionnaire_signaux(s_etat_processus); - exclusion = 0; + pthread_mutex_unlock(&exclusion); return; } (*s_etat_processus).var_volatile_requete_arret = -1; (*s_etat_processus).var_volatile_alarme = -1; - exclusion = 0; + pthread_mutex_unlock(&exclusion); } } else @@ -2371,7 +2387,7 @@ scrutation_interruptions(struct_processu // à lire. Les pointeurs d'écriture pointent sur les prochains éléments à // écrire. -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) if (sem_trywait(&((*s_queue_signaux).semaphore)) == 0) # else if (sem_trywait(semaphore_queue_signaux) == 0) @@ -2391,14 +2407,14 @@ scrutation_interruptions(struct_processu ((*s_queue_signaux).pointeur_lecture + 1) % LONGUEUR_QUEUE_SIGNAUX; -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) sem_wait(&((*s_queue_signaux).signalisation)); # else sem_wait(semaphore_signalisation); # endif } -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) sem_post(&((*s_queue_signaux).semaphore)); # else sem_post(semaphore_queue_signaux); @@ -2422,7 +2438,7 @@ scrutation_interruptions(struct_processu ((*s_etat_processus).pointeur_signal_lecture + 1) % LONGUEUR_QUEUE_SIGNAUX; -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) sem_wait(&((*s_queue_signaux).signalisation)); # else sem_wait(semaphore_signalisation); @@ -2509,6 +2525,7 @@ envoi_signal_processus(pid_t pid, enum s # ifndef IPCS_SYSV # ifdef SEMAPHORES_NOMMES sem_t *semaphore; + sem_t *signalisation; # endif # else # ifndef OS2 @@ -2533,7 +2550,7 @@ envoi_signal_processus(pid_t pid, enum s return(1); } -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) while(sem_wait(&((*s_queue_signaux).semaphore)) != 0) # else while(sem_wait(semaphore_queue_signaux) != 0) @@ -2554,7 +2571,7 @@ envoi_signal_processus(pid_t pid, enum s ((*s_queue_signaux).pointeur_ecriture + 1) % LONGUEUR_QUEUE_SIGNAUX; -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) if (sem_post(&((*s_queue_signaux).semaphore)) != 0) # else if (sem_post(semaphore_queue_signaux) != 0) @@ -2562,6 +2579,15 @@ envoi_signal_processus(pid_t pid, enum s { return(1); } + +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) + if (sem_post(&((*s_queue_signaux).signalisation)) != 0) +# else + if (sem_post(semaphore_signalisation) != 0) +# endif + { + return(1); + } } else { @@ -2648,11 +2674,18 @@ envoi_signal_processus(pid_t pid, enum s return(1); } + if ((signalisation = sem_open2(pid, SEM_SIGNALISATION)) + == SEM_FAILED) + { + return(1); + } + while(sem_wait(semaphore) != 0) { if (errno != EINTR) { sem_close(semaphore); + sem_close(signalisation); return(1); } } @@ -2679,10 +2712,16 @@ envoi_signal_processus(pid_t pid, enum s { return(1); } + + if (sem_post(&((*queue).signalisation)) != 0) + { + return(1); + } # else if (sem_post(semaphore) != 0) { sem_close(semaphore); + sem_close(signalisation); return(1); } @@ -2690,6 +2729,18 @@ envoi_signal_processus(pid_t pid, enum s { return(1); } + + if (sem_post(signalisation) != 0) + { + sem_close(signalisation); + return(1); + } + + if (sem_close(signalisation) != 0) + { + return(1); + } + # endif if (munmap(queue, sizeof(struct_queue_signaux)) != 0) @@ -2703,6 +2754,11 @@ envoi_signal_processus(pid_t pid, enum s return(1); } + if (sem_post(&((*queue).signalisation)) != 0) + { + return(1); + } + # ifndef OS2 // SysV if (shmdt(queue) != 0) { @@ -2714,8 +2770,6 @@ envoi_signal_processus(pid_t pid, enum s # endif } - kill(pid, SIGALRM); - return(0); } @@ -2779,7 +2833,17 @@ envoi_signal_thread(pthread_t tid, enum return(1); } - pthread_kill(tid, SIGALRM); +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) + if (sem_post(&((*s_queue_signaux).signalisation)) != 0) + { + return(1); + } +# else + if (sem_post(semaphore_signalisation) != 0) + { + return(1); + } +# endif return(0); } @@ -2797,7 +2861,17 @@ envoi_signal_contexte(struct_processus * % LONGUEUR_QUEUE_SIGNAUX; pthread_mutex_unlock(&mutex_interruptions); - pthread_kill((*s_etat_processus_a_signaler).tid, SIGALRM); +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) + if (sem_post(&((*s_queue_signaux).signalisation)) != 0) + { + return(1); + } +# else + if (sem_post(semaphore_signalisation) != 0) + { + return(1); + } +# endif return(0); } @@ -3058,7 +3132,7 @@ liberation_queue_signaux(struct_processu (*s_queue_signaux).requete_arret = d_vrai; -# ifndef SEMAPHORES_NOMMES +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) sem_post(&((*s_queue_signaux).signalisation)); # else sem_post(semaphore_signalisation); @@ -3117,6 +3191,18 @@ destruction_queue_signaux(struct_process unsigned char *nom; # endif + // Incrémenter le sémaphore pour être sûr de le débloquer. + + (*s_queue_signaux).requete_arret = d_vrai; + +# if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV) + sem_post(&((*s_queue_signaux).signalisation)); +# else + sem_post(semaphore_signalisation); +# endif + + pthread_join((*s_queue_signaux).thread_signaux, NULL); + # ifdef IPCS_SYSV // SystemV # ifndef OS2 // Il faut commencer par éliminer le sémaphore.