Annotation of rpl/src/gestion_objets.c, revision 1.96
1.1 bertrand 1: /*
2: ================================================================================
1.95 bertrand 3: RPL/2 (R) version 4.1.13
1.94 bertrand 4: Copyright (C) 1989-2013 Dr. BERTRAND Joël
1.1 bertrand 5:
6: This file is part of RPL/2.
7:
8: RPL/2 is free software; you can redistribute it and/or modify it
9: under the terms of the CeCILL V2 License as published by the french
10: CEA, CNRS and INRIA.
11:
12: RPL/2 is distributed in the hope that it will be useful, but WITHOUT
13: ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14: FITNESS FOR A PARTICULAR PURPOSE. See the CeCILL V2 License
15: for more details.
16:
17: You should have received a copy of the CeCILL License
18: along with RPL/2. If not, write to info@cecill.info.
19: ================================================================================
20: */
21:
22:
1.33 bertrand 23: #include "rpl-conv.h"
1.1 bertrand 24:
25:
26: /*
27: ================================================================================
1.6 bertrand 28: Routines de gestion du nombre d'occurrences comme grandeur atomique
1.1 bertrand 29: ================================================================================
30: entrées : structure sur l'état du processus et objet à afficher
31: --------------------------------------------------------------------------------
32: sorties : chaine de caractères
33: --------------------------------------------------------------------------------
34: effets de bord : néant
35: ================================================================================
36: */
37:
38: static inline void
39: incrementation_atomique(struct_objet *s_objet)
40: {
41: // Le mutex est sur l'objet.
42:
43: (*s_objet).nombre_occurrences++;
44:
45: BUG((*s_objet).nombre_occurrences <= 0,
46: uprintf("Capacity exceeded %ld\n", (*s_objet).nombre_occurrences));
47:
48: return;
49: }
50:
51: static inline long
52: decrementation_atomique(struct_objet *s_objet)
53: {
54: // Le mutex est sur l'objet.
55:
56: (*s_objet).nombre_occurrences--;
57: return((*s_objet).nombre_occurrences);
58: }
59:
1.43 bertrand 60: void
1.1 bertrand 61: initialisation_objet(struct_objet *s_objet)
62: {
63: pthread_mutexattr_t attributs_mutex;
64:
65: pthread_mutexattr_init(&attributs_mutex);
66: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
67: pthread_mutex_init(&((*s_objet).mutex), &attributs_mutex);
68: pthread_mutexattr_destroy(&attributs_mutex);
69:
70: (*s_objet).nombre_occurrences = 1;
71:
72: return;
73: }
74:
75:
76: /*
77: ================================================================================
78: Routines d'initialisation et de purge de l'allocateur
79: ================================================================================
80: Entrées : structure sur l'état du processus et objet à afficher
81: --------------------------------------------------------------------------------
82: Sorties : chaine de caractères
83: --------------------------------------------------------------------------------
84: Effets de bord : néant
85: ================================================================================
86: */
87:
88: void
89: initialisation_allocateur(struct_processus *s_etat_processus)
90: {
91: (*s_etat_processus).estimation_taille_pile_tampon = 0;
92: (*s_etat_processus).taille_pile_tampon = 0;
93: (*s_etat_processus).pile_tampon = NULL;
94:
95: (*s_etat_processus).estimation_taille_pile_systeme_tampon = 0;
96: (*s_etat_processus).taille_pile_systeme_tampon = 0;
97: (*s_etat_processus).pile_systeme_tampon = NULL;
98:
99: (*s_etat_processus).taille_pile_objets = 0;
100: (*s_etat_processus).pile_objets = NULL;
101:
102: (*s_etat_processus).pointeur_adr = 0;
103: (*s_etat_processus).pointeur_bin = 0;
104: (*s_etat_processus).pointeur_cpl = 0;
105: (*s_etat_processus).pointeur_fct = 0;
106: (*s_etat_processus).pointeur_int = 0;
107: (*s_etat_processus).pointeur_mat = 0;
108: (*s_etat_processus).pointeur_nom = 0;
109: (*s_etat_processus).pointeur_rel = 0;
110: (*s_etat_processus).pointeur_tab = 0;
111: (*s_etat_processus).pointeur_vec = 0;
112: (*s_etat_processus).pointeur_maillons = 0;
113:
1.53 bertrand 114: (*s_etat_processus).pointeur_variables_noeud = 0;
1.90 bertrand 115: (*s_etat_processus).pointeur_variables_partagees_noeud = 0;
1.53 bertrand 116: (*s_etat_processus).pointeur_variables_feuille = 0;
117: (*s_etat_processus).pointeur_variables_variable = 0;
118: (*s_etat_processus).pointeur_variables_tableau_noeuds = 0;
1.90 bertrand 119: (*s_etat_processus).pointeur_variables_tableau_noeuds_partages = 0;
1.53 bertrand 120:
1.1 bertrand 121: return;
122: }
123:
124:
125: void
126: liberation_allocateur(struct_processus *s_etat_processus)
127: {
128: int i;
129:
130: for(i = 0; i < (*s_etat_processus).pointeur_adr;
131: free((*s_etat_processus).objets_adr[i++]));
132: for(i = 0; i < (*s_etat_processus).pointeur_bin;
133: free((*s_etat_processus).objets_bin[i++]));
134: for(i = 0; i < (*s_etat_processus).pointeur_cpl;
135: free((*s_etat_processus).objets_cpl[i++]));
136: for(i = 0; i < (*s_etat_processus).pointeur_fct;
137: free((*s_etat_processus).objets_fct[i++]));
138: for(i = 0; i < (*s_etat_processus).pointeur_int;
139: free((*s_etat_processus).objets_int[i++]));
140: for(i = 0; i < (*s_etat_processus).pointeur_mat;
141: free((*s_etat_processus).objets_mat[i++]));
142: for(i = 0; i < (*s_etat_processus).pointeur_nom;
143: free((*s_etat_processus).objets_nom[i++]));
144: for(i = 0; i < (*s_etat_processus).pointeur_rel;
145: free((*s_etat_processus).objets_rel[i++]));
146: for(i = 0; i < (*s_etat_processus).pointeur_tab;
147: free((*s_etat_processus).objets_tab[i++]));
148: for(i = 0; i < (*s_etat_processus).pointeur_vec;
149: free((*s_etat_processus).objets_vec[i++]));
150: for(i = 0; i < (*s_etat_processus).pointeur_maillons;
151: free((*s_etat_processus).maillons[i++]));
152:
1.53 bertrand 153: for(i = 0; i < (*s_etat_processus).pointeur_variables_noeud;
154: free((*s_etat_processus).variables_noeud[i++]));
1.91 bertrand 155: for(i = 0; i < (*s_etat_processus).pointeur_variables_partagees_noeud;
156: free((*s_etat_processus).variables_partagees_noeud[i++]));
1.53 bertrand 157: for(i = 0; i < (*s_etat_processus).pointeur_variables_feuille;
158: free((*s_etat_processus).variables_feuille[i++]));
159: for(i = 0; i < (*s_etat_processus).pointeur_variables_variable;
160: free((*s_etat_processus).variables_variable[i++]));
161: for(i = 0; i < (*s_etat_processus).pointeur_variables_tableau_noeuds;
162: free((*s_etat_processus).variables_tableau_noeuds[i++]));
1.91 bertrand 163: for(i = 0; i < (*s_etat_processus)
164: .pointeur_variables_tableau_noeuds_partages;
165: free((*s_etat_processus).variables_tableau_noeuds_partages[i++]));
1.53 bertrand 166:
1.1 bertrand 167: {
168: struct_liste_chainee *l_element_courant;
169: struct_liste_chainee *l_element_suivant;
170:
171: l_element_courant = (*s_etat_processus).pile_tampon;
172:
173: while(l_element_courant != NULL)
174: {
175: l_element_suivant = (*l_element_courant).suivant;
176: liberation(s_etat_processus, (*l_element_courant).donnee);
177: free(l_element_courant);
178: l_element_courant = l_element_suivant;
179: }
180: }
181:
182: {
183: struct_liste_pile_systeme *l_element_courant;
184: struct_liste_pile_systeme *l_element_suivant;
185:
186: l_element_courant = (*s_etat_processus).pile_systeme_tampon;
187:
188: while(l_element_courant != NULL)
189: {
190: l_element_suivant = (*l_element_courant).suivant;
191: free(l_element_courant);
192: l_element_courant = l_element_suivant;
193: }
194: }
195:
196: {
197: struct_objet *l_element_courant;
198: struct_objet *l_element_suivant;
199:
200: l_element_courant = (*s_etat_processus).pile_objets;
201:
202: while(l_element_courant != NULL)
203: {
204: l_element_suivant = (*l_element_courant).objet;
205:
206: if (pthread_mutex_destroy(&((*l_element_courant).mutex)) != 0)
207: {
208: (*s_etat_processus).erreur_systeme = d_es_processus;
209: BUG(1, printf("Mutex error\n"));
210: return;
211: }
212:
213: free(l_element_courant);
214: l_element_courant = l_element_suivant;
215: }
216: }
217:
218: return;
219: }
220:
221:
222: /*
223: ================================================================================
224: Routine d'allocation d'un maillon d'un objet (liste, expression...)
225: ================================================================================
226: Entrées : structure sur l'état du processus et objet à afficher
227: --------------------------------------------------------------------------------
228: Sorties : chaine de caractères
229: --------------------------------------------------------------------------------
230: Effets de bord : néant
231: ================================================================================
232: */
233:
234: void *
235: allocation_maillon(struct_processus *s_etat_processus)
236: {
237: struct_liste_chainee *s_maillon;
238:
239: if ((*s_etat_processus).pointeur_maillons > 0)
240: {
241: s_maillon = (*s_etat_processus).maillons
242: [--(*s_etat_processus).pointeur_maillons];
243: }
244: else
245: {
246: if ((s_maillon = malloc(sizeof(struct_liste_chainee))) == NULL)
247: {
1.96 ! bertrand 248: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 249: return(NULL);
250: }
251: }
252:
253: return(s_maillon);
254: }
255:
256:
257: /*
258: ================================================================================
1.53 bertrand 259: Routine de libération d'un maillon d'un objet (liste, expression...)
1.1 bertrand 260: ================================================================================
261: Entrées : structure sur l'état du processus et objet à afficher
262: --------------------------------------------------------------------------------
263: Sorties : chaine de caractères
264: --------------------------------------------------------------------------------
265: Effets de bord : néant
266: ================================================================================
267: */
268:
269: void
270: liberation_maillon(struct_processus *s_etat_processus,
271: struct_liste_chainee *maillon)
272: {
273: if ((*s_etat_processus).pointeur_maillons < TAILLE_CACHE)
274: {
275: (*s_etat_processus).maillons
276: [(*s_etat_processus).pointeur_maillons++] = maillon;
277: }
278: else
279: {
280: free(maillon);
281: }
282:
283: return;
284: }
285:
286:
287: /*
288: ================================================================================
289: Routine d'allocation d'une structure *s_objet
290: ================================================================================
1.28 bertrand 291: Entrées : structure sur l'état du processus et objet à allouer
1.1 bertrand 292: --------------------------------------------------------------------------------
293: Sorties : chaine de caractères
294: --------------------------------------------------------------------------------
295: Effets de bord : néant
296: ================================================================================
297: */
298:
1.55 bertrand 299: struct_objet *
1.1 bertrand 300: allocation(struct_processus *s_etat_processus, enum t_type type)
301: {
302: struct_objet *s_objet;
303:
1.28 bertrand 304: if (pthread_mutex_lock(&((*s_etat_processus).mutex_allocation)) != 0)
305: {
306: (*s_etat_processus).erreur_systeme = d_es_processus;
307: return(NULL);
308: }
309:
1.1 bertrand 310: if ((*s_etat_processus).pile_objets == NULL)
311: {
1.28 bertrand 312: if (pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation)) != 0)
313: {
314: (*s_etat_processus).erreur_systeme = d_es_processus;
315: return(NULL);
316: }
317:
1.1 bertrand 318: // Il n'existe aucune structure struct_objet disponible dans le cache.
319:
320: if ((s_objet = malloc(sizeof(struct_objet))) == NULL)
321: {
1.96 ! bertrand 322: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 323: return(NULL);
324: }
325:
326: initialisation_objet(s_objet);
327: }
328: else
329: {
330: // Récupération d'une structure dans le cache.
331:
332: s_objet = (*s_etat_processus).pile_objets;
333: (*s_etat_processus).pile_objets = (*s_objet).objet;
334: (*s_etat_processus).taille_pile_objets--;
335:
336: (*s_objet).nombre_occurrences = 1;
1.28 bertrand 337:
338: if (pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation)) != 0)
339: {
340: (*s_etat_processus).erreur_systeme = d_es_processus;
341: return(NULL);
342: }
1.1 bertrand 343: }
344:
345: (*s_objet).type = type;
346:
347: switch(type)
348: {
349: case ADR :
350: {
351: if ((*s_etat_processus).pointeur_adr > 0)
352: {
353: (*s_objet).objet = (*s_etat_processus).objets_adr
354: [--(*s_etat_processus).pointeur_adr];
355: }
356: else
357: {
358: if (((*s_objet).objet = malloc(sizeof(unsigned long))) == NULL)
359: {
1.96 ! bertrand 360: (*s_etat_processus).erreur_systeme =
! 361: d_es_allocation_memoire;
1.1 bertrand 362: free(s_objet);
363: return(NULL);
364: }
365: }
366:
367: break;
368: }
369:
370: case ALG :
371: {
372: (*s_objet).objet = NULL;
373: break;
374: }
375:
376: case BIN :
377: {
378: if ((*s_etat_processus).pointeur_bin > 0)
379: {
380: (*s_objet).objet = (*s_etat_processus).objets_bin
381: [--(*s_etat_processus).pointeur_bin];
382: }
383: else
384: {
385: if (((*s_objet).objet = malloc(sizeof(logical8))) == NULL)
386: {
1.96 ! bertrand 387: (*s_etat_processus).erreur_systeme =
! 388: d_es_allocation_memoire;
1.1 bertrand 389: free(s_objet);
390: return(NULL);
391: }
392: }
393:
394: break;
395: }
396:
397: case CHN :
398: {
399: (*s_objet).objet = NULL;
400: break;
401: }
402:
403: case CPL :
404: {
405: if ((*s_etat_processus).pointeur_cpl > 0)
406: {
407: (*s_objet).objet = (*s_etat_processus).objets_cpl
408: [--(*s_etat_processus).pointeur_cpl];
409: }
410: else
411: {
412: if (((*s_objet).objet = malloc(sizeof(struct_complexe16)))
413: == NULL)
414: {
1.96 ! bertrand 415: (*s_etat_processus).erreur_systeme =
! 416: d_es_allocation_memoire;
1.1 bertrand 417: free(s_objet);
418: return(NULL);
419: }
420: }
421:
422: break;
423: }
424:
425: case FCH :
426: {
427: if (((*s_objet).objet = malloc(sizeof(struct_fichier))) == NULL)
428: {
1.96 ! bertrand 429: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 430: free(s_objet);
431: return(NULL);
432: }
433:
434: break;
435: }
436:
437: case FCT :
438: {
439: if ((*s_etat_processus).pointeur_fct > 0)
440: {
441: (*s_objet).objet = (*s_etat_processus).objets_fct
442: [--(*s_etat_processus).pointeur_fct];
443: }
444: else
445: {
446: if (((*s_objet).objet = malloc(sizeof(struct_fonction)))
447: == NULL)
448: {
1.96 ! bertrand 449: (*s_etat_processus).erreur_systeme =
! 450: d_es_allocation_memoire;
1.1 bertrand 451: free(s_objet);
452: return(NULL);
453: }
454: }
455:
1.5 bertrand 456: (*((struct_fonction *) (*s_objet).objet)).fonction = NULL;
1.1 bertrand 457: (*((struct_fonction *) (*s_objet).objet)).prediction_saut = NULL;
1.5 bertrand 458: (*((struct_fonction *) (*s_objet).objet)).prediction_execution
459: = d_faux;
1.1 bertrand 460: break;
461: }
462:
463: case INT :
464: {
465: if ((*s_etat_processus).pointeur_int > 0)
466: {
467: (*s_objet).objet = (*s_etat_processus).objets_int
468: [--(*s_etat_processus).pointeur_int];
469: }
470: else
471: {
472: if (((*s_objet).objet = malloc(sizeof(integer8))) == NULL)
473: {
1.96 ! bertrand 474: (*s_etat_processus).erreur_systeme =
! 475: d_es_allocation_memoire;
1.1 bertrand 476: free(s_objet);
477: return(NULL);
478: }
479: }
480:
481: break;
482: }
483:
484: case LST :
485: {
486: (*s_objet).objet = NULL;
487: break;
488: }
489:
490: case MCX :
491: {
492: if ((*s_etat_processus).pointeur_mat > 0)
493: {
494: (*s_objet).objet = (*s_etat_processus).objets_mat
495: [--(*s_etat_processus).pointeur_mat];
496: }
497: else
498: {
499: if (((*s_objet).objet = malloc(sizeof(struct_matrice))) == NULL)
500: {
1.96 ! bertrand 501: (*s_etat_processus).erreur_systeme =
! 502: d_es_allocation_memoire;
1.1 bertrand 503: free(s_objet);
504: return(NULL);
505: }
506: }
507:
508: (*((struct_matrice *) (*s_objet).objet)).type = 'C';
509: (*((struct_matrice *) (*s_objet).objet)).nombre_lignes = 0;
510: (*((struct_matrice *) (*s_objet).objet)).nombre_colonnes = 0;
511: (*((struct_matrice *) (*s_objet).objet)).tableau = NULL;
512: break;
513: }
514:
515: case MIN :
516: {
517: if ((*s_etat_processus).pointeur_mat > 0)
518: {
519: (*s_objet).objet = (*s_etat_processus).objets_mat
520: [--(*s_etat_processus).pointeur_mat];
521: }
522: else
523: {
524: if (((*s_objet).objet = malloc(sizeof(struct_matrice))) == NULL)
525: {
1.96 ! bertrand 526: (*s_etat_processus).erreur_systeme =
! 527: d_es_allocation_memoire;
1.1 bertrand 528: free(s_objet);
529: return(NULL);
530: }
531: }
532:
533: (*((struct_matrice *) (*s_objet).objet)).type = 'I';
534: (*((struct_matrice *) (*s_objet).objet)).nombre_lignes = 0;
535: (*((struct_matrice *) (*s_objet).objet)).nombre_colonnes = 0;
536: (*((struct_matrice *) (*s_objet).objet)).tableau = NULL;
537: break;
538: }
539:
540: case MRL :
541: {
542: if ((*s_etat_processus).pointeur_mat > 0)
543: {
544: (*s_objet).objet = (*s_etat_processus).objets_mat
545: [--(*s_etat_processus).pointeur_mat];
546: }
547: else
548: {
549: if (((*s_objet).objet = malloc(sizeof(struct_matrice))) == NULL)
550: {
1.96 ! bertrand 551: (*s_etat_processus).erreur_systeme =
! 552: d_es_allocation_memoire;
1.1 bertrand 553: free(s_objet);
554: return(NULL);
555: }
556: }
557:
558: (*((struct_matrice *) (*s_objet).objet)).type = 'R';
559: (*((struct_matrice *) (*s_objet).objet)).nombre_lignes = 0;
560: (*((struct_matrice *) (*s_objet).objet)).nombre_colonnes = 0;
561: (*((struct_matrice *) (*s_objet).objet)).tableau = NULL;
562: break;
563: }
564:
565: case MTX :
566: {
567: if (((*s_objet).objet = malloc(sizeof(struct_mutex))) == NULL)
568: {
1.96 ! bertrand 569: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 570: free(s_objet);
571: return(NULL);
572: }
573:
1.76 bertrand 574: (*((struct_mutex *) (*s_objet).objet)).tid = pthread_self();
1.1 bertrand 575: break;
576: }
577:
578: case NOM :
579: {
580: if ((*s_etat_processus).pointeur_nom > 0)
581: {
582: (*s_objet).objet = (*s_etat_processus).objets_nom
583: [--(*s_etat_processus).pointeur_nom];
584: }
585: else
586: {
587: if (((*s_objet).objet = malloc(sizeof(struct_nom))) == NULL)
588: {
1.96 ! bertrand 589: (*s_etat_processus).erreur_systeme =
! 590: d_es_allocation_memoire;
1.1 bertrand 591: free(s_objet);
592: return(NULL);
593: }
594: }
595:
596: break;
597: }
598:
599: case NON :
600: {
601: (*s_objet).objet = NULL;
602: break;
603: }
604:
605: case PRC :
606: {
607: if (((*s_objet).objet = malloc(sizeof(struct_processus_fils)))
608: == NULL)
609: {
1.96 ! bertrand 610: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 611: free(s_objet);
612: return(NULL);
613: }
614:
615: break;
616: }
617:
618: case REL :
619: {
620: if ((*s_etat_processus).pointeur_rel > 0)
621: {
622: (*s_objet).objet = (*s_etat_processus).objets_rel
623: [--(*s_etat_processus).pointeur_rel];
624: }
625: else
626: {
627: if (((*s_objet).objet = malloc(sizeof(real8))) == NULL)
628: {
1.96 ! bertrand 629: (*s_etat_processus).erreur_systeme =
! 630: d_es_allocation_memoire;
1.1 bertrand 631: free(s_objet);
632: return(NULL);
633: }
634: }
635:
636: break;
637: }
638:
639: case RPN :
640: {
641: (*s_objet).objet = NULL;
642: break;
643: }
644:
645: case SCK :
646: {
647: if (((*s_objet).objet = malloc(sizeof(struct_socket))) == NULL)
648: {
1.96 ! bertrand 649: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 650: free(s_objet);
651: return(NULL);
652: }
653:
654: break;
655: }
656:
657: case SLB :
658: {
659: if (((*s_objet).objet = malloc(sizeof(struct_bibliotheque)))
660: == NULL)
661: {
1.96 ! bertrand 662: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 663: free(s_objet);
664: return(NULL);
665: }
666:
667: break;
668: }
669:
670: case SPH :
671: {
672: if (((*s_objet).objet = malloc(sizeof(struct_semaphore))) == NULL)
673: {
1.96 ! bertrand 674: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 675: free(s_objet);
676: return(NULL);
677: }
678:
679: break;
680: }
681:
682: case SQL :
683: {
684: if (((*s_objet).objet = malloc(sizeof(struct_connecteur_sql)))
685: == NULL)
686: {
1.96 ! bertrand 687: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.1 bertrand 688: free(s_objet);
689: return(NULL);
690: }
691:
692: break;
693: }
694:
695: case TBL :
696: {
697: if ((*s_etat_processus).pointeur_tab > 0)
698: {
699: (*s_objet).objet = (*s_etat_processus).objets_tab
700: [--(*s_etat_processus).pointeur_tab];
701: }
702: else
703: {
704: if (((*s_objet).objet = malloc(sizeof(struct_tableau))) == NULL)
705: {
1.96 ! bertrand 706: (*s_etat_processus).erreur_systeme =
! 707: d_es_allocation_memoire;
1.1 bertrand 708: free(s_objet);
709: return(NULL);
710: }
711: }
712:
713: (*((struct_tableau *) (*s_objet).objet)).nombre_elements = 0;
714: (*((struct_tableau *) (*s_objet).objet)).elements = NULL;
715: break;
716: }
717:
718: case VCX :
719: {
720: if ((*s_etat_processus).pointeur_vec > 0)
721: {
722: (*s_objet).objet = (*s_etat_processus).objets_vec
723: [--(*s_etat_processus).pointeur_vec];
724: }
725: else
726: {
727: if (((*s_objet).objet = malloc(sizeof(struct_vecteur))) == NULL)
728: {
1.96 ! bertrand 729: (*s_etat_processus).erreur_systeme =
! 730: d_es_allocation_memoire;
1.1 bertrand 731: free(s_objet);
732: return(NULL);
733: }
734: }
735:
736: (*((struct_vecteur *) (*s_objet).objet)).type = 'C';
737: (*((struct_vecteur *) (*s_objet).objet)).taille = 0;
738: (*((struct_vecteur *) (*s_objet).objet)).tableau = NULL;
739: break;
740: }
741:
742: case VIN :
743: {
744: if ((*s_etat_processus).pointeur_vec > 0)
745: {
746: (*s_objet).objet = (*s_etat_processus).objets_vec
747: [--(*s_etat_processus).pointeur_vec];
748: }
749: else
750: {
751: if (((*s_objet).objet = malloc(sizeof(struct_vecteur))) == NULL)
752: {
1.96 ! bertrand 753: (*s_etat_processus).erreur_systeme =
! 754: d_es_allocation_memoire;
1.1 bertrand 755: free(s_objet);
756: return(NULL);
757: }
758: }
759:
760: (*((struct_vecteur *) (*s_objet).objet)).type = 'I';
761: (*((struct_vecteur *) (*s_objet).objet)).taille = 0;
762: (*((struct_vecteur *) (*s_objet).objet)).tableau = NULL;
763: break;
764: }
765:
766: case VRL :
767: {
768: if ((*s_etat_processus).pointeur_vec > 0)
769: {
770: (*s_objet).objet = (*s_etat_processus).objets_vec
771: [--(*s_etat_processus).pointeur_vec];
772: }
773: else
774: {
775: if (((*s_objet).objet = malloc(sizeof(struct_vecteur))) == NULL)
776: {
1.96 ! bertrand 777: (*s_etat_processus).erreur_systeme =
! 778: d_es_allocation_memoire;
1.1 bertrand 779: free(s_objet);
780: return(NULL);
781: }
782: }
783:
784: (*((struct_vecteur *) (*s_objet).objet)).type = 'R';
785: (*((struct_vecteur *) (*s_objet).objet)).taille = 0;
786: (*((struct_vecteur *) (*s_objet).objet)).tableau = NULL;
787: break;
788: }
789:
790: default :
791: {
792: free(s_objet);
793: BUG(1, printf("Allocation failure (type %d)\n", type));
794:
795: return(NULL);
796: }
797: }
798:
799: return(s_objet);
800: }
801:
802:
803: /*
804: ================================================================================
805: Routine de libération d'une structure *s_objet
806: ================================================================================
807: Entrées : structure sur l'état du processus et objet à afficher
808: --------------------------------------------------------------------------------
809: Sorties : chaine de caractères
810: --------------------------------------------------------------------------------
811: Effets de bord : néant
812: ================================================================================
813: */
814:
815: void
816: liberation(struct_processus *s_etat_processus, struct_objet *s_objet)
817: {
818: logical1 drapeau;
819:
820: struct_liste_chainee *l_element_courant;
821: struct_liste_chainee *l_element_suivant;
822:
823: unsigned long i;
824:
825: if (s_objet == NULL)
826: {
827: return;
828: }
829:
830: if (pthread_mutex_lock(&((*s_objet).mutex)) != 0)
831: {
832: (*s_etat_processus).erreur_systeme = d_es_processus;
833: return;
834: }
835:
836: #define return \
837: if (pthread_mutex_unlock(&((*s_objet).mutex)) != 0) \
838: { (*s_etat_processus).erreur_systeme = d_es_processus; return; } \
839: return
840:
841: BUG((*s_objet).nombre_occurrences <= 0,
842: pthread_mutex_unlock(&((*s_objet).mutex)),
843: printf("(*s_objet).nombre_occurrences=%ld\n",
844: (*s_objet).nombre_occurrences));
845:
846: switch((*s_objet).type)
847: {
848: case ADR :
849: {
850: if (decrementation_atomique(s_objet) > 0)
851: {
852: return;
853: }
854:
855: if ((*s_etat_processus).pointeur_adr < TAILLE_CACHE)
856: {
857: (*s_etat_processus).objets_adr
858: [(*s_etat_processus).pointeur_adr++] = (*s_objet).objet;
859: }
860: else
861: {
862: free((unsigned long *) ((*s_objet).objet));
863: }
864:
865: break;
866: }
867:
868: case ALG :
869: {
870: l_element_courant = (struct_liste_chainee *) ((*s_objet).objet);
871:
872: if (decrementation_atomique(s_objet) > 0)
873: { // Il reste un pointeur sur l'objet.
874: while(l_element_courant != NULL)
875: {
876: BUG((*(*l_element_courant).donnee).nombre_occurrences <= 1,
877: pthread_mutex_unlock(&((*s_objet).mutex)),
878: printf("(*(*l_element_courant).donnee)"
879: ".nombre_occurrences=%ld\n",
880: (*(*l_element_courant).donnee).nombre_occurrences));
881:
882: liberation(s_etat_processus, (*l_element_courant).donnee);
883: l_element_courant = (*l_element_courant).suivant;
884: }
885:
886: return;
887: }
888: else
889: { // Il ne reste plus aucun pointeur sur l'objet.
890: while(l_element_courant != NULL)
891: {
892: l_element_suivant = (*l_element_courant).suivant;
893: liberation(s_etat_processus, (*l_element_courant).donnee);
894: liberation_maillon(s_etat_processus, l_element_courant);
895: l_element_courant = l_element_suivant;
896: }
897: }
898:
899: break;
900: }
901:
902: case BIN :
903: {
904: if (decrementation_atomique(s_objet) > 0)
905: {
906: return;
907: }
908:
909: if ((*s_etat_processus).pointeur_bin < TAILLE_CACHE)
910: {
911: (*s_etat_processus).objets_bin
912: [(*s_etat_processus).pointeur_bin++] = (*s_objet).objet;
913: }
914: else
915: {
916: free((logical8 *) ((*s_objet).objet));
917: }
918:
919: break;
920: }
921:
922: case CHN :
923: {
924: if (decrementation_atomique(s_objet) > 0)
925: {
926: return;
927: }
928:
929: free((unsigned char *) ((*s_objet).objet));
930: break;
931: }
932:
933: case CPL :
934: {
935: if (decrementation_atomique(s_objet) > 0)
936: {
937: return;
938: }
939:
940: if ((*s_etat_processus).pointeur_cpl < TAILLE_CACHE)
941: {
942: (*s_etat_processus).objets_cpl
943: [(*s_etat_processus).pointeur_cpl++] = (*s_objet).objet;
944: }
945: else
946: {
947: free((struct_complexe16 *) ((*s_objet).objet));
948: }
949:
950: break;
951: }
952:
953: case FCH :
954: {
955: if (decrementation_atomique(s_objet) > 0)
956: {
1.18 bertrand 957: BUG((*(*((struct_fichier *) (*s_objet).objet)).format)
958: .nombre_occurrences <= 1,
959: pthread_mutex_unlock(&((*s_objet).mutex)),
960: printf("(*(*((struct_fichier *) (*s_objet).objet))"
961: ".format).nombre_occurrences=%ld\n",
962: (*(*((struct_fichier *) (*s_objet).objet)).format)
963: .nombre_occurrences));
964:
965: liberation(s_etat_processus,
966: (*((struct_fichier *) (*s_objet).objet)).format);
1.1 bertrand 967: return;
968: }
969:
970: liberation(s_etat_processus,
971: (*((struct_fichier *) (*s_objet).objet)).format);
972: free((unsigned char *) (*((struct_fichier *)
973: (*s_objet).objet)).nom);
974: free((struct_fichier *) ((*s_objet).objet));
975: break;
976: }
977:
978: case FCT :
979: {
980: if (decrementation_atomique(s_objet) > 0)
981: {
982: return;
983: }
984:
985: free((unsigned char *) (*((struct_fonction *)
986: (*s_objet).objet)).nom_fonction);
987:
988: if ((*s_etat_processus).pointeur_fct < TAILLE_CACHE)
989: {
990: (*s_etat_processus).objets_fct
991: [(*s_etat_processus).pointeur_fct++] = (*s_objet).objet;
992: }
993: else
994: {
995: free((struct_fonction *) (*s_objet).objet);
996: }
997:
998: break;
999: }
1000:
1001: case INT :
1002: {
1003: if (decrementation_atomique(s_objet) > 0)
1004: {
1005: return;
1006: }
1007:
1008: if ((*s_etat_processus).pointeur_int < TAILLE_CACHE)
1009: {
1010: (*s_etat_processus).objets_int
1011: [(*s_etat_processus).pointeur_int++] = (*s_objet).objet;
1012: }
1013: else
1014: {
1015: free((integer8 *) ((*s_objet).objet));
1016: }
1017:
1018: break;
1019: }
1020:
1021: case LST :
1022: {
1023: l_element_courant = (struct_liste_chainee *) ((*s_objet).objet);
1024:
1025: if (decrementation_atomique(s_objet) > 0)
1026: { // Il reste un pointeur sur l'objet.
1027: while(l_element_courant != NULL)
1028: {
1029: BUG((*(*l_element_courant).donnee).nombre_occurrences <= 1,
1030: pthread_mutex_unlock(&((*s_objet).mutex)),
1031: printf("(*(*l_element_courant).donnee)"
1032: ".nombre_occurrences=%ld\n",
1033: (*(*l_element_courant).donnee).nombre_occurrences));
1034:
1035: liberation(s_etat_processus, (*l_element_courant).donnee);
1036: l_element_courant = (*l_element_courant).suivant;
1037: }
1038:
1039: return;
1040: }
1041: else
1042: { // Il ne reste plus aucun pointeur sur l'objet.
1043: while(l_element_courant != NULL)
1044: {
1045: l_element_suivant = (*l_element_courant).suivant;
1046: liberation(s_etat_processus, (*l_element_courant).donnee);
1047: liberation_maillon(s_etat_processus, l_element_courant);
1048: l_element_courant = l_element_suivant;
1049: }
1050: }
1051:
1052: break;
1053: }
1054:
1055: case MIN :
1056: {
1057: if (decrementation_atomique(s_objet) > 0)
1058: {
1059: return;
1060: }
1061:
1062: for(i = 0; i < (*((struct_matrice *)
1063: ((*s_objet).objet))).nombre_lignes; i++)
1064: {
1065: free(((integer8 **) (*((struct_matrice *)
1066: (*s_objet).objet)).tableau)[i]);
1067: }
1068:
1069: free((integer8 **) (*((struct_matrice *)
1070: (*s_objet).objet)).tableau);
1071:
1072: if ((*s_etat_processus).pointeur_mat < TAILLE_CACHE)
1073: {
1074: (*s_etat_processus).objets_mat
1075: [(*s_etat_processus).pointeur_mat++] = (*s_objet).objet;
1076: }
1077: else
1078: {
1079: free((struct_matrice *) (*s_objet).objet);
1080: }
1081:
1082: break;
1083: }
1084:
1085: case MCX :
1086: {
1087: if (decrementation_atomique(s_objet) > 0)
1088: {
1089: return;
1090: }
1091:
1092: for(i = 0; i < (*((struct_matrice *)
1093: ((*s_objet).objet))).nombre_lignes; i++)
1094: {
1095: free(((struct_complexe16 **) (*((struct_matrice *)
1096: (*s_objet).objet)).tableau)[i]);
1097: }
1098:
1099: free((struct_complexe16 **) (*((struct_matrice *)
1100: (*s_objet).objet)).tableau);
1101:
1102: if ((*s_etat_processus).pointeur_mat < TAILLE_CACHE)
1103: {
1104: (*s_etat_processus).objets_mat
1105: [(*s_etat_processus).pointeur_mat++] = (*s_objet).objet;
1106: }
1107: else
1108: {
1109: free((struct_matrice *) (*s_objet).objet);
1110: }
1111:
1112: break;
1113: }
1114:
1115: case MRL :
1116: {
1117: if (decrementation_atomique(s_objet) > 0)
1118: {
1119: return;
1120: }
1121:
1122: for(i = 0; i < (*((struct_matrice *)
1123: ((*s_objet).objet))).nombre_lignes; i++)
1124: {
1125: free(((real8 **) (*((struct_matrice *)
1126: (*s_objet).objet)).tableau)[i]);
1127: }
1128:
1129: free((real8 **) (*((struct_matrice *) (*s_objet).objet)).tableau);
1130:
1131: if ((*s_etat_processus).pointeur_mat < TAILLE_CACHE)
1132: {
1133: (*s_etat_processus).objets_mat
1134: [(*s_etat_processus).pointeur_mat++] = (*s_objet).objet;
1135: }
1136: else
1137: {
1138: free((struct_matrice *) (*s_objet).objet);
1139: }
1140:
1141: break;
1142: }
1143:
1144: case MTX :
1145: {
1146: if (decrementation_atomique(s_objet) > 0)
1147: {
1148: return;
1149: }
1150:
1.76 bertrand 1151: if (pthread_mutex_trylock(&((*((struct_mutex *)
1152: (*s_objet).objet)).mutex)) == 0)
1153: {
1154: // On a pu verrouiller le mutex. Il faut donc spécifier le tid.
1155: (*((struct_mutex *) (*s_objet).objet)).tid = pthread_self();
1156: }
1157:
1158: if (pthread_equal(pthread_self(),
1159: (*((struct_mutex *) (*s_objet).objet)).tid) != 0)
1160: {
1161: pthread_mutex_unlock(&((*((struct_mutex *)
1162: (*s_objet).objet)).mutex));
1163: }
1164: else
1165: {
1166: (*s_etat_processus).erreur_systeme =
1167: d_es_mutex_acquis_autre_thread;
1168: return;
1169: }
1170:
1171: pthread_mutex_destroy(&((*((struct_mutex *)
1172: (*s_objet).objet)).mutex));
1.1 bertrand 1173: free((struct_mutex *) (*s_objet).objet);
1174: break;
1175: }
1176:
1177: case NOM :
1178: {
1179: if (decrementation_atomique(s_objet) > 0)
1180: {
1181: return;
1182: }
1183:
1184: free((*((struct_nom *) (*s_objet).objet)).nom);
1185:
1186: if ((*s_etat_processus).pointeur_nom < TAILLE_CACHE)
1187: {
1188: (*s_etat_processus).objets_nom
1189: [(*s_etat_processus).pointeur_nom++] = (*s_objet).objet;
1190: }
1191: else
1192: {
1193: free((struct_nom *) (*s_objet).objet);
1194: }
1195:
1196: break;
1197: }
1198:
1199: case NON :
1200: {
1201: if (decrementation_atomique(s_objet) > 0)
1202: {
1203: return;
1204: }
1205:
1206: break;
1207: }
1208:
1209: case PRC :
1210: {
1211: if (pthread_mutex_lock(&((*(*((struct_processus_fils *)
1.40 bertrand 1212: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
1.1 bertrand 1213: {
1214: (*s_etat_processus).erreur_systeme = d_es_processus;
1215: return;
1216: }
1217:
1218: (*(*((struct_processus_fils *) (*s_objet).objet)).thread)
1219: .nombre_references--;
1220:
1221: BUG((*(*((struct_processus_fils *) (*s_objet).objet)).thread)
1.24 bertrand 1222: .nombre_references < 0, uprintf(
1223: "(*(*((struct_processus_fils"
1.1 bertrand 1224: " *) (*s_objet).objet)).thread).nombre_references = %d\n",
1225: (int) (*(*((struct_processus_fils *) (*s_objet).objet))
1226: .thread).nombre_references));
1227:
1228: if ((*(*((struct_processus_fils *) (*s_objet).objet)).thread)
1229: .nombre_references == 0)
1230: {
1231: drapeau = d_vrai;
1232: }
1233: else
1234: {
1235: drapeau = d_faux;
1236: }
1237:
1238: if (pthread_mutex_unlock(&((*(*((struct_processus_fils *)
1.40 bertrand 1239: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
1.1 bertrand 1240: {
1241: (*s_etat_processus).erreur_systeme = d_es_processus;
1242: return;
1243: }
1244:
1245: if (drapeau == d_vrai)
1246: {
1247: pthread_mutex_destroy(&((*(*((struct_processus_fils *)
1248: (*s_objet).objet)).thread).mutex));
1.40 bertrand 1249: pthread_mutex_destroy(&((*(*((struct_processus_fils *)
1250: (*s_objet).objet)).thread).mutex_nombre_references));
1.1 bertrand 1251: free((*((struct_processus_fils *) (*s_objet).objet)).thread);
1252: }
1253:
1254: if (decrementation_atomique(s_objet) > 0)
1255: {
1.28 bertrand 1256: BUG(drapeau == d_vrai, uprintf("(*(*((struct_processus_fils"
1257: " *) (*s_objet).objet)).thread).nombre_references "
1258: "= 0 with nombre_occurrences > 0\n"));
1.1 bertrand 1259: return;
1260: }
1261:
1262: free((struct_processus_fils *) ((*s_objet).objet));
1263: break;
1264: }
1265:
1266: case REL :
1267: {
1268: if (decrementation_atomique(s_objet) > 0)
1269: {
1270: return;
1271: }
1272:
1273: if ((*s_etat_processus).pointeur_rel < TAILLE_CACHE)
1274: {
1275: (*s_etat_processus).objets_rel
1276: [(*s_etat_processus).pointeur_rel++] = (*s_objet).objet;
1277: }
1278: else
1279: {
1280: free((real8 *) ((*s_objet).objet));
1281: }
1282:
1283: break;
1284: }
1285:
1286: case RPN :
1287: {
1288: l_element_courant = (struct_liste_chainee *) ((*s_objet).objet);
1289:
1290: if (decrementation_atomique(s_objet) > 0)
1291: { // Il reste un pointeur sur l'objet.
1292: while(l_element_courant != NULL)
1293: {
1294: BUG((*(*l_element_courant).donnee).nombre_occurrences <= 1,
1295: pthread_mutex_unlock(&((*s_objet).mutex)),
1296: printf("(*(*l_element_courant).donnee)"
1297: ".nombre_occurrences=%ld\n",
1298: (*(*l_element_courant).donnee).nombre_occurrences));
1299:
1300: liberation(s_etat_processus, (*l_element_courant).donnee);
1301: l_element_courant = (*l_element_courant).suivant;
1302: }
1303:
1304: return;
1305: }
1306: else
1307: { // Il ne reste plus aucun pointeur sur l'objet.
1308: while(l_element_courant != NULL)
1309: {
1310: l_element_suivant = (*l_element_courant).suivant;
1311: liberation(s_etat_processus, (*l_element_courant).donnee);
1312: liberation_maillon(s_etat_processus, l_element_courant);
1313: l_element_courant = l_element_suivant;
1314: }
1315: }
1316:
1317: break;
1318: }
1319:
1320: case SCK :
1321: {
1322: if (decrementation_atomique(s_objet) > 0)
1323: {
1.18 bertrand 1324: BUG((*(*((struct_socket *) (*s_objet).objet)).format)
1325: .nombre_occurrences <= 1,
1326: pthread_mutex_unlock(&((*s_objet).mutex)),
1327: printf("(*(*((struct_socket *) (*s_objet).objet))"
1328: ".format).nombre_occurrences=%ld\n",
1329: (*(*((struct_socket *) (*s_objet).objet)).format)
1330: .nombre_occurrences));
1331:
1.17 bertrand 1332: liberation(s_etat_processus, (*((struct_socket *)
1333: (*s_objet).objet)).format);
1.1 bertrand 1334: return;
1335: }
1336:
1337: liberation(s_etat_processus, (*((struct_socket *)
1338: (*s_objet).objet)).format);
1.18 bertrand 1339:
1.1 bertrand 1340: free((unsigned char *) (*((struct_socket *) (*s_objet).objet))
1341: .adresse);
1342: free((unsigned char *) (*((struct_socket *) (*s_objet).objet))
1343: .adresse_distante);
1344: free((struct_socket *) ((*s_objet).objet));
1345: break;
1346: }
1347:
1348: case SLB :
1349: {
1350: if (decrementation_atomique(s_objet) > 0)
1351: {
1352: return;
1353: }
1354:
1355: free((*((struct_bibliotheque *) (*s_objet).objet)).nom);
1356: free((struct_bibliotheque *) (*s_objet).objet);
1357: break;
1358: }
1359:
1360: case SPH :
1361: {
1362: if (decrementation_atomique(s_objet) > 0)
1363: {
1364: return;
1365: }
1366:
1367: free((*((struct_semaphore *) (*s_objet).objet)).nom);
1368: free((struct_bibliotheque *) (*s_objet).objet);
1369: break;
1370: }
1371:
1372: case SQL :
1373: {
1374: if (decrementation_atomique(s_objet) > 0)
1375: {
1376: return;
1377: }
1378:
1379: free((*((struct_connecteur_sql *) (*s_objet).objet)).type);
1380: free((*((struct_connecteur_sql *) (*s_objet).objet)).locale);
1381: free((struct_connecteur_sql *) (*s_objet).objet);
1382: break;
1383: }
1384:
1385: case TBL :
1386: {
1387: if (decrementation_atomique(s_objet) > 0)
1388: {
1389: for(i = 0; i < (*((struct_tableau *) (*s_objet).objet))
1390: .nombre_elements; i++)
1391: {
1392: BUG((*((*((struct_tableau *)
1393: (*s_objet).objet)).elements[i]))
1394: .nombre_occurrences <= 1,
1395: pthread_mutex_unlock(&((*s_objet).mutex)),
1396: printf("(*((*((struct_tableau *) (*s_objet).objet))"
1397: ".element[%lu])).nombre_occurrences=%ld\n", i,
1398: (*((*((struct_tableau *) (*s_objet).objet))
1399: .elements[i])).nombre_occurrences));
1400: liberation(s_etat_processus, (*((struct_tableau *)
1401: (*s_objet).objet)).elements[i]);
1402: }
1403:
1404: return;
1405: }
1406:
1407: for(i = 0; i < (*((struct_tableau *) (*s_objet).objet))
1408: .nombre_elements; i++)
1409: {
1410: liberation(s_etat_processus, (*((struct_tableau *)
1411: (*s_objet).objet)).elements[i]);
1412: }
1413:
1414: free((*((struct_tableau *) (*s_objet).objet)).elements);
1415:
1416: if ((*s_etat_processus).pointeur_tab < TAILLE_CACHE)
1417: {
1418: (*s_etat_processus).objets_tab
1419: [(*s_etat_processus).pointeur_tab++] = (*s_objet).objet;
1420: }
1421: else
1422: {
1423: free((struct_tableau *) (*s_objet).objet);
1424: }
1425:
1426: break;
1427: }
1428:
1429: case VIN :
1430: {
1431: if (decrementation_atomique(s_objet) > 0)
1432: {
1433: return;
1434: }
1435:
1436: free((integer8 *) (*((struct_vecteur *) (*s_objet).objet)).tableau);
1437:
1438: if ((*s_etat_processus).pointeur_vec < TAILLE_CACHE)
1439: {
1440: (*s_etat_processus).objets_vec
1441: [(*s_etat_processus).pointeur_vec++] = (*s_objet).objet;
1442: }
1443: else
1444: {
1445: free((struct_vecteur *) (*s_objet).objet);
1446: }
1447:
1448: break;
1449: }
1450:
1451: case VCX :
1452: {
1453: if (decrementation_atomique(s_objet) > 0)
1454: {
1455: return;
1456: }
1457:
1458: free((struct_complexe16 *) (*((struct_vecteur *)
1459: (*s_objet).objet)).tableau);
1460:
1461: if ((*s_etat_processus).pointeur_vec < TAILLE_CACHE)
1462: {
1463: (*s_etat_processus).objets_vec
1464: [(*s_etat_processus).pointeur_vec++] = (*s_objet).objet;
1465: }
1466: else
1467: {
1468: free((struct_vecteur *) (*s_objet).objet);
1469: }
1470:
1471: break;
1472: }
1473:
1474: case VRL :
1475: {
1476: if (decrementation_atomique(s_objet) > 0)
1477: {
1478: return;
1479: }
1480:
1481: free((real8 *) (*((struct_vecteur *) (*s_objet).objet)).tableau);
1482:
1483: if ((*s_etat_processus).pointeur_vec < TAILLE_CACHE)
1484: {
1485: (*s_etat_processus).objets_vec
1486: [(*s_etat_processus).pointeur_vec++] = (*s_objet).objet;
1487: }
1488: else
1489: {
1490: free((struct_vecteur *) (*s_objet).objet);
1491: }
1492:
1493: break;
1494: }
1495:
1496: default :
1497: {
1498: if (pthread_mutex_unlock(&((*s_objet).mutex)) != 0)
1499: {
1500: (*s_etat_processus).erreur_systeme = d_es_processus;
1501: return;
1502: }
1503:
1504: if (pthread_mutex_destroy(&((*s_objet).mutex)) != 0)
1505: {
1506: (*s_etat_processus).erreur_systeme = d_es_processus;
1507: return;
1508: }
1509:
1510: BUG(1, printf("Free failure (type %d)\n", (*s_objet).type));
1511: return;
1512: }
1513: }
1514:
1515: #undef return
1516:
1517: if (pthread_mutex_unlock(&((*s_objet).mutex)) != 0)
1518: {
1519: (*s_etat_processus).erreur_systeme = d_es_processus;
1520: return;
1521: }
1522:
1.28 bertrand 1523: if (pthread_mutex_lock(&((*s_etat_processus).mutex_allocation)) != 0)
1.1 bertrand 1524: {
1.28 bertrand 1525: (*s_etat_processus).erreur_systeme = d_es_processus;
1526: return;
1527: }
1528:
1529: if ((*s_etat_processus).taille_pile_objets < TAILLE_CACHE)
1530: {
1531: (*s_objet).objet = (*s_etat_processus).pile_objets;
1532: (*s_etat_processus).pile_objets = s_objet;
1533: (*s_etat_processus).taille_pile_objets++;
1534: }
1535: else
1536: {
1537: if (pthread_mutex_destroy(&((*s_objet).mutex)) != 0)
1.1 bertrand 1538: {
1.28 bertrand 1539: pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation));
1540: (*s_etat_processus).erreur_systeme = d_es_processus;
1541: return;
1.1 bertrand 1542: }
1543:
1.28 bertrand 1544: free(s_objet);
1.1 bertrand 1545: }
1.28 bertrand 1546:
1547: if (pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation)) != 0)
1.1 bertrand 1548: {
1.28 bertrand 1549: (*s_etat_processus).erreur_systeme = d_es_processus;
1550: return;
1.1 bertrand 1551: }
1552:
1553: return;
1554: }
1555:
1556:
1557: /*
1558: ================================================================================
1559: Routine de copie d'une structure *s_objet
1560: ================================================================================
1561: Entrées : structure *s_objet à copier
1562: type :
1563: 'P' : renvoie le même objet en incrémentant le nombre
1564: d'occurrence de chaque objet élémentaire ;
1565: 'O' : crée un nouvel objet en copiant chaque objet élémentaire ;
1566: 'N' : crée un nouvel objet mais les objets élémentaires
1567: sont réutilisés (voir 'P'). Dans le cas d'un objet
1568: élémentaire, 'N' et 'P' sont identiques.
1569: 'Q' : 'P' si nombre_occurrences vaut 1, 'O' sinon.
1570: 'R' : 'P' si nombre_occurrences vaut 1, 'N' sinon.
1571: --------------------------------------------------------------------------------
1572: Sorties : structure identique (tous les objets sont copiés)
1573: --------------------------------------------------------------------------------
1574: Effets de bord : néant
1575: ================================================================================
1576: */
1577:
1578: struct_objet *
1579: copie_objet(struct_processus *s_etat_processus,
1580: struct_objet *s_objet, unsigned char type)
1581: {
1582: struct_liste_chainee *l_element_base;
1583: struct_liste_chainee *l_element_courant;
1584: struct_liste_chainee *l_element_courant_ecriture;
1585: struct_liste_chainee *l_element_courant_lecture;
1586: struct_liste_chainee *l_element_suivant_ecriture;
1587: struct_liste_chainee *l_element_suivant_lecture;
1588:
1589: struct_objet *s_nouvel_objet;
1590: struct_objet *s_objet_tampon;
1591:
1592: unsigned long i;
1593: unsigned long j;
1594:
1595: if (pthread_mutex_lock(&((*s_objet).mutex)) != 0)
1596: {
1597: (*s_etat_processus).erreur_systeme = d_es_processus;
1598: return(NULL);
1599: }
1600:
1601: if (type == 'Q')
1602: {
1603: if ((*s_objet).nombre_occurrences == 1)
1604: {
1605: type = 'P';
1606: }
1607: else
1608: {
1609: type = 'O';
1610: }
1611: }
1612: else if (type == 'R')
1613: {
1614: if ((*s_objet).nombre_occurrences == 1)
1615: {
1616: type = 'P';
1617: }
1618: else
1619: {
1620: type = 'N';
1621: }
1622: }
1623:
1624: #define return(pointeur) \
1625: if (pthread_mutex_unlock(&((*s_objet).mutex))) \
1626: { (*s_etat_processus).erreur_systeme = d_es_processus; return(NULL); } \
1627: return(pointeur)
1628:
1629: switch((*s_objet).type)
1630: {
1631: case ADR :
1632: {
1633: if (type != 'O')
1634: {
1635: incrementation_atomique(s_objet);
1636: return(s_objet);
1637: }
1638:
1639: if ((s_nouvel_objet = allocation(s_etat_processus, ADR)) == NULL)
1640: {
1641: return(NULL);
1642: }
1643:
1644: (*((unsigned long *) ((*s_nouvel_objet).objet))) =
1645: (*((unsigned long *) ((*s_objet).objet)));
1646: break;
1647: }
1648:
1649: case ALG :
1650: {
1651: if (type != 'P')
1652: {
1653: if ((s_nouvel_objet = allocation(s_etat_processus, ALG))
1654: == NULL)
1655: {
1656: return(NULL);
1657: }
1658:
1659: l_element_courant_lecture = (struct_liste_chainee *)
1660: ((*s_objet).objet);
1661:
1662: l_element_base = NULL;
1663: l_element_courant_ecriture = l_element_base;
1664:
1665: while(l_element_courant_lecture != NULL)
1666: {
1667: s_objet_tampon = copie_objet(s_etat_processus,
1668: (*l_element_courant_lecture).donnee, type);
1669: l_element_suivant_ecriture = (struct_liste_chainee *)
1670: malloc(sizeof(struct_liste_chainee));
1671:
1672: if ((s_objet_tampon == NULL) ||
1673: (l_element_suivant_ecriture == NULL))
1674: {
1675: l_element_courant_lecture = (struct_liste_chainee *)
1676: ((*s_nouvel_objet).objet);
1677:
1678: while(l_element_courant_lecture != NULL)
1679: {
1680: l_element_suivant_lecture =
1681: (*l_element_courant_lecture).suivant;
1682: liberation(s_etat_processus,
1683: (*l_element_courant_lecture).donnee);
1684: free(l_element_courant_lecture);
1685: l_element_courant_lecture =
1686: l_element_suivant_lecture;
1687: }
1688:
1689: return(NULL);
1690: }
1691:
1692: if (l_element_courant_ecriture == NULL)
1693: {
1694: l_element_base = l_element_suivant_ecriture;
1695: }
1696: else
1697: {
1698: (*l_element_courant_ecriture).suivant =
1699: l_element_suivant_ecriture;
1700: }
1701:
1702: l_element_courant_ecriture = l_element_suivant_ecriture;
1703:
1704: (*l_element_courant_ecriture).donnee = s_objet_tampon;
1705: (*l_element_courant_ecriture).suivant = NULL;
1706: l_element_courant_lecture =
1707: (*l_element_courant_lecture).suivant;
1708: }
1709:
1710: (*s_nouvel_objet).objet = (void *) ((struct_liste_chainee *)
1711: l_element_base);
1712: }
1713: else // type == 'P'
1714: {
1715: incrementation_atomique(s_objet);
1716: l_element_courant = (*s_objet).objet;
1717:
1718: while(l_element_courant != NULL)
1719: {
1720: (*l_element_courant).donnee = copie_objet(s_etat_processus,
1721: (*l_element_courant).donnee, 'P');
1722: l_element_courant = (*l_element_courant).suivant;
1723: }
1724:
1725: return(s_objet);
1726: }
1727:
1728: break;
1729: }
1730:
1731: case BIN :
1732: {
1733: if (type != 'O')
1734: {
1735: incrementation_atomique(s_objet);
1736: return(s_objet);
1737: }
1738:
1739: if ((s_nouvel_objet = allocation(s_etat_processus, BIN)) == NULL)
1740: {
1741: return(NULL);
1742: }
1743:
1744: (*((logical8 *) ((*s_nouvel_objet).objet))) =
1745: (*((logical8 *) ((*s_objet).objet)));
1746: break;
1747: }
1748:
1749: case CHN :
1750: {
1751: if (type != 'O')
1752: {
1753: incrementation_atomique(s_objet);
1754: return(s_objet);
1755: }
1756:
1757: if ((s_nouvel_objet = allocation(s_etat_processus, CHN)) == NULL)
1758: {
1759: return(NULL);
1760: }
1761:
1762: (*s_nouvel_objet).objet = (void *) ((unsigned char *)
1763: malloc((strlen((unsigned char *) ((*s_objet).objet)) + 1)
1764: * sizeof(unsigned char)));
1765:
1766: if ((*s_nouvel_objet).objet == NULL)
1767: {
1768: free(s_nouvel_objet);
1769: return(NULL);
1770: }
1771:
1772: strcpy((unsigned char *) ((*s_nouvel_objet).objet),
1773: (unsigned char *) ((*s_objet).objet));
1774: break;
1775: }
1776:
1777: case CPL :
1778: {
1779: if (type != 'O')
1780: {
1781: incrementation_atomique(s_objet);
1782: return(s_objet);
1783: }
1784:
1785: if ((s_nouvel_objet = allocation(s_etat_processus, CPL)) == NULL)
1786: {
1787: return(NULL);
1788: }
1789:
1790: (*((struct_complexe16 *) ((*s_nouvel_objet).objet))) =
1791: (*((struct_complexe16 *) ((*s_objet).objet)));
1792: break;
1793: }
1794:
1795: case RPN :
1796: {
1797: if (type != 'P')
1798: {
1799: if ((s_nouvel_objet = allocation(s_etat_processus, RPN))
1800: == NULL)
1801: {
1802: return(NULL);
1803: }
1804:
1805: l_element_courant_lecture = (struct_liste_chainee *)
1806: ((*s_objet).objet);
1807:
1808: l_element_base = NULL;
1809: l_element_courant_ecriture = l_element_base;
1810:
1811: while(l_element_courant_lecture != NULL)
1812: {
1813: s_objet_tampon = copie_objet(s_etat_processus,
1814: (*l_element_courant_lecture).donnee, type);
1815: l_element_suivant_ecriture = (struct_liste_chainee *)
1816: malloc(sizeof(struct_liste_chainee));
1817:
1818: if ((s_objet_tampon == NULL) ||
1819: (l_element_suivant_ecriture == NULL))
1820: {
1821: l_element_courant_lecture = (struct_liste_chainee *)
1822: ((*s_nouvel_objet).objet);
1823:
1824: while(l_element_courant_lecture != NULL)
1825: {
1826: l_element_suivant_lecture =
1827: (*l_element_courant_lecture).suivant;
1828: liberation(s_etat_processus,
1829: (*l_element_courant_lecture).donnee);
1830: free(l_element_courant_lecture);
1831: l_element_courant_lecture =
1832: l_element_suivant_lecture;
1833: }
1834:
1835: return(NULL);
1836: }
1837:
1838: if (l_element_courant_ecriture == NULL)
1839: {
1840: l_element_base = l_element_suivant_ecriture;
1841: }
1842: else
1843: {
1844: (*l_element_courant_ecriture).suivant =
1845: l_element_suivant_ecriture;
1846: }
1847:
1848: l_element_courant_ecriture = l_element_suivant_ecriture;
1849:
1850: (*l_element_courant_ecriture).donnee = s_objet_tampon;
1851: (*l_element_courant_ecriture).suivant = NULL;
1852: l_element_courant_lecture =
1853: (*l_element_courant_lecture).suivant;
1854: }
1855:
1856: (*s_nouvel_objet).objet = (void *) ((struct_liste_chainee *)
1857: l_element_base);
1858: }
1859: else // type == 'P'
1860: {
1861: incrementation_atomique(s_objet);
1862: l_element_courant = (*s_objet).objet;
1863:
1864: while(l_element_courant != NULL)
1865: {
1866: (*l_element_courant).donnee = copie_objet(s_etat_processus,
1867: (*l_element_courant).donnee, 'P');
1868: l_element_courant = (*l_element_courant).suivant;
1869: }
1870:
1871: return(s_objet);
1872: }
1873:
1874: break;
1875: }
1876:
1877: case FCH :
1878: {
1879: if (type == 'P')
1880: {
1881: incrementation_atomique(s_objet);
1.17 bertrand 1882:
1883: if (((*((struct_fichier *) ((*s_objet).objet))).format =
1884: copie_objet(s_etat_processus, (*((struct_fichier *)
1885: ((*s_objet).objet))).format, 'P')) == NULL)
1886: {
1887: return(NULL);
1888: }
1889:
1.1 bertrand 1890: return(s_objet);
1891: }
1892:
1893: if ((s_nouvel_objet = allocation(s_etat_processus, FCH)) == NULL)
1894: {
1895: return(NULL);
1896: }
1897:
1898: (*((struct_fichier *) ((*s_nouvel_objet).objet))).descripteur =
1899: (*((struct_fichier *) ((*s_objet).objet))).descripteur;
1900: (*((struct_fichier *) ((*s_nouvel_objet).objet))).acces =
1901: (*((struct_fichier *) ((*s_objet).objet))).acces;
1902: (*((struct_fichier *) ((*s_nouvel_objet).objet))).binaire =
1903: (*((struct_fichier *) ((*s_objet).objet))).binaire;
1904: (*((struct_fichier *) ((*s_nouvel_objet).objet))).ouverture =
1905: (*((struct_fichier *) ((*s_objet).objet))).ouverture;
1906: (*((struct_fichier *) ((*s_nouvel_objet).objet))).protection =
1907: (*((struct_fichier *) ((*s_objet).objet))).protection;
1908: (*((struct_fichier *) ((*s_nouvel_objet).objet)))
1909: .position_clef = (*((struct_fichier *)
1910: ((*s_objet).objet))).position_clef;
1911: (*((struct_fichier *) ((*s_nouvel_objet).objet))).pid =
1912: (*((struct_fichier *) ((*s_objet).objet))).pid;
1913: (*((struct_fichier *) ((*s_nouvel_objet).objet))).tid =
1914: (*((struct_fichier *) ((*s_objet).objet))).tid;
1915:
1916: if (((*((struct_fichier *) ((*s_nouvel_objet).objet))).format =
1917: copie_objet(s_etat_processus, (*((struct_fichier *)
1918: ((*s_objet).objet))).format, type)) == NULL)
1919: {
1920: free((*s_nouvel_objet).objet);
1921: free(s_nouvel_objet);
1922: return(NULL);
1923: }
1924:
1925: if (((*((struct_fichier *) ((*s_nouvel_objet).objet))).nom =
1926: (unsigned char *) malloc((strlen((*((struct_fichier *)
1927: ((*s_objet).objet))).nom) + 1) * sizeof(unsigned char)))
1928: == NULL)
1929: {
1930: liberation(s_etat_processus, (*((struct_fichier *)
1931: (*s_nouvel_objet).objet)).format);
1932: free((*s_nouvel_objet).objet);
1933: free(s_nouvel_objet);
1934: return(NULL);
1935: }
1936:
1937: strcpy((*((struct_fichier *) ((*s_nouvel_objet).objet))).nom,
1938: (*((struct_fichier *) ((*s_objet).objet))).nom);
1939: break;
1940: }
1941:
1942: case FCT :
1943: {
1944: if (type != 'O')
1945: {
1946: /*
1947: * Remise à zéro de la prédiction pour respecter la cohérence
1948: * du saut dans les cas EXSUB et OBSUB.
1949: */
1950:
1951: (*((struct_fonction *) ((*s_objet).objet)))
1952: .prediction_saut = NULL;
1953: incrementation_atomique(s_objet);
1954: return(s_objet);
1955: }
1956:
1957: if ((s_nouvel_objet = allocation(s_etat_processus, FCT)) == NULL)
1958: {
1959: return(NULL);
1960: }
1961:
1962: if (((*((struct_fonction *) ((*s_nouvel_objet).objet)))
1963: .nom_fonction = (unsigned char *)
1964: malloc((strlen((*((struct_fonction *)
1965: ((*s_objet).objet))).nom_fonction) + 1) *
1966: sizeof(unsigned char))) == NULL)
1967: {
1968: free(s_nouvel_objet);
1969: return(NULL);
1970: }
1971:
1972: strcpy((unsigned char *) (*((struct_fonction *)
1973: ((*s_nouvel_objet).objet))).nom_fonction,
1974: (unsigned char *) (*((struct_fonction *)
1975: ((*s_objet).objet))).nom_fonction);
1976: (*((struct_fonction *) ((*s_nouvel_objet).objet)))
1977: .nombre_arguments = (*((struct_fonction *)
1978: ((*s_objet).objet))).nombre_arguments;
1979: (*((struct_fonction *) ((*s_nouvel_objet).objet))).fonction =
1980: (*((struct_fonction *) ((*s_objet).objet))).fonction;
1981: break;
1982: }
1983:
1984: case INT :
1985: {
1986: if (type != 'O')
1987: {
1988: incrementation_atomique(s_objet);
1989: return(s_objet);
1990: }
1991:
1992: if ((s_nouvel_objet = allocation(s_etat_processus, INT)) == NULL)
1993: {
1994: return(NULL);
1995: }
1996:
1997: (*((integer8 *) ((*s_nouvel_objet).objet))) =
1998: (*((integer8 *) ((*s_objet).objet)));
1999: break;
2000: }
2001:
2002: case LST :
2003: {
2004: if (type != 'P')
2005: {
2006: if ((s_nouvel_objet = allocation(s_etat_processus, LST))
2007: == NULL)
2008: {
2009: return(NULL);
2010: }
2011:
2012: l_element_courant_lecture = (struct_liste_chainee *)
2013: ((*s_objet).objet);
2014:
2015: l_element_base = NULL;
2016: l_element_courant_ecriture = l_element_base;
2017:
2018: while(l_element_courant_lecture != NULL)
2019: {
2020: s_objet_tampon = copie_objet(s_etat_processus,
2021: (*l_element_courant_lecture).donnee, type);
2022: l_element_suivant_ecriture = (struct_liste_chainee *)
2023: malloc(sizeof(struct_liste_chainee));
2024:
2025: if ((s_objet_tampon == NULL) ||
2026: (l_element_suivant_ecriture == NULL))
2027: {
2028: l_element_courant_lecture = (struct_liste_chainee *)
2029: ((*s_nouvel_objet).objet);
2030:
2031: while(l_element_courant_lecture != NULL)
2032: {
2033: l_element_suivant_lecture =
2034: (*l_element_courant_lecture).suivant;
2035: liberation(s_etat_processus,
2036: (*l_element_courant_lecture).donnee);
2037: free(l_element_courant_lecture);
2038: l_element_courant_lecture =
2039: l_element_suivant_lecture;
2040: }
2041:
2042: return(NULL);
2043: }
2044:
2045: if (l_element_courant_ecriture == NULL)
2046: {
2047: l_element_base = l_element_suivant_ecriture;
2048: }
2049: else
2050: {
2051: (*l_element_courant_ecriture).suivant =
2052: l_element_suivant_ecriture;
2053: }
2054:
2055: l_element_courant_ecriture = l_element_suivant_ecriture;
2056:
2057: (*l_element_courant_ecriture).donnee = s_objet_tampon;
2058: (*l_element_courant_ecriture).suivant = NULL;
2059: l_element_courant_lecture =
2060: (*l_element_courant_lecture).suivant;
2061: }
2062:
2063: (*s_nouvel_objet).objet = (void *) ((struct_liste_chainee *)
2064: l_element_base);
2065: }
2066: else
2067: {
2068: incrementation_atomique(s_objet);
2069: l_element_courant = (*s_objet).objet;
2070:
2071: while(l_element_courant != NULL)
2072: {
2073: (*l_element_courant).donnee = copie_objet(s_etat_processus,
2074: (*l_element_courant).donnee, 'P');
2075: l_element_courant = (*l_element_courant).suivant;
2076: }
2077:
2078: return(s_objet);
2079: }
2080:
2081: break;
2082: }
2083:
2084: case MIN :
2085: {
2086: if (type != 'O')
2087: {
2088: incrementation_atomique(s_objet);
2089: return(s_objet);
2090: }
2091:
2092: if ((s_nouvel_objet = allocation(s_etat_processus, MIN)) == NULL)
2093: {
2094: return(NULL);
2095: }
2096:
2097: (*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau =
2098: (void **) ((integer8 **) malloc(
2099: ((*((struct_matrice *) ((*s_objet).objet))).nombre_lignes)
2100: * sizeof(integer8 *)));
2101:
2102: if ((*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau
2103: == NULL)
2104: {
2105: free((*s_nouvel_objet).objet);
2106: free(s_nouvel_objet);
2107: return(NULL);
2108: }
2109:
2110: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_colonnes =
2111: (*((struct_matrice *) ((*s_objet).objet))).nombre_colonnes;
2112: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_lignes =
2113: (*((struct_matrice *) ((*s_objet).objet))).nombre_lignes;
2114: (*((struct_matrice *) ((*s_nouvel_objet).objet))).type =
2115: (*((struct_matrice *) ((*s_objet).objet))).type;
2116:
2117: for(i = 0; i < (*((struct_matrice *)
2118: ((*s_objet).objet))).nombre_lignes; i++)
2119: {
2120: if ((((integer8 **) ((*((struct_matrice *)
2121: ((*s_nouvel_objet).objet))).tableau))[i] =
2122: (void *) ((integer8 *) malloc(
2123: ((*((struct_matrice *) ((*s_objet).objet)))
2124: .nombre_colonnes) * sizeof(integer8)))) == NULL)
2125: {
2126: for(j = 0; j < i; j++)
2127: {
2128: free(((integer8 **) ((*((struct_matrice *)
2129: ((*s_nouvel_objet).objet))).tableau))[j]);
2130: }
2131:
2132: free((*s_nouvel_objet).objet);
2133: free(s_nouvel_objet);
2134: return(NULL);
2135: }
2136:
2137: for(j = 0; j < (*((struct_matrice *)
2138: ((*s_objet).objet))).nombre_colonnes; j++)
2139: {
2140: ((integer8 **) ((*((struct_matrice *)
2141: ((*s_nouvel_objet).objet))).tableau))[i][j] =
2142: ((integer8 **) ((*((struct_matrice *)
2143: ((*s_objet).objet))).tableau))[i][j];
2144: }
2145: }
2146:
2147: break;
2148: }
2149:
2150: case MCX :
2151: {
2152: if (type != 'O')
2153: {
2154: incrementation_atomique(s_objet);
2155: return(s_objet);
2156: }
2157:
2158: if ((s_nouvel_objet = allocation(s_etat_processus, MCX))
2159: == NULL)
2160: {
2161: return(NULL);
2162: }
2163:
2164: (*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau =
2165: (void **) ((struct_complexe16 **) malloc(
2166: ((*((struct_matrice *) ((*s_objet).objet))).nombre_lignes)
2167: * sizeof(struct_complexe16 *)));
2168:
2169: if ((*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau
2170: == NULL)
2171: {
2172: free((*s_nouvel_objet).objet);
2173: free(s_nouvel_objet);
2174: return(NULL);
2175: }
2176:
2177: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_colonnes =
2178: (*((struct_matrice *) ((*s_objet).objet))).nombre_colonnes;
2179: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_lignes =
2180: (*((struct_matrice *) ((*s_objet).objet))).nombre_lignes;
2181: (*((struct_matrice *) ((*s_nouvel_objet).objet))).type =
2182: (*((struct_matrice *) ((*s_objet).objet))).type;
2183:
2184: for(i = 0; i < (*((struct_matrice *)
2185: ((*s_objet).objet))).nombre_lignes; i++)
2186: {
2187: if ((((struct_complexe16 **) ((*((struct_matrice *)
2188: ((*s_nouvel_objet).objet))).tableau))[i] =
2189: (void *) ((struct_complexe16 *) malloc(
2190: ((*((struct_matrice *) ((*s_objet).objet)))
2191: .nombre_colonnes) * sizeof(struct_complexe16))))
2192: == NULL)
2193: {
2194: for(j = 0; j < i; j++)
2195: {
2196: free(((struct_complexe16 **) ((*((struct_matrice *)
2197: ((*s_nouvel_objet).objet))).tableau))[j]);
2198: }
2199:
2200: free((*s_nouvel_objet).objet);
2201: free(s_nouvel_objet);
2202: return(NULL);
2203: }
2204:
2205: for(j = 0; j < (*((struct_matrice *)
2206: ((*s_objet).objet))).nombre_colonnes; j++)
2207: {
2208: ((struct_complexe16 **) ((*((struct_matrice *)
2209: ((*s_nouvel_objet).objet))).tableau))[i][j] =
2210: ((struct_complexe16 **) ((*((struct_matrice *)
2211: ((*s_objet).objet))).tableau))[i][j];
2212: }
2213: }
2214:
2215: break;
2216: }
2217:
2218: case MRL :
2219: {
2220: if (type != 'O')
2221: {
2222: incrementation_atomique(s_objet);
2223: return(s_objet);
2224: }
2225:
2226: if ((s_nouvel_objet = allocation(s_etat_processus, MRL)) == NULL)
2227: {
2228: return(NULL);
2229: }
2230:
2231: (*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau =
2232: (void **) ((real8 **) malloc(
2233: ((*((struct_matrice *) ((*s_objet).objet))).nombre_lignes)
2234: * sizeof(real8 *)));
2235:
2236: if ((*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau
2237: == NULL)
2238: {
2239: free((*s_nouvel_objet).objet);
2240: free(s_nouvel_objet);
2241: return(NULL);
2242: }
2243:
2244: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_colonnes =
2245: (*((struct_matrice *) ((*s_objet).objet))).nombre_colonnes;
2246: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_lignes =
2247: (*((struct_matrice *) ((*s_objet).objet))).nombre_lignes;
2248: (*((struct_matrice *) ((*s_nouvel_objet).objet))).type =
2249: (*((struct_matrice *) ((*s_objet).objet))).type;
2250:
2251: for(i = 0; i < (*((struct_matrice *)
2252: ((*s_objet).objet))).nombre_lignes; i++)
2253: {
2254: if ((((real8 **) ((*((struct_matrice *)
2255: ((*s_nouvel_objet).objet))).tableau))[i] =
2256: (void *) ((real8 *) malloc(
2257: ((*((struct_matrice *) ((*s_objet).objet)))
2258: .nombre_colonnes) * sizeof(real8)))) == NULL)
2259: {
2260: for(j = 0; j < i; j++)
2261: {
2262: free(((real8 **) ((*((struct_matrice *)
2263: ((*s_nouvel_objet).objet))).tableau))[j]);
2264: }
2265:
2266: free((*s_nouvel_objet).objet);
2267: free(s_nouvel_objet);
2268: return(NULL);
2269: }
2270:
2271: for(j = 0; j < (*((struct_matrice *)
2272: ((*s_objet).objet))).nombre_colonnes; j++)
2273: {
2274: ((real8 **) ((*((struct_matrice *)
2275: ((*s_nouvel_objet).objet))).tableau))[i][j] =
2276: ((real8 **) ((*((struct_matrice *)
2277: ((*s_objet).objet))).tableau))[i][j];
2278: }
2279: }
2280:
2281: break;
2282: }
2283:
2284: case MTX :
2285: {
1.75 bertrand 2286: // La duplication d'un mutex renvoie le même objet.
2287: incrementation_atomique(s_objet);
1.76 bertrand 2288: return(s_objet);
1.1 bertrand 2289: }
2290:
2291: case NOM :
2292: {
2293: if (type != 'O')
2294: {
2295: incrementation_atomique(s_objet);
2296: return(s_objet);
2297: }
2298:
2299: if ((s_nouvel_objet = allocation(s_etat_processus, NOM)) == NULL)
2300: {
2301: return(NULL);
2302: }
2303:
2304: (*((struct_nom *) (*s_nouvel_objet).objet)).nom = malloc((
2305: strlen((*((struct_nom *) (*s_objet).objet)).nom) + 1) *
2306: sizeof(unsigned char));
2307:
2308: if ((*((struct_nom *) (*s_nouvel_objet).objet)).nom == NULL)
2309: {
2310: free((*s_nouvel_objet).objet);
2311: free(s_nouvel_objet);
2312: return(NULL);
2313: }
2314:
2315: strcpy((*((struct_nom *) (*s_nouvel_objet).objet)).nom,
2316: (*((struct_nom *) (*s_objet).objet)).nom);
2317: (*((struct_nom *) (*s_nouvel_objet).objet)).symbole =
2318: (*((struct_nom *) (*s_objet).objet)).symbole;
2319: break;
2320: }
2321:
2322: case NON :
2323: {
2324: if (type != 'O')
2325: {
2326: incrementation_atomique(s_objet);
2327: return(s_objet);
2328: }
2329:
1.85 bertrand 2330: // Un objet de type NON est un objet encapsulé dans une
2331: // structure de type struct_objet. Elle peut très bien contenir
2332: // une donnée, mais c'est à l'utilisateur de la libérer
2333: // explicitement avec un free().
2334:
1.1 bertrand 2335: if ((s_nouvel_objet = allocation(s_etat_processus, NON)) == NULL)
2336: {
2337: return(NULL);
2338: }
2339:
1.85 bertrand 2340: (*s_nouvel_objet).objet = (*s_objet).objet;
1.1 bertrand 2341: break;
2342: }
2343:
2344: case PRC :
2345: {
2346: if (pthread_mutex_lock(&((*(*((struct_processus_fils *)
1.40 bertrand 2347: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
1.1 bertrand 2348: {
2349: return(NULL);
2350: }
2351:
2352: (*(*((struct_processus_fils *) (*s_objet).objet)).thread)
2353: .nombre_references++;
2354:
2355: if (pthread_mutex_unlock(&((*(*((struct_processus_fils *)
1.40 bertrand 2356: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
1.1 bertrand 2357: {
2358: return(NULL);
2359: }
2360:
2361: if (type != 'O')
2362: {
2363: incrementation_atomique(s_objet);
2364: return(s_objet);
2365: }
2366:
2367: if ((s_nouvel_objet = allocation(s_etat_processus, PRC)) == NULL)
2368: {
2369: return(NULL);
2370: }
2371:
2372: (*((struct_processus_fils *) (*s_nouvel_objet).objet)) =
2373: (*((struct_processus_fils *) (*s_objet).objet));
2374: break;
2375: }
2376:
2377: case REL :
2378: {
2379: if (type != 'O')
2380: {
2381: incrementation_atomique(s_objet);
2382: return(s_objet);
2383: }
2384:
2385: if ((s_nouvel_objet = allocation(s_etat_processus, REL)) == NULL)
2386: {
2387: return(NULL);
2388: }
2389:
2390: (*((real8 *) ((*s_nouvel_objet).objet))) =
2391: (*((real8 *) ((*s_objet).objet)));
2392: break;
2393: }
2394:
2395: case SCK :
2396: {
2397: if (type == 'P')
2398: {
2399: incrementation_atomique(s_objet);
1.17 bertrand 2400:
1.18 bertrand 2401: if (((*((struct_socket *) ((*s_objet).objet)))
2402: .format = copie_objet(s_etat_processus,
2403: (*((struct_socket *) ((*s_objet).objet))).format, 'P'))
2404: == NULL)
1.17 bertrand 2405: {
2406: return(NULL);
2407: }
2408:
1.1 bertrand 2409: return(s_objet);
2410: }
2411:
2412: if ((s_nouvel_objet = allocation(s_etat_processus, SCK)) == NULL)
2413: {
2414: return(NULL);
2415: }
2416:
2417: (*((struct_socket *) ((*s_nouvel_objet).objet))).socket =
2418: (*((struct_socket *) ((*s_objet).objet))).socket;
2419: (*((struct_socket *) ((*s_nouvel_objet).objet))).domaine =
2420: (*((struct_socket *) ((*s_objet).objet))).domaine;
2421: (*((struct_socket *) ((*s_nouvel_objet).objet))).socket_en_ecoute =
2422: (*((struct_socket *) ((*s_objet).objet))).socket_en_ecoute;
2423: (*((struct_socket *) ((*s_nouvel_objet).objet))).socket_connectee =
2424: (*((struct_socket *) ((*s_objet).objet))).socket_connectee;
2425: (*((struct_socket *) ((*s_nouvel_objet).objet))).pid =
2426: (*((struct_socket *) ((*s_objet).objet))).pid;
2427: (*((struct_socket *) ((*s_nouvel_objet).objet))).binaire =
2428: (*((struct_socket *) ((*s_objet).objet))).binaire;
2429: (*((struct_socket *) ((*s_nouvel_objet).objet))).effacement =
2430: (*((struct_socket *) ((*s_objet).objet))).effacement;
2431: (*((struct_socket *) ((*s_nouvel_objet).objet))).protection =
2432: (*((struct_socket *) ((*s_objet).objet))).protection;
2433: (*((struct_socket *) ((*s_nouvel_objet).objet))).localisation =
2434: (*((struct_socket *) ((*s_objet).objet))).localisation;
2435: (*((struct_socket *) ((*s_nouvel_objet).objet))).pid =
2436: (*((struct_socket *) ((*s_objet).objet))).pid;
2437: (*((struct_socket *) ((*s_nouvel_objet).objet))).tid =
2438: (*((struct_socket *) ((*s_objet).objet))).tid;
2439:
2440: if (((*((struct_socket *) ((*s_nouvel_objet).objet))).format =
2441: copie_objet(s_etat_processus, (*((struct_socket *)
2442: ((*s_objet).objet))).format, type)) == NULL)
2443: {
2444: free((*s_nouvel_objet).objet);
2445: free(s_nouvel_objet);
2446: return(NULL);
2447: }
2448:
2449: if (((*((struct_socket *) ((*s_nouvel_objet).objet))).adresse =
2450: (unsigned char *) malloc((strlen((*((struct_socket *)
2451: ((*s_objet).objet))).adresse) + 1) * sizeof(unsigned char)))
2452: == NULL)
2453: {
2454: liberation(s_etat_processus, (*((struct_fichier *)
2455: (*s_nouvel_objet).objet)).format);
2456: free((*s_nouvel_objet).objet);
2457: free(s_nouvel_objet);
2458: return(NULL);
2459: }
2460:
2461: strcpy((*((struct_socket *) ((*s_nouvel_objet).objet)))
2462: .adresse, (*((struct_socket *) ((*s_objet).objet)))
2463: .adresse);
2464:
2465: if (((*((struct_socket *) ((*s_nouvel_objet).objet)))
2466: .adresse_distante = malloc((strlen((*((struct_socket *)
2467: ((*s_objet).objet))).adresse_distante) + 1) *
2468: sizeof(unsigned char))) == NULL)
2469: {
2470: liberation(s_etat_processus, (*((struct_fichier *)
2471: (*s_nouvel_objet).objet)).format);
2472: free((*s_nouvel_objet).objet);
2473: free(s_nouvel_objet);
2474: return(NULL);
2475: }
2476:
2477: strcpy((*((struct_socket *) ((*s_nouvel_objet).objet)))
2478: .adresse_distante, (*((struct_socket *) ((*s_objet).objet)))
2479: .adresse_distante);
2480:
2481: strcpy((*((struct_socket *) ((*s_nouvel_objet).objet))).type,
2482: (*((struct_socket *) ((*s_objet).objet))).type);
2483: break;
2484: }
2485:
2486: case SLB :
2487: {
2488: if (type != 'O')
2489: {
2490: incrementation_atomique(s_objet);
2491: return(s_objet);
2492: }
2493:
2494: if ((s_nouvel_objet = allocation(s_etat_processus, SLB)) == NULL)
2495: {
2496: return(NULL);
2497: }
2498:
2499: if (((*((struct_bibliotheque *) ((*s_nouvel_objet).objet))).nom =
2500: (unsigned char *) malloc((strlen((*((struct_bibliotheque *)
2501: ((*s_objet).objet))).nom) + 1) * sizeof(unsigned char)))
2502: == NULL)
2503: {
2504: free((*s_nouvel_objet).objet);
2505: free(s_nouvel_objet);
2506: return(NULL);
2507: }
2508:
2509: strcpy((*((struct_bibliotheque *) ((*s_nouvel_objet).objet))).nom,
2510: (*((struct_bibliotheque *) ((*s_objet).objet))).nom);
2511:
2512: /*
2513: * C'est objet est non modifiable et est un pointeur
2514: * sur un objet système. Seul la référence est copiée.
2515: */
2516:
2517: (*((struct_bibliotheque *) (*s_nouvel_objet).objet)).descripteur =
2518: (*((struct_bibliotheque *) (*s_objet).objet)).descripteur;
2519: (*((struct_bibliotheque *) (*s_nouvel_objet).objet)).pid =
2520: (*((struct_bibliotheque *) (*s_objet).objet)).pid;
2521: (*((struct_bibliotheque *) (*s_nouvel_objet).objet)).tid =
2522: (*((struct_bibliotheque *) (*s_objet).objet)).tid;
2523: break;
2524: }
2525:
2526: case SPH :
2527: {
2528: if (type != 'O')
2529: {
2530: incrementation_atomique(s_objet);
2531: return(s_objet);
2532: }
2533:
2534: if ((s_nouvel_objet = allocation(s_etat_processus, SPH)) == NULL)
2535: {
2536: return(NULL);
2537: }
2538:
2539: if (((*((struct_semaphore *) (*s_nouvel_objet).objet)).nom =
2540: malloc((strlen((*((struct_semaphore *) (*s_objet).objet))
2541: .nom) + 1) * sizeof(unsigned char))) == NULL)
2542: {
2543: free((*s_nouvel_objet).objet);
2544: free(s_nouvel_objet);
2545: return(NULL);
2546: }
2547:
1.75 bertrand 2548: (*((struct_semaphore *) (*s_nouvel_objet).objet)).semaphore =
2549: (*((struct_semaphore *) (*s_objet).objet)).semaphore;
1.1 bertrand 2550: strcpy((*((struct_semaphore *) (*s_nouvel_objet).objet)).nom,
2551: (*((struct_semaphore *) (*s_objet).objet)).nom);
2552: break;
2553: }
2554:
2555: case SQL :
2556: {
2557: if (type != 'O')
2558: {
2559: incrementation_atomique(s_objet);
2560: return(s_objet);
2561: }
2562:
2563: if ((s_nouvel_objet = allocation(s_etat_processus, SQL)) == NULL)
2564: {
2565: return(NULL);
2566: }
2567:
2568: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).pid =
2569: (*((struct_connecteur_sql *) (*s_objet).objet)).pid;
2570: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).tid =
2571: (*((struct_connecteur_sql *) (*s_objet).objet)).tid;
2572: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).descripteur =
2573: (*((struct_connecteur_sql *) (*s_objet).objet)).descripteur;
2574:
2575: if (((*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).type =
2576: malloc((strlen((*((struct_connecteur_sql *)
2577: (*s_objet).objet)).type) + 1) * sizeof(unsigned char)))
2578: == NULL)
2579: {
2580: free(s_nouvel_objet);
2581: return(NULL);
2582: }
2583:
2584: strcpy((*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).type,
2585: (*((struct_connecteur_sql *) (*s_objet).objet)).type);
2586:
2587: if ((*((struct_connecteur_sql *) (*s_objet).objet)).locale != NULL)
2588: {
2589: if (((*((struct_connecteur_sql *) (*s_nouvel_objet).objet))
2590: .locale = malloc((strlen((*((struct_connecteur_sql *)
2591: (*s_objet).objet)).locale) + 1) *
2592: sizeof(unsigned char))) == NULL)
2593: {
2594: free((*((struct_connecteur_sql *) (*s_nouvel_objet).objet))
2595: .locale);
2596: free(s_nouvel_objet);
2597: return(NULL);
2598: }
2599:
2600: strcpy((*((struct_connecteur_sql *) (*s_nouvel_objet).objet))
2601: .locale, (*((struct_connecteur_sql *)
2602: (*s_objet).objet)).locale);
2603: }
2604: else
2605: {
2606: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).locale
2607: = NULL;
2608: }
2609:
2610: break;
2611: }
2612:
2613: case TBL :
2614: {
2615: if (type != 'P')
2616: {
2617: if ((s_nouvel_objet = allocation(s_etat_processus, TBL))
2618: == NULL)
2619: {
2620: return(NULL);
2621: }
2622:
2623: (*((struct_tableau *) (*s_nouvel_objet).objet))
2624: .nombre_elements = (*((struct_tableau *)
2625: (*s_objet).objet)).nombre_elements;
2626:
2627: if (((*((struct_tableau *) (*s_nouvel_objet).objet)).elements =
2628: malloc((*((struct_tableau *) (*s_objet).objet))
2629: .nombre_elements * sizeof(struct_objet *))) == NULL)
2630: {
2631: return(NULL);
2632: }
2633:
2634: for(i = 0; i < (*((struct_tableau *) (*s_objet).objet))
2635: .nombre_elements; i++)
2636: {
2637: if (((*((struct_tableau *) (*s_nouvel_objet).objet))
2638: .elements[i] = copie_objet(s_etat_processus,
2639: (*((struct_tableau *) (*s_objet).objet))
2640: .elements[i], type)) == NULL)
2641: {
2642: for(j = 0; j < i; j++)
2643: {
2644: liberation(s_etat_processus, (*((struct_tableau *)
2645: (*s_nouvel_objet).objet)).elements[j]);
2646: }
2647:
2648: free((*((struct_tableau *) (*s_nouvel_objet).objet))
2649: .elements);
2650: free((*s_nouvel_objet).objet);
2651: free(s_nouvel_objet);
2652:
2653: return(NULL);
2654: }
2655: }
2656: }
2657: else
2658: {
2659: incrementation_atomique(s_objet);
2660:
2661: for(i = 0; i < (*((struct_tableau *) (*s_objet).objet))
2662: .nombre_elements; i++)
2663: {
2664: (*((struct_tableau *) (*s_objet).objet)).elements[i] =
2665: copie_objet(s_etat_processus, (*((struct_tableau *)
2666: (*s_objet).objet)).elements[i], 'P');
2667: }
2668:
2669: return(s_objet);
2670: }
2671:
2672: break;
2673: }
2674:
2675: case VIN :
2676: {
2677: if (type != 'O')
2678: {
2679: incrementation_atomique(s_objet);
2680: return(s_objet);
2681: }
2682:
2683: if ((s_nouvel_objet = allocation(s_etat_processus, VIN)) == NULL)
2684: {
2685: return(NULL);
2686: }
2687:
2688: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau =
2689: (void *) ((integer8 *) malloc(
2690: ((*((struct_vecteur *) ((*s_objet).objet))).taille)
2691: * sizeof(integer8)));
2692:
2693: if ((*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau
2694: == NULL)
2695: {
2696: free((*s_nouvel_objet).objet);
2697: free(s_nouvel_objet);
2698: return(NULL);
2699: }
2700:
2701: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).taille =
2702: (*((struct_vecteur *) ((*s_objet).objet))).taille;
2703: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).type =
2704: (*((struct_vecteur *) ((*s_objet).objet))).type;
2705:
2706: for(i = 0; i < (*((struct_vecteur *) ((*s_objet).objet))).taille;
2707: i++)
2708: {
2709: ((integer8 *) ((*((struct_vecteur *)
2710: ((*s_nouvel_objet).objet))).tableau))[i] =
2711: ((integer8 *) ((*((struct_vecteur *)
2712: ((*s_objet).objet))).tableau))[i];
2713: }
2714:
2715: break;
2716: }
2717:
2718: case VCX :
2719: {
2720: if (type != 'O')
2721: {
2722: incrementation_atomique(s_objet);
2723: return(s_objet);
2724: }
2725:
2726: if ((s_nouvel_objet = allocation(s_etat_processus, VCX)) == NULL)
2727: {
2728: return(NULL);
2729: }
2730:
2731: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau =
2732: (void *) ((struct_complexe16 *) malloc(
2733: ((*((struct_vecteur *) ((*s_objet).objet))).taille)
2734: * sizeof(struct_complexe16)));
2735:
2736: if ((*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau
2737: == NULL)
2738: {
2739: free((*s_nouvel_objet).objet);
2740: free(s_nouvel_objet);
2741: return(NULL);
2742: }
2743:
2744: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).taille =
2745: (*((struct_vecteur *) ((*s_objet).objet))).taille;
2746: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).type =
2747: (*((struct_vecteur *) ((*s_objet).objet))).type;
2748:
2749: for(i = 0; i < (*((struct_vecteur *) ((*s_objet).objet))).taille;
2750: i++)
2751: {
2752: ((struct_complexe16 *) ((*((struct_vecteur *)
2753: ((*s_nouvel_objet).objet))).tableau))[i] =
2754: ((struct_complexe16 *) ((*((struct_vecteur *)
2755: ((*s_objet).objet))).tableau))[i];
2756: }
2757:
2758: break;
2759: }
2760:
2761: case VRL :
2762: {
2763: if (type != 'O')
2764: {
2765: incrementation_atomique(s_objet);
2766: return(s_objet);
2767: }
2768:
2769: if ((s_nouvel_objet = allocation(s_etat_processus, VRL)) == NULL)
2770: {
2771: return(NULL);
2772: }
2773:
2774: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau =
2775: (void *) ((real8 *) malloc(
2776: ((*((struct_vecteur *) ((*s_objet).objet))).taille)
2777: * sizeof(real8)));
2778:
2779: if ((*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau
2780: == NULL)
2781: {
2782: free((*s_nouvel_objet).objet);
2783: free(s_nouvel_objet);
2784: return(NULL);
2785: }
2786:
2787: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).taille =
2788: (*((struct_vecteur *) ((*s_objet).objet))).taille;
2789: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).type =
2790: (*((struct_vecteur *) ((*s_objet).objet))).type;
2791:
2792: for(i = 0; i < (*((struct_vecteur *) ((*s_objet).objet))).taille;
2793: i++)
2794: {
2795: ((real8 *) ((*((struct_vecteur *)
2796: ((*s_nouvel_objet).objet))).tableau))[i] =
2797: ((real8 *) ((*((struct_vecteur *)
2798: ((*s_objet).objet))).tableau))[i];
2799: }
2800:
2801: break;
2802: }
2803:
2804: default :
2805: {
2806: return(NULL);
2807: }
2808: }
2809:
2810: return(s_nouvel_objet);
2811:
2812: #undef return
2813: }
2814:
2815:
2816: /*
2817: ================================================================================
2818: Routine de copie d'une structure de description d'un processus
2819: ================================================================================
2820: Entrées : pointeur sur la structure de description d'un processus
2821: --------------------------------------------------------------------------------
2822: Sorties : structure identique (tous les objets sont copiés)
2823: --------------------------------------------------------------------------------
2824: Effets de bord : néant
2825: ================================================================================
2826: */
2827:
2828: struct_processus *
2829: copie_etat_processus(struct_processus *s_etat_processus)
2830: {
2831: pthread_mutexattr_t attributs_mutex;
2832:
2833: struct_liste_chainee *l_element_lecture;
2834: struct_liste_chainee *l_element_precedent;
2835: struct_liste_chainee *l_element_suivant;
2836:
2837: struct_processus *s_nouvel_etat_processus;
2838:
2839: unsigned long i;
2840:
2841: if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
2842: {
2843: (*s_etat_processus).erreur_systeme = d_es_processus;
2844: return(NULL);
2845: }
2846:
2847: if ((s_nouvel_etat_processus = malloc(sizeof(struct_processus))) == NULL)
2848: {
2849: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2850: return(NULL);
2851: }
2852:
2853: (*s_nouvel_etat_processus) = (*s_etat_processus);
2854:
2855: // On réinitialise l'allocateur.
2856:
2857: initialisation_allocateur(s_nouvel_etat_processus);
2858:
2859: /*
2860: * (*s_etat_processus).definition_chainee,
2861: * (*s_etat_processus).nom_fichier_source,
2862: * (*s_etat_processus).nom_fichier_historique et
2863: * (*s_etat_processus).chemin_fichier_temporaires
2864: * n'ont aucune raison de changer.
2865: */
2866:
1.67 bertrand 2867: pthread_mutexattr_init(&attributs_mutex);
2868: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
1.84 bertrand 2869: (*s_nouvel_etat_processus).sections_critiques = 0;
1.69 bertrand 2870:
1.71 bertrand 2871: // Les sémaphores sont initialisés dans le nouveau thread. Il
2872: // s'agit d'une limitation de l'implantation de l'émulation
2873: // de sem_init().
1.1 bertrand 2874:
1.60 bertrand 2875: initialisation_contexte_cas(s_etat_processus);
2876:
1.1 bertrand 2877: (*s_nouvel_etat_processus).var_volatile_processus_pere = 0;
1.39 bertrand 2878: (*s_nouvel_etat_processus).var_volatile_processus_racine = 0;
1.1 bertrand 2879: (*s_nouvel_etat_processus).fichiers_graphiques = NULL;
2880: (*s_nouvel_etat_processus).entree_standard = NULL;
2881: (*s_nouvel_etat_processus).s_marques = NULL;
2882: (*s_nouvel_etat_processus).requete_nouveau_plan = d_vrai;
2883: (*s_nouvel_etat_processus).mise_a_jour_trace_requise = d_faux;
2884: (*s_nouvel_etat_processus).nom_fichier_impression = NULL;
2885: (*s_nouvel_etat_processus).expression_courante = NULL;
2886: (*s_nouvel_etat_processus).objet_courant = NULL;
2887: (*s_nouvel_etat_processus).processus_detache = d_faux;
1.3 bertrand 2888: (*s_nouvel_etat_processus).evaluation_forcee = 'N';
1.1 bertrand 2889:
2890: (*s_nouvel_etat_processus).nombre_objets_envoyes_non_lus = 0;
2891: (*s_nouvel_etat_processus).nombre_objets_injectes = 0;
2892: (*s_nouvel_etat_processus).presence_fusible = d_faux;
2893: (*s_nouvel_etat_processus).thread_fusible = 0;
2894: (*s_nouvel_etat_processus).niveau_initial =
2895: (*s_etat_processus).niveau_courant;
2896: (*s_nouvel_etat_processus).presence_pipes = d_faux;
2897: (*s_nouvel_etat_processus).debug_programme = d_faux;
2898: (*s_nouvel_etat_processus).s_fichiers = NULL;
2899: (*s_nouvel_etat_processus).s_connecteurs_sql = NULL;
2900:
2901: // On réinitialise toutes les interruptions.
2902:
2903: (*s_nouvel_etat_processus).traitement_interruption = 'N';
2904: (*s_nouvel_etat_processus).traitement_interruptible = 'Y';
2905: (*s_nouvel_etat_processus).nombre_interruptions_en_queue = 0;
2906: (*s_nouvel_etat_processus).nombre_interruptions_non_affectees = 0;
2907:
1.14 bertrand 2908: (*s_nouvel_etat_processus).at_exit = NULL;
1.32 bertrand 2909: (*s_nouvel_etat_processus).at_poke = NULL;
2910: (*s_nouvel_etat_processus).traitement_at_poke = 'N';
1.13 bertrand 2911:
1.1 bertrand 2912: for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
2913: {
2914: (*s_nouvel_etat_processus).corps_interruptions[i] = NULL;
2915: (*s_nouvel_etat_processus).masque_interruptions[i] = 'N';
2916: (*s_nouvel_etat_processus).queue_interruptions[i] = 0;
2917: (*s_nouvel_etat_processus).pile_origine_interruptions[i] = NULL;
2918: }
2919:
2920: if ((*s_nouvel_etat_processus).generateur_aleatoire != NULL)
2921: {
1.35 bertrand 2922: if (((*s_nouvel_etat_processus).generateur_aleatoire =
2923: gsl_rng_clone((*s_etat_processus).generateur_aleatoire))
2924: == NULL)
2925: {
2926: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2927: return(NULL);
2928: }
2929:
2930: gsl_rng_set((*s_nouvel_etat_processus).generateur_aleatoire,
2931: gsl_rng_get((*s_etat_processus).generateur_aleatoire));
1.1 bertrand 2932: }
2933:
2934: // Copie de la localisation
2935:
2936: if (((*s_nouvel_etat_processus).localisation = malloc((strlen(
2937: (*s_etat_processus).localisation) + 1) * sizeof(unsigned char)))
2938: == NULL)
2939: {
2940: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2941: return(NULL);
2942: }
2943:
2944: strcpy((*s_nouvel_etat_processus).localisation,
2945: (*s_etat_processus).localisation);
2946:
2947: if ((*s_etat_processus).indep != NULL)
2948: {
2949: if (((*s_nouvel_etat_processus).indep = copie_objet(s_etat_processus,
2950: (*s_etat_processus).indep, 'P')) == NULL)
2951: {
2952: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
2953: {
2954: (*s_etat_processus).erreur_systeme = d_es_processus;
2955: return(NULL);
2956: }
2957:
2958: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2959: return(NULL);
2960: }
2961: }
2962: else
2963: {
2964: (*s_nouvel_etat_processus).indep = NULL;
2965: }
2966:
2967: if ((*s_etat_processus).depend != NULL)
2968: {
2969: if (((*s_nouvel_etat_processus).depend = copie_objet(s_etat_processus,
2970: (*s_etat_processus).depend, 'P')) == NULL)
2971: {
2972: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
2973: {
2974: (*s_etat_processus).erreur_systeme = d_es_processus;
2975: return(NULL);
2976: }
2977:
2978: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2979: return(NULL);
2980: }
2981: }
2982: else
2983: {
2984: (*s_nouvel_etat_processus).depend = NULL;
2985: }
2986:
2987: if ((*s_etat_processus).parametres_courbes_de_niveau != NULL)
2988: {
2989: if (((*s_nouvel_etat_processus).parametres_courbes_de_niveau =
2990: copie_objet(s_etat_processus, (*s_etat_processus)
2991: .parametres_courbes_de_niveau, 'P')) == NULL)
2992: {
2993: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
2994: {
2995: (*s_etat_processus).erreur_systeme = d_es_processus;
2996: return(NULL);
2997: }
2998:
2999: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3000: return(NULL);
3001: }
3002: }
3003: else
3004: {
3005: (*s_nouvel_etat_processus).parametres_courbes_de_niveau = NULL;
3006: }
3007:
3008: (*s_nouvel_etat_processus).instruction_derniere_erreur = NULL;
3009:
3010: if (((*s_etat_processus).instruction_courante != NULL) &&
3011: (*s_etat_processus).evaluation_expression_compilee == 'N')
3012: {
3013: if (((*s_nouvel_etat_processus).instruction_courante = malloc((strlen(
3014: (*s_etat_processus).instruction_courante) + 1) *
3015: sizeof(unsigned char))) == NULL)
3016: {
3017: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3018: {
3019: (*s_etat_processus).erreur_systeme = d_es_processus;
3020: return(NULL);
3021: }
3022:
3023: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3024: return(NULL);
3025: }
3026:
3027: strcpy((*s_nouvel_etat_processus).instruction_courante,
3028: (*s_etat_processus).instruction_courante);
3029: }
3030: else
3031: {
3032: (*s_nouvel_etat_processus).instruction_courante = NULL;
3033: }
3034:
3035: if ((*s_etat_processus).label_x != NULL)
3036: {
3037: if (((*s_nouvel_etat_processus).label_x = malloc((strlen(
3038: (*s_etat_processus).label_x) + 1) *
3039: sizeof(unsigned char))) == NULL)
3040: {
3041: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3042: {
3043: (*s_etat_processus).erreur_systeme = d_es_processus;
3044: return(NULL);
3045: }
3046:
3047: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3048: return(NULL);
3049: }
3050:
3051: strcpy((*s_nouvel_etat_processus).label_x,
3052: (*s_etat_processus).label_x);
3053: }
3054: else
3055: {
3056: (*s_nouvel_etat_processus).label_x = NULL;
3057: }
3058:
3059: if ((*s_etat_processus).label_y != NULL)
3060: {
3061: if (((*s_nouvel_etat_processus).label_y = malloc((strlen(
3062: (*s_etat_processus).label_y) + 1) *
3063: sizeof(unsigned char))) == NULL)
3064: {
3065: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3066: {
3067: (*s_etat_processus).erreur_systeme = d_es_processus;
3068: return(NULL);
3069: }
3070:
3071: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3072: return(NULL);
3073: }
3074:
3075: strcpy((*s_nouvel_etat_processus).label_y,
3076: (*s_etat_processus).label_y);
3077: }
3078: else
3079: {
3080: (*s_nouvel_etat_processus).label_y = NULL;
3081: }
3082:
3083: if ((*s_etat_processus).label_z != NULL)
3084: {
3085: if (((*s_nouvel_etat_processus).label_z = malloc((strlen(
3086: (*s_etat_processus).label_z) + 1) *
3087: sizeof(unsigned char))) == NULL)
3088: {
3089: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3090: {
3091: (*s_etat_processus).erreur_systeme = d_es_processus;
3092: return(NULL);
3093: }
3094:
3095: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3096: return(NULL);
3097: }
3098:
3099: strcpy((*s_nouvel_etat_processus).label_z,
3100: (*s_etat_processus).label_z);
3101: }
3102: else
3103: {
3104: (*s_nouvel_etat_processus).label_z = NULL;
3105: }
3106:
3107: if ((*s_etat_processus).titre != NULL)
3108: {
3109: if (((*s_nouvel_etat_processus).titre = malloc((strlen(
3110: (*s_etat_processus).titre) + 1) *
3111: sizeof(unsigned char))) == NULL)
3112: {
3113: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3114: {
3115: (*s_etat_processus).erreur_systeme = d_es_processus;
3116: return(NULL);
3117: }
3118:
3119: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3120: return(NULL);
3121: }
3122:
3123: strcpy((*s_nouvel_etat_processus).titre,
3124: (*s_etat_processus).titre);
3125: }
3126: else
3127: {
3128: (*s_nouvel_etat_processus).titre = NULL;
3129: }
3130:
3131: if ((*s_etat_processus).legende != NULL)
3132: {
3133: if (((*s_nouvel_etat_processus).legende = malloc((strlen(
3134: (*s_etat_processus).legende) + 1) *
3135: sizeof(unsigned char))) == NULL)
3136: {
3137: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3138: {
3139: (*s_etat_processus).erreur_systeme = d_es_processus;
3140: return(NULL);
3141: }
3142:
3143: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3144: return(NULL);
3145: }
3146:
3147: strcpy((*s_nouvel_etat_processus).legende,
3148: (*s_etat_processus).legende);
3149: }
3150: else
3151: {
3152: (*s_nouvel_etat_processus).legende = NULL;
3153: }
3154:
3155: /*
3156: * Copie de la table des variables
3157: */
3158:
1.89 bertrand 3159: (*s_nouvel_etat_processus).l_liste_variables_statiques = NULL;
1.51 bertrand 3160: copie_arbre_variables(s_etat_processus, s_nouvel_etat_processus);
3161:
3162: if ((*s_nouvel_etat_processus).erreur_systeme != d_es)
1.1 bertrand 3163: {
3164: return(NULL);
3165: }
3166:
1.90 bertrand 3167: (*(*s_nouvel_etat_processus).l_liste_variables_partagees) =
3168: (*(*s_etat_processus).l_liste_variables_partagees);
3169: (*(*s_nouvel_etat_processus).s_arbre_variables_partagees) =
3170: (*(*s_etat_processus).s_arbre_variables_partagees);
3171:
1.1 bertrand 3172: /*
3173: * Copie de la pile opérationnelle
3174: */
3175:
3176: (*s_nouvel_etat_processus).l_base_pile = NULL;
3177: l_element_lecture = (*s_etat_processus).l_base_pile;
3178: l_element_precedent = NULL;
3179:
3180: while(l_element_lecture != NULL)
3181: {
3182: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3183: {
3184: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3185: {
3186: (*s_etat_processus).erreur_systeme = d_es_processus;
3187: return(NULL);
3188: }
3189:
3190: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3191: return(NULL);
3192: }
3193:
3194: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3195: (*l_element_lecture).donnee, 'P')) == NULL)
3196: {
3197: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3198: {
3199: (*s_etat_processus).erreur_systeme = d_es_processus;
3200: return(NULL);
3201: }
3202:
3203: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3204: return(NULL);
3205: }
3206:
3207: (*l_element_suivant).suivant = NULL;
3208:
3209: if ((*s_nouvel_etat_processus).l_base_pile == NULL)
3210: {
3211: (*s_nouvel_etat_processus).l_base_pile = l_element_suivant;
3212: }
3213: else
3214: {
3215: (*l_element_precedent).suivant = l_element_suivant;
3216: }
3217:
3218: l_element_precedent = l_element_suivant;
3219: l_element_lecture = (*l_element_lecture).suivant;
3220: }
3221:
3222: /*
3223: * Copie de la pile système
3224: */
3225:
3226: (*s_nouvel_etat_processus).l_base_pile_systeme = NULL;
3227: (*s_nouvel_etat_processus).hauteur_pile_systeme = 0;
3228:
3229: empilement_pile_systeme(s_nouvel_etat_processus);
3230:
3231: if ((*s_nouvel_etat_processus).erreur_systeme != d_es)
3232: {
3233: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3234: {
3235: (*s_etat_processus).erreur_systeme = d_es_processus;
3236: return(NULL);
3237: }
3238:
3239: (*s_etat_processus).erreur_systeme =
3240: (*s_nouvel_etat_processus).erreur_systeme;
3241: return(NULL);
3242: }
3243:
3244: (*(*s_nouvel_etat_processus).l_base_pile_systeme).retour_definition = 'Y';
3245:
3246: /*
3247: * On empile deux valeurs retour_definition pour pouvoir récupérer
3248: * les variables dans le cas d'un programme compilé.
3249: */
3250:
3251: empilement_pile_systeme(s_nouvel_etat_processus);
3252:
3253: if ((*s_nouvel_etat_processus).erreur_systeme != d_es)
3254: {
3255: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3256: {
3257: (*s_etat_processus).erreur_systeme = d_es_processus;
3258: return(NULL);
3259: }
3260:
3261: (*s_etat_processus).erreur_systeme =
3262: (*s_nouvel_etat_processus).erreur_systeme;
3263: return(NULL);
3264: }
3265:
3266: (*(*s_nouvel_etat_processus).l_base_pile_systeme).retour_definition = 'Y';
3267:
3268: /*
3269: * Destruction de la pile last pour le thread en cours.
3270: */
3271:
3272: (*s_nouvel_etat_processus).l_base_pile_last = NULL;
3273: (*s_nouvel_etat_processus).l_base_pile_processus = NULL;
3274:
3275: /*
3276: * Copie des différents contextes
3277: */
3278:
1.66 bertrand 3279: (*s_nouvel_etat_processus).pointeur_signal_lecture = d_faux;
3280: (*s_nouvel_etat_processus).pointeur_signal_ecriture = d_faux;
3281:
1.1 bertrand 3282: (*s_nouvel_etat_processus).l_base_pile_contextes = NULL;
3283: l_element_lecture = (*s_etat_processus).l_base_pile_contextes;
3284:
3285: while(l_element_lecture != NULL)
3286: {
3287: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3288: {
3289: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3290: {
3291: (*s_etat_processus).erreur_systeme = d_es_processus;
3292: return(NULL);
3293: }
3294:
3295: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3296: return(NULL);
3297: }
3298:
3299: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3300: (*l_element_lecture).donnee, 'P')) == NULL)
3301: {
3302: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3303: {
3304: (*s_etat_processus).erreur_systeme = d_es_processus;
3305: return(NULL);
3306: }
3307:
3308: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3309: return(NULL);
3310: }
3311:
3312: (*l_element_suivant).suivant = NULL;
3313:
3314: if ((*s_nouvel_etat_processus).l_base_pile_contextes == NULL)
3315: {
3316: (*s_nouvel_etat_processus).l_base_pile_contextes =
3317: l_element_suivant;
3318: }
3319: else
3320: {
3321: (*l_element_precedent).suivant = l_element_suivant;
3322: }
3323:
3324: l_element_precedent = l_element_suivant;
3325: l_element_lecture = (*l_element_lecture).suivant;
3326: }
3327:
3328: (*s_nouvel_etat_processus).l_base_pile_taille_contextes = NULL;
3329: l_element_lecture = (*s_etat_processus).l_base_pile_taille_contextes;
3330:
3331: while(l_element_lecture != NULL)
3332: {
3333: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3334: {
3335: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3336: {
3337: (*s_etat_processus).erreur_systeme = d_es_processus;
3338: return(NULL);
3339: }
3340:
3341: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3342: return(NULL);
3343: }
3344:
3345: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3346: (*l_element_lecture).donnee, 'P')) == NULL)
3347: {
3348: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3349: {
3350: (*s_etat_processus).erreur_systeme = d_es_processus;
3351: return(NULL);
3352: }
3353:
3354: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3355: return(NULL);
3356: }
3357:
3358: (*l_element_suivant).suivant = NULL;
3359:
3360: if ((*s_nouvel_etat_processus).l_base_pile_taille_contextes == NULL)
3361: {
3362: (*s_nouvel_etat_processus).l_base_pile_taille_contextes =
3363: l_element_suivant;
3364: }
3365: else
3366: {
3367: (*l_element_precedent).suivant = l_element_suivant;
3368: }
3369:
3370: l_element_precedent = l_element_suivant;
3371: l_element_lecture = (*l_element_lecture).suivant;
3372: }
3373:
3374: /*
3375: * Copies des piles s_sockets, s_bibliotheques et
3376: * s_instructions_externes.
3377: */
3378:
3379: (*s_nouvel_etat_processus).s_sockets = NULL;
3380: l_element_lecture = (*s_etat_processus).s_sockets;
3381:
3382: while(l_element_lecture != NULL)
3383: {
3384: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3385: {
3386: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3387: {
3388: (*s_etat_processus).erreur_systeme = d_es_processus;
3389: return(NULL);
3390: }
3391:
3392: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3393: return(NULL);
3394: }
3395:
3396: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3397: (*l_element_lecture).donnee, 'P')) == NULL)
3398: {
3399: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3400: {
3401: (*s_etat_processus).erreur_systeme = d_es_processus;
3402: return(NULL);
3403: }
3404:
3405: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3406: return(NULL);
3407: }
3408:
3409: (*l_element_suivant).suivant = NULL;
3410:
3411: if ((*s_nouvel_etat_processus).s_sockets == NULL)
3412: {
3413: (*s_nouvel_etat_processus).s_sockets = l_element_suivant;
3414: }
3415: else
3416: {
3417: (*l_element_precedent).suivant = l_element_suivant;
3418: }
3419:
3420: l_element_precedent = l_element_suivant;
3421: l_element_lecture = (*l_element_lecture).suivant;
3422: }
3423:
3424: (*s_nouvel_etat_processus).s_bibliotheques = NULL;
3425: l_element_precedent = NULL;
3426: l_element_lecture = (*s_etat_processus).s_bibliotheques;
3427:
3428: while(l_element_lecture != NULL)
3429: {
3430: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3431: {
3432: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3433: {
3434: (*s_etat_processus).erreur_systeme = d_es_processus;
3435: return(NULL);
3436: }
3437:
3438: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3439: return(NULL);
3440: }
3441:
3442: if (((*l_element_suivant).donnee = malloc(sizeof(struct_bibliotheque)))
3443: == NULL)
3444: {
3445: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3446: return(NULL);
3447: }
3448:
3449: (*((struct_bibliotheque *) (*l_element_suivant).donnee)).descripteur
3450: = (*((struct_bibliotheque *) (*l_element_lecture).donnee))
3451: .descripteur;
3452: (*((struct_bibliotheque *) (*l_element_suivant).donnee)).pid
3453: = (*((struct_bibliotheque *) (*l_element_lecture).donnee)).pid;
3454: (*((struct_bibliotheque *) (*l_element_suivant).donnee)).tid
3455: = (*((struct_bibliotheque *) (*l_element_lecture).donnee)).tid;
3456:
3457: if (((*((struct_bibliotheque *) (*l_element_suivant).donnee)).nom =
3458: malloc((strlen((*((struct_bibliotheque *) (*l_element_lecture)
3459: .donnee)).nom) + 1) * sizeof(unsigned char))) == NULL)
3460: {
3461: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3462: {
3463: (*s_etat_processus).erreur_systeme = d_es_processus;
3464: return(NULL);
3465: }
3466:
3467: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3468: return(NULL);
3469: }
3470:
3471: strcpy((*((struct_bibliotheque *) (*l_element_suivant).donnee)).nom,
3472: (*((struct_bibliotheque *) (*l_element_lecture).donnee)).nom);
3473:
3474: (*l_element_suivant).suivant = NULL;
3475:
3476: if ((*s_nouvel_etat_processus).s_bibliotheques == NULL)
3477: {
3478: (*s_nouvel_etat_processus).s_bibliotheques = l_element_suivant;
3479: }
3480: else
3481: {
3482: (*l_element_precedent).suivant = l_element_suivant;
3483: }
3484:
3485: l_element_precedent = l_element_suivant;
3486: l_element_lecture = (*l_element_lecture).suivant;
3487: }
3488:
3489: if ((*s_etat_processus).nombre_instructions_externes != 0)
3490: {
3491: if (((*s_nouvel_etat_processus).s_instructions_externes =
3492: malloc((*s_etat_processus).nombre_instructions_externes *
3493: sizeof(struct_instruction_externe))) == NULL)
3494: {
3495: (*s_etat_processus).erreur_systeme = d_es_processus;
3496: return(NULL);
3497: }
3498:
3499: for(i = 0; i < (*s_etat_processus).nombre_instructions_externes; i++)
3500: {
3501: if (((*s_nouvel_etat_processus).s_instructions_externes[i].nom =
3502: malloc((strlen((*s_etat_processus).s_instructions_externes
3503: [i].nom) + 1) * sizeof(unsigned char))) == NULL)
3504: {
3505: (*s_etat_processus).erreur_systeme = d_es_processus;
3506: return(NULL);
3507: }
3508:
3509: strcpy((*s_nouvel_etat_processus).s_instructions_externes[i].nom,
3510: (*s_etat_processus).s_instructions_externes[i].nom);
3511:
3512: if (((*s_nouvel_etat_processus).s_instructions_externes[i]
3513: .nom_bibliotheque = malloc((strlen((*s_etat_processus)
3514: .s_instructions_externes[i].nom_bibliotheque) + 1) *
3515: sizeof(unsigned char))) == NULL)
3516: {
3517: (*s_etat_processus).erreur_systeme = d_es_processus;
3518: return(NULL);
3519: }
3520:
3521: strcpy((*s_nouvel_etat_processus).s_instructions_externes[i]
3522: .nom_bibliotheque, (*s_etat_processus)
3523: .s_instructions_externes[i].nom_bibliotheque);
3524:
3525: (*s_nouvel_etat_processus).s_instructions_externes[i]
3526: .descripteur_bibliotheque = (*s_etat_processus)
3527: .s_instructions_externes[i].descripteur_bibliotheque;
3528: }
3529: }
3530: else
3531: {
3532: (*s_nouvel_etat_processus).s_instructions_externes = NULL;
3533: }
3534:
3535: pthread_mutexattr_init(&attributs_mutex);
3536: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
3537: pthread_mutex_init(&((*s_nouvel_etat_processus).mutex), &attributs_mutex);
3538: pthread_mutexattr_destroy(&attributs_mutex);
3539:
1.28 bertrand 3540: pthread_mutexattr_init(&attributs_mutex);
3541: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
3542: pthread_mutex_init(&((*s_nouvel_etat_processus).mutex_allocation),
3543: &attributs_mutex);
3544: pthread_mutexattr_destroy(&attributs_mutex);
3545:
1.1 bertrand 3546: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3547: {
3548: (*s_etat_processus).erreur_systeme = d_es_processus;
3549: return(NULL);
3550: }
3551:
3552: return(s_nouvel_etat_processus);
3553:
3554: #undef return
3555: }
3556:
1.6 bertrand 3557:
3558: /*
3559: ================================================================================
3560: Routines de debug
3561: ================================================================================
3562: entrées :
3563: --------------------------------------------------------------------------------
3564: sorties :
3565: --------------------------------------------------------------------------------
3566: effets de bord : néant
3567: ================================================================================
3568: */
3569:
3570: #ifdef DEBUG_MEMOIRE
3571:
3572: #undef malloc
3573: #undef realloc
3574: #undef free
1.21 bertrand 3575: #undef fork
1.6 bertrand 3576:
3577: #ifdef return
3578: # undef return
3579: #endif
3580:
1.16 bertrand 3581: #ifdef __BACKTRACE
1.21 bertrand 3582: #define PROFONDEUR_PILE 64
1.6 bertrand 3583: #define return(a) { if (a == NULL) \
1.21 bertrand 3584: { BACKTRACE(PROFONDEUR_PILE); \
3585: fprintf(stderr, ">>> MEDITATION %d\n", __LINE__); } \
1.6 bertrand 3586: return(a); } while(0)
1.16 bertrand 3587: #endif
1.6 bertrand 3588:
1.21 bertrand 3589: #undef fprintf
3590: #define check(a, b) ((strcmp(#a, fonction) == 0) && (ligne == b))
3591: #undef CORE_DUMP
3592:
1.6 bertrand 3593: typedef struct memoire
3594: {
3595: void *pointeur;
3596: unsigned char *fonction;
3597: unsigned char *argument;
3598: unsigned long ligne;
3599: size_t taille;
3600: unsigned long long ordre;
1.16 bertrand 3601: # ifdef __BACKTRACE
3602: void *pile[PROFONDEUR_PILE];
3603: int profondeur;
3604: # endif
1.6 bertrand 3605: struct memoire *suivant;
3606: } struct_memoire;
3607:
3608: static struct_memoire *debug = NULL;
3609: static unsigned long long ordre = 0;
1.21 bertrand 3610: static pthread_mutex_t mutex_allocation;
3611:
3612: void
3613: debug_memoire_initialisation()
3614: {
3615: pthread_mutexattr_t attributs_mutex;
3616:
3617: pthread_mutexattr_init(&attributs_mutex);
3618: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
3619: pthread_mutex_init(&mutex_allocation, &attributs_mutex);
3620: pthread_mutexattr_destroy(&attributs_mutex);
1.6 bertrand 3621:
1.21 bertrand 3622: return;
3623: }
1.6 bertrand 3624:
3625: void *
3626: debug_memoire_ajout(size_t taille, const unsigned char *fonction,
3627: unsigned long ligne, const unsigned char *argument)
3628: {
3629: struct_memoire *ancienne_base;
3630:
1.21 bertrand 3631: void *pointeur;
3632:
1.6 bertrand 3633: pthread_mutex_lock(&mutex_allocation);
3634:
3635: ancienne_base = debug;
3636:
3637: if ((debug = malloc(sizeof(struct_memoire))) == NULL)
3638: {
3639: pthread_mutex_unlock(&mutex_allocation);
3640: return(NULL);
3641: }
3642:
3643: if (((*debug).pointeur = malloc(taille)) == NULL)
3644: {
3645: pthread_mutex_unlock(&mutex_allocation);
3646: return(NULL);
3647: }
3648:
3649: (*debug).suivant = ancienne_base;
3650: (*debug).ligne = ligne;
3651: (*debug).taille = taille;
3652: (*debug).ordre = ordre;
1.16 bertrand 3653:
1.21 bertrand 3654: pointeur = (*debug).pointeur;
3655:
1.16 bertrand 3656: # ifdef __BACKTRACE
3657: (*debug).profondeur = backtrace((*debug).pile, PROFONDEUR_PILE);
3658: # endif
1.6 bertrand 3659:
3660: if (((*debug).fonction = malloc((strlen(fonction) + 1) *
3661: sizeof(unsigned char))) == NULL)
3662: {
1.18 bertrand 3663: pthread_mutex_unlock(&mutex_allocation);
1.6 bertrand 3664: return(NULL);
3665: }
3666:
3667: if (((*debug).argument = malloc((strlen(argument) + 1) *
3668: sizeof(unsigned char))) == NULL)
3669: {
1.18 bertrand 3670: pthread_mutex_unlock(&mutex_allocation);
1.6 bertrand 3671: return(NULL);
3672: }
3673:
3674: strcpy((*debug).fonction, fonction);
3675: strcpy((*debug).argument, argument);
3676:
1.21 bertrand 3677: memset((*debug).pointeur, 0, (*debug).taille);
3678:
1.18 bertrand 3679: pthread_mutex_unlock(&mutex_allocation);
1.6 bertrand 3680: ordre++;
3681:
1.21 bertrand 3682: return(pointeur);
1.6 bertrand 3683: }
3684:
3685: void *
3686: debug_memoire_modification(void *pointeur, size_t taille,
3687: const unsigned char *fonction, unsigned long ligne,
3688: const unsigned char *argument)
3689: {
3690: struct_memoire *element_courant;
3691:
3692: if (pointeur != NULL)
3693: {
3694: if (taille == 0)
3695: {
1.21 bertrand 3696: // Revient à free(). Il n'y a pas de parenthèses car on ne veut
3697: // pas utiliser la macro return().
3698:
1.6 bertrand 3699: debug_memoire_retrait(pointeur);
1.21 bertrand 3700: return NULL ;
1.6 bertrand 3701: }
3702: else
3703: {
3704: // Réallocation réelle
3705:
3706: pthread_mutex_lock(&mutex_allocation);
3707:
3708: element_courant = debug;
3709:
3710: while(element_courant != NULL)
3711: {
3712: if ((*element_courant).pointeur == pointeur)
3713: {
3714: break;
3715: }
3716:
3717: element_courant = (*element_courant).suivant;
3718: }
3719:
3720: if (element_courant == NULL)
3721: {
3722: pthread_mutex_unlock(&mutex_allocation);
1.21 bertrand 3723:
1.26 bertrand 3724: uprintf("[%d-%llu] ILLEGAL POINTER (realloc)\n",
1.21 bertrand 3725: getpid(), (unsigned long long) pthread_self());
3726: # ifdef __BACKTRACE
3727: BACKTRACE(PROFONDEUR_PILE);
3728: # endif
3729:
3730: return(realloc(pointeur, taille));
1.6 bertrand 3731: }
1.21 bertrand 3732: else
1.6 bertrand 3733: {
1.21 bertrand 3734: if (((*element_courant).pointeur = realloc(pointeur, taille))
3735: == NULL)
3736: {
3737: pthread_mutex_unlock(&mutex_allocation);
3738: return(NULL);
3739: }
1.6 bertrand 3740:
1.21 bertrand 3741: (*element_courant).ligne = ligne;
3742: (*element_courant).taille = taille;
3743: free((*element_courant).fonction);
3744: free((*element_courant).argument);
1.6 bertrand 3745:
1.21 bertrand 3746: if (((*element_courant).fonction = malloc((strlen(fonction)
3747: + 1) * sizeof(unsigned char))) == NULL)
3748: {
3749: pthread_mutex_unlock(&mutex_allocation);
3750: return(NULL);
3751: }
1.6 bertrand 3752:
1.21 bertrand 3753: if (((*element_courant).argument = malloc((strlen(argument)
3754: + 1) * sizeof(unsigned char))) == NULL)
3755: {
3756: pthread_mutex_unlock(&mutex_allocation);
3757: return(NULL);
3758: }
1.6 bertrand 3759:
1.21 bertrand 3760: strcpy((*element_courant).fonction, fonction);
3761: strcpy((*element_courant).argument, argument);
1.6 bertrand 3762:
1.21 bertrand 3763: pthread_mutex_unlock(&mutex_allocation);
1.18 bertrand 3764:
1.21 bertrand 3765: return((*element_courant).pointeur);
3766: }
1.6 bertrand 3767: }
3768: }
3769: else
3770: {
3771: // Revient à malloc()
3772: pointeur = debug_memoire_ajout(taille, fonction, ligne, argument);
3773: return(pointeur);
3774: }
3775: }
3776:
3777: void
3778: debug_memoire_retrait(void *pointeur)
3779: {
3780: struct_memoire *element_courant;
3781: struct_memoire *element_precedent;
3782:
3783: pthread_mutex_lock(&mutex_allocation);
3784:
3785: element_courant = debug;
3786: element_precedent = NULL;
3787:
3788: while(element_courant != NULL)
3789: {
3790: if ((*element_courant).pointeur == pointeur)
3791: {
3792: if (element_precedent == NULL)
3793: {
3794: debug = (*debug).suivant;
3795: }
3796: else
3797: {
3798: (*element_precedent).suivant = (*element_courant).suivant;
3799: }
3800:
1.21 bertrand 3801: if (pointeur != NULL)
3802: {
3803: memset(pointeur, 0, (*element_courant).taille);
3804: }
3805:
1.6 bertrand 3806: free((*element_courant).fonction);
3807: free((*element_courant).argument);
3808: free(element_courant);
3809:
3810: break;
3811: }
3812:
3813: element_precedent = element_courant;
3814: element_courant = (*element_courant).suivant;
3815: }
3816:
3817: pthread_mutex_unlock(&mutex_allocation);
3818:
1.21 bertrand 3819: if (element_courant == NULL)
3820: {
1.26 bertrand 3821: uprintf("[%d-%llu] ILLEGAL POINTER (free)\n",
1.21 bertrand 3822: getpid(), (unsigned long long) pthread_self());
3823: # ifdef __BACKTRACE
3824: BACKTRACE(PROFONDEUR_PILE);
3825: # endif
3826: }
3827:
1.6 bertrand 3828: free(pointeur);
3829: return;
3830: }
3831:
3832: void
1.17 bertrand 3833: debug_memoire_verification()
1.6 bertrand 3834: {
1.16 bertrand 3835: # ifdef __BACKTRACE
3836: char **appels;
3837:
3838: int j;
1.17 bertrand 3839: # endif
1.16 bertrand 3840:
1.6 bertrand 3841: integer8 i;
3842:
3843: struct_memoire *element_courant;
3844: struct_memoire *element_suivant;
3845:
1.17 bertrand 3846: fprintf(stderr, "[%d-%llu] LIST OF MEMORY LEAKS\n",
1.6 bertrand 3847: getpid(), (unsigned long long) pthread_self());
3848:
3849: pthread_mutex_lock(&mutex_allocation);
3850:
3851: element_courant = debug;
3852: i = 1;
3853:
3854: while(element_courant != NULL)
3855: {
1.17 bertrand 3856: fprintf(stderr, "[%d-%llu] MEDITATION %lld (%llu)\n", getpid(),
3857: (unsigned long long) pthread_self(), i,
3858: (*element_courant).ordre);
3859: fprintf(stderr, "[%d-%llu] P: %p, F: %s(), L: %lu, S: %d\n",
3860: getpid(), (unsigned long long) pthread_self(),
3861: (*element_courant).pointeur,
3862: (*element_courant).fonction, (*element_courant).ligne,
3863: (int) (*element_courant).taille);
3864: fprintf(stderr, "[%d-%llu] A: %s\n", getpid(),
3865: (unsigned long long) pthread_self(),
3866: (*element_courant).argument);
1.16 bertrand 3867:
1.18 bertrand 3868: if (strstr((*element_courant).argument, "sizeof(unsigned char)")
3869: != NULL)
3870: {
3871: fprintf(stderr, "[%d-%llu] ", getpid(),
3872: (unsigned long long) pthread_self());
3873: fprintf(stderr, "O: %s\n", (unsigned char *)
3874: (*element_courant).pointeur);
3875: }
3876: else if (strcmp((*element_courant).argument, "sizeof(struct_objet)")
3877: == 0)
3878: {
3879: fprintf(stderr, "[%d-%llu] ", getpid(),
3880: (unsigned long long) pthread_self());
3881: fprintf(stderr, "O: %d\n", (*((struct_objet *)
3882: (*element_courant).pointeur)).type);
3883: }
3884: else if (strcmp((*element_courant).argument,
3885: "sizeof(struct_liste_chainee)") == 0)
3886: {
3887: fprintf(stderr, "[%d-%llu] ", getpid(),
3888: (unsigned long long) pthread_self());
3889: fprintf(stderr, "O: data=%p next=%p\n", (*((struct_liste_chainee *)
3890: (*element_courant).pointeur)).donnee,
3891: (*((struct_liste_chainee *) (*element_courant).pointeur))
3892: .suivant);
3893: }
3894:
1.17 bertrand 3895: # ifdef __BACKTRACE
3896: appels = backtrace_symbols((*element_courant).pile,
3897: (*element_courant).profondeur);
1.16 bertrand 3898:
1.17 bertrand 3899: fprintf(stderr, "[%d-%llu] BACKTRACE\n",
3900: getpid(), (unsigned long long) pthread_self());
1.6 bertrand 3901:
1.17 bertrand 3902: if (appels != NULL)
3903: {
3904: for(j = 0; j < (*element_courant).profondeur; j++)
1.6 bertrand 3905: {
1.17 bertrand 3906: fprintf(stderr, "[%d-%llu] %s\n", getpid(),
3907: (unsigned long long) pthread_self(), appels[j]);
3908: }
1.16 bertrand 3909:
1.17 bertrand 3910: free(appels);
3911: }
3912: # endif
1.16 bertrand 3913:
1.17 bertrand 3914: fprintf(stderr, "\n");
1.16 bertrand 3915:
1.17 bertrand 3916: i++;
1.6 bertrand 3917:
3918: element_suivant = (*element_courant).suivant;
1.17 bertrand 3919:
3920: # ifndef CORE_DUMP
1.6 bertrand 3921: free((*element_courant).fonction);
3922: free((*element_courant).argument);
3923: free(element_courant);
1.17 bertrand 3924: # endif
3925:
1.6 bertrand 3926: element_courant = element_suivant;
3927: }
3928:
3929: pthread_mutex_unlock(&mutex_allocation);
1.21 bertrand 3930: pthread_mutex_destroy(&mutex_allocation);
1.6 bertrand 3931:
3932: fprintf(stderr, "[%d-%llu] END OF LIST\n", getpid(),
3933: (unsigned long long) pthread_self());
3934:
3935: return;
3936: }
3937:
1.21 bertrand 3938: pid_t
3939: debug_fork()
3940: {
3941: pid_t pid;
3942:
3943: pthread_mutex_lock(&mutex_allocation);
3944: pid = fork();
1.18 bertrand 3945:
1.21 bertrand 3946: if (pid == 0)
3947: {
1.66 bertrand 3948: liberation_queue_signaux(s_etat_processus);
3949: creation_queue_signaux(s_etat_processus);
1.37 bertrand 3950:
1.21 bertrand 3951: pthread_mutex_destroy(&mutex_allocation);
3952: debug_memoire_initialisation();
3953: }
3954: else
3955: {
3956: pthread_mutex_unlock(&mutex_allocation);
3957: }
3958:
3959: // Pas de parenthèses pour ne pas remplacer return par sa macro.
3960: return pid;
1.18 bertrand 3961: }
3962:
3963: void
1.17 bertrand 3964: analyse_post_mortem()
3965: {
3966: # ifdef CORE_DUMP
3967: BUG(debug != NULL, uprintf("[%d-%llu] CREATE CORE DUMP FILE FOR "
3968: "POST MORTEM ANALYZE\n", getpid(),
3969: (unsigned long long) pthread_self()));
3970: # endif
3971:
3972: return;
3973: }
3974:
1.6 bertrand 3975: #endif
3976:
1.1 bertrand 3977: // vim: ts=4
CVSweb interface <joel.bertrand@systella.fr>
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to gestion_objets.c CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl / src