--- rpl/src/interruptions.c 2015/10/26 15:14:19 1.163 +++ rpl/src/interruptions.c 2016/04/01 13:33:27 1.178 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.1.23 - Copyright (C) 1989-2015 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. @@ -70,6 +70,7 @@ thread_surveillance_signaux(void *argume // 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; @@ -105,17 +106,21 @@ thread_surveillance_signaux(void *argume break; } - sem_post(semaphore_arret_signalisation); sem_post(semaphore_signalisation); 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. - sem_wait(semaphore_queue_signaux); + 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) @@ -128,9 +133,11 @@ thread_surveillance_signaux(void *argume nombre_signaux_envoyes++; kill(getpid(), SIGALRM); + sched_yield(); } sem_post(semaphore_queue_signaux); + sem_post(semaphore_arret_signalisation); // Dans un second temps, on balaye toutes les queues de signaux // des threads du processus courant. @@ -154,12 +161,12 @@ thread_surveillance_signaux(void *argume 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) + .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 *) @@ -1515,8 +1522,6 @@ lancement_thread_signaux(struct_processu { pthread_attr_t attributs; - void *argument; - if (pipe((*s_etat_processus).pipe_signaux) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; @@ -1537,10 +1542,8 @@ lancement_thread_signaux(struct_processu return(d_erreur); } - argument = (*s_etat_processus).pipe_signaux; - if (pthread_create(&((*s_etat_processus).thread_signaux), &attributs, - thread_signaux, argument) != 0) + thread_signaux, s_etat_processus) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; return(d_erreur); @@ -1559,7 +1562,8 @@ arret_thread_signaux(struct_processus *s do { - n = write((*s_etat_processus).pipe_signaux[1], &signal, sizeof(signal)); + n = write_atomic(s_etat_processus, (*s_etat_processus).pipe_signaux[1], + &signal, sizeof(signal)); if (n < 0) { @@ -1584,9 +1588,12 @@ thread_signaux(void *argument) struct pollfd fds; + struct_processus *s_etat_processus; + unsigned char signal; - pipe = (int *) argument; + s_etat_processus = (struct_processus *) argument; + pipe = (*s_etat_processus).pipe_signaux; fds.fd = pipe[0]; fds.events = POLLIN; fds.revents = 0; @@ -1601,16 +1608,14 @@ thread_signaux(void *argument) pthread_exit(NULL); } -# pragma GCC diagnostic push -# pragma GCC diagnostic ignored "-Wunused-result" - - read(fds.fd, &signal, 1); - -# pragma GCC diagnostic pop + if (read_atomic(s_etat_processus, fds.fd, &signal, 1) != 1) + { + pthread_exit(NULL); + } if (signal != (0xFF & rpl_sigmax)) { - envoi_signal_processus(getpid(), signal); + 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. } @@ -1619,6 +1624,24 @@ thread_signaux(void *argument) pthread_exit(NULL); } + +static inline void +_write(int fd, const void *buf, size_t count) +{ + ssize_t ios; + + while((ios = write(fd, buf, count)) == -1) + { + if (errno != EINTR) + { + break; + } + } + + return; +} + + // Récupération des signaux // - SIGINT (arrêt au clavier) // - SIGTERM (signal d'arrêt en provenance du système) @@ -1630,24 +1653,21 @@ interruption1(int signal) test_signal(signal); -# pragma GCC diagnostic push -# pragma GCC diagnostic ignored "-Wunused-result" - switch(signal) { case SIGINT: signal_tronque = (unsigned char) (rpl_sigint & 0xFF); - write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); + _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)); + _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)); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); break; default: @@ -1655,8 +1675,6 @@ interruption1(int signal) break; } -# pragma GCC diagnostic pop - return; } @@ -1678,13 +1696,7 @@ interruption2(int signal) test_signal(signal); signal_tronque = (unsigned char) (rpl_sigtstp & 0xFF); - -# pragma GCC diagnostic push -# pragma GCC diagnostic ignored "-Wunused-result" - - write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); - -# pragma GCC diagnostic pop + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); return; } @@ -1736,13 +1748,7 @@ interruption4(int signal) test_signal(signal); signal_tronque = (unsigned char) (rpl_sighup & 0xFF); - -# pragma GCC diagnostic push -# pragma GCC diagnostic ignored "-Wunused-result" - - write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); - -# pragma GCC diagnostic pop + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); return; } @@ -1765,7 +1771,7 @@ interruption5(int signal) if (pid_processus_pere == getpid()) { signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF); - write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); + _write(pipe_signaux, &signal_tronque, sizeof(signal_tronque)); } write(STDERR_FILENO, message, strlen(message)); @@ -1799,7 +1805,7 @@ signal_alrm(struct_processus *s_etat_pro { // On n'est pas dans le processus père, on remonte le signal. envoi_signal_processus((*s_etat_processus).pid_processus_pere, - rpl_sigalrm); + rpl_sigalrm, d_faux); } else { @@ -1844,7 +1850,7 @@ signal_term(struct_processus *s_etat_pro if ((*s_etat_processus).pid_processus_pere != getpid()) { envoi_signal_processus((*s_etat_processus).pid_processus_pere, - rpl_sigterm); + rpl_sigterm, d_faux); } else { @@ -1898,7 +1904,7 @@ signal_int(struct_processus *s_etat_proc if ((*s_etat_processus).pid_processus_pere != getpid()) { envoi_signal_processus((*s_etat_processus).pid_processus_pere, - rpl_sigint); + rpl_sigint, d_faux); } else { @@ -1969,7 +1975,7 @@ signal_tstp(struct_processus *s_etat_pro if ((*s_etat_processus).var_volatile_processus_pere == 0) { envoi_signal_processus((*s_etat_processus).pid_processus_pere, - rpl_sigtstp); + rpl_sigtstp, d_faux); } else { @@ -2350,7 +2356,7 @@ traitement_exceptions_gsl(const char *re int line, int gsl_errno) { code_erreur_gsl = gsl_errno; - envoi_signal_processus(getpid(), rpl_sigexcept); + envoi_signal_processus(getpid(), rpl_sigexcept, d_faux); return; } @@ -2474,6 +2480,7 @@ scrutation_interruptions(struct_processu if (msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE) != 0) { + sem_post(semaphore_queue_signaux); (*s_etat_processus).erreur_systeme = d_es_processus; return; } @@ -2487,6 +2494,11 @@ scrutation_interruptions(struct_processu return; } } + + if ((*s_queue_signaux).requete_arret == d_vrai) + { + break; + } } sem_post(semaphore_queue_signaux); @@ -2603,7 +2615,8 @@ nom_segment(unsigned char *chemin, pid_t */ int -envoi_signal_processus(pid_t pid, enum signaux_rpl signal) +envoi_signal_processus(pid_t pid, enum signaux_rpl signal, + logical1 test_ouverture) { # ifndef OS2 int segment; @@ -2623,6 +2636,8 @@ envoi_signal_processus(pid_t pid, enum s 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 @@ -2658,6 +2673,7 @@ envoi_signal_processus(pid_t pid, enum s if (msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE) != 0) { + sem_post(semaphore_queue_signaux); return(1); } # endif @@ -2683,10 +2699,24 @@ envoi_signal_processus(pid_t pid, enum s } # ifndef OS2 // SysV - if ((desc = open(nom, O_RDWR)) == -1) + if (test_ouverture == d_vrai) { - sys_free(nom); - return(1); + 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); @@ -2722,10 +2752,24 @@ envoi_signal_processus(pid_t pid, enum s return(1); } - if ((segment = shm_open(nom, O_RDWR, 0)) == -1) + if (test_ouverture == d_vrai) { - sys_free(nom); - return(1); + 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); @@ -2744,12 +2788,67 @@ envoi_signal_processus(pid_t pid, enum s if ((semaphore = sem_open2(pid, SEM_QUEUE)) == SEM_FAILED) { +# ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + close(segment); + return(1); + } + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + return(1); + } + + close(segment); +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif return(1); } if ((signalisation = sem_open2(pid, SEM_SIGNALISATION)) == SEM_FAILED) { +# ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + close(segment); + sem_close(semaphore); + return(1); + } + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + sem_close(semaphore); + return(1); + } + + close(segment); +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + sem_close(semaphore); + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif + + sem_close(semaphore); return(1); } @@ -2757,6 +2856,39 @@ envoi_signal_processus(pid_t pid, enum s { if (errno != EINTR) { +# ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) + != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + sem_close(semaphore); + sem_close(signalisation); + close(segment); + return(1); + } + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + sem_close(semaphore); + sem_close(signalisation); + close(segment); + return(1); + } + + close(segment); +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + sem_close(semaphore); + sem_close(signalisation); + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif + sem_close(semaphore); sem_close(signalisation); return(1); @@ -2769,17 +2901,40 @@ envoi_signal_processus(pid_t pid, enum s (*queue).pointeur_ecriture = ((*queue).pointeur_ecriture + 1) % LONGUEUR_QUEUE_SIGNAUX; -# ifndef IPCS_SYSV - if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) - { - sem_close(semaphore); - sem_close(signalisation); - return(1); - } -# endif - if (sem_post(semaphore) != 0) { +# ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + close(segment); + sem_close(semaphore); + sem_close(signalisation); + return(1); + } + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + sem_close(semaphore); + sem_close(signalisation); + return(1); + } + + close(segment); +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + sem_close(semaphore); + sem_close(signalisation); + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif + sem_close(semaphore); sem_close(signalisation); return(1); @@ -2787,26 +2942,120 @@ envoi_signal_processus(pid_t pid, enum s if (sem_close(semaphore) != 0) { +# ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + close(segment); + sem_close(signalisation); + return(1); + } + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + sem_close(signalisation); + return(1); + } + + close(segment); +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + sem_close(signalisation); + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif + + sem_close(signalisation); return(1); } if (sem_post(signalisation) != 0) { +# ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + close(segment); + sem_close(signalisation); + return(1); + } + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + sem_close(signalisation); + return(1); + } + + close(segment); +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + sem_close(signalisation); + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif + sem_close(signalisation); return(1); } if (sem_close(signalisation) != 0) { +# ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + close(segment); + return(1); + } + + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) + { + close(segment); + return(1); + } + + close(segment); +# else // IPCS_SYSV +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif +# endif + return(1); } # ifndef IPCS_SYSV // POSIX + if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0) + { + munmap(queue, sizeof(struct_queue_signaux)); + close(segment); + return(1); + } + if (munmap(queue, sizeof(struct_queue_signaux)) != 0) { close(segment); return(1); } + + close(segment); # else // IPCS_SYSV # ifndef OS2 // SysV if (shmdt(queue) != 0) @@ -2945,9 +3194,30 @@ creation_queue_signaux(struct_processus 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 (errno != EEXIST) + { + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } + + if ((*s_etat_processus).langue == 'F') + { + printf("+++Attention : Le segment de mémoire %s préexiste !\n", + nom); + } + else + { + printf("+++Warning: %s memory segment preexists!\n", nom); + } + + if ((f_queue_signaux = shm_open(nom, O_RDWR | O_CREAT | O_TRUNC, + S_IRUSR | S_IWUSR)) == -1) + { + sys_free(nom); + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return; + } } if (ftruncate(f_queue_signaux, sizeof(struct_queue_signaux)) == -1) @@ -3002,7 +3272,8 @@ creation_queue_signaux(struct_processus (*s_queue_signaux).requete_arret = d_faux; - if (msync(s_queue_signaux, sizeof(struct_queue_signaux), MS_SYNC)) + if (msync(s_queue_signaux, sizeof(struct_queue_signaux), + MS_ASYNC | MS_INVALIDATE) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; return; @@ -3168,6 +3439,22 @@ creation_queue_signaux(struct_processus } (*s_queue_signaux).controle = getpid(); + +# 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 + + if (lancement_thread_signaux(s_etat_processus) == d_erreur) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + return; } @@ -3188,24 +3475,6 @@ creation_queue_signaux(struct_processus void liberation_queue_signaux(struct_processus *s_etat_processus) { - 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); - - if (getpid() == (*s_queue_signaux).controle) - { - pthread_join((*s_queue_signaux).thread_signaux, NULL); - } - # ifdef IPCS_SYSV // SystemV # ifndef OS2 if (shmdt(s_queue_signaux) == -1) @@ -3254,7 +3523,6 @@ destruction_queue_signaux(struct_process # endif sem_wait(semaphore_arret_signalisation); - (*s_queue_signaux).requete_arret = d_vrai; # ifndef IPCS_SYSV @@ -3267,6 +3535,7 @@ destruction_queue_signaux(struct_process sem_post(semaphore_signalisation); pthread_join((*s_queue_signaux).thread_signaux, NULL); + arret_thread_signaux(s_etat_processus); # ifdef IPCS_SYSV // SystemV # ifndef OS2