Diff for /rpl/src/instructions_d5.c between versions 1.27 and 1.66

version 1.27, 2010/06/17 11:00:23 version 1.66, 2011/09/10 20:45:06
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.16    RPL/2 (R) version 4.1.3
   Copyright (C) 1989-2010 Dr. BERTRAND Joël    Copyright (C) 1989-2011 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 20 Line 20
 */  */
   
   
 #include "rpl.conv.h"  #include "rpl-conv.h"
   
   
 /*  /*
Line 814  instruction_der(struct_processus *s_etat Line 814  instruction_der(struct_processus *s_etat
 void  void
 instruction_detach(struct_processus *s_etat_processus)  instruction_detach(struct_processus *s_etat_processus)
 {  {
     int                         status;  
   
     logical1                    drapeau;      logical1                    drapeau;
     logical1                    variable_partagee;      logical1                    variable_partagee;
   
Line 931  instruction_detach(struct_processus *s_e Line 929  instruction_detach(struct_processus *s_e
         if (recherche_variable(s_etat_processus, (*((struct_nom *)          if (recherche_variable(s_etat_processus, (*((struct_nom *)
                 (*s_objet).objet)).nom) == d_vrai)                  (*s_objet).objet)).nom) == d_vrai)
         {          {
             if ((*s_etat_processus).s_liste_variables              if ((*(*s_etat_processus).pointeur_variable_courante).objet
                     [(*s_etat_processus).position_variable_courante].objet  
                     == NULL)                      == NULL)
             {              {
                 if (pthread_mutex_lock(&((*(*s_etat_processus)                  if (pthread_mutex_lock(&((*(*s_etat_processus)
Line 943  instruction_detach(struct_processus *s_e Line 940  instruction_detach(struct_processus *s_e
                 }                  }
   
                 if (recherche_variable_partagee(s_etat_processus,                  if (recherche_variable_partagee(s_etat_processus,
                         (*s_etat_processus).s_liste_variables                          (*(*s_etat_processus).pointeur_variable_courante).nom,
                         [(*s_etat_processus).position_variable_courante].nom,                          (*(*s_etat_processus).pointeur_variable_courante)
                         (*s_etat_processus).s_liste_variables                          .variable_partagee, (*(*s_etat_processus)
                         [(*s_etat_processus).position_variable_courante]                          .pointeur_variable_courante).origine) == d_faux)
                         .variable_partagee, (*s_etat_processus)  
                         .s_liste_variables[(*s_etat_processus)  
                         .position_variable_courante].origine) == d_faux)  
                 {                  {
                     if (pthread_mutex_unlock(&((*(*s_etat_processus)                      if (pthread_mutex_unlock(&((*(*s_etat_processus)
                             .s_liste_variables_partagees).mutex)) != 0)                              .s_liste_variables_partagees).mutex)) != 0)
Line 1017  instruction_detach(struct_processus *s_e Line 1011  instruction_detach(struct_processus *s_e
             }              }
             else              else
             {              {
                 if (((*(*s_etat_processus).s_liste_variables                  if (((*(*(*s_etat_processus).pointeur_variable_courante).objet)
                         [(*s_etat_processus).position_variable_courante].objet)                          .type != RPN) && ((*(*(*s_etat_processus)
                         .type != RPN) && ((*(*s_etat_processus)                          .pointeur_variable_courante).objet).type != ADR))
                         .s_liste_variables[(*s_etat_processus)  
                         .position_variable_courante].objet).type != ADR))  
                 {                  {
                     liberation(s_etat_processus, s_objet);                      liberation(s_etat_processus, s_objet);
   
Line 1172  instruction_detach(struct_processus *s_e Line 1164  instruction_detach(struct_processus *s_e
     pthread_mutex_init(&((*s_argument_thread).mutex), &attributs_mutex);      pthread_mutex_init(&((*s_argument_thread).mutex), &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(&((*s_argument_thread).mutex_nombre_references),
               &attributs_mutex);
       pthread_mutexattr_destroy(&attributs_mutex);
   
     if ((*s_argument_thread).pid > 0)      if ((*s_argument_thread).pid > 0)
     {      {
         /*          /*
Line 1275  instruction_detach(struct_processus *s_e Line 1273  instruction_detach(struct_processus *s_e
             return;              return;
         }          }
   
   #       ifndef OS2
   #       ifndef Cygwin
         if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0)          if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0)
         {          {
             (*s_etat_processus).erreur_systeme = d_es_processus;              (*s_etat_processus).erreur_systeme = d_es_processus;
Line 1293  instruction_detach(struct_processus *s_e Line 1293  instruction_detach(struct_processus *s_e
             (*s_etat_processus).erreur_systeme = d_es_processus;              (*s_etat_processus).erreur_systeme = d_es_processus;
             return;              return;
         }          }
   #       endif
   #       endif
   
         (*s_argument_thread).s_etat_processus = s_etat_processus;          (*s_argument_thread).s_etat_processus = s_etat_processus;
   
Line 1315  instruction_detach(struct_processus *s_e Line 1317  instruction_detach(struct_processus *s_e
          * Processus fils           * Processus fils
          */           */
   
   #       ifdef _BROKEN_SIGINFO
           liberation_fifos_signaux(s_etat_processus);
           creation_fifos_signaux(s_etat_processus);
   #       endif
   
           (*s_etat_processus).signal_a_traiter = d_faux;
   
         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 &
                     d_debug_processus) != 0)                      d_debug_processus) != 0)
