[BACK]Return to gestion_objets.c CVS log [TXT] [DIR] Up to [local] / rpl / src

Diff for /rpl/src/gestion_objets.c between versions 1.43 and 1.92

version 1.43, 2010/12/10 15:36:21 version 1.92, 2012/12/18 13:19:35
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.20    RPL/2 (R) version 4.1.12
   Copyright (C) 1989-2010 Dr. BERTRAND Joël    Copyright (C) 1989-2012 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 111  initialisation_allocateur(struct_process Line 111  initialisation_allocateur(struct_process
     (*s_etat_processus).pointeur_vec = 0;      (*s_etat_processus).pointeur_vec = 0;
     (*s_etat_processus).pointeur_maillons = 0;      (*s_etat_processus).pointeur_maillons = 0;
   
       (*s_etat_processus).pointeur_variables_noeud = 0;
       (*s_etat_processus).pointeur_variables_partagees_noeud = 0;
       (*s_etat_processus).pointeur_variables_feuille = 0;
       (*s_etat_processus).pointeur_variables_variable = 0;
       (*s_etat_processus).pointeur_variables_tableau_noeuds = 0;
       (*s_etat_processus).pointeur_variables_tableau_noeuds_partages = 0;
   
     return;      return;
 }  }
   
Line 143  liberation_allocateur(struct_processus * Line 150  liberation_allocateur(struct_processus *
     for(i = 0; i < (*s_etat_processus).pointeur_maillons;      for(i = 0; i < (*s_etat_processus).pointeur_maillons;
             free((*s_etat_processus).maillons[i++]));              free((*s_etat_processus).maillons[i++]));
   
       for(i = 0; i < (*s_etat_processus).pointeur_variables_noeud;
               free((*s_etat_processus).variables_noeud[i++]));
       for(i = 0; i < (*s_etat_processus).pointeur_variables_partagees_noeud;
               free((*s_etat_processus).variables_partagees_noeud[i++]));
       for(i = 0; i < (*s_etat_processus).pointeur_variables_feuille;
               free((*s_etat_processus).variables_feuille[i++]));
       for(i = 0; i < (*s_etat_processus).pointeur_variables_variable;
               free((*s_etat_processus).variables_variable[i++]));
       for(i = 0; i < (*s_etat_processus).pointeur_variables_tableau_noeuds;
               free((*s_etat_processus).variables_tableau_noeuds[i++]));
       for(i = 0; i < (*s_etat_processus)
               .pointeur_variables_tableau_noeuds_partages;
               free((*s_etat_processus).variables_tableau_noeuds_partages[i++]));
   
     {      {
         struct_liste_chainee        *l_element_courant;          struct_liste_chainee        *l_element_courant;
         struct_liste_chainee        *l_element_suivant;          struct_liste_chainee        *l_element_suivant;
Line 234  allocation_maillon(struct_processus *s_e Line 255  allocation_maillon(struct_processus *s_e
   
 /*  /*
 ================================================================================  ================================================================================
   Routine d'allocation d'un maillon d'un objet (liste, expression...)    Routine de libération d'un maillon d'un objet (liste, expression...)
 ================================================================================  ================================================================================
   Entrées : structure sur l'état du processus et objet à afficher    Entrées : structure sur l'état du processus et objet à afficher
 --------------------------------------------------------------------------------  --------------------------------------------------------------------------------
Line 274  liberation_maillon(struct_processus *s_e Line 295  liberation_maillon(struct_processus *s_e
 ================================================================================  ================================================================================
 */  */
   
 void *  struct_objet *
 allocation(struct_processus *s_etat_processus, enum t_type type)  allocation(struct_processus *s_etat_processus, enum t_type type)
 {  {
     struct_objet            *s_objet;      struct_objet            *s_objet;
Line 530  allocation(struct_processus *s_etat_proc Line 551  allocation(struct_processus *s_etat_proc
                 return(NULL);                  return(NULL);
             }              }
   
               (*((struct_mutex *) (*s_objet).objet)).tid = pthread_self();
             break;              break;
         }          }
   
Line 758  liberation(struct_processus *s_etat_proc Line 780  liberation(struct_processus *s_etat_proc
 {  {
     logical1                            drapeau;      logical1                            drapeau;
   
     sigset_t                            oldset;  
     sigset_t                            set;  
   
     struct_liste_chainee                *l_element_courant;      struct_liste_chainee                *l_element_courant;
     struct_liste_chainee                *l_element_suivant;      struct_liste_chainee                *l_element_suivant;
   
Line 1092  liberation(struct_processus *s_etat_proc Line 1111  liberation(struct_processus *s_etat_proc
                 return;                  return;
             }              }
   
               if (pthread_mutex_trylock(&((*((struct_mutex *)
                       (*s_objet).objet)).mutex)) == 0)
               {
                   // On a pu verrouiller le mutex. Il faut donc spécifier le tid.
                   (*((struct_mutex *) (*s_objet).objet)).tid = pthread_self();
               }
   
               if (pthread_equal(pthread_self(),
                       (*((struct_mutex *) (*s_objet).objet)).tid) != 0)
               {
                   pthread_mutex_unlock(&((*((struct_mutex *)
                           (*s_objet).objet)).mutex));
               }
               else
               {
                   (*s_etat_processus).erreur_systeme =
                           d_es_mutex_acquis_autre_thread;
                   return;
               }
   
               pthread_mutex_destroy(&((*((struct_mutex *)
                       (*s_objet).objet)).mutex));
             free((struct_mutex *) (*s_objet).objet);              free((struct_mutex *) (*s_objet).objet);
             break;              break;
         }          }
Line 1130  liberation(struct_processus *s_etat_proc Line 1171  liberation(struct_processus *s_etat_proc
   
         case PRC :          case PRC :
         {          {
             sigfillset(&set);  
             pthread_sigmask(SIG_BLOCK, &set, &oldset);  
   
             if (pthread_mutex_lock(&((*(*((struct_processus_fils *)              if (pthread_mutex_lock(&((*(*((struct_processus_fils *)
                     (*s_objet).objet)).thread).mutex_nombre_references)) != 0)                      (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
             {              {
                 pthread_sigmask(SIG_SETMASK, &oldset, NULL);  
                 sigpending(&set);  
   
                 (*s_etat_processus).erreur_systeme = d_es_processus;                  (*s_etat_processus).erreur_systeme = d_es_processus;
                 return;                  return;
             }              }
Line 1166  liberation(struct_processus *s_etat_proc Line 1201  liberation(struct_processus *s_etat_proc
             if (pthread_mutex_unlock(&((*(*((struct_processus_fils *)              if (pthread_mutex_unlock(&((*(*((struct_processus_fils *)
                     (*s_objet).objet)).thread).mutex_nombre_references)) != 0)                      (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
             {              {
                 pthread_sigmask(SIG_SETMASK, &oldset, NULL);  
                 sigpending(&set);  
   
                 (*s_etat_processus).erreur_systeme = d_es_processus;                  (*s_etat_processus).erreur_systeme = d_es_processus;
                 return;                  return;
             }              }
   
             pthread_sigmask(SIG_SETMASK, &oldset, NULL);  
             sigpending(&set);  
   
             if (drapeau == d_vrai)              if (drapeau == d_vrai)
             {              {
                 pthread_mutex_destroy(&((*(*((struct_processus_fils *)                  pthread_mutex_destroy(&((*(*((struct_processus_fils *)
Line 1513  struct_objet * Line 1542  struct_objet *
 copie_objet(struct_processus *s_etat_processus,  copie_objet(struct_processus *s_etat_processus,
         struct_objet *s_objet, unsigned char type)          struct_objet *s_objet, unsigned char type)
 {  {
     sigset_t                    oldset;  
     sigset_t                    set;  
   
     struct_liste_chainee        *l_element_base;      struct_liste_chainee        *l_element_base;
     struct_liste_chainee        *l_element_courant;      struct_liste_chainee        *l_element_courant;
     struct_liste_chainee        *l_element_courant_ecriture;      struct_liste_chainee        *l_element_courant_ecriture;
Line 2220  copie_objet(struct_processus *s_etat_pro Line 2246  copie_objet(struct_processus *s_etat_pro
   
         case MTX :          case MTX :
         {          {
             if (type != 'O')              // La duplication d'un mutex renvoie le même objet.
             {              incrementation_atomique(s_objet);
                 incrementation_atomique(s_objet);              return(s_objet);
                 return(s_objet);  
             }  
   
             if ((s_nouvel_objet = allocation(s_etat_processus, MTX)) == NULL)  
             {  
                 return(NULL);  
             }  
   
             (*((struct_mutex *) ((*s_nouvel_objet).objet))).mutex =  
                     (*((struct_mutex *) ((*s_objet).objet))).mutex;  
             break;  
         }          }
   
         case NOM :          case NOM :
Line 2275  copie_objet(struct_processus *s_etat_pro Line 2290  copie_objet(struct_processus *s_etat_pro
                 return(s_objet);                  return(s_objet);
             }              }
   
               // Un objet de type NON est un objet encapsulé dans une
               // structure de type struct_objet. Elle peut très bien contenir
               // une donnée, mais c'est à l'utilisateur de la libérer
               // explicitement avec un free().
   
             if ((s_nouvel_objet = allocation(s_etat_processus, NON)) == NULL)              if ((s_nouvel_objet = allocation(s_etat_processus, NON)) == NULL)
             {              {
                 return(NULL);                  return(NULL);
             }              }
   
             (*s_nouvel_objet).objet = NULL;              (*s_nouvel_objet).objet = (*s_objet).objet;
             break;              break;
         }          }
   
         case PRC :          case PRC :
         {          {
             sigfillset(&set);  
             pthread_sigmask(SIG_BLOCK, &set, &oldset);  
   
             if (pthread_mutex_lock(&((*(*((struct_processus_fils *)              if (pthread_mutex_lock(&((*(*((struct_processus_fils *)
                     (*s_objet).objet)).thread).mutex_nombre_references)) != 0)                      (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
             {              {
                 pthread_sigmask(SIG_SETMASK, &oldset, NULL);  
                 sigpending(&set);  
   
                 return(NULL);                  return(NULL);
             }              }
   
Line 2304  copie_objet(struct_processus *s_etat_pro Line 2318  copie_objet(struct_processus *s_etat_pro
             if (pthread_mutex_unlock(&((*(*((struct_processus_fils *)              if (pthread_mutex_unlock(&((*(*((struct_processus_fils *)
                     (*s_objet).objet)).thread).mutex_nombre_references)) != 0)                      (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
             {              {
                 pthread_sigmask(SIG_SETMASK, &oldset, NULL);  
                 sigpending(&set);  
   
                 return(NULL);                  return(NULL);
             }              }
   
             pthread_sigmask(SIG_SETMASK, &oldset, NULL);  
             sigpending(&set);  
   
             if (type != 'O')              if (type != 'O')
             {              {
                 incrementation_atomique(s_objet);                  incrementation_atomique(s_objet);
Line 2500  copie_objet(struct_processus *s_etat_pro Line 2508  copie_objet(struct_processus *s_etat_pro
                 return(NULL);                  return(NULL);
             }              }
   
               (*((struct_semaphore *) (*s_nouvel_objet).objet)).semaphore =
                       (*((struct_semaphore *) (*s_objet).objet)).semaphore;
             strcpy((*((struct_semaphore *) (*s_nouvel_objet).objet)).nom,              strcpy((*((struct_semaphore *) (*s_nouvel_objet).objet)).nom,
                     (*((struct_semaphore *) (*s_objet).objet)).nom);                      (*((struct_semaphore *) (*s_objet).objet)).nom);
             break;              break;
Line 2817  copie_etat_processus(struct_processus *s Line 2827  copie_etat_processus(struct_processus *s
      * n'ont aucune raison de changer.       * n'ont aucune raison de changer.
      */       */
   
 #   ifndef SEMAPHORES_NOMMES      pthread_mutexattr_init(&attributs_mutex);
     sem_init(&((*s_nouvel_etat_processus).semaphore_fork), 0, 0);      pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
 #   else      (*s_nouvel_etat_processus).sections_critiques = 0;
     if (((*s_nouvel_etat_processus).semaphore_fork = sem_init2(0, sem_fork))  
             == SEM_FAILED)      // Les sémaphores sont initialisés dans le nouveau thread. Il
     {      // s'agit d'une limitation de l'implantation de l'émulation
         (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;      // de sem_init().
         return(NULL);  
     }      initialisation_contexte_cas(s_etat_processus);
 #   endif  
   
     (*s_nouvel_etat_processus).var_volatile_processus_pere = 0;      (*s_nouvel_etat_processus).var_volatile_processus_pere = 0;
     (*s_nouvel_etat_processus).var_volatile_processus_racine = 0;      (*s_nouvel_etat_processus).var_volatile_processus_racine = 0;
Line 3110  copie_etat_processus(struct_processus *s Line 3119  copie_etat_processus(struct_processus *s
      * Copie de la table des variables       * Copie de la table des variables
      */       */
   
     if (((*s_nouvel_etat_processus).s_liste_variables =      (*s_nouvel_etat_processus).l_liste_variables_statiques = NULL;
             malloc((*s_etat_processus).nombre_variables_allouees *      copie_arbre_variables(s_etat_processus, s_nouvel_etat_processus);
             sizeof(struct_variable))) == NULL)  
     {  
         if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)  
         {  
             (*s_etat_processus).erreur_systeme = d_es_processus;  
             return(NULL);  
         }  
   
         (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;  
         return(NULL);  
     }  
   
     for(i = 0; i < (*s_etat_processus).nombre_variables; i++)  
     {  
         if (((*s_nouvel_etat_processus).s_liste_variables[i].nom =  
                 malloc((strlen((*s_etat_processus).s_liste_variables[i].nom)  
                 + 1) * sizeof(unsigned char))) == NULL)  
         {  
             if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)  
             {  
                 (*s_etat_processus).erreur_systeme = d_es_processus;  
                 return(NULL);  
             }  
   
             (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;      if ((*s_nouvel_etat_processus).erreur_systeme != d_es)
             return(NULL);  
         }  
   
         strcpy((*s_nouvel_etat_processus).s_liste_variables[i].nom,  
                 (*s_etat_processus).s_liste_variables[i].nom);  
   
         (*s_nouvel_etat_processus).s_liste_variables[i].origine =  
                 (*s_etat_processus).s_liste_variables[i].origine;  
         (*s_nouvel_etat_processus).s_liste_variables[i].niveau =  
                 (*s_etat_processus).s_liste_variables[i].niveau;  
         (*s_nouvel_etat_processus).s_liste_variables[i].variable_statique =  
                 (*s_etat_processus).s_liste_variables[i].variable_statique;  
         (*s_nouvel_etat_processus).s_liste_variables[i].variable_partagee =  
                 (*s_etat_processus).s_liste_variables[i].variable_partagee;  
         (*s_nouvel_etat_processus).s_liste_variables[i].variable_verrouillee =  
                 (*s_etat_processus).s_liste_variables[i].variable_verrouillee;  
   
         // Les définitions sont partagées entre tous les threads.  
   
         if ((*s_etat_processus).s_liste_variables[i].niveau == 0)  
         {  
             (*s_nouvel_etat_processus).s_liste_variables[i].objet =  
                     (*s_etat_processus).s_liste_variables[i].objet;  
         }  
         else  
         {  
             if (((*s_nouvel_etat_processus).s_liste_variables[i].objet =  
                     copie_objet(s_etat_processus,  
                     (*s_etat_processus).s_liste_variables[i]  
                     .objet, 'P')) == NULL)  
             {  
                 if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)  
                 {  
                     (*s_etat_processus).erreur_systeme = d_es_processus;  
                     return(NULL);  
                 }  
   
                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;  
                 return(NULL);  
             }  
         }  
     }  
   
     /*  
      * Copie de la table des variables statiques  
      */  
   
     if (((*s_nouvel_etat_processus).s_liste_variables_statiques =  
             malloc((*s_etat_processus).nombre_variables_statiques_allouees *  
             sizeof(struct_variable_statique))) == NULL)  
     {      {
         if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)  
         {  
             (*s_etat_processus).erreur_systeme = d_es_processus;  
             return(NULL);  
         }  
   
         (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;  
         return(NULL);          return(NULL);
     }      }
   
     for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++)      (*(*s_nouvel_etat_processus).l_liste_variables_partagees) =
     {              (*(*s_etat_processus).l_liste_variables_partagees);
         if (((*s_nouvel_etat_processus).s_liste_variables_statiques[i].nom =      (*(*s_nouvel_etat_processus).s_arbre_variables_partagees) =
                 malloc((strlen((*s_etat_processus).s_liste_variables_statiques              (*(*s_etat_processus).s_arbre_variables_partagees);
                 [i].nom) + 1) * sizeof(unsigned char))) == NULL)  
         {  
             if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)  
             {  
                 (*s_etat_processus).erreur_systeme = d_es_processus;  
                 return(NULL);  
             }  
   
             (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;  
             return(NULL);  
         }  
   
         strcpy((*s_nouvel_etat_processus).s_liste_variables_statiques[i].nom,  
                 (*s_etat_processus).s_liste_variables_statiques[i].nom);  
   
         (*s_nouvel_etat_processus).s_liste_variables_statiques[i].origine =  
                 (*s_etat_processus).s_liste_variables_statiques[i].origine;  
         (*s_nouvel_etat_processus).s_liste_variables_statiques[i].niveau =  
                 (*s_etat_processus).s_liste_variables_statiques[i].niveau;  
         (*s_nouvel_etat_processus).s_liste_variables_statiques[i]  
                 .variable_statique = (*s_etat_processus)  
                 .s_liste_variables_statiques[i].variable_statique;  
   
         if (((*s_nouvel_etat_processus).s_liste_variables_statiques[i].objet =  
                 copie_objet(s_etat_processus, (*s_etat_processus)  
                 .s_liste_variables_statiques[i].objet, 'P')) == NULL)  
         {  
             if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)  
             {  
                 (*s_etat_processus).erreur_systeme = d_es_processus;  
                 return(NULL);  
             }  
   
             (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;  
             return(NULL);  
         }  
     }  
   
     /*      /*
      * Copie de la pile opérationnelle       * Copie de la pile opérationnelle
Line 3347  copie_etat_processus(struct_processus *s Line 3239  copie_etat_processus(struct_processus *s
      * Copie des différents contextes       * Copie des différents contextes
      */       */
   
       (*s_nouvel_etat_processus).pointeur_signal_lecture = d_faux;
       (*s_nouvel_etat_processus).pointeur_signal_ecriture = d_faux;
   
     (*s_nouvel_etat_processus).l_base_pile_contextes = NULL;      (*s_nouvel_etat_processus).l_base_pile_contextes = NULL;
     l_element_lecture = (*s_etat_processus).l_base_pile_contextes;      l_element_lecture = (*s_etat_processus).l_base_pile_contextes;
   
Line 4011  debug_fork() Line 3906  debug_fork()
     pthread_mutex_lock(&mutex_allocation);      pthread_mutex_lock(&mutex_allocation);
     pid = fork();      pid = fork();
   
 #   ifdef OS2  
     if (pid == 0)  
     {  
         sem_init(&semaphore_liste_threads, 0, 1);  
         sem_init(&semaphore_gestionnaires_signaux, 0, 0);  
         sem_init(&semaphore_gestionnaires_signaux_atomique, 0, 1);  
         sem_init(&((*s_etat_processus).semaphore_fork), 0, 0);  
     }  
 #   endif  
   
     if (pid == 0)      if (pid == 0)
     {      {
 #       ifdef _BROKEN_SIGINFO          liberation_queue_signaux(s_etat_processus);
         liberation_fifos_signaux(s_etat_processus);          creation_queue_signaux(s_etat_processus);
         creation_fifos_signaux(s_etat_processus);  
 #       endif  
   
         pthread_mutex_destroy(&mutex_allocation);          pthread_mutex_destroy(&mutex_allocation);
         debug_memoire_initialisation();          debug_memoire_initialisation();
Removed from v.1.43  
changed lines
  Added in v.1.92

CVSweb interface <joel.bertrand@systella.fr>