--- rpl/src/optimisation.c 2011/06/21 07:45:28 1.25 +++ rpl/src/optimisation.c 2020/01/10 11:15:50 1.84 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.1.0.prerelease.1 - Copyright (C) 1989-2011 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.32 + Copyright (C) 1989-2020 Dr. BERTRAND Joël This file is part of RPL/2. @@ -25,7 +25,7 @@ /* ================================================================================ - Boucle principale optimisé de l'interprète RPL/2 + Boucle principale optimisée de l'interprète RPL/2 ================================================================================ Entrées : structure sur l'état du processus -------------------------------------------------------------------------------- @@ -36,11 +36,14 @@ */ logical1 -sequenceur_optimise(struct_processus *s_etat_processus) +sequenceur_optimise(struct_processus *s_etat_processus, struct_liste_chainee + *l_bibliotheques) { - int i; - int nb_variables; - int point_entree; + integer8 adresse_point_entree; + integer8 i; + integer8 j; + integer8 nb_variables; + integer8 point_entree; logical1 erreur; @@ -49,8 +52,7 @@ sequenceur_optimise(struct_processus *s_ struct_tableau_variables *tableau; unsigned char *message; - - unsigned long adresse_point_entree; + unsigned char registre; if ((*s_etat_processus).debug == d_vrai) if (((*s_etat_processus).type_debug & @@ -58,11 +60,11 @@ sequenceur_optimise(struct_processus *s_ { if ((*s_etat_processus).langue == 'F') { - printf("+++Optimisation [%d]\n", (int) getpid()); + printf("+++Compilation [%d]\n", (int) getpid()); } else { - printf("+++Optimization [%d]\n", (int) getpid()); + printf("+++Compilation [%d]\n", (int) getpid()); } printf("\n"); @@ -71,17 +73,17 @@ sequenceur_optimise(struct_processus *s_ point_entree = -1; adresse_point_entree = 0; + programme_principal = NULL; empilement_pile_systeme(s_etat_processus); (*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'Y'; (*s_etat_processus).autorisation_empilement_programme = 'Y'; (*s_etat_processus).mode_execution_programme = 'N'; - nb_variables = nombre_variables(s_etat_processus, - (*s_etat_processus).s_arbre_variables); + nb_variables = nombre_variables(s_etat_processus); - if ((tableau = malloc(nb_variables * sizeof(struct_tableau_variables))) - == NULL) + if ((tableau = malloc(((size_t) nb_variables) * + sizeof(struct_tableau_variables))) == NULL) { if ((*s_etat_processus).langue == 'F') { @@ -92,11 +94,12 @@ sequenceur_optimise(struct_processus *s_ printf("+++System : Not enough memory\n"); } + liberation_mutexes_arbre_variables_partagees(s_etat_processus, + (*(*s_etat_processus).s_arbre_variables_partagees)); return(d_erreur); } - liste_variables(s_etat_processus, tableau, 0, - (*s_etat_processus).s_arbre_variables); + nb_variables = liste_variables(s_etat_processus, tableau); for(i = 0; i < nb_variables; i++) { @@ -104,7 +107,7 @@ sequenceur_optimise(struct_processus *s_ { // Variables qui contiennent les points d'entrée des définitions. - (*s_etat_processus).position_courante = (*((unsigned long *) + (*s_etat_processus).position_courante = (*((integer8 *) (*(tableau[i].objet)).objet)); if (point_entree == -1) @@ -128,29 +131,86 @@ sequenceur_optimise(struct_processus *s_ { if ((*s_etat_processus).langue == 'F') { - printf("+++Fatal : Optimisation impossible\n"); + printf("+++Fatal : Compilation impossible\n"); } else { - printf("+++Fatal : Optimization failed\n"); + printf("+++Fatal : Compilation failed\n"); + } + + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } } free(tableau); return(d_erreur); } + // Il faut désactiver la vérification des variables + // implicites car aucune variable de niveau strictement + // positif étant créée, la fonction recherche_type() pourrait + // échouer. + + registre = (*s_etat_processus).autorisation_nom_implicite; + (*s_etat_processus).autorisation_nom_implicite = 'Y'; + (*s_etat_processus).type_en_cours = NON; recherche_type(s_etat_processus); + (*s_etat_processus).autorisation_nom_implicite = registre; if (((*s_etat_processus).erreur_execution != d_ex) || ((*s_etat_processus).erreur_systeme != d_es)) { + if ((*s_etat_processus).core == d_vrai) + { + if ((*s_etat_processus).langue == 'F') + { + printf("+++Information : " + "Génération du fichier rpl-core " + "[%d]\n", (int) getpid()); + } + else + { + printf("+++Information : " + "Writing rpl-core file [%d]\n", + (int) getpid()); + } + + rplcore(s_etat_processus); + + if ((*s_etat_processus).langue == 'F') + { + printf("+++Information : " + "Processus tracé [%d]\n", + (int) getpid()); + } + else + { + printf("+++Information : Done [%d]\n", + (int) getpid()); + } + + fflush(stdout); + } + if ((*s_etat_processus).langue == 'F') { - printf("+++Fatal : Optimisation impossible\n"); + printf("+++Fatal : Compilation impossible\n"); } else { - printf("+++Fatal : Optimization failed\n"); + printf("+++Fatal : Compilation failed\n"); + } + + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } } free(tableau); @@ -165,11 +225,19 @@ sequenceur_optimise(struct_processus *s_ { if ((*s_etat_processus).langue == 'F') { - printf("+++Fatal : Optimisation impossible\n"); + printf("+++Fatal : Compilation impossible\n"); } else { - printf("+++Fatal : Optimization failed\n"); + printf("+++Fatal : Compilation failed\n"); + } + + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } } free(tableau); @@ -184,11 +252,19 @@ sequenceur_optimise(struct_processus *s_ { if ((*s_etat_processus).langue == 'F') { - printf("+++Fatal : Optimisation impossible\n"); + printf("+++Fatal : Compilation impossible\n"); } else { - printf("+++Fatal : Optimization failed\n"); + printf("+++Fatal : Compilation failed\n"); + } + + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } } free(tableau); @@ -210,11 +286,19 @@ sequenceur_optimise(struct_processus *s_ { if ((*s_etat_processus).langue == 'F') { - printf("+++Fatal : Optimisation impossible\n"); + printf("+++Fatal : Compilation impossible\n"); } else { - printf("+++Fatal : Optimization failed\n"); + printf("+++Fatal : Compilation failed\n"); + } + + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } } free(tableau); @@ -230,11 +314,11 @@ sequenceur_optimise(struct_processus *s_ if ((*s_etat_processus).langue == 'F') { - printf("[%d] Optimisation achevée\n", (int) getpid()); + printf("[%d] Compilation achevée\n", (int) getpid()); } else { - printf("[%d] Optimization done\n", (int) getpid()); + printf("[%d] Compilation done\n", (int) getpid()); } printf("\n"); @@ -251,11 +335,19 @@ sequenceur_optimise(struct_processus *s_ { if ((*s_etat_processus).langue == 'F') { - printf("+++Fatal : Optimisation impossible\n"); + printf("+++Fatal : Compilation impossible\n"); } else { - printf("+++Fatal : Optimization failed\n"); + printf("+++Fatal : Compilation failed\n"); + } + + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } } free(tableau); @@ -282,10 +374,26 @@ sequenceur_optimise(struct_processus *s_ printf("+++System : Not enough memory\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); erreur = evaluation(s_etat_processus, programme_principal, 'E');