Line 1504  instruction_detach(struct_processus *s_e Line 1513  instruction_detach(struct_processus *s_e
                 }                  }
             }              }
   
   #           ifdef _BROKEN_SIGINFO
               destruction_fifos_signaux(s_etat_processus);
   #           endif
   
             BUG(1, uprintf("Process management error line %d\n", __LINE__));              BUG(1, uprintf("Process management error line %d\n", __LINE__));
             exit(EXIT_FAILURE);              exit(EXIT_FAILURE);
         }          }
Line 1534  instruction_detach(struct_processus *s_e Line 1547  instruction_detach(struct_processus *s_e
                 }                  }
             }              }
   
   #           ifdef _BROKEN_SIGINFO
               destruction_fifos_signaux(s_etat_processus);
   #           endif
   
             BUG(1, uprintf("Process management error line %d\n", __LINE__));              BUG(1, uprintf("Process management error line %d\n", __LINE__));
             exit(EXIT_FAILURE);              exit(EXIT_FAILURE);
         }          }
Line 1567  instruction_detach(struct_processus *s_e Line 1584  instruction_detach(struct_processus *s_e
                 }                  }
             }              }
   
   #           ifdef _BROKEN_SIGINFO
               destruction_fifos_signaux(s_etat_processus);
   #           endif
   
             BUG(1, uprintf("Process management error line %d\n", __LINE__));              BUG(1, uprintf("Process management error line %d\n", __LINE__));
             exit(EXIT_FAILURE);              exit(EXIT_FAILURE);
         }          }
Line 1578  instruction_detach(struct_processus *s_e Line 1599  instruction_detach(struct_processus *s_e
         }          }
   
         (*s_etat_processus).var_volatile_processus_pere = 0;          (*s_etat_processus).var_volatile_processus_pere = 0;
           (*s_etat_processus).var_volatile_processus_racine = 0;
   
         // On réinitialise toutes les interruptions.          // On réinitialise toutes les interruptions.
   
Line 1589  instruction_detach(struct_processus *s_e Line 1611  instruction_detach(struct_processus *s_e
   
         liberation(s_etat_processus, (*s_etat_processus).at_exit);          liberation(s_etat_processus, (*s_etat_processus).at_exit);
         (*s_etat_processus).at_exit = NULL;          (*s_etat_processus).at_exit = NULL;
           liberation(s_etat_processus, (*s_etat_processus).at_poke);
           (*s_etat_processus).at_poke = NULL;
           (*s_etat_processus).traitement_at_poke = 'N';
   
         for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)          for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
         {          {
Line 1712  instruction_detach(struct_processus *s_e Line 1737  instruction_detach(struct_processus *s_e
                 }                  }
             }              }
   
   #           ifdef _BROKEN_SIGINFO
               destruction_fifos_signaux(s_etat_processus);
   #           endif
   
             BUG(1, uprintf("Process management error line %d\n", __LINE__));              BUG(1, uprintf("Process management error line %d\n", __LINE__));
             exit(EXIT_FAILURE);              exit(EXIT_FAILURE);
         }          }
