--- rpl/src/instructions_d5.c 2010/12/14 15:46:24 1.45 +++ rpl/src/instructions_d5.c 2011/09/15 17:51:43 1.69 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.0.20 - Copyright (C) 1989-2010 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.3 + Copyright (C) 1989-2011 Dr. BERTRAND Joël This file is part of RPL/2. @@ -814,7 +814,7 @@ instruction_der(struct_processus *s_etat void instruction_detach(struct_processus *s_etat_processus) { - int status; + int pipe_initialisation_segment_signaux[2]; logical1 drapeau; logical1 variable_partagee; @@ -830,11 +830,6 @@ instruction_detach(struct_processus *s_e sig_atomic_t registre_stop; - sigset_t oldset; - sigset_t oldset2; - sigset_t set; - sigset_t set2; - ssize_t longueur_ecriture; struct_descripteur_thread *s_argument_thread; @@ -854,6 +849,7 @@ instruction_detach(struct_processus *s_e struct timespec attente; + unsigned char caractere; unsigned char *message; unsigned int erreur; @@ -931,8 +927,7 @@ instruction_detach(struct_processus *s_e if (recherche_variable(s_etat_processus, (*((struct_nom *) (*s_objet).objet)).nom) == d_vrai) { - if ((*s_etat_processus).s_liste_variables - [(*s_etat_processus).position_variable_courante].objet + if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) { if (pthread_mutex_lock(&((*(*s_etat_processus) @@ -943,13 +938,10 @@ instruction_detach(struct_processus *s_e } if (recherche_variable_partagee(s_etat_processus, - (*s_etat_processus).s_liste_variables - [(*s_etat_processus).position_variable_courante].nom, - (*s_etat_processus).s_liste_variables - [(*s_etat_processus).position_variable_courante] - .variable_partagee, (*s_etat_processus) - .s_liste_variables[(*s_etat_processus) - .position_variable_courante].origine) == d_faux) + (*(*s_etat_processus).pointeur_variable_courante).nom, + (*(*s_etat_processus).pointeur_variable_courante) + .variable_partagee, (*(*s_etat_processus) + .pointeur_variable_courante).origine) == d_faux) { if (pthread_mutex_unlock(&((*(*s_etat_processus) .s_liste_variables_partagees).mutex)) != 0) @@ -1017,11 +1009,9 @@ instruction_detach(struct_processus *s_e } else { - if (((*(*s_etat_processus).s_liste_variables - [(*s_etat_processus).position_variable_courante].objet) - .type != RPN) && ((*(*s_etat_processus) - .s_liste_variables[(*s_etat_processus) - .position_variable_courante].objet).type != ADR)) + if (((*(*(*s_etat_processus).pointeur_variable_courante).objet) + .type != RPN) && ((*(*(*s_etat_processus) + .pointeur_variable_courante).objet).type != ADR)) { liberation(s_etat_processus, s_objet); @@ -1041,46 +1031,6 @@ instruction_detach(struct_processus *s_e } } - if (sigemptyset(&set) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } - - if (sigaddset(&set, SIGSTART) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } - - /* - * Le signal SIGFSTOP doit être traité ! - */ - - if (sigaddset(&set, SIGFSTOP) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } - - if (sigaddset(&set, SIGFABORT) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } - - if (sigaddset(&set, SIGURG) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } - - if (pthread_sigmask(SIG_BLOCK, &set, &oldset) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - return; - } - if ((s_argument_thread = malloc(sizeof(struct_descripteur_thread))) == NULL) { (*s_etat_processus).erreur_systeme = d_es_processus; @@ -1135,6 +1085,12 @@ instruction_detach(struct_processus *s_e return; } + if (pipe(pipe_initialisation_segment_signaux) != 0) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + return; + } + ppid = getpid(); /* @@ -1154,16 +1110,10 @@ instruction_detach(struct_processus *s_e * de mémoire, ni libération, ni copie d'objet concurrent au fork(). */ - sigfillset(&set2); - pthread_sigmask(SIG_BLOCK, &set2, &oldset2); - verrouillage_threads_concurrents(s_etat_processus); (*s_argument_thread).pid = fork(); deverrouillage_threads_concurrents(s_etat_processus); - pthread_sigmask(SIG_SETMASK, &oldset2, NULL); - sigpending(&set2); - (*s_argument_thread).thread_pere = pthread_self(); (*s_argument_thread).processus_detache = d_vrai; @@ -1282,6 +1232,7 @@ instruction_detach(struct_processus *s_e } # ifndef OS2 +# ifndef Cygwin if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; @@ -1301,6 +1252,7 @@ instruction_detach(struct_processus *s_e return; } # endif +# endif (*s_argument_thread).s_etat_processus = s_etat_processus; @@ -1323,10 +1275,21 @@ instruction_detach(struct_processus *s_e * Processus fils */ -# ifdef _BROKEN_SIGINFO - liberation_fifos_signaux(s_etat_processus); - creation_fifos_signaux(s_etat_processus); -# endif + liberation_queue_signaux(s_etat_processus); + creation_queue_signaux(s_etat_processus); + + (*s_etat_processus).pointeur_signal_lecture = 0; + (*s_etat_processus).pointeur_signal_ecriture = 0; + + if (write_atomic(s_etat_processus, + pipe_initialisation_segment_signaux[1], + "-", sizeof(unsigned char)) != sizeof(unsigned char)) + { + (*s_etat_processus).erreur_systeme = d_es_processus; + } + + close(pipe_initialisation_segment_signaux[0]); + close(pipe_initialisation_segment_signaux[1]); if ((*s_etat_processus).debug == d_vrai) if (((*s_etat_processus).type_debug & @@ -1346,65 +1309,6 @@ instruction_detach(struct_processus *s_e fflush(stdout); } -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_gestionnaires_signaux); - sem_destroy(&semaphore_gestionnaires_signaux); - sem_init(&semaphore_gestionnaires_signaux, 0, 0); -# else - sem_post(semaphore_gestionnaires_signaux); - sem_destroy2(semaphore_gestionnaires_signaux, - sem_gestionnaires_signaux); - - if ((semaphore_gestionnaires_signaux = sem_init2(0, - sem_gestionnaires_signaux)) == SEM_FAILED) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } -# endif - -# ifndef SEMAPHORES_NOMMES - sem_post(&semaphore_liste_threads); - sem_destroy(&semaphore_liste_threads); - sem_init(&semaphore_liste_threads, 0, 1); -# else - sem_post(semaphore_liste_threads); - sem_destroy2(semaphore_liste_threads, sem_liste_threads); - - if ((semaphore_liste_threads = sem_init2(1, - sem_liste_threads)) == SEM_FAILED) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } -# endif - -# ifndef SEMAPHORES_NOMMES - sem_destroy(&semaphore_gestionnaires_signaux_atomique); - sem_init(&semaphore_gestionnaires_signaux_atomique, 0, 1); - sem_trywait(&((*s_etat_processus).semaphore_fork)); -# else - sem_destroy2(semaphore_gestionnaires_signaux_atomique, - sem_gestionnaires_signaux_atomique); - - if ((semaphore_gestionnaires_signaux_atomique = sem_init2(1, - sem_gestionnaires_signaux_atomique)) == SEM_FAILED) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } - - sem_trywait((*s_etat_processus).semaphore_fork); -# endif - -# ifndef SEMAPHORES_NOMMES - if (pthread_setspecific(semaphore_fork_processus_courant, - &((*s_etat_processus).semaphore_fork)) != 0) -# else - if (pthread_setspecific(semaphore_fork_processus_courant, - (*s_etat_processus).semaphore_fork) != 0) -# endif - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } - if (close((*s_argument_thread).pipe_erreurs[0]) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; @@ -1517,10 +1421,7 @@ instruction_detach(struct_processus *s_e } } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); BUG(1, uprintf("Process management error line %d\n", __LINE__)); exit(EXIT_FAILURE); } @@ -1551,10 +1452,7 @@ instruction_detach(struct_processus *s_e } } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); BUG(1, uprintf("Process management error line %d\n", __LINE__)); exit(EXIT_FAILURE); } @@ -1588,10 +1486,7 @@ instruction_detach(struct_processus *s_e } } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); BUG(1, uprintf("Process management error line %d\n", __LINE__)); exit(EXIT_FAILURE); } @@ -1650,21 +1545,18 @@ instruction_detach(struct_processus *s_e * renseignée. */ - if (sigpending(&set) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } - else if (sigismember(&set, SIGSTART) == 0) + // Attente de la réception du signal rpl_sigstart. + + for((*s_etat_processus).demarrage_fils = d_faux;;) { - while(sigismember(&set, SIGSTART) == 0) - { - if (sigpending(&set) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } + scrutation_interruptions(s_etat_processus); - nanosleep(&attente, NULL); + if ((*s_etat_processus).demarrage_fils == d_vrai) + { + break; } + + nanosleep(&attente, NULL); } (*s_etat_processus).niveau_initial = (*s_etat_processus).niveau_courant; @@ -1741,10 +1633,7 @@ instruction_detach(struct_processus *s_e } } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); BUG(1, uprintf("Process management error line %d\n", __LINE__)); exit(EXIT_FAILURE); } @@ -1761,9 +1650,7 @@ instruction_detach(struct_processus *s_e (*s_argument_thread2).nombre_references--; BUG((*s_argument_thread2).nombre_references < 0, -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus), -# endif + destruction_queue_signaux(s_etat_processus), printf("(*s_argument_thread2).nombre_references = %d\n", (int) (*s_argument_thread2).nombre_references)); @@ -1827,10 +1714,7 @@ instruction_detach(struct_processus *s_e } } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); BUG(1, uprintf("Process management error line %d\n", __LINE__)); exit(EXIT_FAILURE); } @@ -1895,10 +1779,7 @@ instruction_detach(struct_processus *s_e } } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); BUG(1, uprintf("Process management error line %d\n", __LINE__)); exit(EXIT_FAILURE); } @@ -1951,10 +1832,7 @@ instruction_detach(struct_processus *s_e } } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); BUG(1, uprintf("Process management error line %d\n", __LINE__)); exit(EXIT_FAILURE); } @@ -2055,13 +1933,6 @@ instruction_detach(struct_processus *s_e (*s_etat_processus).s_fichiers = NULL; - if (pthread_sigmask(SIG_SETMASK, &oldset, NULL) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } - - sigpending(&set); - if ((*s_etat_processus).debug == d_vrai) { if (((*s_etat_processus).type_debug & d_debug_processus) @@ -2080,61 +1951,66 @@ instruction_detach(struct_processus *s_e if ((*s_etat_processus).erreur_systeme == d_es) { - if (variable_partagee == d_faux) + if (setjmp(contexte_processus) == 0) { - if (evaluation(s_etat_processus, s_objet, 'E') == d_erreur) + if (variable_partagee == d_faux) { - if (((*s_etat_processus).erreur_execution == d_ex) && - ((*s_etat_processus).erreur_systeme == d_es)) + if (evaluation(s_etat_processus, s_objet, 'E') == d_erreur) { - (*s_etat_processus).erreur_execution = - d_ex_erreur_evaluation; - } - } - else - { - if (((*s_etat_processus).var_volatile_alarme == 0) - && ((*s_etat_processus).arret_depuis_abort == 0) - && ((*s_etat_processus).at_exit != NULL)) - { - (*s_etat_processus).var_volatile_requete_arret = 0; - - if (evaluation(s_etat_processus, - (*s_etat_processus).at_exit, 'E') == d_erreur) + if (((*s_etat_processus).erreur_execution == d_ex) && + ((*s_etat_processus).erreur_systeme == d_es)) { (*s_etat_processus).erreur_execution = d_ex_erreur_evaluation; } } - } - } - else - { - if (evaluation(s_etat_processus, s_copie, 'E') == d_erreur) - { - if (((*s_etat_processus).erreur_execution == d_ex) && - ((*s_etat_processus).erreur_systeme == d_es)) + else { - (*s_etat_processus).erreur_execution = - d_ex_erreur_evaluation; + if (((*s_etat_processus).var_volatile_alarme == 0) + && ((*s_etat_processus).arret_depuis_abort == 0) + && ((*s_etat_processus).at_exit != NULL)) + { + (*s_etat_processus).var_volatile_requete_arret = 0; + + if (evaluation(s_etat_processus, + (*s_etat_processus).at_exit, 'E') == + d_erreur) + { + (*s_etat_processus).erreur_execution = + d_ex_erreur_evaluation; + } + } } } else { - if ((*s_etat_processus).at_exit != NULL) + if (evaluation(s_etat_processus, s_copie, 'E') == d_erreur) { - (*s_etat_processus).var_volatile_requete_arret = 0; - - if (evaluation(s_etat_processus, - (*s_etat_processus).at_exit, 'E') == d_erreur) + if (((*s_etat_processus).erreur_execution == d_ex) && + ((*s_etat_processus).erreur_systeme == d_es)) { (*s_etat_processus).erreur_execution = d_ex_erreur_evaluation; } } - } + else + { + if ((*s_etat_processus).at_exit != NULL) + { + (*s_etat_processus).var_volatile_requete_arret = 0; - liberation(s_etat_processus, s_copie); + if (evaluation(s_etat_processus, + (*s_etat_processus).at_exit, 'E') == + d_erreur) + { + (*s_etat_processus).erreur_execution = + d_ex_erreur_evaluation; + } + } + } + + liberation(s_etat_processus, s_copie); + } } } @@ -2361,23 +2237,23 @@ instruction_detach(struct_processus *s_e if ((*s_etat_processus).var_volatile_alarme != 0) { - kill((*(*((struct_processus_fils *) + envoi_signal_processus((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)).thread).pid, - SIGURG); + rpl_sigurg); } else { if ((*s_etat_processus).arret_depuis_abort == -1) { - kill((*(*((struct_processus_fils *) + envoi_signal_processus((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)).thread) - .pid, SIGFABORT); + .pid, rpl_sigabort); } else { - kill((*(*((struct_processus_fils *) + envoi_signal_processus((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)).thread) - .pid, SIGFSTOP); + .pid, rpl_sigstop); } } } @@ -2419,23 +2295,23 @@ instruction_detach(struct_processus *s_e { if ((*s_etat_processus).var_volatile_alarme != 0) { - pthread_kill((*(*((struct_processus_fils *) + envoi_signal_thread((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)).thread) - .tid, SIGURG); + .tid, rpl_sigurg); } else { if ((*s_etat_processus).arret_depuis_abort == -1) { - pthread_kill((*(*((struct_processus_fils *) + envoi_signal_thread((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)) - .thread).tid, SIGFABORT); + .thread).tid, rpl_sigabort); } else { - pthread_kill((*(*((struct_processus_fils *) + envoi_signal_thread((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)) - .thread).tid, SIGFSTOP); + .thread).tid, rpl_sigstop); } } } @@ -2459,8 +2335,6 @@ instruction_detach(struct_processus *s_e while((*s_etat_processus).l_base_pile_processus != NULL) { - status = 0; - l_element_courant = (struct_liste_chainee *) (*s_etat_processus).l_base_pile_processus; @@ -2503,10 +2377,7 @@ instruction_detach(struct_processus *s_e registre_stop; } -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); (*s_etat_processus).erreur_systeme = d_es_signal; exit(EXIT_FAILURE); } @@ -2541,12 +2412,9 @@ instruction_detach(struct_processus *s_e if (sigaction(SIGPIPE, ®istre, NULL) != 0) { -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif + destruction_queue_signaux(s_etat_processus); pthread_mutex_unlock(&((*s_etat_processus).mutex)); - (*s_etat_processus).erreur_systeme = d_es_signal; exit(EXIT_FAILURE); } @@ -2562,6 +2430,8 @@ instruction_detach(struct_processus *s_e nanosleep(&attente, NULL); pthread_mutex_lock(&((*s_etat_processus).mutex)); + + scrutation_interruptions(s_etat_processus); } pthread_mutex_unlock(&((*s_etat_processus).mutex)); @@ -2686,14 +2556,9 @@ instruction_detach(struct_processus *s_e (*s_etat_processus).instruction_derniere_erreur = NULL; } - for(i = 0; i < (*s_etat_processus).nombre_variables; i++) - { - liberation(s_etat_processus, - (*s_etat_processus).s_liste_variables[i].objet); - free((*s_etat_processus).s_liste_variables[i].nom); - } - - free((*s_etat_processus).s_liste_variables); + liberation_arbre_variables(s_etat_processus, + (*s_etat_processus).s_arbre_variables, d_vrai); + free((*s_etat_processus).pointeurs_caracteres_variables); for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++) { @@ -2861,15 +2726,6 @@ instruction_detach(struct_processus *s_e liberation(s_etat_processus, s_objet); -# if !defined(Cygwin) && !defined(OpenBSD) - do - { - (*s_etat_processus).pile_signal.ss_flags = SS_DISABLE; - } - while(sigaltstack(&((*s_etat_processus).pile_signal), NULL) != 0); - free((*s_etat_processus).pile_signal.ss_sp); -# endif - free((*s_etat_processus).definitions_chainees); free((*s_etat_processus).nom_fichier_historique); @@ -2912,39 +2768,16 @@ instruction_detach(struct_processus *s_e pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation)); pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes)); - pthread_key_delete(semaphore_fork_processus_courant); - -# 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)); free((*s_etat_processus).localisation); free(s_argument_thread); -# ifndef SEMAPHORES_NOMMES - sem_destroy(&semaphore_liste_threads); - sem_post(&semaphore_gestionnaires_signaux); - sem_destroy(&semaphore_gestionnaires_signaux); - sem_destroy(&semaphore_gestionnaires_signaux_atomique); -# else - sem_destroy2(semaphore_liste_threads, sem_liste_threads); - sem_post(semaphore_gestionnaires_signaux); - sem_destroy2(semaphore_gestionnaires_signaux, - sem_gestionnaires_signaux); - sem_destroy2(semaphore_gestionnaires_signaux_atomique, - sem_gestionnaires_signaux_atomique); -# endif - clear_history(); -# ifdef _BROKEN_SIGINFO - destruction_fifos_signaux(s_etat_processus); -# endif - + destruction_queue_signaux(s_etat_processus); + liberation_contexte_cas(s_etat_processus); free(s_etat_processus); # ifdef DEBUG_MEMOIRE @@ -3003,6 +2836,7 @@ instruction_detach(struct_processus *s_e } } + scrutation_interruptions(s_etat_processus); l_element_courant = (*l_element_courant).suivant; } } while(drapeau == d_vrai); @@ -3022,43 +2856,52 @@ instruction_detach(struct_processus *s_e return; } + // On attend une donnée fictive pour être sûr que le segment de mémoire + // partagée destiné à la gestion des signaux est bien initialisé. + + attente.tv_sec = 0; + attente.tv_nsec = GRANULARITE_us * 1000; + + while(read_atomic(s_etat_processus, + pipe_initialisation_segment_signaux[0], + &caractere, sizeof(caractere)) == 0) + { + scrutation_interruptions(s_etat_processus); + nanosleep(&attente, NULL); + INCR_GRANULARITE(attente.tv_nsec); + } + + close(pipe_initialisation_segment_signaux[0]); + close(pipe_initialisation_segment_signaux[1]); + // Être sûr que le processus fils soit déjà présent... attente.tv_sec = 0; attente.tv_nsec = GRANULARITE_us * 1000; - while(kill((*s_argument_thread).pid, 0) != 0) + while(envoi_signal_processus((*s_argument_thread).pid, rpl_signull) != 0) { - //if ((errno != ESRCH) && (errno != EAGAIN)) - if (errno != ESRCH) + if (errno != ENOENT) { (*s_etat_processus).erreur_systeme = d_es_processus; pthread_mutex_unlock(&((*s_etat_processus).mutex)); return; } + scrutation_interruptions(s_etat_processus); nanosleep(&attente, NULL); INCR_GRANULARITE(attente.tv_nsec); } // Le fils peut être présent sans être en attente du signal de départ. - if (kill((*s_argument_thread).pid, SIGSTART) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - pthread_mutex_unlock(&((*s_etat_processus).mutex)); - return; - } - - if (pthread_sigmask(SIG_SETMASK, &oldset, NULL) != 0) + if (envoi_signal_processus((*s_argument_thread).pid, rpl_sigstart) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus; pthread_mutex_unlock(&((*s_etat_processus).mutex)); return; } - sigpending(&set); - if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0) { (*s_etat_processus).erreur_systeme = d_es_processus;