Diff for /rpl/src/rpl.c between versions 1.124 and 1.141

version 1.124, 2012/10/19 19:05:52 version 1.141, 2013/04/02 12:20:51
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.1.11    RPL/2 (R) version 4.1.14
   Copyright (C) 1989-2012 Dr. BERTRAND Joël    Copyright (C) 1989-2013 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 51  rplinit(int argc, char *argv[], char *en Line 51  rplinit(int argc, char *argv[], char *en
     int                                 erreur_historique;      int                                 erreur_historique;
     int                                 option_P;      int                                 option_P;
   
       integer8                            i;
   
     logical1                            core;      logical1                            core;
     logical1                            debug;      logical1                            debug;
     logical1                            erreur_fichier;      logical1                            erreur_fichier;
Line 80  rplinit(int argc, char *argv[], char *en Line 82  rplinit(int argc, char *argv[], char *en
   
     struct_processus                    *s_etat_processus;      struct_processus                    *s_etat_processus;
   
       struct_liste_variables_partagees    *l_element_partage_courant;
       struct_liste_variables_partagees    *l_element_partage_suivant;
   
     struct_liste_variables_statiques    *l_element_statique_courant;      struct_liste_variables_statiques    *l_element_statique_courant;
     struct_liste_variables_statiques    *l_element_statique_suivant;      struct_liste_variables_statiques    *l_element_statique_suivant;
   
     struct_table_variables_partagees    s_variables_partagees;      struct_arbre_variables_partagees    *s_arbre_variables_partagees;
       struct_liste_variables_partagees    *l_liste_variables_partagees;
   
     struct sigaction                    action;      struct sigaction                    action;
     struct sigaction                    registre;      struct sigaction                    registre;
Line 102  rplinit(int argc, char *argv[], char *en Line 108  rplinit(int argc, char *argv[], char *en
     unsigned char                       *ptr;      unsigned char                       *ptr;
     unsigned char                       *tampon;      unsigned char                       *tampon;
   
     unsigned long                       i;  
     unsigned long                       unite_fichier;      unsigned long                       unite_fichier;
   
     void                                *l_element_courant;      void                                *l_element_courant;
Line 215  rplinit(int argc, char *argv[], char *en Line 220  rplinit(int argc, char *argv[], char *en
         return(EXIT_FAILURE);          return(EXIT_FAILURE);
     }      }
   
     if ((arg_exec = malloc((argc + 1) * sizeof(char *))) == NULL)      if ((arg_exec = malloc((((size_t) argc) + 1) * sizeof(char *))) == NULL)
     {      {
 #       ifndef SEMAPHORES_NOMMES  #       ifndef SEMAPHORES_NOMMES
         sem_post(&semaphore_gestionnaires_signaux);          sem_post(&semaphore_gestionnaires_signaux);
Line 237  rplinit(int argc, char *argv[], char *en Line 242  rplinit(int argc, char *argv[], char *en
         return(EXIT_FAILURE);          return(EXIT_FAILURE);
     }      }
   
     for(i = 0; i < (unsigned long) argc; i++)      for(i = 0; i < argc; i++)
     {      {
         arg_exec[i] = argv[i];          arg_exec[i] = argv[i];
     }      }
Line 269  rplinit(int argc, char *argv[], char *en Line 274  rplinit(int argc, char *argv[], char *en
     pthread_mutex_init(&mutex_sections_critiques, &attributs_mutex);      pthread_mutex_init(&mutex_sections_critiques, &attributs_mutex);
     pthread_mutexattr_destroy(&attributs_mutex);      pthread_mutexattr_destroy(&attributs_mutex);
   
       pthread_mutexattr_init(&attributs_mutex);
       pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
       pthread_mutex_init(&mutex_liste_variables_partagees, &attributs_mutex);
       pthread_mutexattr_destroy(&attributs_mutex);
   
 #   ifndef SEMAPHORES_NOMMES  #   ifndef SEMAPHORES_NOMMES
         sem_init(&((*s_etat_processus).semaphore_fork), 0, 0);          sem_init(&((*s_etat_processus).semaphore_fork), 0, 0);
 #   else  #   else
Line 305  rplinit(int argc, char *argv[], char *en Line 315  rplinit(int argc, char *argv[], char *en
             &attributs_mutex);              &attributs_mutex);
     pthread_mutexattr_destroy(&attributs_mutex);      pthread_mutexattr_destroy(&attributs_mutex);
   
     (*s_etat_processus).s_liste_variables_partagees = &s_variables_partagees;  
   
     s_variables_partagees.nombre_variables = 0;  
     s_variables_partagees.nombre_variables_allouees = 0;  
     s_variables_partagees.table = NULL;  
   
     pthread_mutexattr_init(&attributs_mutex);  
     pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);  
     pthread_mutex_init(&((*((*s_etat_processus).s_liste_variables_partagees))  
             .mutex), &attributs_mutex);  
     pthread_mutexattr_destroy(&attributs_mutex);  
   
     (*s_etat_processus).chemin_fichiers_temporaires =      (*s_etat_processus).chemin_fichiers_temporaires =
             recherche_chemin_fichiers_temporaires(s_etat_processus);              recherche_chemin_fichiers_temporaires(s_etat_processus);
   
Line 438  rplinit(int argc, char *argv[], char *en Line 436  rplinit(int argc, char *argv[], char *en
   
     if ((*s_etat_processus).langue == 'F')      if ((*s_etat_processus).langue == 'F')
     {      {
         printf("+++Copyright (C) 1989 à 2011, 2012 BERTRAND Joël\n");          printf("+++Copyright (C) 1989 à 2012, 2013 BERTRAND Joël\n");
     }      }
     else      else
     {      {
         printf("+++Copyright (C) 1989 to 2011, 2012 BERTRAND Joel\n");          printf("+++Copyright (C) 1989 to 2012, 2013 BERTRAND Joel\n");
     }      }
   
     if (getenv("HOME") != NULL)      if (getenv("HOME") != NULL)
Line 596  rplinit(int argc, char *argv[], char *en Line 594  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGINT);      raise(SIGINT);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 683  rplinit(int argc, char *argv[], char *en Line 681  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGTERM);      raise(SIGTERM);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 770  rplinit(int argc, char *argv[], char *en Line 768  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGALRM);      raise(SIGALRM);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 858  rplinit(int argc, char *argv[], char *en Line 856  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGTSTP);      raise(SIGTSTP);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 948  rplinit(int argc, char *argv[], char *en Line 946  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGPIPE);      raise(SIGPIPE);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 1038  rplinit(int argc, char *argv[], char *en Line 1036  rplinit(int argc, char *argv[], char *en
     }      }
   
     signal_test = SIGTEST;      signal_test = SIGTEST;
     kill(getpid(), SIGUSR1);      raise(SIGUSR1);
   
     attente.tv_sec = 0;      attente.tv_sec = 0;
     attente.tv_nsec = 1000000;      attente.tv_nsec = 1000000;
Line 2256  rplinit(int argc, char *argv[], char *en Line 2254  rplinit(int argc, char *argv[], char *en
                             }                              }
   
                             (*s_etat_processus).longueur_definitions_chainees =                              (*s_etat_processus).longueur_definitions_chainees =
                                     strlen((*s_etat_processus)                                      (integer8) strlen((*s_etat_processus)
                                     .definitions_chainees);                                      .definitions_chainees);
   
                             break;                              break;
Line 2803  rplinit(int argc, char *argv[], char *en Line 2801  rplinit(int argc, char *argv[], char *en
             }              }
   
             signal_test = SIGTEST;              signal_test = SIGTEST;
             kill(getpid(), SIGSEGV);              raise(SIGSEGV);
   
             attente.tv_sec = 0;              attente.tv_sec = 0;
             attente.tv_nsec = 1000000;              attente.tv_nsec = 1000000;
Line 2903  rplinit(int argc, char *argv[], char *en Line 2901  rplinit(int argc, char *argv[], char *en
             }              }
   
             signal_test = SIGTEST;              signal_test = SIGTEST;
             kill(getpid(), SIGBUS);              raise(SIGBUS);
   
             attente.tv_sec = 0;              attente.tv_sec = 0;
             attente.tv_nsec = 1000000;              attente.tv_nsec = 1000000;
Line 3439  rplinit(int argc, char *argv[], char *en Line 3437  rplinit(int argc, char *argv[], char *en
   
             (*s_etat_processus).s_arbre_variables = NULL;              (*s_etat_processus).s_arbre_variables = NULL;
             (*s_etat_processus).l_liste_variables_par_niveau = NULL;              (*s_etat_processus).l_liste_variables_par_niveau = NULL;
               (*s_etat_processus).l_liste_variables_statiques = NULL;
             (*s_etat_processus).gel_liste_variables = d_faux;              (*s_etat_processus).gel_liste_variables = d_faux;
               s_arbre_variables_partagees = NULL;
               l_liste_variables_partagees = NULL;
               (*s_etat_processus).s_arbre_variables_partagees =
                       &s_arbre_variables_partagees;
               (*s_etat_processus).l_liste_variables_partagees =
                       &l_liste_variables_partagees;
             (*s_etat_processus).pointeur_variable_courante = NULL;              (*s_etat_processus).pointeur_variable_courante = NULL;
             (*s_etat_processus).pointeur_variable_statique_courante = NULL;              (*s_etat_processus).pointeur_variable_statique_courante = NULL;
             (*s_etat_processus).l_liste_variables_statiques = NULL;              (*s_etat_processus).pointeur_variable_partagee_courante = NULL;
             (*s_etat_processus).niveau_courant = 0;              (*s_etat_processus).niveau_courant = 0;
             (*s_etat_processus).niveau_initial = 0;              (*s_etat_processus).niveau_initial = 0;
             (*s_etat_processus).creation_variables_statiques = d_faux;              (*s_etat_processus).creation_variables_statiques = d_faux;
Line 4478  rplinit(int argc, char *argv[], char *en Line 4483  rplinit(int argc, char *argv[], char *en
                     {                      {
                         (*s_etat_processus).erreur_systeme = d_es;                          (*s_etat_processus).erreur_systeme = d_es;
                         encart(s_etat_processus,                          encart(s_etat_processus,
                                 (unsigned long) (5 * 1000000));                                  (integer8) (5 * 1000000));
   
                         if ((*s_etat_processus).erreur_systeme != d_es)                          if ((*s_etat_processus).erreur_systeme != d_es)
                         {                          {
Line 5134  rplinit(int argc, char *argv[], char *en Line 5139  rplinit(int argc, char *argv[], char *en
   
                                 if (erreur == d_absence_erreur)                                  if (erreur == d_absence_erreur)
                                 {                                  {
                                     if (((*s_etat_processus).var_volatile_alarme                                      if (((*s_etat_processus)
                                             == 0) && ((*s_etat_processus)  
                                             .arret_depuis_abort == 0) &&                                              .arret_depuis_abort == 0) &&
                                             ((*s_etat_processus).at_exit                                              ((*s_etat_processus).at_exit
                                             != NULL))                                              != NULL))
                                     {                                      {
                                           // Permet de traiter ATEXIT
                                           // même après réception d'un SIGINT.
                                           (*s_etat_processus)
                                                   .var_volatile_alarme = 0;
                                           (*s_etat_processus)
                                                   .var_volatile_requete_arret = 0;
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus,
                                                       "ATEXIT");
                                           }
   
                                         erreur = evaluation(s_etat_processus,                                          erreur = evaluation(s_etat_processus,
                                                 (*s_etat_processus).at_exit,                                                  (*s_etat_processus).at_exit,
                                                 'E');                                                  'E');
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus, NULL);
                                           }
   
                                           if (((*s_etat_processus)
                                                   .erreur_execution != d_ex) ||
                                                   ((*s_etat_processus).exception
                                                   != d_ep) || ((*s_etat_processus)
                                                   .erreur_systeme != d_es))
                                           {
                                               printf("%s [%d]\n", message =
                                                       messages(s_etat_processus),
                                                       (int) getpid());
                                               free(message);
   
                                               if (test_cfsf(s_etat_processus, 51)
                                                       == d_faux)
                                               {
                                                   printf("%s", ds_beep);
                                               }
   
                                               if ((*s_etat_processus).core ==
                                                       d_vrai)
                                               {
                                                   printf("\n");
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Gé"
                                                               "nération du fichie"
                                                               "r rpl-core "
                                                               "[%d]\n", (int)
                                                               getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Wr"
                                                               "iting rpl-core fil"
                                                               "e [%d]\n",
                                                               (int) getpid());
                                                   }
   
                                                   rplcore(s_etat_processus);
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Pr"
                                                               "ocessus tracé [%d]"
                                                               "\n",
                                                               (int) getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Do"
                                                               "ne [%d]\n", (int)
                                                               getpid());
                                                   }
   
                                                   printf("\n");
                                                   fflush(stdout);
                                               }
                                           }
                                     }                                      }
                                 }                                  }
                             }                              }
Line 5155  rplinit(int argc, char *argv[], char *en Line 5240  rplinit(int argc, char *argv[], char *en
   
                                 if (erreur == d_absence_erreur)                                  if (erreur == d_absence_erreur)
                                 {                                  {
                                     if (((*s_etat_processus).var_volatile_alarme                                      if (((*s_etat_processus)
                                             == 0) && ((*s_etat_processus)  
                                             .arret_depuis_abort == 0) &&                                              .arret_depuis_abort == 0) &&
                                             ((*s_etat_processus).at_exit                                              ((*s_etat_processus).at_exit
                                             != NULL))                                              != NULL))
                                     {                                      {
                                           // Permet de traiter ATEXIT
                                           // même après réception d'un SIGINT.
                                           (*s_etat_processus)
                                                   .var_volatile_alarme = 0;
                                           (*s_etat_processus)
                                                   .var_volatile_requete_arret = 0;
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus,
                                                       "ATEXIT");
                                           }
   
                                         erreur = evaluation(s_etat_processus,                                          erreur = evaluation(s_etat_processus,
                                                 (*s_etat_processus).at_exit,                                                  (*s_etat_processus).at_exit,
                                                 'E');                                                  'E');
   
                                           if ((*s_etat_processus).profilage ==
                                                   d_vrai)
                                           {
                                               profilage(s_etat_processus, NULL);
                                           }
   
                                           if (((*s_etat_processus)
                                                   .erreur_execution != d_ex) ||
                                                   ((*s_etat_processus).exception
                                                   != d_ep) || ((*s_etat_processus)
                                                   .erreur_systeme != d_es))
                                           {
                                               printf("%s [%d]\n", message =
                                                       messages(s_etat_processus),
                                                       (int) getpid());
                                               free(message);
   
                                               if (test_cfsf(s_etat_processus, 51)
                                                       == d_faux)
                                               {
                                                   printf("%s", ds_beep);
                                               }
   
                                               if ((*s_etat_processus).core ==
                                                       d_vrai)
                                               {
                                                   printf("\n");
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Gé"
                                                               "nération du fichie"
                                                               "r rpl-core "
                                                               "[%d]\n", (int)
                                                               getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Wr"
                                                               "iting rpl-core fil"
                                                               "e [%d]\n",
                                                               (int) getpid());
                                                   }
   
                                                   rplcore(s_etat_processus);
   
                                                   if ((*s_etat_processus).langue
                                                           == 'F')
                                                   {
                                                       printf("+++Information : Pr"
                                                               "ocessus tracé [%d]"
                                                               "\n",
                                                               (int) getpid());
                                                   }
                                                   else
                                                   {
                                                       printf("+++Information : Do"
                                                               "ne [%d]\n", (int)
                                                               getpid());
                                                   }
   
                                                   printf("\n");
                                                   fflush(stdout);
                                               }
                                           }
                                     }                                      }
                                 }                                  }
                             }                              }
Line 5376  rplinit(int argc, char *argv[], char *en Line 5541  rplinit(int argc, char *argv[], char *en
                         l_element_courant = (void *)                          l_element_courant = (void *)
                                 (*s_etat_processus).l_base_pile_processus;                                  (*s_etat_processus).l_base_pile_processus;
   
                         for(i = 0; i < (unsigned long)                          for(i = 0; i < (*(*((struct_processus_fils *)
                                 (*(*((struct_processus_fils *)  
                                 (*(*((struct_liste_chainee *)                                  (*(*((struct_liste_chainee *)
                                 l_element_courant)).donnee).objet)).thread)                                  l_element_courant)).donnee).objet)).thread)
                                 .nombre_objets_dans_pipe; i++)                                  .nombre_objets_dans_pipe; i++)
Line 5675  rplinit(int argc, char *argv[], char *en Line 5839  rplinit(int argc, char *argv[], char *en
                      * le libérer...                       * le libérer...
                      */                       */
   
                       liberation_arbre_variables_partagees(s_etat_processus,
                               (*(*s_etat_processus).s_arbre_variables_partagees));
                     liberation_arbre_variables(s_etat_processus,                      liberation_arbre_variables(s_etat_processus,
                             (*s_etat_processus).s_arbre_variables, d_vrai);                              (*s_etat_processus).s_arbre_variables, d_vrai);
                     free((*s_etat_processus).pointeurs_caracteres_variables);                      free((*s_etat_processus).pointeurs_caracteres_variables);
Line 5690  rplinit(int argc, char *argv[], char *en Line 5856  rplinit(int argc, char *argv[], char *en
                         l_element_statique_courant = l_element_statique_suivant;                          l_element_statique_courant = l_element_statique_suivant;
                     }                      }
   
                     for(i = 0; i < (*((*s_etat_processus)                      l_element_partage_courant = (*(*s_etat_processus)
                             .s_liste_variables_partagees)).nombre_variables;                              .l_liste_variables_partagees);
                             i++)  
                     {  
                         liberation(s_etat_processus, (*((*s_etat_processus)  
                                 .s_liste_variables_partagees)).table[i].objet);  
                         free((*((*s_etat_processus)  
                                 .s_liste_variables_partagees)).table[i].nom);  
                     }  
   
                     free((struct_variable_partagee *)                      while(l_element_partage_courant != NULL)
                             (*((*s_etat_processus).s_liste_variables_partagees))                      {
                             .table);                          l_element_partage_suivant =
                                   (*l_element_partage_courant).suivant;
                           free(l_element_partage_courant);
                           l_element_partage_courant = l_element_partage_suivant;
                       }
   
                     /*                      /*
                      * Si resultats est non nul, rplinit a été appelé                       * Si resultats est non nul, rplinit a été appelé
Line 5718  rplinit(int argc, char *argv[], char *en Line 5881  rplinit(int argc, char *argv[], char *en
                         {                          {
                             free((*resultats));                              free((*resultats));
   
                             if (((*resultats) = malloc(((*s_etat_processus)                              if (((*resultats) = malloc(((size_t)
                                     .hauteur_pile_operationnelle + 1)                                      ((*s_etat_processus)
                                       .hauteur_pile_operationnelle + 1))
                                     * sizeof(unsigned char **))) != NULL)                                      * sizeof(unsigned char **))) != NULL)
                             {                              {
                                 (*resultats)[(*s_etat_processus)                                  (*resultats)[(*s_etat_processus)
Line 6035  rplinit(int argc, char *argv[], char *en Line 6199  rplinit(int argc, char *argv[], char *en
     closelog();      closelog();
   
     pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));      pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));
     pthread_mutex_destroy(&((*((*s_etat_processus).s_liste_variables_partagees))  
             .mutex));  
   
     retrait_thread(s_etat_processus);      retrait_thread(s_etat_processus);
   
     pthread_mutex_destroy(&((*s_etat_processus).mutex));      pthread_mutex_destroy(&((*s_etat_processus).mutex));
     pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));      pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
     pthread_mutex_destroy(&mutex_sections_critiques);      pthread_mutex_destroy(&mutex_sections_critiques);
       pthread_mutex_destroy(&mutex_liste_variables_partagees);
   
 #   ifndef SEMAPHORES_NOMMES  #   ifndef SEMAPHORES_NOMMES
     sem_post(&((*s_etat_processus).semaphore_fork));      sem_post(&((*s_etat_processus).semaphore_fork));

Removed from v.1.124  
changed lines
  Added in v.1.141


CVSweb interface <joel.bertrand@systella.fr>