Line 1728  instruction_detach(struct_processus *s_e Line 1757  instruction_detach(struct_processus *s_e
             (*s_argument_thread2).nombre_references--;              (*s_argument_thread2).nombre_references--;
   
             BUG((*s_argument_thread2).nombre_references < 0,              BUG((*s_argument_thread2).nombre_references < 0,
   #                   ifdef _BROKEN_SIGINFO
                       destruction_fifos_signaux(s_etat_processus),
   #                   endif
                     printf("(*s_argument_thread2).nombre_references = %d\n",                      printf("(*s_argument_thread2).nombre_references = %d\n",
                     (int) (*s_argument_thread2).nombre_references));                      (int) (*s_argument_thread2).nombre_references));
   
Line 1754  instruction_detach(struct_processus *s_e Line 1786  instruction_detach(struct_processus *s_e
                 }                  }
   
                 free(s_argument_thread2);                  free(s_argument_thread2);
                   free((*(*l_element_courant).donnee).objet);
                   free((*l_element_courant).donnee);
             }              }
   
             l_element_suivant = (*l_element_courant).suivant;              l_element_suivant = (*l_element_courant).suivant;
Line 1789  instruction_detach(struct_processus *s_e Line 1823  instruction_detach(struct_processus *s_e
                 }                  }
             }              }
   
   #           ifdef _BROKEN_SIGINFO
               destruction_fifos_signaux(s_etat_processus);
   #           endif
   
             BUG(1, uprintf("Process management error line %d\n", __LINE__));              BUG(1, uprintf("Process management error line %d\n", __LINE__));
             exit(EXIT_FAILURE);              exit(EXIT_FAILURE);
         }          }
Line 1853  instruction_detach(struct_processus *s_e Line 1891  instruction_detach(struct_processus *s_e
                 }                  }
             }              }
   
   #           ifdef _BROKEN_SIGINFO
               destruction_fifos_signaux(s_etat_processus);
   #           endif
   
             BUG(1, uprintf("Process management error line %d\n", __LINE__));              BUG(1, uprintf("Process management error line %d\n", __LINE__));
             exit(EXIT_FAILURE);              exit(EXIT_FAILURE);
         }          }
Line 1905  instruction_detach(struct_processus *s_e Line 1947  instruction_detach(struct_processus *s_e
                 }                  }
             }              }
   
   #           ifdef _BROKEN_SIGINFO
               destruction_fifos_signaux(s_etat_processus);
   #           endif
   
             BUG(1, uprintf("Process management error line %d\n", __LINE__));              BUG(1, uprintf("Process management error line %d\n", __LINE__));
             exit(EXIT_FAILURE);              exit(EXIT_FAILURE);
         }          }
Line 2030  instruction_detach(struct_processus *s_e Line 2076  instruction_detach(struct_processus *s_e
   
         if ((*s_etat_processus).erreur_systeme == d_es)          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))  
                     {  
                         (*s_etat_processus).erreur_execution =  
                                 d_ex_erreur_evaluation;  
                     }  
                 }  
                 else  
                 {                  {
                     if (((*s_etat_processus).var_volatile_alarme == 0)                      if (evaluation(s_etat_processus, s_objet, 'E') == d_erreur)
                             && ((*s_etat_processus).arret_depuis_abort == 0)  
                             && ((*s_etat_processus).at_exit != NULL))  
                     {                      {
                         (*s_etat_processus).var_volatile_requete_arret = 0;                          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 =                              (*s_etat_processus).erreur_execution =
                                     d_ex_erreur_evaluation;                                      d_ex_erreur_evaluation;
                         }                          }
                     }                      }
                 }                      else
             }  
             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))  
                     {                      {
                         (*s_etat_processus).erreur_execution =                          if (((*s_etat_processus).var_volatile_alarme == 0)
                                 d_ex_erreur_evaluation;                                  && ((*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                  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 (((*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 =                              (*s_etat_processus).erreur_execution =
                                     d_ex_erreur_evaluation;                                      d_ex_erreur_evaluation;
                         }                          }
                     }                      }
                 }                      else
                       {
                           if ((*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;
                               }
                           }
                       }
   
                 liberation(s_etat_processus, s_copie);                      liberation(s_etat_processus, s_copie);
                   }
             }              }
         }          }
   
         liberation(s_etat_processus, (*s_etat_processus).at_exit);          liberation(s_etat_processus, (*s_etat_processus).at_exit);
           liberation(s_etat_processus, (*s_etat_processus).at_poke);
   
         l_element_courant = (*s_etat_processus).liste_mutexes;          l_element_courant = (*s_etat_processus).liste_mutexes;
         while(l_element_courant != NULL)          while(l_element_courant != NULL)
