Diff for /rpl/src/gestion_objets.c between versions 1.40 and 1.78

version 1.40, 2010/09/11 16:46:19 version 1.78, 2012/01/17 14:44:05
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.0.19    RPL/2 (R) version 4.1.6
   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 57  decrementation_atomique(struct_objet *s_ Line 57  decrementation_atomique(struct_objet *s_
     return((*s_objet).nombre_occurrences);      return((*s_objet).nombre_occurrences);
 }  }
   
 inline void  void
 initialisation_objet(struct_objet *s_objet)  initialisation_objet(struct_objet *s_objet)
 {  {
     pthread_mutexattr_t     attributs_mutex;      pthread_mutexattr_t     attributs_mutex;
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_feuille = 0;
       (*s_etat_processus).pointeur_variables_variable = 0;
       (*s_etat_processus).pointeur_variables_tableau_noeuds = 0;
   
     return;      return;
 }  }
   
Line 143  liberation_allocateur(struct_processus * Line 148  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_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++]));
   
     {      {
         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 248  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 288  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 544  allocation(struct_processus *s_etat_proc
                 return(NULL);                  return(NULL);
             }              }
   
               (*((struct_mutex *) (*s_objet).objet)).tid = pthread_self();
             break;              break;
         }          }
   
Line 1089  liberation(struct_processus *s_etat_proc Line 1104  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 2202  copie_objet(struct_processus *s_etat_pro Line 2239  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 2470  copie_objet(struct_processus *s_etat_pro Line 2496  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 2787  copie_etat_processus(struct_processus *s Line 2815  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  
     if (((*s_nouvel_etat_processus).semaphore_fork = sem_init2(0, sem_fork))      // Les sémaphores sont initialisés dans le nouveau thread. Il
             == SEM_FAILED)      // s'agit d'une limitation de l'implantation de l'émulation
     {      // de sem_init().
         (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;  
         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 3080  copie_etat_processus(struct_processus *s Line 3106  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 =      copie_arbre_variables(s_etat_processus, s_nouvel_etat_processus);
             malloc((*s_etat_processus).nombre_variables_allouees *  
             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).erreur_systeme != d_es)
     {      {
         if (((*s_nouvel_etat_processus).s_liste_variables[i].nom =          return(NULL);
                 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;  
             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);  
             }  
         }  
     }      }
   
     /*      /*
Line 3317  copie_etat_processus(struct_processus *s Line 3280  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 3981  debug_fork() Line 3947  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.40  
changed lines
  Added in v.1.78


CVSweb interface <joel.bertrand@systella.fr>