--- rpl/src/gestion_threads.c 2011/08/09 10:30:37 1.45 +++ rpl/src/gestion_threads.c 2013/03/20 17:11:44 1.74 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.1.2 - Copyright (C) 1989-2011 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.13 + Copyright (C) 1989-2013 Dr. BERTRAND Joël This file is part of RPL/2. @@ -38,121 +38,58 @@ void * lancement_thread(void *argument) { - int status; + int status; - pid_t ppid; + pid_t ppid; - pthread_t tid_final; + pthread_t tid_final; - sig_atomic_t registre_stop; + sig_atomic_t registre_stop; - sigset_t set; + ssize_t longueur_ecriture; - ssize_t longueur_ecriture; + struct_descripteur_thread *s_argument_thread; - struct_descripteur_thread *s_argument_thread; + struct_liste_chainee *l_element_courant; + struct_liste_chainee *l_element_suivant; - struct_liste_chainee *l_element_courant; - struct_liste_chainee *l_element_suivant; + struct_liste_variables_statiques *l_element_statique_courant; + struct_liste_variables_statiques *l_element_statique_suivant; - struct_objet *s_objet_temporaire; + struct_objet *s_objet_temporaire; - struct_processus *s_etat_processus; + struct_processus *s_etat_processus; - struct sigaction action; - struct sigaction registre; + struct sigaction action; + struct sigaction registre; - struct timespec attente; + struct timespec attente; - unsigned char *message; + unsigned char *message; - unsigned int erreur; + unsigned int erreur; - unsigned long i; + integer8 i; attente.tv_sec = 0; attente.tv_nsec = GRANULARITE_us * 1000; s_argument_thread = (struct_descripteur_thread *) argument; s_etat_processus = (*s_argument_thread).s_nouvel_etat_processus; - (*s_argument_thread).tid = pthread_self(); - (*s_argument_thread).thread_actif = d_vrai; # ifndef SEMAPHORES_NOMMES - if (pthread_setspecific(semaphore_fork_processus_courant, - &((*s_etat_processus).semaphore_fork)) != 0) + sem_init(&((*s_etat_processus).semaphore_fork), 0, 0); # else - if (pthread_setspecific(semaphore_fork_processus_courant, - (*s_etat_processus).semaphore_fork) != 0) -# endif - { - (*s_etat_processus).erreur_systeme = d_es_processus; - - pthread_mutex_unlock(&((*s_etat_processus).mutex)); - - pthread_mutex_lock(&((*s_argument_thread).mutex)); - pthread_mutex_unlock(&((*s_argument_thread).mutex)); - - (*s_argument_thread).thread_actif = d_faux; - - tid_final = -2; - - while((longueur_ecriture = write_atomic(s_etat_processus, - (*s_argument_thread).pipe_nombre_interruptions_attente[1], - &tid_final, sizeof(tid_final))) != sizeof(tid_final)) - { - if (longueur_ecriture == -1) - { - break; - } - } - - while((longueur_ecriture = write_atomic(s_etat_processus, - (*s_argument_thread).pipe_nombre_objets_attente[1], - &tid_final, sizeof(tid_final))) != sizeof(tid_final)) + if (((*s_etat_processus).semaphore_fork = sem_init3(0, getpid(), + pthread_self(), SEM_FORK)) == SEM_FAILED) { - if (longueur_ecriture == -1) - { - break; - } - } - - pthread_exit(NULL); - } - - if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - - pthread_mutex_lock(&((*s_argument_thread).mutex)); - pthread_mutex_unlock(&((*s_argument_thread).mutex)); - - (*s_argument_thread).thread_actif = d_faux; - - tid_final = -2; - - while((longueur_ecriture = write_atomic(s_etat_processus, - (*s_argument_thread).pipe_nombre_interruptions_attente[1], - &tid_final, sizeof(tid_final))) != sizeof(tid_final)) - { - if (longueur_ecriture == -1) - { - break; - } - } - - while((longueur_ecriture = write_atomic(s_etat_processus, - (*s_argument_thread).pipe_nombre_objets_attente[1], - &tid_final, sizeof(tid_final))) != sizeof(tid_final)) - { - if (longueur_ecriture == -1) - { - break; - } + (*s_etat_processus).erreur_systeme = d_es_allocation_memoire; + return(NULL); } +# endif - pthread_exit(NULL); - } + (*s_argument_thread).tid = pthread_self(); + (*s_argument_thread).thread_actif = d_vrai; insertion_thread(s_etat_processus, d_faux); @@ -163,7 +100,6 @@ lancement_thread(void *argument) (*s_argument_thread).pipe_nombre_objets_attente[1], "-", sizeof(unsigned char)) != sizeof(unsigned char)) { - pthread_mutex_unlock(&((*s_etat_processus).mutex)); (*s_etat_processus).erreur_systeme = d_es_processus; pthread_mutex_lock(&((*s_argument_thread).mutex)); @@ -171,7 +107,7 @@ lancement_thread(void *argument) (*s_argument_thread).thread_actif = d_faux; - tid_final = -2; + tid_final = (pthread_t) -2; while((longueur_ecriture = write_atomic(s_etat_processus, (*s_argument_thread).pipe_nombre_interruptions_attente[1], @@ -202,23 +138,18 @@ lancement_thread(void *argument) (*s_etat_processus).instruction_courante = NULL; } - set = (*s_argument_thread).set; + // Attente de la réception du signal rpl_sigstart. - if (sigpending(&set) != 0) + for((*s_etat_processus).demarrage_fils = d_faux;;) { - (*s_etat_processus).erreur_systeme = d_es_processus; - } - else if (sigismember(&set, SIGSTART) == 0) - { - 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); } if ((*s_etat_processus).debug == d_vrai) @@ -238,46 +169,43 @@ lancement_thread(void *argument) fflush(stdout); } - if (pthread_sigmask(SIG_SETMASK, &((*s_argument_thread).oldset), NULL) != 0) - { - (*s_etat_processus).erreur_systeme = d_es_processus; - } - - sigpending(&set); - (*s_etat_processus).pid_erreur_processus_fils = getpid(); // Évaluation de l'objet if ((*s_etat_processus).erreur_systeme == d_es) { - if (evaluation(s_etat_processus, (*s_argument_thread).argument, 'E') - == d_erreur) + if (setjmp(contexte_thread) == 0) { - if (((*s_etat_processus).erreur_execution == d_ex) && - ((*s_etat_processus).erreur_systeme == d_es)) + if (evaluation(s_etat_processus, (*s_argument_thread).argument, 'E') + == d_erreur) { - (*s_etat_processus).erreur_execution = - d_ex_erreur_evaluation; + 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).var_volatile_alarme == 0) - && ((*s_etat_processus).arret_depuis_abort == 0) - && ((*s_etat_processus).at_exit != NULL)) + else { - (*s_etat_processus).var_volatile_requete_arret = 0; - (*s_etat_processus).var_volatile_traitement_retarde_stop = -1; + 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; + (*s_etat_processus).var_volatile_traitement_retarde_stop = + -1; - 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)) + if (evaluation(s_etat_processus, + (*s_etat_processus).at_exit, 'E') == d_erreur) { - (*s_etat_processus).erreur_execution = - d_ex_erreur_evaluation; + if (((*s_etat_processus).erreur_execution == d_ex) && + ((*s_etat_processus).erreur_systeme == d_es)) + { + (*s_etat_processus).erreur_execution = + d_ex_erreur_evaluation; + } } } } @@ -294,7 +222,7 @@ lancement_thread(void *argument) pthread_cancel((*s_etat_processus).thread_fusible); } - tid_final = -2; + tid_final = (pthread_t) -2; while((longueur_ecriture = write_atomic(s_etat_processus, (*s_argument_thread).pipe_nombre_interruptions_attente[1], @@ -488,20 +416,23 @@ lancement_thread(void *argument) if ((*s_etat_processus).var_volatile_alarme != 0) { - kill((*(*((struct_processus_fils *) (*(*l_element_courant) - .donnee).objet)).thread).pid, SIGURG); + envoi_signal_processus((*(*((struct_processus_fils *) + (*(*l_element_courant) + .donnee).objet)).thread).pid, rpl_sigurg); } else { if ((*s_etat_processus).arret_depuis_abort == -1) { - kill((*(*((struct_processus_fils *) (*(*l_element_courant) - .donnee).objet)).thread).pid, SIGFABORT); + envoi_signal_processus((*(*((struct_processus_fils *) + (*(*l_element_courant) + .donnee).objet)).thread).pid, rpl_sigabort); } else { - kill((*(*((struct_processus_fils *) (*(*l_element_courant) - .donnee).objet)).thread).pid, SIGFSTOP); + envoi_signal_processus((*(*((struct_processus_fils *) + (*(*l_element_courant) + .donnee).objet)).thread).pid, rpl_sigstop); } } } @@ -551,9 +482,9 @@ lancement_thread(void *argument) (*(*l_element_courant).donnee).objet)).thread) .thread_actif == d_vrai) { - pthread_kill((*(*((struct_processus_fils *) + envoi_signal_thread((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)).thread).tid, - SIGURG); + rpl_sigurg); } if (pthread_mutex_unlock(&((*(*((struct_processus_fils *) @@ -594,15 +525,15 @@ lancement_thread(void *argument) { 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); + .tid, rpl_sigabort); } else { - pthread_kill((*(*((struct_processus_fils *) + envoi_signal_thread((*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)).thread) - .tid, SIGFSTOP); + .tid, rpl_sigstop); } } @@ -647,7 +578,7 @@ lancement_thread(void *argument) .var_volatile_traitement_retarde_stop; (*s_etat_processus).var_volatile_traitement_retarde_stop = 1; - for(i = 0; i < (unsigned long) (*(*((struct_processus_fils *) + for(i = 0; i < (*(*((struct_processus_fils *) (*(*l_element_courant).donnee).objet)).thread) .nombre_objets_dans_pipe; i++) { @@ -885,15 +816,16 @@ lancement_thread(void *argument) 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++) + l_element_statique_courant = (*s_etat_processus) + .l_liste_variables_statiques; + + while(l_element_statique_courant != NULL) { - liberation(s_etat_processus, - (*s_etat_processus).s_liste_variables_statiques[i].objet); - free((*s_etat_processus).s_liste_variables_statiques[i].nom); + l_element_statique_suivant = (*l_element_statique_courant).suivant; + free(l_element_statique_courant); + l_element_statique_courant = l_element_statique_suivant; } - free((*s_etat_processus).s_liste_variables_statiques); - l_element_courant = (*s_etat_processus).l_base_pile; while(l_element_courant != NULL) { @@ -1068,7 +1000,12 @@ lancement_thread(void *argument) pthread_mutex_destroy(&((*s_etat_processus).mutex)); pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation)); - sem_destroy(&((*s_etat_processus).semaphore_fork)); +# ifndef SEMAPHORES_NOMMES + sem_destroy(&((*s_etat_processus).semaphore_fork)); +# else + sem_destroy3((*s_etat_processus).semaphore_fork, getpid(), + pthread_self(), SEM_FORK); +# endif liberation_contexte_cas(s_etat_processus); free((*s_etat_processus).localisation);