Line 2408  instruction_detach(struct_processus *s_e Line 2460  instruction_detach(struct_processus *s_e
   
         while((*s_etat_processus).l_base_pile_processus != NULL)          while((*s_etat_processus).l_base_pile_processus != NULL)
         {          {
             status = 0;  
   
             l_element_courant = (struct_liste_chainee *)              l_element_courant = (struct_liste_chainee *)
                     (*s_etat_processus).l_base_pile_processus;                      (*s_etat_processus).l_base_pile_processus;
   
Line 2452  instruction_detach(struct_processus *s_e Line 2502  instruction_detach(struct_processus *s_e
                                     registre_stop;                                      registre_stop;
                         }                          }
   
   #                       ifdef _BROKEN_SIGINFO
                           destruction_fifos_signaux(s_etat_processus);
   #                       endif
   
                         (*s_etat_processus).erreur_systeme = d_es_signal;                          (*s_etat_processus).erreur_systeme = d_es_signal;
                         exit(EXIT_FAILURE);                          exit(EXIT_FAILURE);
                     }                      }
Line 2486  instruction_detach(struct_processus *s_e Line 2540  instruction_detach(struct_processus *s_e
   
                     if (sigaction(SIGPIPE, &registre, NULL) != 0)                      if (sigaction(SIGPIPE, &registre, NULL) != 0)
                     {                      {
   #                       ifdef _BROKEN_SIGINFO
                           destruction_fifos_signaux(s_etat_processus);
   #                       endif
   
                         pthread_mutex_unlock(&((*s_etat_processus).mutex));                          pthread_mutex_unlock(&((*s_etat_processus).mutex));
   
                         (*s_etat_processus).erreur_systeme = d_es_signal;                          (*s_etat_processus).erreur_systeme = d_es_signal;
Line 2627  instruction_detach(struct_processus *s_e Line 2685  instruction_detach(struct_processus *s_e
             (*s_etat_processus).instruction_derniere_erreur = NULL;              (*s_etat_processus).instruction_derniere_erreur = NULL;
         }          }
   
         for(i = 0; i < (*s_etat_processus).nombre_variables; i++)          liberation_arbre_variables(s_etat_processus,
         {                  (*s_etat_processus).s_arbre_variables, d_vrai);
             liberation(s_etat_processus,          free((*s_etat_processus).pointeurs_caracteres_variables);
                     (*s_etat_processus).s_liste_variables[i].objet);  
             free((*s_etat_processus).s_liste_variables[i].nom);  
         }  
   
         free((*s_etat_processus).s_liste_variables);  
   
         for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++)          for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++)
         {          {
Line 2802  instruction_detach(struct_processus *s_e Line 2855  instruction_detach(struct_processus *s_e
   
         liberation(s_etat_processus, s_objet);          liberation(s_etat_processus, s_objet);
   
 #       ifndef Cygwin  
         (*s_etat_processus).pile_signal.ss_flags = SS_DISABLE;  
         sigaltstack(&((*s_etat_processus).pile_signal), NULL);  
         free((*s_etat_processus).pile_signal.ss_sp);  
 #       endif  
   
         free((*s_etat_processus).definitions_chainees);          free((*s_etat_processus).definitions_chainees);
         free((*s_etat_processus).nom_fichier_historique);          free((*s_etat_processus).nom_fichier_historique);
   
Line 2847  instruction_detach(struct_processus *s_e Line 2894  instruction_detach(struct_processus *s_e
         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).protection_liste_mutexes));          pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));
   
         pthread_key_delete(semaphore_fork_processus_courant);          pthread_key_delete(semaphore_fork_processus_courant);
Line 2878  instruction_detach(struct_processus *s_e Line 2926  instruction_detach(struct_processus *s_e
   
         clear_history();          clear_history();
   
   #       ifdef _BROKEN_SIGINFO
           destruction_fifos_signaux(s_etat_processus);
   #       endif
   
           liberation_contexte_cas(s_etat_processus);
         free(s_etat_processus);          free(s_etat_processus);
   
 #       ifdef DEBUG_MEMOIRE  #       ifdef DEBUG_MEMOIRE
Line 2957  instruction_detach(struct_processus *s_e Line 3010  instruction_detach(struct_processus *s_e
   
     // Être sûr que le processus fils soit déjà présent...      // Ê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(kill((*s_argument_thread).pid, 0) != 0)
     {      {
         //if ((errno != ESRCH) && (errno != EAGAIN))          //if ((errno != ESRCH) && (errno != EAGAIN))
Line 2968  instruction_detach(struct_processus *s_e Line 3024  instruction_detach(struct_processus *s_e
         }          }
   
         nanosleep(&attente, NULL);          nanosleep(&attente, NULL);
           INCR_GRANULARITE(attente.tv_nsec);
     }      }
   
     // Le fils peut être présent sans être en attente du signal de départ.      // Le fils peut être présent sans être en attente du signal de départ.

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


CVSweb interface <joel.bertrand@systella.fr>