Diff for /rpl/src/optimisation.c between versions 1.27 and 1.84

version 1.27, 2011/06/22 13:27:04 version 1.84, 2020/01/10 11:15:50
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.1.0.prerelease.3    RPL/2 (R) version 4.1.32
   Copyright (C) 1989-2011 Dr. BERTRAND Joël    Copyright (C) 1989-2020 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 25 Line 25
   
 /*  /*
 ================================================================================  ================================================================================
   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    Entrées : structure sur l'état du processus
 --------------------------------------------------------------------------------  --------------------------------------------------------------------------------
Line 36 Line 36
 */  */
   
 logical1  logical1
 sequenceur_optimise(struct_processus *s_etat_processus)  sequenceur_optimise(struct_processus *s_etat_processus, struct_liste_chainee
           *l_bibliotheques)
 {  {
     int                         i;      integer8                    adresse_point_entree;
     int                         nb_variables;      integer8                    i;
     int                         point_entree;      integer8                    j;
       integer8                    nb_variables;
       integer8                    point_entree;
   
     logical1                    erreur;      logical1                    erreur;
   
Line 49  sequenceur_optimise(struct_processus *s_ Line 52  sequenceur_optimise(struct_processus *s_
     struct_tableau_variables    *tableau;      struct_tableau_variables    *tableau;
   
     unsigned char               *message;      unsigned char               *message;
       unsigned char               registre;
     unsigned long               adresse_point_entree;  
   
     if ((*s_etat_processus).debug == d_vrai)      if ((*s_etat_processus).debug == d_vrai)
         if (((*s_etat_processus).type_debug &          if (((*s_etat_processus).type_debug &
Line 58  sequenceur_optimise(struct_processus *s_ Line 60  sequenceur_optimise(struct_processus *s_
     {      {
         if ((*s_etat_processus).langue == 'F')          if ((*s_etat_processus).langue == 'F')
         {          {
             printf("+++Optimisation [%d]\n", (int) getpid());              printf("+++Compilation [%d]\n", (int) getpid());
         }          }
         else          else
         {          {
             printf("+++Optimization [%d]\n", (int) getpid());              printf("+++Compilation [%d]\n", (int) getpid());
         }          }
   
         printf("\n");          printf("\n");
Line 71  sequenceur_optimise(struct_processus *s_ Line 73  sequenceur_optimise(struct_processus *s_
   
     point_entree = -1;      point_entree = -1;
     adresse_point_entree = 0;      adresse_point_entree = 0;
       programme_principal = NULL;
   
     empilement_pile_systeme(s_etat_processus);      empilement_pile_systeme(s_etat_processus);
     (*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'Y';      (*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'Y';
     (*s_etat_processus).autorisation_empilement_programme = 'Y';      (*s_etat_processus).autorisation_empilement_programme = 'Y';
     (*s_etat_processus).mode_execution_programme = 'N';      (*s_etat_processus).mode_execution_programme = 'N';
   
     nb_variables = nombre_variables(s_etat_processus,      nb_variables = nombre_variables(s_etat_processus);
             (*s_etat_processus).s_arbre_variables);  
   
     if ((tableau = malloc(nb_variables * sizeof(struct_tableau_variables)))      if ((tableau = malloc(((size_t) nb_variables) *
             == NULL)              sizeof(struct_tableau_variables))) == NULL)
     {      {
         if ((*s_etat_processus).langue == 'F')          if ((*s_etat_processus).langue == 'F')
         {          {
Line 92  sequenceur_optimise(struct_processus *s_ Line 94  sequenceur_optimise(struct_processus *s_
             printf("+++System : Not enough memory\n");              printf("+++System : Not enough memory\n");
         }          }
   
           liberation_mutexes_arbre_variables_partagees(s_etat_processus,
                   (*(*s_etat_processus).s_arbre_variables_partagees));
         return(d_erreur);          return(d_erreur);
     }      }
   
     liste_variables(s_etat_processus, tableau, 0,      nb_variables = liste_variables(s_etat_processus, tableau);
             (*s_etat_processus).s_arbre_variables);  
   
     for(i = 0; i < nb_variables; i++)      for(i = 0; i < nb_variables; i++)
     {      {
Line 104  sequenceur_optimise(struct_processus *s_ Line 107  sequenceur_optimise(struct_processus *s_
         {          {
             // Variables qui contiennent les points d'entrée des définitions.              // 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));                      (*(tableau[i].objet)).objet));
   
             if (point_entree == -1)              if (point_entree == -1)
Line 128  sequenceur_optimise(struct_processus *s_ Line 131  sequenceur_optimise(struct_processus *s_
             {              {
                 if ((*s_etat_processus).langue == 'F')                  if ((*s_etat_processus).langue == 'F')
                 {                  {
                     printf("+++Fatal : Optimisation impossible\n");                      printf("+++Fatal : Compilation impossible\n");
                 }                  }
                 else                  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);                  free(tableau);
                 return(d_erreur);                  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);              recherche_type(s_etat_processus);
               (*s_etat_processus).autorisation_nom_implicite = registre;
   
             if (((*s_etat_processus).erreur_execution != d_ex) ||              if (((*s_etat_processus).erreur_execution != d_ex) ||
                     ((*s_etat_processus).erreur_systeme != d_es))                      ((*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')                  if ((*s_etat_processus).langue == 'F')
                 {                  {
                     printf("+++Fatal : Optimisation impossible\n");                      printf("+++Fatal : Compilation impossible\n");
                 }                  }
                 else                  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);                  free(tableau);
Line 165  sequenceur_optimise(struct_processus *s_ Line 225  sequenceur_optimise(struct_processus *s_
             {              {
                 if ((*s_etat_processus).langue == 'F')                  if ((*s_etat_processus).langue == 'F')
                 {                  {
                     printf("+++Fatal : Optimisation impossible\n");                      printf("+++Fatal : Compilation impossible\n");
                 }                  }
                 else                  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);                  free(tableau);
Line 184  sequenceur_optimise(struct_processus *s_ Line 252  sequenceur_optimise(struct_processus *s_
             {              {
                 if ((*s_etat_processus).langue == 'F')                  if ((*s_etat_processus).langue == 'F')
                 {                  {
                     printf("+++Fatal : Optimisation impossible\n");                      printf("+++Fatal : Compilation impossible\n");
                 }                  }
                 else                  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);                  free(tableau);
Line 210  sequenceur_optimise(struct_processus *s_ Line 286  sequenceur_optimise(struct_processus *s_
     {      {
         if ((*s_etat_processus).langue == 'F')          if ((*s_etat_processus).langue == 'F')
         {          {
             printf("+++Fatal : Optimisation impossible\n");              printf("+++Fatal : Compilation impossible\n");
         }          }
         else          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);          free(tableau);
Line 230  sequenceur_optimise(struct_processus *s_ Line 314  sequenceur_optimise(struct_processus *s_
   
             if ((*s_etat_processus).langue == 'F')              if ((*s_etat_processus).langue == 'F')
             {              {
                 printf("[%d] Optimisation achevée\n", (int) getpid());                  printf("[%d] Compilation achevée\n", (int) getpid());
             }              }
             else              else
             {              {
                 printf("[%d] Optimization done\n", (int) getpid());                  printf("[%d] Compilation done\n", (int) getpid());
             }              }
   
             printf("\n");              printf("\n");
Line 251  sequenceur_optimise(struct_processus *s_ Line 335  sequenceur_optimise(struct_processus *s_
     {      {
         if ((*s_etat_processus).langue == 'F')          if ((*s_etat_processus).langue == 'F')
         {          {
             printf("+++Fatal : Optimisation impossible\n");              printf("+++Fatal : Compilation impossible\n");
         }          }
         else          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);          free(tableau);
Line 282  sequenceur_optimise(struct_processus *s_ Line 374  sequenceur_optimise(struct_processus *s_
             printf("+++System : Not enough memory\n");              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);          free(tableau);
         return(d_erreur);          return(d_erreur);
     }      }
   
       for(j = 0; j < nb_variables; j++)
       {
           if (tableau[j].mutex != NULL)
           {
               pthread_mutex_unlock(tableau[j].mutex);
           }
       }
   
     free(tableau);      free(tableau);
   
     erreur = evaluation(s_etat_processus, programme_principal, 'E');      erreur = evaluation(s_etat_processus, programme_principal, 'E');

Removed from v.1.27  
changed lines
  Added in v.1.84


CVSweb interface <joel.bertrand@systella.fr>