--- rpl/src/interruptions.c 2011/09/19 17:33:17 1.75 +++ rpl/src/interruptions.c 2011/11/30 12:15:18 1.88 @@ -1,6 +1,6 @@ /* ================================================================================ - RPL/2 (R) version 4.1.3 + RPL/2 (R) version 4.1.5 Copyright (C) 1989-2011 Dr. BERTRAND Joël This file is part of RPL/2. @@ -324,8 +324,13 @@ verrouillage_threads_concurrents(struct_ == getpid()) && (pthread_equal((*((struct_thread *) (*l_element_courant).donnee)).tid, pthread_self()) == 0)) { - if (pthread_mutex_lock(&((*(*((struct_thread *) (*l_element_courant) - .donnee)).s_etat_processus).mutex_fork)) == -1) +# 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 { (*s_etat_processus).erreur_systeme = d_es_processus; return; @@ -351,9 +356,15 @@ deverrouillage_threads_concurrents(struc == getpid()) && (pthread_equal((*((struct_thread *) (*l_element_courant).donnee)).tid, pthread_self()) == 0)) { - if (pthread_mutex_unlock(&((*(*((struct_thread *) - (*l_element_courant).donnee)).s_etat_processus) - .mutex_fork)) != 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 *) + (*l_element_courant).donnee)).s_etat_processus) + .semaphore_fork) != 0) +# endif { if (pthread_mutex_unlock(&mutex_liste_threads) != 0) { @@ -1109,8 +1120,13 @@ liberation_threads(struct_processus *s_e liberation_allocateur(s_etat_processus); - pthread_mutex_unlock(&((*s_etat_processus).mutex_fork)); - pthread_mutex_destroy(&((*s_etat_processus).mutex_fork)); +# 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_close((*s_etat_processus).semaphore_fork); +# endif liberation_contexte_cas(s_etat_processus); free(s_etat_processus); @@ -1298,7 +1314,11 @@ verrouillage_gestionnaire_signaux(struct { int semaphore; - if (pthread_mutex_unlock(&((*s_etat_processus).mutex_fork)) != 0) +# ifndef SEMAPHORES_NOMMES + if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) +# else + if (sem_post((*s_etat_processus).semaphore_fork) != 0) +# endif { BUG(1, uprintf("Lock error !\n")); return; @@ -1308,7 +1328,11 @@ verrouillage_gestionnaire_signaux(struct if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) != 0) { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Unlock error !\n")); return; } @@ -1319,7 +1343,11 @@ verrouillage_gestionnaire_signaux(struct if (sem_post(semaphore_gestionnaires_signaux) == -1) # endif { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Lock error !\n")); return; } @@ -1330,14 +1358,22 @@ verrouillage_gestionnaire_signaux(struct if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) # endif { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Lock error !\n")); return; } if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0) { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Unlock error !\n")); return; } @@ -1352,7 +1388,11 @@ verrouillage_gestionnaire_signaux(struct if (pthread_mutex_lock(&mutex_liste_threads) != 0) { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Lock error !\n")); return; } @@ -1370,7 +1410,11 @@ deverrouillage_gestionnaire_signaux(stru if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) == -1) { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Unlock error !\n")); return; } @@ -1381,7 +1425,11 @@ deverrouillage_gestionnaire_signaux(stru if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0) # endif { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Unlock error !\n")); return; } @@ -1394,7 +1442,11 @@ deverrouillage_gestionnaire_signaux(stru { if (errno != EINTR) { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Unlock error !\n")); return; } @@ -1402,15 +1454,26 @@ deverrouillage_gestionnaire_signaux(stru if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0) { - pthread_mutex_lock(&((*s_etat_processus).mutex_fork)); +# ifndef SEMAPHORES_NOMMES + sem_wait(&((*s_etat_processus).semaphore_fork)); +# else + sem_wait((*s_etat_processus).semaphore_fork); +# endif BUG(1, uprintf("Unlock error !\n")); return; } - if (pthread_mutex_lock(&((*s_etat_processus).mutex_fork)) != 0) +# ifndef SEMAPHORES_NOMMES + while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) +# else + while(sem_wait((*s_etat_processus).semaphore_fork) != 0) +# endif { - BUG(1, uprintf("Unlock error !\n")); - return; + if (errno != EINTR) + { + BUG(1, uprintf("Unlock error !\n")); + return; + } } if (semaphore == 1) @@ -1447,7 +1510,7 @@ interruption1(int signal) envoi_signal_processus(getpid(), rpl_sigterm); break; - case SIGALRM: + case SIGUSR1: envoi_signal_processus(getpid(), rpl_sigalrm); break; } @@ -1697,137 +1760,112 @@ interruption3(int signal) // l'erreur d'accès à la mémoire. On sort donc du programme quitte à // ce qu'il reste des processus orphelins. - unsigned char message[] = "+++System : Uncaught access violation\n" + unsigned char message_1[] = "+++System : Uncaught access violation\n" + "+++System : Aborting !\n"; + unsigned char message_2[] = "+++System : Stack overflow\n" "+++System : Aborting !\n"; test_signal(signal); if (pid_processus_pere == getpid()) { - kill(pid_processus_pere, SIGALRM); + kill(pid_processus_pere, SIGUSR1); + } + + if (signal != SIGUSR2) + { + write(STDERR_FILENO, message_1, strlen(message_1)); + } + else + { + write(STDERR_FILENO, message_2, strlen(message_2)); } - write(STDERR_FILENO, message, strlen(message)); _exit(EXIT_FAILURE); } -#if 0 -// Utiliser libsigsegv -void INTERRUPTION3_A_FIXER() + +static void +sortie_interruption_depassement_pile(void *arg1, void *arg2, void *arg3) { - pthread_t thread; + switch((*((volatile int *) arg1))) + { + case 1: + longjmp(contexte_ecriture, -1); + break; - struct_processus *s_etat_processus; + case 2: + longjmp(contexte_impression, -1); + break; + } - test_signal(signal); - verrouillage_gestionnaire_signaux(s_etat_processus); + return; +} - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL) - { - deverrouillage_gestionnaire_signaux(s_etat_processus); - return; - } - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) +void +interruption_depassement_pile(int urgence, stackoverflow_context_t scp) +{ + if ((urgence == 0) && (routine_recursive != 0)) { - printf("[%d] SIGSEGV (thread %llu)\n", (int) getpid(), - (unsigned long long) pthread_self()); - fflush(stdout); - } + // 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. - if ((*s_etat_processus).var_volatile_recursivite == -1) - { - // Segfault dans un appel de fonction récursive - deverrouillage_gestionnaire_signaux(s_etat_processus); - longjmp(contexte, -1); + sigsegv_leave_handler(sortie_interruption_depassement_pile, + (void *) &routine_recursive, NULL, NULL); } - else - { - // Segfault dans une routine interne - if (strncmp(getenv("LANG"), "fr", 2) == 0) - { - printf("+++Système : Violation d'accès\n"); - } - else - { - printf("+++System : Access violation\n"); - } - - fflush(stdout); - (*s_etat_processus).compteur_violation_d_acces++; - - if ((*s_etat_processus).compteur_violation_d_acces > 1) - { - // On vient de récupérer plus d'une erreur de segmentation - // dans le même processus ou le même thread. L'erreur n'est pas - // récupérable et on sort autoritairement du programme. Il peut - // rester des processus orphelins en attente ! + // Ici, la panique est totale et il vaut mieux quitter l'application. + interruption3(SIGUSR2); + return; +} - if (strncmp(getenv("LANG"), "fr", 2) == 0) - { - printf("+++Système : Violation d'accès, tentative de " - "terminaison de la tâche\n"); - printf(" (defauts multiples)\n"); - } - else - { - printf("+++System : Access violation, trying to kill task " - "(multiple defaults)\n"); - } - fflush(stdout); +int +interruption_violation_access(void *adresse_fautive, int gravite) +{ + unsigned char message[] = "+++System : Trying to catch access " + "violation\n"; - deverrouillage_gestionnaire_signaux(s_etat_processus); - exit(EXIT_FAILURE); - } - else - { - // Première erreur de segmentation. On essaie de terminer - // proprement le thread ou le processus. Le signal ne peut être - // envoyé que depuis le même processus. + static int compteur_erreur = 0; - if (recherche_thread_principal(getpid(), &thread) == d_vrai) - { - if (pthread_equal(thread, pthread_self()) != 0) - { - deverrouillage_gestionnaire_signaux(s_etat_processus); + if ((gravite == 0) && (routine_recursive != 0)) + { + // Il peut s'agir d'un dépassement de pile. - if ((*s_etat_processus).pid_processus_pere != getpid()) - { - // On est dans le thread principal d'un processus. + sigsegv_leave_handler(sortie_interruption_depassement_pile, + (void *) &routine_recursive, NULL, NULL); + } - longjmp(contexte_processus, -1); - } - else - { - // On est dans le thread principal du processus - // père. + // On est dans une bonne vieille violation d'accès. On essaie + // de fermer au mieux l'application. - longjmp(contexte_initial, -1); - } - } - else - { - // On est dans un thread fils d'un thread principal. + compteur_erreur++; - deverrouillage_gestionnaire_signaux(s_etat_processus); - longjmp(contexte_thread, -1); - } - } + if (compteur_erreur >= 2) + { + // Erreurs multiples, on arrête l'application. + interruption3(SIGSEGV); + return(0); + } - // Là, on ramasse les miettes puisque le thread n'existe plus - // dans la base (corruption de la mémoire). + write(STDERR_FILENO, message, strlen(message)); - deverrouillage_gestionnaire_signaux(s_etat_processus); - longjmp(contexte_initial, -1); - } + if (pid_processus_pere == getpid()) + { + longjmp(contexte_initial, -1); + return(1); + } + else + { + longjmp(contexte_processus, -1); + return(1); } - deverrouillage_gestionnaire_signaux(s_etat_processus); - return; + // On renvoie 0 parce qu'on décline toute responsabilité quant à la + // suite des événements... + return(0); } -#endif // Traitement de rpl_sigstart @@ -1896,13 +1934,6 @@ signal_stop(struct_processus *s_etat_pro if (pid == getpid()) { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) - { - deverrouillage_gestionnaire_signaux(s_etat_processus); - return; - } - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { printf("[%d] RPL/SIGSTOP (thread %llu)\n", (int) getpid(), @@ -1994,13 +2025,6 @@ signal_urg(struct_processus *s_etat_proc if (pid == getpid()) { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) - { - deverrouillage_gestionnaire_signaux(s_etat_processus); - return; - } - if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) { printf("[%d] RPL/SIGURG (thread %llu)\n", (int) getpid(), @@ -2050,13 +2074,6 @@ signal_abort(struct_processus *s_etat_pr if (pid == getpid()) { - if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) - == NULL) - { - deverrouillage_gestionnaire_signaux(s_etat_processus); - return; - } - (*s_etat_processus).arret_depuis_abort = -1; /* @@ -2370,15 +2387,19 @@ nom_segment(unsigned char *chemin, pid_t int envoi_signal_processus(pid_t pid, enum signaux_rpl signal) { - int segment; +# ifndef OS2 + int segment; +# endif # ifndef IPCS_SYSV # ifdef SEMAPHORES_NOMMES sem_t *semaphore; # endif # else - int desc; - key_t clef; +# ifndef OS2 + int desc; + key_t clef; +# endif # endif struct_queue_signaux *queue; @@ -2394,17 +2415,19 @@ envoi_signal_processus(pid_t pid, enum s if (s_queue_signaux == NULL) { - uprintf("Paf !\n"); return(1); } # ifndef SEMAPHORES_NOMMES - if (sem_wait(&((*s_queue_signaux).semaphore)) != 0) + while(sem_wait(&((*s_queue_signaux).semaphore)) != 0) # else - if (sem_wait(semaphore_queue_signaux) != 0) + while(sem_wait(semaphore_queue_signaux) != 0) # endif { - return(1); + if (errno != EINTR) + { + return(1); + } } (*s_queue_signaux).queue[(*s_queue_signaux).pointeur_ecriture] @@ -2430,33 +2453,45 @@ envoi_signal_processus(pid_t pid, enum s // Le signal est envoyé depuis un processus distinct. # ifdef IPCS_SYSV - if ((nom = nom_segment(racine_segment, getpid())) == NULL) + if ((nom = nom_segment(racine_segment, pid)) == NULL) { return(1); } - if ((desc = open(nom, O_RDWR)) == -1) - { - free(nom); - return(1); - } +# ifndef OS2 // SysV + if ((desc = open(nom, O_RDWR)) == -1) + { + free(nom); + return(1); + } - close(desc); + close(desc); + + if ((clef = ftok(nom, 1)) == -1) + { + free(nom); + return(1); + } - if ((clef = ftok(nom, 1)) == -1) - { free(nom); - return(1); - } - free(nom); + if ((segment = shmget(clef, sizeof(struct_queue_signaux), 0)) + == -1) + { + return(1); + } - 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) + { + free(nom); + return(1); + } - queue = shmat(segment, NULL, 0); + free(nom); +# endif # else // POSIX if ((nom = nom_segment(racine_segment, pid)) == NULL) { @@ -2485,26 +2520,35 @@ envoi_signal_processus(pid_t pid, enum s # ifndef IPCS_SYSV // POSIX # ifndef SEMAPHORES_NOMMES - if (sem_wait(&((*queue).semaphore)) != 0) + while(sem_wait(&((*queue).semaphore)) != 0) { - return(1); + if (errno != EINTR) + { + return(1); + } } # else - if ((semaphore = sem_open2(pid)) == SEM_FAILED) + if ((semaphore = sem_open2(pid, SEM_QUEUE)) == SEM_FAILED) { return(1); } - if (sem_wait(semaphore) != 0) + while(sem_wait(semaphore) != 0) { - sem_close(semaphore); - return(1); + if (errno != EINTR) + { + sem_close(semaphore); + return(1); + } } # endif # else // IPCS_SYSV - if (sem_wait(&((*queue).semaphore)) != 0) + while(sem_wait(&((*queue).semaphore)) != 0) { - return(1); + if (errno != EINTR) + { + return(1); + } } # endif @@ -2544,13 +2588,15 @@ envoi_signal_processus(pid_t pid, enum s return(1); } - if (shmdt(queue) != 0) - { - return(1); - } +# ifndef OS2 // SysV + if (shmdt(queue) != 0) + { + return(1); + } +# else // OS/2 + // Pendant de DosGetNamedSHaredMem() +# endif # endif - - close(segment); } return(0); @@ -2701,7 +2747,7 @@ creation_queue_signaux(struct_processus # ifndef SEMAPHORES_NOMMES sem_init(&((*s_queue_signaux).semaphore), 1, 1); # else - if ((semaphore_queue_signaux = sem_init2(1, getpid())) + if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE)) == SEM_FAILED) { (*s_etat_processus).erreur_systeme = d_es_processus; @@ -2734,7 +2780,7 @@ creation_queue_signaux(struct_processus return; } - if ((support = open(nom, O_RDWR | O_CREAT | O_EXCL | + if ((support = open(nom, O_RDWR | O_CREAT | O_EXCL, S_IRUSR | S_IWUSR)) == -1) { (*s_etat_processus).erreur_systeme = d_es_erreur_fichier; @@ -2783,8 +2829,8 @@ creation_queue_signaux(struct_processus return; } - if (DosAllocSharedMem(&ptr_os2, nom, nombre_queues * - ((2 * longueur_queue) + 4) * sizeof(int), + if (DosAllocSharedMem((PVOID) &s_queue_signaux, nom, + sizeof(struct_queue_signaux), PAG_WRITE | PAG_READ | PAG_COMMIT) != 0) { free(nom); @@ -2793,7 +2839,10 @@ creation_queue_signaux(struct_processus } free(nom); - fifos = ptr_os2; + + sem_init(&((*s_queue_signaux).semaphore), 1, 1); + (*s_queue_signaux).pointeur_lecture = 0; + (*s_queue_signaux).pointeur_ecriture = 0; # endif # endif @@ -2862,7 +2911,9 @@ liberation_queue_signaux(struct_processu void destruction_queue_signaux(struct_processus *s_etat_processus) { - unsigned char *nom; +# ifndef OS2 + unsigned char *nom; +# endif # ifdef IPCS_SYSV // SystemV # ifndef OS2 @@ -2898,14 +2949,14 @@ destruction_queue_signaux(struct_process unlink(nom); free(nom); # else - if (DosFreeMem(fifos) != 0) + sem_close(&((*s_queue_signaux).semaphore)); + sem_destroy(&((*s_queue_signaux).semaphore)); + + if (DosFreeMem(s_queue_signaux) != 0) { (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; return; } - - // FERMER LE FICHIER - # endif # else // POSIX # ifndef SEMAPHORES_NOMMES @@ -2913,7 +2964,7 @@ destruction_queue_signaux(struct_process sem_destroy(&((*s_queue_signaux).semaphore)); # else sem_close(semaphore_queue_signaux); - sem_destroy2(semaphore_queue_signaux, getpid()); + sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE); # endif if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)