1: /*
2: ================================================================================
3: RPL/2 (R) version 4.1.14
4: Copyright (C) 1989-2013 Dr. BERTRAND Joël
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:
23: #include "rpl-conv.h"
24:
25:
26: /*
27: ================================================================================
28: Routines de gestion du nombre d'occurrences comme grandeur atomique
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:
60: void
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:
114: (*s_etat_processus).pointeur_variables_noeud = 0;
115: (*s_etat_processus).pointeur_variables_partagees_noeud = 0;
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;
119: (*s_etat_processus).pointeur_variables_tableau_noeuds_partages = 0;
120:
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:
153: for(i = 0; i < (*s_etat_processus).pointeur_variables_noeud;
154: free((*s_etat_processus).variables_noeud[i++]));
155: for(i = 0; i < (*s_etat_processus).pointeur_variables_partagees_noeud;
156: free((*s_etat_processus).variables_partagees_noeud[i++]));
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++]));
163: for(i = 0; i < (*s_etat_processus)
164: .pointeur_variables_tableau_noeuds_partages;
165: free((*s_etat_processus).variables_tableau_noeuds_partages[i++]));
166:
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: {
248: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
249: return(NULL);
250: }
251: }
252:
253: return(s_maillon);
254: }
255:
256:
257: /*
258: ================================================================================
259: Routine de libération d'un maillon d'un objet (liste, expression...)
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: ================================================================================
291: Entrées : structure sur l'état du processus et objet à allouer
292: --------------------------------------------------------------------------------
293: Sorties : chaine de caractères
294: --------------------------------------------------------------------------------
295: Effets de bord : néant
296: ================================================================================
297: */
298:
299: struct_objet *
300: allocation(struct_processus *s_etat_processus, enum t_type type)
301: {
302: struct_objet *s_objet;
303:
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:
310: if ((*s_etat_processus).pile_objets == NULL)
311: {
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:
318: // Il n'existe aucune structure struct_objet disponible dans le cache.
319:
320: if ((s_objet = malloc(sizeof(struct_objet))) == NULL)
321: {
322: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
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;
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: }
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(integer8))) == NULL)
359: {
360: (*s_etat_processus).erreur_systeme =
361: d_es_allocation_memoire;
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: {
387: (*s_etat_processus).erreur_systeme =
388: d_es_allocation_memoire;
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: {
415: (*s_etat_processus).erreur_systeme =
416: d_es_allocation_memoire;
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: {
429: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
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: {
449: (*s_etat_processus).erreur_systeme =
450: d_es_allocation_memoire;
451: free(s_objet);
452: return(NULL);
453: }
454: }
455:
456: (*((struct_fonction *) (*s_objet).objet)).fonction = NULL;
457: (*((struct_fonction *) (*s_objet).objet)).prediction_saut = NULL;
458: (*((struct_fonction *) (*s_objet).objet)).prediction_execution
459: = d_faux;
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: {
474: (*s_etat_processus).erreur_systeme =
475: d_es_allocation_memoire;
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: {
501: (*s_etat_processus).erreur_systeme =
502: d_es_allocation_memoire;
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: {
526: (*s_etat_processus).erreur_systeme =
527: d_es_allocation_memoire;
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: {
551: (*s_etat_processus).erreur_systeme =
552: d_es_allocation_memoire;
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: {
569: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
570: free(s_objet);
571: return(NULL);
572: }
573:
574: (*((struct_mutex *) (*s_objet).objet)).tid = pthread_self();
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: {
589: (*s_etat_processus).erreur_systeme =
590: d_es_allocation_memoire;
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: {
610: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
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: {
629: (*s_etat_processus).erreur_systeme =
630: d_es_allocation_memoire;
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: {
649: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
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: {
662: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
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: {
674: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
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: {
687: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
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: {
706: (*s_etat_processus).erreur_systeme =
707: d_es_allocation_memoire;
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: {
729: (*s_etat_processus).erreur_systeme =
730: d_es_allocation_memoire;
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: {
753: (*s_etat_processus).erreur_systeme =
754: d_es_allocation_memoire;
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: {
777: (*s_etat_processus).erreur_systeme =
778: d_es_allocation_memoire;
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: integer8 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((*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: {
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);
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:
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));
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 *)
1212: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
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)
1222: .nombre_references < 0, uprintf(
1223: "(*(*((struct_processus_fils"
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 *)
1239: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
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));
1249: pthread_mutex_destroy(&((*(*((struct_processus_fils *)
1250: (*s_objet).objet)).thread).mutex_nombre_references));
1251: free((*((struct_processus_fils *) (*s_objet).objet)).thread);
1252: }
1253:
1254: if (decrementation_atomique(s_objet) > 0)
1255: {
1256: BUG(drapeau == d_vrai, uprintf("(*(*((struct_processus_fils"
1257: " *) (*s_objet).objet)).thread).nombre_references "
1258: "= 0 with nombre_occurrences > 0\n"));
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: {
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:
1332: liberation(s_etat_processus, (*((struct_socket *)
1333: (*s_objet).objet)).format);
1334: return;
1335: }
1336:
1337: liberation(s_etat_processus, (*((struct_socket *)
1338: (*s_objet).objet)).format);
1339:
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[%lld])).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:
1523: if (pthread_mutex_lock(&((*s_etat_processus).mutex_allocation)) != 0)
1524: {
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)
1538: {
1539: pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation));
1540: (*s_etat_processus).erreur_systeme = d_es_processus;
1541: return;
1542: }
1543:
1544: free(s_objet);
1545: }
1546:
1547: if (pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation)) != 0)
1548: {
1549: (*s_etat_processus).erreur_systeme = d_es_processus;
1550: return;
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: integer8 i;
1593: integer8 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: (*((integer8 *) ((*s_nouvel_objet).objet))) =
1645: (*((integer8 *) ((*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 = ((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 = ((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 = ((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);
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:
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 = ((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: malloc(((size_t) ((*((struct_matrice *)
2099: ((*s_objet).objet))).nombre_lignes)) * sizeof(integer8 *));
2100:
2101: if ((*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau
2102: == NULL)
2103: {
2104: free((*s_nouvel_objet).objet);
2105: free(s_nouvel_objet);
2106: return(NULL);
2107: }
2108:
2109: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_colonnes =
2110: (*((struct_matrice *) ((*s_objet).objet))).nombre_colonnes;
2111: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_lignes =
2112: (*((struct_matrice *) ((*s_objet).objet))).nombre_lignes;
2113: (*((struct_matrice *) ((*s_nouvel_objet).objet))).type =
2114: (*((struct_matrice *) ((*s_objet).objet))).type;
2115:
2116: for(i = 0; i < (*((struct_matrice *)
2117: ((*s_objet).objet))).nombre_lignes; i++)
2118: {
2119: if ((((integer8 **) ((*((struct_matrice *)
2120: ((*s_nouvel_objet).objet))).tableau))[i] =
2121: ((integer8 *) malloc(((size_t)
2122: ((*((struct_matrice *) ((*s_objet).objet)))
2123: .nombre_colonnes)) * sizeof(integer8)))) == NULL)
2124: {
2125: for(j = 0; j < i; j++)
2126: {
2127: free(((integer8 **) ((*((struct_matrice *)
2128: ((*s_nouvel_objet).objet))).tableau))[j]);
2129: }
2130:
2131: free((*s_nouvel_objet).objet);
2132: free(s_nouvel_objet);
2133: return(NULL);
2134: }
2135:
2136: for(j = 0; j < (*((struct_matrice *)
2137: ((*s_objet).objet))).nombre_colonnes; j++)
2138: {
2139: ((integer8 **) ((*((struct_matrice *)
2140: ((*s_nouvel_objet).objet))).tableau))[i][j] =
2141: ((integer8 **) ((*((struct_matrice *)
2142: ((*s_objet).objet))).tableau))[i][j];
2143: }
2144: }
2145:
2146: break;
2147: }
2148:
2149: case MCX :
2150: {
2151: if (type != 'O')
2152: {
2153: incrementation_atomique(s_objet);
2154: return(s_objet);
2155: }
2156:
2157: if ((s_nouvel_objet = allocation(s_etat_processus, MCX))
2158: == NULL)
2159: {
2160: return(NULL);
2161: }
2162:
2163: (*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau =
2164: malloc(((size_t) ((*((struct_matrice *)
2165: ((*s_objet).objet))).nombre_lignes))
2166: * sizeof(struct_complexe16 *));
2167:
2168: if ((*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau
2169: == NULL)
2170: {
2171: free((*s_nouvel_objet).objet);
2172: free(s_nouvel_objet);
2173: return(NULL);
2174: }
2175:
2176: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_colonnes =
2177: (*((struct_matrice *) ((*s_objet).objet))).nombre_colonnes;
2178: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_lignes =
2179: (*((struct_matrice *) ((*s_objet).objet))).nombre_lignes;
2180: (*((struct_matrice *) ((*s_nouvel_objet).objet))).type =
2181: (*((struct_matrice *) ((*s_objet).objet))).type;
2182:
2183: for(i = 0; i < (*((struct_matrice *)
2184: ((*s_objet).objet))).nombre_lignes; i++)
2185: {
2186: if ((((struct_complexe16 **) ((*((struct_matrice *)
2187: ((*s_nouvel_objet).objet))).tableau))[i] =
2188: ((struct_complexe16 *) malloc(((size_t)
2189: ((*((struct_matrice *) ((*s_objet).objet)))
2190: .nombre_colonnes)) * sizeof(struct_complexe16))))
2191: == NULL)
2192: {
2193: for(j = 0; j < i; j++)
2194: {
2195: free(((struct_complexe16 **) ((*((struct_matrice *)
2196: ((*s_nouvel_objet).objet))).tableau))[j]);
2197: }
2198:
2199: free((*s_nouvel_objet).objet);
2200: free(s_nouvel_objet);
2201: return(NULL);
2202: }
2203:
2204: for(j = 0; j < (*((struct_matrice *)
2205: ((*s_objet).objet))).nombre_colonnes; j++)
2206: {
2207: ((struct_complexe16 **) ((*((struct_matrice *)
2208: ((*s_nouvel_objet).objet))).tableau))[i][j] =
2209: ((struct_complexe16 **) ((*((struct_matrice *)
2210: ((*s_objet).objet))).tableau))[i][j];
2211: }
2212: }
2213:
2214: break;
2215: }
2216:
2217: case MRL :
2218: {
2219: if (type != 'O')
2220: {
2221: incrementation_atomique(s_objet);
2222: return(s_objet);
2223: }
2224:
2225: if ((s_nouvel_objet = allocation(s_etat_processus, MRL)) == NULL)
2226: {
2227: return(NULL);
2228: }
2229:
2230: (*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau =
2231: malloc(((size_t) ((*((struct_matrice *)
2232: ((*s_objet).objet))).nombre_lignes)) * sizeof(real8 *));
2233:
2234: if ((*((struct_matrice *) ((*s_nouvel_objet).objet))).tableau
2235: == NULL)
2236: {
2237: free((*s_nouvel_objet).objet);
2238: free(s_nouvel_objet);
2239: return(NULL);
2240: }
2241:
2242: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_colonnes =
2243: (*((struct_matrice *) ((*s_objet).objet))).nombre_colonnes;
2244: (*((struct_matrice *) ((*s_nouvel_objet).objet))).nombre_lignes =
2245: (*((struct_matrice *) ((*s_objet).objet))).nombre_lignes;
2246: (*((struct_matrice *) ((*s_nouvel_objet).objet))).type =
2247: (*((struct_matrice *) ((*s_objet).objet))).type;
2248:
2249: for(i = 0; i < (*((struct_matrice *)
2250: ((*s_objet).objet))).nombre_lignes; i++)
2251: {
2252: if ((((real8 **) ((*((struct_matrice *)
2253: ((*s_nouvel_objet).objet))).tableau))[i] =
2254: ((real8 *) malloc(((size_t)
2255: ((*((struct_matrice *) ((*s_objet).objet)))
2256: .nombre_colonnes)) * sizeof(real8)))) == NULL)
2257: {
2258: for(j = 0; j < i; j++)
2259: {
2260: free(((real8 **) ((*((struct_matrice *)
2261: ((*s_nouvel_objet).objet))).tableau))[j]);
2262: }
2263:
2264: free((*s_nouvel_objet).objet);
2265: free(s_nouvel_objet);
2266: return(NULL);
2267: }
2268:
2269: for(j = 0; j < (*((struct_matrice *)
2270: ((*s_objet).objet))).nombre_colonnes; j++)
2271: {
2272: ((real8 **) ((*((struct_matrice *)
2273: ((*s_nouvel_objet).objet))).tableau))[i][j] =
2274: ((real8 **) ((*((struct_matrice *)
2275: ((*s_objet).objet))).tableau))[i][j];
2276: }
2277: }
2278:
2279: break;
2280: }
2281:
2282: case MTX :
2283: {
2284: // La duplication d'un mutex renvoie le même objet.
2285: incrementation_atomique(s_objet);
2286: return(s_objet);
2287: }
2288:
2289: case NOM :
2290: {
2291: if (type != 'O')
2292: {
2293: incrementation_atomique(s_objet);
2294: return(s_objet);
2295: }
2296:
2297: if ((s_nouvel_objet = allocation(s_etat_processus, NOM)) == NULL)
2298: {
2299: return(NULL);
2300: }
2301:
2302: (*((struct_nom *) (*s_nouvel_objet).objet)).nom = malloc((
2303: strlen((*((struct_nom *) (*s_objet).objet)).nom) + 1) *
2304: sizeof(unsigned char));
2305:
2306: if ((*((struct_nom *) (*s_nouvel_objet).objet)).nom == NULL)
2307: {
2308: free((*s_nouvel_objet).objet);
2309: free(s_nouvel_objet);
2310: return(NULL);
2311: }
2312:
2313: strcpy((*((struct_nom *) (*s_nouvel_objet).objet)).nom,
2314: (*((struct_nom *) (*s_objet).objet)).nom);
2315: (*((struct_nom *) (*s_nouvel_objet).objet)).symbole =
2316: (*((struct_nom *) (*s_objet).objet)).symbole;
2317: break;
2318: }
2319:
2320: case NON :
2321: {
2322: if (type != 'O')
2323: {
2324: incrementation_atomique(s_objet);
2325: return(s_objet);
2326: }
2327:
2328: // Un objet de type NON est un objet encapsulé dans une
2329: // structure de type struct_objet. Elle peut très bien contenir
2330: // une donnée, mais c'est à l'utilisateur de la libérer
2331: // explicitement avec un free().
2332:
2333: if ((s_nouvel_objet = allocation(s_etat_processus, NON)) == NULL)
2334: {
2335: return(NULL);
2336: }
2337:
2338: (*s_nouvel_objet).objet = (*s_objet).objet;
2339: break;
2340: }
2341:
2342: case PRC :
2343: {
2344: if (pthread_mutex_lock(&((*(*((struct_processus_fils *)
2345: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
2346: {
2347: return(NULL);
2348: }
2349:
2350: (*(*((struct_processus_fils *) (*s_objet).objet)).thread)
2351: .nombre_references++;
2352:
2353: if (pthread_mutex_unlock(&((*(*((struct_processus_fils *)
2354: (*s_objet).objet)).thread).mutex_nombre_references)) != 0)
2355: {
2356: return(NULL);
2357: }
2358:
2359: if (type != 'O')
2360: {
2361: incrementation_atomique(s_objet);
2362: return(s_objet);
2363: }
2364:
2365: if ((s_nouvel_objet = allocation(s_etat_processus, PRC)) == NULL)
2366: {
2367: return(NULL);
2368: }
2369:
2370: (*((struct_processus_fils *) (*s_nouvel_objet).objet)) =
2371: (*((struct_processus_fils *) (*s_objet).objet));
2372: break;
2373: }
2374:
2375: case REL :
2376: {
2377: if (type != 'O')
2378: {
2379: incrementation_atomique(s_objet);
2380: return(s_objet);
2381: }
2382:
2383: if ((s_nouvel_objet = allocation(s_etat_processus, REL)) == NULL)
2384: {
2385: return(NULL);
2386: }
2387:
2388: (*((real8 *) ((*s_nouvel_objet).objet))) =
2389: (*((real8 *) ((*s_objet).objet)));
2390: break;
2391: }
2392:
2393: case SCK :
2394: {
2395: if (type == 'P')
2396: {
2397: incrementation_atomique(s_objet);
2398:
2399: if (((*((struct_socket *) ((*s_objet).objet)))
2400: .format = copie_objet(s_etat_processus,
2401: (*((struct_socket *) ((*s_objet).objet))).format, 'P'))
2402: == NULL)
2403: {
2404: return(NULL);
2405: }
2406:
2407: return(s_objet);
2408: }
2409:
2410: if ((s_nouvel_objet = allocation(s_etat_processus, SCK)) == NULL)
2411: {
2412: return(NULL);
2413: }
2414:
2415: (*((struct_socket *) ((*s_nouvel_objet).objet))).socket =
2416: (*((struct_socket *) ((*s_objet).objet))).socket;
2417: (*((struct_socket *) ((*s_nouvel_objet).objet))).domaine =
2418: (*((struct_socket *) ((*s_objet).objet))).domaine;
2419: (*((struct_socket *) ((*s_nouvel_objet).objet))).socket_en_ecoute =
2420: (*((struct_socket *) ((*s_objet).objet))).socket_en_ecoute;
2421: (*((struct_socket *) ((*s_nouvel_objet).objet))).socket_connectee =
2422: (*((struct_socket *) ((*s_objet).objet))).socket_connectee;
2423: (*((struct_socket *) ((*s_nouvel_objet).objet))).pid =
2424: (*((struct_socket *) ((*s_objet).objet))).pid;
2425: (*((struct_socket *) ((*s_nouvel_objet).objet))).binaire =
2426: (*((struct_socket *) ((*s_objet).objet))).binaire;
2427: (*((struct_socket *) ((*s_nouvel_objet).objet))).effacement =
2428: (*((struct_socket *) ((*s_objet).objet))).effacement;
2429: (*((struct_socket *) ((*s_nouvel_objet).objet))).protection =
2430: (*((struct_socket *) ((*s_objet).objet))).protection;
2431: (*((struct_socket *) ((*s_nouvel_objet).objet))).localisation =
2432: (*((struct_socket *) ((*s_objet).objet))).localisation;
2433: (*((struct_socket *) ((*s_nouvel_objet).objet))).pid =
2434: (*((struct_socket *) ((*s_objet).objet))).pid;
2435: (*((struct_socket *) ((*s_nouvel_objet).objet))).tid =
2436: (*((struct_socket *) ((*s_objet).objet))).tid;
2437:
2438: if (((*((struct_socket *) ((*s_nouvel_objet).objet))).format =
2439: copie_objet(s_etat_processus, (*((struct_socket *)
2440: ((*s_objet).objet))).format, type)) == NULL)
2441: {
2442: free((*s_nouvel_objet).objet);
2443: free(s_nouvel_objet);
2444: return(NULL);
2445: }
2446:
2447: if (((*((struct_socket *) ((*s_nouvel_objet).objet))).adresse =
2448: (unsigned char *) malloc((strlen((*((struct_socket *)
2449: ((*s_objet).objet))).adresse) + 1) * sizeof(unsigned char)))
2450: == NULL)
2451: {
2452: liberation(s_etat_processus, (*((struct_fichier *)
2453: (*s_nouvel_objet).objet)).format);
2454: free((*s_nouvel_objet).objet);
2455: free(s_nouvel_objet);
2456: return(NULL);
2457: }
2458:
2459: strcpy((*((struct_socket *) ((*s_nouvel_objet).objet)))
2460: .adresse, (*((struct_socket *) ((*s_objet).objet)))
2461: .adresse);
2462:
2463: if (((*((struct_socket *) ((*s_nouvel_objet).objet)))
2464: .adresse_distante = malloc((strlen((*((struct_socket *)
2465: ((*s_objet).objet))).adresse_distante) + 1) *
2466: sizeof(unsigned char))) == NULL)
2467: {
2468: liberation(s_etat_processus, (*((struct_fichier *)
2469: (*s_nouvel_objet).objet)).format);
2470: free((*s_nouvel_objet).objet);
2471: free(s_nouvel_objet);
2472: return(NULL);
2473: }
2474:
2475: strcpy((*((struct_socket *) ((*s_nouvel_objet).objet)))
2476: .adresse_distante, (*((struct_socket *) ((*s_objet).objet)))
2477: .adresse_distante);
2478:
2479: strcpy((*((struct_socket *) ((*s_nouvel_objet).objet))).type,
2480: (*((struct_socket *) ((*s_objet).objet))).type);
2481: break;
2482: }
2483:
2484: case SLB :
2485: {
2486: if (type != 'O')
2487: {
2488: incrementation_atomique(s_objet);
2489: return(s_objet);
2490: }
2491:
2492: if ((s_nouvel_objet = allocation(s_etat_processus, SLB)) == NULL)
2493: {
2494: return(NULL);
2495: }
2496:
2497: if (((*((struct_bibliotheque *) ((*s_nouvel_objet).objet))).nom =
2498: (unsigned char *) malloc((strlen((*((struct_bibliotheque *)
2499: ((*s_objet).objet))).nom) + 1) * sizeof(unsigned char)))
2500: == NULL)
2501: {
2502: free((*s_nouvel_objet).objet);
2503: free(s_nouvel_objet);
2504: return(NULL);
2505: }
2506:
2507: strcpy((*((struct_bibliotheque *) ((*s_nouvel_objet).objet))).nom,
2508: (*((struct_bibliotheque *) ((*s_objet).objet))).nom);
2509:
2510: /*
2511: * C'est objet est non modifiable et est un pointeur
2512: * sur un objet système. Seul la référence est copiée.
2513: */
2514:
2515: (*((struct_bibliotheque *) (*s_nouvel_objet).objet)).descripteur =
2516: (*((struct_bibliotheque *) (*s_objet).objet)).descripteur;
2517: (*((struct_bibliotheque *) (*s_nouvel_objet).objet)).pid =
2518: (*((struct_bibliotheque *) (*s_objet).objet)).pid;
2519: (*((struct_bibliotheque *) (*s_nouvel_objet).objet)).tid =
2520: (*((struct_bibliotheque *) (*s_objet).objet)).tid;
2521: break;
2522: }
2523:
2524: case SPH :
2525: {
2526: if (type != 'O')
2527: {
2528: incrementation_atomique(s_objet);
2529: return(s_objet);
2530: }
2531:
2532: if ((s_nouvel_objet = allocation(s_etat_processus, SPH)) == NULL)
2533: {
2534: return(NULL);
2535: }
2536:
2537: if (((*((struct_semaphore *) (*s_nouvel_objet).objet)).nom =
2538: malloc((strlen((*((struct_semaphore *) (*s_objet).objet))
2539: .nom) + 1) * sizeof(unsigned char))) == NULL)
2540: {
2541: free((*s_nouvel_objet).objet);
2542: free(s_nouvel_objet);
2543: return(NULL);
2544: }
2545:
2546: (*((struct_semaphore *) (*s_nouvel_objet).objet)).semaphore =
2547: (*((struct_semaphore *) (*s_objet).objet)).semaphore;
2548: strcpy((*((struct_semaphore *) (*s_nouvel_objet).objet)).nom,
2549: (*((struct_semaphore *) (*s_objet).objet)).nom);
2550: break;
2551: }
2552:
2553: case SQL :
2554: {
2555: if (type != 'O')
2556: {
2557: incrementation_atomique(s_objet);
2558: return(s_objet);
2559: }
2560:
2561: if ((s_nouvel_objet = allocation(s_etat_processus, SQL)) == NULL)
2562: {
2563: return(NULL);
2564: }
2565:
2566: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).pid =
2567: (*((struct_connecteur_sql *) (*s_objet).objet)).pid;
2568: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).tid =
2569: (*((struct_connecteur_sql *) (*s_objet).objet)).tid;
2570: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).descripteur =
2571: (*((struct_connecteur_sql *) (*s_objet).objet)).descripteur;
2572:
2573: if (((*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).type =
2574: malloc((strlen((*((struct_connecteur_sql *)
2575: (*s_objet).objet)).type) + 1) * sizeof(unsigned char)))
2576: == NULL)
2577: {
2578: free(s_nouvel_objet);
2579: return(NULL);
2580: }
2581:
2582: strcpy((*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).type,
2583: (*((struct_connecteur_sql *) (*s_objet).objet)).type);
2584:
2585: if ((*((struct_connecteur_sql *) (*s_objet).objet)).locale != NULL)
2586: {
2587: if (((*((struct_connecteur_sql *) (*s_nouvel_objet).objet))
2588: .locale = malloc((strlen((*((struct_connecteur_sql *)
2589: (*s_objet).objet)).locale) + 1) *
2590: sizeof(unsigned char))) == NULL)
2591: {
2592: free((*((struct_connecteur_sql *) (*s_nouvel_objet).objet))
2593: .locale);
2594: free(s_nouvel_objet);
2595: return(NULL);
2596: }
2597:
2598: strcpy((*((struct_connecteur_sql *) (*s_nouvel_objet).objet))
2599: .locale, (*((struct_connecteur_sql *)
2600: (*s_objet).objet)).locale);
2601: }
2602: else
2603: {
2604: (*((struct_connecteur_sql *) (*s_nouvel_objet).objet)).locale
2605: = NULL;
2606: }
2607:
2608: break;
2609: }
2610:
2611: case TBL :
2612: {
2613: if (type != 'P')
2614: {
2615: if ((s_nouvel_objet = allocation(s_etat_processus, TBL))
2616: == NULL)
2617: {
2618: return(NULL);
2619: }
2620:
2621: (*((struct_tableau *) (*s_nouvel_objet).objet))
2622: .nombre_elements = (*((struct_tableau *)
2623: (*s_objet).objet)).nombre_elements;
2624:
2625: if (((*((struct_tableau *) (*s_nouvel_objet).objet)).elements =
2626: malloc(((size_t) (*((struct_tableau *)
2627: (*s_objet).objet)).nombre_elements)
2628: * sizeof(struct_objet *))) == NULL)
2629: {
2630: return(NULL);
2631: }
2632:
2633: for(i = 0; i < (*((struct_tableau *) (*s_objet).objet))
2634: .nombre_elements; i++)
2635: {
2636: if (((*((struct_tableau *) (*s_nouvel_objet).objet))
2637: .elements[i] = copie_objet(s_etat_processus,
2638: (*((struct_tableau *) (*s_objet).objet))
2639: .elements[i], type)) == NULL)
2640: {
2641: for(j = 0; j < i; j++)
2642: {
2643: liberation(s_etat_processus, (*((struct_tableau *)
2644: (*s_nouvel_objet).objet)).elements[j]);
2645: }
2646:
2647: free((*((struct_tableau *) (*s_nouvel_objet).objet))
2648: .elements);
2649: free((*s_nouvel_objet).objet);
2650: free(s_nouvel_objet);
2651:
2652: return(NULL);
2653: }
2654: }
2655: }
2656: else
2657: {
2658: incrementation_atomique(s_objet);
2659:
2660: for(i = 0; i < (*((struct_tableau *) (*s_objet).objet))
2661: .nombre_elements; i++)
2662: {
2663: (*((struct_tableau *) (*s_objet).objet)).elements[i] =
2664: copie_objet(s_etat_processus, (*((struct_tableau *)
2665: (*s_objet).objet)).elements[i], 'P');
2666: }
2667:
2668: return(s_objet);
2669: }
2670:
2671: break;
2672: }
2673:
2674: case VIN :
2675: {
2676: if (type != 'O')
2677: {
2678: incrementation_atomique(s_objet);
2679: return(s_objet);
2680: }
2681:
2682: if ((s_nouvel_objet = allocation(s_etat_processus, VIN)) == NULL)
2683: {
2684: return(NULL);
2685: }
2686:
2687: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau =
2688: ((integer8 *) malloc(((size_t)
2689: ((*((struct_vecteur *) ((*s_objet).objet))).taille))
2690: * sizeof(integer8)));
2691:
2692: if ((*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau
2693: == NULL)
2694: {
2695: free((*s_nouvel_objet).objet);
2696: free(s_nouvel_objet);
2697: return(NULL);
2698: }
2699:
2700: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).taille =
2701: (*((struct_vecteur *) ((*s_objet).objet))).taille;
2702: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).type =
2703: (*((struct_vecteur *) ((*s_objet).objet))).type;
2704:
2705: for(i = 0; i < (*((struct_vecteur *) ((*s_objet).objet))).taille;
2706: i++)
2707: {
2708: ((integer8 *) ((*((struct_vecteur *)
2709: ((*s_nouvel_objet).objet))).tableau))[i] =
2710: ((integer8 *) ((*((struct_vecteur *)
2711: ((*s_objet).objet))).tableau))[i];
2712: }
2713:
2714: break;
2715: }
2716:
2717: case VCX :
2718: {
2719: if (type != 'O')
2720: {
2721: incrementation_atomique(s_objet);
2722: return(s_objet);
2723: }
2724:
2725: if ((s_nouvel_objet = allocation(s_etat_processus, VCX)) == NULL)
2726: {
2727: return(NULL);
2728: }
2729:
2730: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau =
2731: ((struct_complexe16 *) malloc(((size_t)
2732: ((*((struct_vecteur *) ((*s_objet).objet))).taille))
2733: * sizeof(struct_complexe16)));
2734:
2735: if ((*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau
2736: == NULL)
2737: {
2738: free((*s_nouvel_objet).objet);
2739: free(s_nouvel_objet);
2740: return(NULL);
2741: }
2742:
2743: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).taille =
2744: (*((struct_vecteur *) ((*s_objet).objet))).taille;
2745: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).type =
2746: (*((struct_vecteur *) ((*s_objet).objet))).type;
2747:
2748: for(i = 0; i < (*((struct_vecteur *) ((*s_objet).objet))).taille;
2749: i++)
2750: {
2751: ((struct_complexe16 *) ((*((struct_vecteur *)
2752: ((*s_nouvel_objet).objet))).tableau))[i] =
2753: ((struct_complexe16 *) ((*((struct_vecteur *)
2754: ((*s_objet).objet))).tableau))[i];
2755: }
2756:
2757: break;
2758: }
2759:
2760: case VRL :
2761: {
2762: if (type != 'O')
2763: {
2764: incrementation_atomique(s_objet);
2765: return(s_objet);
2766: }
2767:
2768: if ((s_nouvel_objet = allocation(s_etat_processus, VRL)) == NULL)
2769: {
2770: return(NULL);
2771: }
2772:
2773: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau =
2774: ((real8 *) malloc(((size_t)
2775: ((*((struct_vecteur *) ((*s_objet).objet))).taille))
2776: * sizeof(real8)));
2777:
2778: if ((*((struct_vecteur *) ((*s_nouvel_objet).objet))).tableau
2779: == NULL)
2780: {
2781: free((*s_nouvel_objet).objet);
2782: free(s_nouvel_objet);
2783: return(NULL);
2784: }
2785:
2786: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).taille =
2787: (*((struct_vecteur *) ((*s_objet).objet))).taille;
2788: (*((struct_vecteur *) ((*s_nouvel_objet).objet))).type =
2789: (*((struct_vecteur *) ((*s_objet).objet))).type;
2790:
2791: for(i = 0; i < (*((struct_vecteur *) ((*s_objet).objet))).taille;
2792: i++)
2793: {
2794: ((real8 *) ((*((struct_vecteur *)
2795: ((*s_nouvel_objet).objet))).tableau))[i] =
2796: ((real8 *) ((*((struct_vecteur *)
2797: ((*s_objet).objet))).tableau))[i];
2798: }
2799:
2800: break;
2801: }
2802:
2803: default :
2804: {
2805: return(NULL);
2806: }
2807: }
2808:
2809: return(s_nouvel_objet);
2810:
2811: #undef return
2812: }
2813:
2814:
2815: /*
2816: ================================================================================
2817: Routine de copie d'une structure de description d'un processus
2818: ================================================================================
2819: Entrées : pointeur sur la structure de description d'un processus
2820: --------------------------------------------------------------------------------
2821: Sorties : structure identique (tous les objets sont copiés)
2822: --------------------------------------------------------------------------------
2823: Effets de bord : néant
2824: ================================================================================
2825: */
2826:
2827: struct_processus *
2828: copie_etat_processus(struct_processus *s_etat_processus)
2829: {
2830: pthread_mutexattr_t attributs_mutex;
2831:
2832: struct_liste_chainee *l_element_lecture;
2833: struct_liste_chainee *l_element_precedent;
2834: struct_liste_chainee *l_element_suivant;
2835:
2836: struct_processus *s_nouvel_etat_processus;
2837:
2838: integer8 i;
2839:
2840: if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
2841: {
2842: (*s_etat_processus).erreur_systeme = d_es_processus;
2843: return(NULL);
2844: }
2845:
2846: if ((s_nouvel_etat_processus = malloc(sizeof(struct_processus))) == NULL)
2847: {
2848: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2849: return(NULL);
2850: }
2851:
2852: (*s_nouvel_etat_processus) = (*s_etat_processus);
2853:
2854: // On réinitialise l'allocateur.
2855:
2856: initialisation_allocateur(s_nouvel_etat_processus);
2857:
2858: /*
2859: * (*s_etat_processus).definition_chainee,
2860: * (*s_etat_processus).nom_fichier_source,
2861: * (*s_etat_processus).nom_fichier_historique et
2862: * (*s_etat_processus).chemin_fichier_temporaires
2863: * n'ont aucune raison de changer.
2864: */
2865:
2866: (*s_nouvel_etat_processus).sections_critiques = 0;
2867: (*s_nouvel_etat_processus).initialisation_scheduler = d_faux;
2868:
2869: // Les sémaphores sont initialisés dans le nouveau thread. Il
2870: // s'agit d'une limitation de l'implantation de l'émulation
2871: // de sem_init().
2872:
2873: initialisation_contexte_cas(s_etat_processus);
2874:
2875: (*s_nouvel_etat_processus).var_volatile_processus_pere = 0;
2876: (*s_nouvel_etat_processus).var_volatile_processus_racine = 0;
2877: (*s_nouvel_etat_processus).fichiers_graphiques = NULL;
2878: (*s_nouvel_etat_processus).entree_standard = NULL;
2879: (*s_nouvel_etat_processus).s_marques = NULL;
2880: (*s_nouvel_etat_processus).requete_nouveau_plan = d_vrai;
2881: (*s_nouvel_etat_processus).mise_a_jour_trace_requise = d_faux;
2882: (*s_nouvel_etat_processus).nom_fichier_impression = NULL;
2883: (*s_nouvel_etat_processus).expression_courante = NULL;
2884: (*s_nouvel_etat_processus).objet_courant = NULL;
2885: (*s_nouvel_etat_processus).processus_detache = d_faux;
2886: (*s_nouvel_etat_processus).evaluation_forcee = 'N';
2887:
2888: (*s_nouvel_etat_processus).nombre_objets_envoyes_non_lus = 0;
2889: (*s_nouvel_etat_processus).nombre_objets_injectes = 0;
2890: (*s_nouvel_etat_processus).presence_fusible = d_faux;
2891: (*s_nouvel_etat_processus).thread_fusible = 0;
2892: (*s_nouvel_etat_processus).niveau_initial =
2893: (*s_etat_processus).niveau_courant;
2894: (*s_nouvel_etat_processus).presence_pipes = d_faux;
2895: (*s_nouvel_etat_processus).debug_programme = d_faux;
2896: (*s_nouvel_etat_processus).s_fichiers = NULL;
2897: (*s_nouvel_etat_processus).s_connecteurs_sql = NULL;
2898:
2899: // On réinitialise toutes les interruptions.
2900:
2901: (*s_nouvel_etat_processus).traitement_interruption = 'N';
2902: (*s_nouvel_etat_processus).traitement_interruptible = 'Y';
2903: (*s_nouvel_etat_processus).nombre_interruptions_en_queue = 0;
2904: (*s_nouvel_etat_processus).nombre_interruptions_non_affectees = 0;
2905:
2906: (*s_nouvel_etat_processus).at_exit = NULL;
2907: (*s_nouvel_etat_processus).at_poke = NULL;
2908: (*s_nouvel_etat_processus).traitement_at_poke = 'N';
2909:
2910: for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
2911: {
2912: (*s_nouvel_etat_processus).corps_interruptions[i] = NULL;
2913: (*s_nouvel_etat_processus).masque_interruptions[i] = 'N';
2914: (*s_nouvel_etat_processus).queue_interruptions[i] = 0;
2915: (*s_nouvel_etat_processus).pile_origine_interruptions[i] = NULL;
2916: }
2917:
2918: if ((*s_nouvel_etat_processus).generateur_aleatoire != NULL)
2919: {
2920: if (((*s_nouvel_etat_processus).generateur_aleatoire =
2921: gsl_rng_clone((*s_etat_processus).generateur_aleatoire))
2922: == NULL)
2923: {
2924: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2925: return(NULL);
2926: }
2927:
2928: gsl_rng_set((*s_nouvel_etat_processus).generateur_aleatoire,
2929: gsl_rng_get((*s_etat_processus).generateur_aleatoire));
2930: }
2931:
2932: // Copie de la localisation
2933:
2934: if (((*s_nouvel_etat_processus).localisation = malloc((strlen(
2935: (*s_etat_processus).localisation) + 1) * sizeof(unsigned char)))
2936: == NULL)
2937: {
2938: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2939: return(NULL);
2940: }
2941:
2942: strcpy((*s_nouvel_etat_processus).localisation,
2943: (*s_etat_processus).localisation);
2944:
2945: if ((*s_etat_processus).indep != NULL)
2946: {
2947: if (((*s_nouvel_etat_processus).indep = copie_objet(s_etat_processus,
2948: (*s_etat_processus).indep, 'P')) == NULL)
2949: {
2950: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
2951: {
2952: (*s_etat_processus).erreur_systeme = d_es_processus;
2953: return(NULL);
2954: }
2955:
2956: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2957: return(NULL);
2958: }
2959: }
2960: else
2961: {
2962: (*s_nouvel_etat_processus).indep = NULL;
2963: }
2964:
2965: if ((*s_etat_processus).depend != NULL)
2966: {
2967: if (((*s_nouvel_etat_processus).depend = copie_objet(s_etat_processus,
2968: (*s_etat_processus).depend, 'P')) == NULL)
2969: {
2970: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
2971: {
2972: (*s_etat_processus).erreur_systeme = d_es_processus;
2973: return(NULL);
2974: }
2975:
2976: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2977: return(NULL);
2978: }
2979: }
2980: else
2981: {
2982: (*s_nouvel_etat_processus).depend = NULL;
2983: }
2984:
2985: if ((*s_etat_processus).parametres_courbes_de_niveau != NULL)
2986: {
2987: if (((*s_nouvel_etat_processus).parametres_courbes_de_niveau =
2988: copie_objet(s_etat_processus, (*s_etat_processus)
2989: .parametres_courbes_de_niveau, 'P')) == NULL)
2990: {
2991: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
2992: {
2993: (*s_etat_processus).erreur_systeme = d_es_processus;
2994: return(NULL);
2995: }
2996:
2997: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2998: return(NULL);
2999: }
3000: }
3001: else
3002: {
3003: (*s_nouvel_etat_processus).parametres_courbes_de_niveau = NULL;
3004: }
3005:
3006: (*s_nouvel_etat_processus).instruction_derniere_erreur = NULL;
3007:
3008: if (((*s_etat_processus).instruction_courante != NULL) &&
3009: (*s_etat_processus).evaluation_expression_compilee == 'N')
3010: {
3011: if (((*s_nouvel_etat_processus).instruction_courante = malloc((strlen(
3012: (*s_etat_processus).instruction_courante) + 1) *
3013: sizeof(unsigned char))) == NULL)
3014: {
3015: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3016: {
3017: (*s_etat_processus).erreur_systeme = d_es_processus;
3018: return(NULL);
3019: }
3020:
3021: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3022: return(NULL);
3023: }
3024:
3025: strcpy((*s_nouvel_etat_processus).instruction_courante,
3026: (*s_etat_processus).instruction_courante);
3027: }
3028: else
3029: {
3030: (*s_nouvel_etat_processus).instruction_courante = NULL;
3031: }
3032:
3033: if ((*s_etat_processus).label_x != NULL)
3034: {
3035: if (((*s_nouvel_etat_processus).label_x = malloc((strlen(
3036: (*s_etat_processus).label_x) + 1) *
3037: sizeof(unsigned char))) == NULL)
3038: {
3039: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3040: {
3041: (*s_etat_processus).erreur_systeme = d_es_processus;
3042: return(NULL);
3043: }
3044:
3045: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3046: return(NULL);
3047: }
3048:
3049: strcpy((*s_nouvel_etat_processus).label_x,
3050: (*s_etat_processus).label_x);
3051: }
3052: else
3053: {
3054: (*s_nouvel_etat_processus).label_x = NULL;
3055: }
3056:
3057: if ((*s_etat_processus).label_y != NULL)
3058: {
3059: if (((*s_nouvel_etat_processus).label_y = malloc((strlen(
3060: (*s_etat_processus).label_y) + 1) *
3061: sizeof(unsigned char))) == NULL)
3062: {
3063: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3064: {
3065: (*s_etat_processus).erreur_systeme = d_es_processus;
3066: return(NULL);
3067: }
3068:
3069: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3070: return(NULL);
3071: }
3072:
3073: strcpy((*s_nouvel_etat_processus).label_y,
3074: (*s_etat_processus).label_y);
3075: }
3076: else
3077: {
3078: (*s_nouvel_etat_processus).label_y = NULL;
3079: }
3080:
3081: if ((*s_etat_processus).label_z != NULL)
3082: {
3083: if (((*s_nouvel_etat_processus).label_z = malloc((strlen(
3084: (*s_etat_processus).label_z) + 1) *
3085: sizeof(unsigned char))) == NULL)
3086: {
3087: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3088: {
3089: (*s_etat_processus).erreur_systeme = d_es_processus;
3090: return(NULL);
3091: }
3092:
3093: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3094: return(NULL);
3095: }
3096:
3097: strcpy((*s_nouvel_etat_processus).label_z,
3098: (*s_etat_processus).label_z);
3099: }
3100: else
3101: {
3102: (*s_nouvel_etat_processus).label_z = NULL;
3103: }
3104:
3105: if ((*s_etat_processus).titre != NULL)
3106: {
3107: if (((*s_nouvel_etat_processus).titre = malloc((strlen(
3108: (*s_etat_processus).titre) + 1) *
3109: sizeof(unsigned char))) == NULL)
3110: {
3111: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3112: {
3113: (*s_etat_processus).erreur_systeme = d_es_processus;
3114: return(NULL);
3115: }
3116:
3117: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3118: return(NULL);
3119: }
3120:
3121: strcpy((*s_nouvel_etat_processus).titre,
3122: (*s_etat_processus).titre);
3123: }
3124: else
3125: {
3126: (*s_nouvel_etat_processus).titre = NULL;
3127: }
3128:
3129: if ((*s_etat_processus).legende != NULL)
3130: {
3131: if (((*s_nouvel_etat_processus).legende = malloc((strlen(
3132: (*s_etat_processus).legende) + 1) *
3133: sizeof(unsigned char))) == NULL)
3134: {
3135: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3136: {
3137: (*s_etat_processus).erreur_systeme = d_es_processus;
3138: return(NULL);
3139: }
3140:
3141: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3142: return(NULL);
3143: }
3144:
3145: strcpy((*s_nouvel_etat_processus).legende,
3146: (*s_etat_processus).legende);
3147: }
3148: else
3149: {
3150: (*s_nouvel_etat_processus).legende = NULL;
3151: }
3152:
3153: /*
3154: * Copie de la table des variables
3155: */
3156:
3157: (*s_nouvel_etat_processus).l_liste_variables_statiques = NULL;
3158: copie_arbre_variables(s_etat_processus, s_nouvel_etat_processus);
3159:
3160: if ((*s_nouvel_etat_processus).erreur_systeme != d_es)
3161: {
3162: return(NULL);
3163: }
3164:
3165: (*(*s_nouvel_etat_processus).l_liste_variables_partagees) =
3166: (*(*s_etat_processus).l_liste_variables_partagees);
3167: (*(*s_nouvel_etat_processus).s_arbre_variables_partagees) =
3168: (*(*s_etat_processus).s_arbre_variables_partagees);
3169:
3170: /*
3171: * Copie de la pile opérationnelle
3172: */
3173:
3174: (*s_nouvel_etat_processus).l_base_pile = NULL;
3175: l_element_lecture = (*s_etat_processus).l_base_pile;
3176: l_element_precedent = NULL;
3177:
3178: while(l_element_lecture != NULL)
3179: {
3180: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3181: {
3182: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3183: {
3184: (*s_etat_processus).erreur_systeme = d_es_processus;
3185: return(NULL);
3186: }
3187:
3188: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3189: return(NULL);
3190: }
3191:
3192: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3193: (*l_element_lecture).donnee, 'P')) == NULL)
3194: {
3195: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3196: {
3197: (*s_etat_processus).erreur_systeme = d_es_processus;
3198: return(NULL);
3199: }
3200:
3201: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3202: return(NULL);
3203: }
3204:
3205: (*l_element_suivant).suivant = NULL;
3206:
3207: if ((*s_nouvel_etat_processus).l_base_pile == NULL)
3208: {
3209: (*s_nouvel_etat_processus).l_base_pile = l_element_suivant;
3210: }
3211: else
3212: {
3213: (*l_element_precedent).suivant = l_element_suivant;
3214: }
3215:
3216: l_element_precedent = l_element_suivant;
3217: l_element_lecture = (*l_element_lecture).suivant;
3218: }
3219:
3220: /*
3221: * Copie de la pile système
3222: */
3223:
3224: (*s_nouvel_etat_processus).l_base_pile_systeme = NULL;
3225: (*s_nouvel_etat_processus).hauteur_pile_systeme = 0;
3226:
3227: empilement_pile_systeme(s_nouvel_etat_processus);
3228:
3229: if ((*s_nouvel_etat_processus).erreur_systeme != d_es)
3230: {
3231: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3232: {
3233: (*s_etat_processus).erreur_systeme = d_es_processus;
3234: return(NULL);
3235: }
3236:
3237: (*s_etat_processus).erreur_systeme =
3238: (*s_nouvel_etat_processus).erreur_systeme;
3239: return(NULL);
3240: }
3241:
3242: (*(*s_nouvel_etat_processus).l_base_pile_systeme).retour_definition = 'Y';
3243:
3244: /*
3245: * On empile deux valeurs retour_definition pour pouvoir récupérer
3246: * les variables dans le cas d'un programme compilé.
3247: */
3248:
3249: empilement_pile_systeme(s_nouvel_etat_processus);
3250:
3251: if ((*s_nouvel_etat_processus).erreur_systeme != d_es)
3252: {
3253: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3254: {
3255: (*s_etat_processus).erreur_systeme = d_es_processus;
3256: return(NULL);
3257: }
3258:
3259: (*s_etat_processus).erreur_systeme =
3260: (*s_nouvel_etat_processus).erreur_systeme;
3261: return(NULL);
3262: }
3263:
3264: (*(*s_nouvel_etat_processus).l_base_pile_systeme).retour_definition = 'Y';
3265:
3266: /*
3267: * Destruction de la pile last pour le thread en cours.
3268: */
3269:
3270: (*s_nouvel_etat_processus).l_base_pile_last = NULL;
3271: (*s_nouvel_etat_processus).l_base_pile_processus = NULL;
3272:
3273: /*
3274: * Copie des différents contextes
3275: */
3276:
3277: (*s_nouvel_etat_processus).pointeur_signal_lecture = d_faux;
3278: (*s_nouvel_etat_processus).pointeur_signal_ecriture = d_faux;
3279:
3280: (*s_nouvel_etat_processus).l_base_pile_contextes = NULL;
3281: l_element_lecture = (*s_etat_processus).l_base_pile_contextes;
3282:
3283: while(l_element_lecture != NULL)
3284: {
3285: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3286: {
3287: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3288: {
3289: (*s_etat_processus).erreur_systeme = d_es_processus;
3290: return(NULL);
3291: }
3292:
3293: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3294: return(NULL);
3295: }
3296:
3297: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3298: (*l_element_lecture).donnee, 'P')) == NULL)
3299: {
3300: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3301: {
3302: (*s_etat_processus).erreur_systeme = d_es_processus;
3303: return(NULL);
3304: }
3305:
3306: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3307: return(NULL);
3308: }
3309:
3310: (*l_element_suivant).suivant = NULL;
3311:
3312: if ((*s_nouvel_etat_processus).l_base_pile_contextes == NULL)
3313: {
3314: (*s_nouvel_etat_processus).l_base_pile_contextes =
3315: l_element_suivant;
3316: }
3317: else
3318: {
3319: (*l_element_precedent).suivant = l_element_suivant;
3320: }
3321:
3322: l_element_precedent = l_element_suivant;
3323: l_element_lecture = (*l_element_lecture).suivant;
3324: }
3325:
3326: (*s_nouvel_etat_processus).l_base_pile_taille_contextes = NULL;
3327: l_element_lecture = (*s_etat_processus).l_base_pile_taille_contextes;
3328:
3329: while(l_element_lecture != NULL)
3330: {
3331: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3332: {
3333: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3334: {
3335: (*s_etat_processus).erreur_systeme = d_es_processus;
3336: return(NULL);
3337: }
3338:
3339: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3340: return(NULL);
3341: }
3342:
3343: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3344: (*l_element_lecture).donnee, 'P')) == NULL)
3345: {
3346: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3347: {
3348: (*s_etat_processus).erreur_systeme = d_es_processus;
3349: return(NULL);
3350: }
3351:
3352: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3353: return(NULL);
3354: }
3355:
3356: (*l_element_suivant).suivant = NULL;
3357:
3358: if ((*s_nouvel_etat_processus).l_base_pile_taille_contextes == NULL)
3359: {
3360: (*s_nouvel_etat_processus).l_base_pile_taille_contextes =
3361: l_element_suivant;
3362: }
3363: else
3364: {
3365: (*l_element_precedent).suivant = l_element_suivant;
3366: }
3367:
3368: l_element_precedent = l_element_suivant;
3369: l_element_lecture = (*l_element_lecture).suivant;
3370: }
3371:
3372: /*
3373: * Copies des piles s_sockets, s_bibliotheques et
3374: * s_instructions_externes.
3375: */
3376:
3377: (*s_nouvel_etat_processus).s_sockets = NULL;
3378: l_element_lecture = (*s_etat_processus).s_sockets;
3379:
3380: while(l_element_lecture != NULL)
3381: {
3382: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3383: {
3384: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3385: {
3386: (*s_etat_processus).erreur_systeme = d_es_processus;
3387: return(NULL);
3388: }
3389:
3390: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3391: return(NULL);
3392: }
3393:
3394: if (((*l_element_suivant).donnee = copie_objet(s_etat_processus,
3395: (*l_element_lecture).donnee, 'P')) == NULL)
3396: {
3397: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3398: {
3399: (*s_etat_processus).erreur_systeme = d_es_processus;
3400: return(NULL);
3401: }
3402:
3403: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3404: return(NULL);
3405: }
3406:
3407: (*l_element_suivant).suivant = NULL;
3408:
3409: if ((*s_nouvel_etat_processus).s_sockets == NULL)
3410: {
3411: (*s_nouvel_etat_processus).s_sockets = l_element_suivant;
3412: }
3413: else
3414: {
3415: (*l_element_precedent).suivant = l_element_suivant;
3416: }
3417:
3418: l_element_precedent = l_element_suivant;
3419: l_element_lecture = (*l_element_lecture).suivant;
3420: }
3421:
3422: (*s_nouvel_etat_processus).s_bibliotheques = NULL;
3423: l_element_precedent = NULL;
3424: l_element_lecture = (*s_etat_processus).s_bibliotheques;
3425:
3426: while(l_element_lecture != NULL)
3427: {
3428: if ((l_element_suivant = malloc(sizeof(struct_liste_chainee))) == NULL)
3429: {
3430: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3431: {
3432: (*s_etat_processus).erreur_systeme = d_es_processus;
3433: return(NULL);
3434: }
3435:
3436: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3437: return(NULL);
3438: }
3439:
3440: if (((*l_element_suivant).donnee = malloc(sizeof(struct_bibliotheque)))
3441: == NULL)
3442: {
3443: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3444: return(NULL);
3445: }
3446:
3447: (*((struct_bibliotheque *) (*l_element_suivant).donnee)).descripteur
3448: = (*((struct_bibliotheque *) (*l_element_lecture).donnee))
3449: .descripteur;
3450: (*((struct_bibliotheque *) (*l_element_suivant).donnee)).pid
3451: = (*((struct_bibliotheque *) (*l_element_lecture).donnee)).pid;
3452: (*((struct_bibliotheque *) (*l_element_suivant).donnee)).tid
3453: = (*((struct_bibliotheque *) (*l_element_lecture).donnee)).tid;
3454:
3455: if (((*((struct_bibliotheque *) (*l_element_suivant).donnee)).nom =
3456: malloc((strlen((*((struct_bibliotheque *) (*l_element_lecture)
3457: .donnee)).nom) + 1) * sizeof(unsigned char))) == NULL)
3458: {
3459: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3460: {
3461: (*s_etat_processus).erreur_systeme = d_es_processus;
3462: return(NULL);
3463: }
3464:
3465: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3466: return(NULL);
3467: }
3468:
3469: strcpy((*((struct_bibliotheque *) (*l_element_suivant).donnee)).nom,
3470: (*((struct_bibliotheque *) (*l_element_lecture).donnee)).nom);
3471:
3472: (*l_element_suivant).suivant = NULL;
3473:
3474: if ((*s_nouvel_etat_processus).s_bibliotheques == NULL)
3475: {
3476: (*s_nouvel_etat_processus).s_bibliotheques = l_element_suivant;
3477: }
3478: else
3479: {
3480: (*l_element_precedent).suivant = l_element_suivant;
3481: }
3482:
3483: l_element_precedent = l_element_suivant;
3484: l_element_lecture = (*l_element_lecture).suivant;
3485: }
3486:
3487: if ((*s_etat_processus).nombre_instructions_externes != 0)
3488: {
3489: if (((*s_nouvel_etat_processus).s_instructions_externes =
3490: malloc(((size_t) (*s_etat_processus)
3491: .nombre_instructions_externes) *
3492: sizeof(struct_instruction_externe))) == NULL)
3493: {
3494: (*s_etat_processus).erreur_systeme = d_es_processus;
3495: return(NULL);
3496: }
3497:
3498: for(i = 0; i < (*s_etat_processus).nombre_instructions_externes; i++)
3499: {
3500: if (((*s_nouvel_etat_processus).s_instructions_externes[i].nom =
3501: malloc((strlen((*s_etat_processus).s_instructions_externes
3502: [i].nom) + 1) * sizeof(unsigned char))) == NULL)
3503: {
3504: (*s_etat_processus).erreur_systeme = d_es_processus;
3505: return(NULL);
3506: }
3507:
3508: strcpy((*s_nouvel_etat_processus).s_instructions_externes[i].nom,
3509: (*s_etat_processus).s_instructions_externes[i].nom);
3510:
3511: if (((*s_nouvel_etat_processus).s_instructions_externes[i]
3512: .nom_bibliotheque = malloc((strlen((*s_etat_processus)
3513: .s_instructions_externes[i].nom_bibliotheque) + 1) *
3514: sizeof(unsigned char))) == NULL)
3515: {
3516: (*s_etat_processus).erreur_systeme = d_es_processus;
3517: return(NULL);
3518: }
3519:
3520: strcpy((*s_nouvel_etat_processus).s_instructions_externes[i]
3521: .nom_bibliotheque, (*s_etat_processus)
3522: .s_instructions_externes[i].nom_bibliotheque);
3523:
3524: (*s_nouvel_etat_processus).s_instructions_externes[i]
3525: .descripteur_bibliotheque = (*s_etat_processus)
3526: .s_instructions_externes[i].descripteur_bibliotheque;
3527: }
3528: }
3529: else
3530: {
3531: (*s_nouvel_etat_processus).s_instructions_externes = NULL;
3532: }
3533:
3534: pthread_mutexattr_init(&attributs_mutex);
3535: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
3536: pthread_mutex_init(&((*s_nouvel_etat_processus).mutex), &attributs_mutex);
3537: pthread_mutexattr_destroy(&attributs_mutex);
3538:
3539: pthread_mutexattr_init(&attributs_mutex);
3540: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
3541: pthread_mutex_init(&((*s_nouvel_etat_processus).mutex_allocation),
3542: &attributs_mutex);
3543: pthread_mutexattr_destroy(&attributs_mutex);
3544:
3545: if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
3546: {
3547: (*s_etat_processus).erreur_systeme = d_es_processus;
3548: return(NULL);
3549: }
3550:
3551: return(s_nouvel_etat_processus);
3552:
3553: #undef return
3554: }
3555:
3556:
3557: /*
3558: ================================================================================
3559: Routines de debug
3560: ================================================================================
3561: entrées :
3562: --------------------------------------------------------------------------------
3563: sorties :
3564: --------------------------------------------------------------------------------
3565: effets de bord : néant
3566: ================================================================================
3567: */
3568:
3569: #ifdef DEBUG_MEMOIRE
3570:
3571: #undef malloc
3572: #undef realloc
3573: #undef free
3574: #undef fork
3575:
3576: #ifdef return
3577: # undef return
3578: #endif
3579:
3580: #ifdef __BACKTRACE
3581: #define PROFONDEUR_PILE 64
3582: #define return(a) { if (a == NULL) \
3583: { BACKTRACE(PROFONDEUR_PILE); \
3584: fprintf(stderr, ">>> MEDITATION %d\n", __LINE__); } \
3585: return(a); } while(0)
3586: #endif
3587:
3588: #undef fprintf
3589: #define check(a, b) ((strcmp(#a, fonction) == 0) && (ligne == b))
3590: #undef CORE_DUMP
3591:
3592: typedef struct memoire
3593: {
3594: void *pointeur;
3595: unsigned char *fonction;
3596: unsigned char *argument;
3597: unsigned long ligne;
3598: size_t taille;
3599: unsigned long long ordre;
3600: # ifdef __BACKTRACE
3601: void *pile[PROFONDEUR_PILE];
3602: int profondeur;
3603: # endif
3604: struct memoire *suivant;
3605: } struct_memoire;
3606:
3607: static struct_memoire *debug = NULL;
3608: static unsigned long long ordre = 0;
3609: static pthread_mutex_t mutex_allocation;
3610:
3611: void
3612: debug_memoire_initialisation()
3613: {
3614: pthread_mutexattr_t attributs_mutex;
3615:
3616: pthread_mutexattr_init(&attributs_mutex);
3617: pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
3618: pthread_mutex_init(&mutex_allocation, &attributs_mutex);
3619: pthread_mutexattr_destroy(&attributs_mutex);
3620:
3621: return;
3622: }
3623:
3624: void *
3625: debug_memoire_ajout(size_t taille, const unsigned char *fonction,
3626: unsigned long ligne, const unsigned char *argument)
3627: {
3628: struct_memoire *ancienne_base;
3629:
3630: void *pointeur;
3631:
3632: pthread_mutex_lock(&mutex_allocation);
3633:
3634: ancienne_base = debug;
3635:
3636: if ((debug = malloc(sizeof(struct_memoire))) == NULL)
3637: {
3638: pthread_mutex_unlock(&mutex_allocation);
3639: return(NULL);
3640: }
3641:
3642: if (((*debug).pointeur = malloc(taille)) == NULL)
3643: {
3644: pthread_mutex_unlock(&mutex_allocation);
3645: return(NULL);
3646: }
3647:
3648: (*debug).suivant = ancienne_base;
3649: (*debug).ligne = ligne;
3650: (*debug).taille = taille;
3651: (*debug).ordre = ordre;
3652:
3653: pointeur = (*debug).pointeur;
3654:
3655: # ifdef __BACKTRACE
3656: (*debug).profondeur = backtrace((*debug).pile, PROFONDEUR_PILE);
3657: # endif
3658:
3659: if (((*debug).fonction = malloc((strlen(fonction) + 1) *
3660: sizeof(unsigned char))) == NULL)
3661: {
3662: pthread_mutex_unlock(&mutex_allocation);
3663: return(NULL);
3664: }
3665:
3666: if (((*debug).argument = malloc((strlen(argument) + 1) *
3667: sizeof(unsigned char))) == NULL)
3668: {
3669: pthread_mutex_unlock(&mutex_allocation);
3670: return(NULL);
3671: }
3672:
3673: strcpy((*debug).fonction, fonction);
3674: strcpy((*debug).argument, argument);
3675:
3676: memset((*debug).pointeur, 0, (*debug).taille);
3677:
3678: pthread_mutex_unlock(&mutex_allocation);
3679: ordre++;
3680:
3681: return(pointeur);
3682: }
3683:
3684: void *
3685: debug_memoire_modification(void *pointeur, size_t taille,
3686: const unsigned char *fonction, unsigned long ligne,
3687: const unsigned char *argument)
3688: {
3689: struct_memoire *element_courant;
3690:
3691: if (pointeur != NULL)
3692: {
3693: if (taille == 0)
3694: {
3695: // Revient à free(). Il n'y a pas de parenthèses car on ne veut
3696: // pas utiliser la macro return().
3697:
3698: debug_memoire_retrait(pointeur);
3699: return NULL ;
3700: }
3701: else
3702: {
3703: // Réallocation réelle
3704:
3705: pthread_mutex_lock(&mutex_allocation);
3706:
3707: element_courant = debug;
3708:
3709: while(element_courant != NULL)
3710: {
3711: if ((*element_courant).pointeur == pointeur)
3712: {
3713: break;
3714: }
3715:
3716: element_courant = (*element_courant).suivant;
3717: }
3718:
3719: if (element_courant == NULL)
3720: {
3721: pthread_mutex_unlock(&mutex_allocation);
3722:
3723: uprintf("[%d-%llu] ILLEGAL POINTER (realloc)\n",
3724: getpid(), (unsigned long long) pthread_self());
3725: # ifdef __BACKTRACE
3726: BACKTRACE(PROFONDEUR_PILE);
3727: # endif
3728:
3729: return(realloc(pointeur, taille));
3730: }
3731: else
3732: {
3733: if (((*element_courant).pointeur = realloc(pointeur, taille))
3734: == NULL)
3735: {
3736: pthread_mutex_unlock(&mutex_allocation);
3737: return(NULL);
3738: }
3739:
3740: (*element_courant).ligne = ligne;
3741: (*element_courant).taille = taille;
3742: free((*element_courant).fonction);
3743: free((*element_courant).argument);
3744:
3745: if (((*element_courant).fonction = malloc((strlen(fonction)
3746: + 1) * sizeof(unsigned char))) == NULL)
3747: {
3748: pthread_mutex_unlock(&mutex_allocation);
3749: return(NULL);
3750: }
3751:
3752: if (((*element_courant).argument = malloc((strlen(argument)
3753: + 1) * sizeof(unsigned char))) == NULL)
3754: {
3755: pthread_mutex_unlock(&mutex_allocation);
3756: return(NULL);
3757: }
3758:
3759: strcpy((*element_courant).fonction, fonction);
3760: strcpy((*element_courant).argument, argument);
3761:
3762: pthread_mutex_unlock(&mutex_allocation);
3763:
3764: return((*element_courant).pointeur);
3765: }
3766: }
3767: }
3768: else
3769: {
3770: // Revient à malloc()
3771: pointeur = debug_memoire_ajout(taille, fonction, ligne, argument);
3772: return(pointeur);
3773: }
3774: }
3775:
3776: void
3777: debug_memoire_retrait(void *pointeur)
3778: {
3779: struct_memoire *element_courant;
3780: struct_memoire *element_precedent;
3781:
3782: pthread_mutex_lock(&mutex_allocation);
3783:
3784: element_courant = debug;
3785: element_precedent = NULL;
3786:
3787: while(element_courant != NULL)
3788: {
3789: if ((*element_courant).pointeur == pointeur)
3790: {
3791: if (element_precedent == NULL)
3792: {
3793: debug = (*debug).suivant;
3794: }
3795: else
3796: {
3797: (*element_precedent).suivant = (*element_courant).suivant;
3798: }
3799:
3800: if (pointeur != NULL)
3801: {
3802: memset(pointeur, 0, (*element_courant).taille);
3803: }
3804:
3805: free((*element_courant).fonction);
3806: free((*element_courant).argument);
3807: free(element_courant);
3808:
3809: break;
3810: }
3811:
3812: element_precedent = element_courant;
3813: element_courant = (*element_courant).suivant;
3814: }
3815:
3816: pthread_mutex_unlock(&mutex_allocation);
3817:
3818: if (element_courant == NULL)
3819: {
3820: uprintf("[%d-%llu] ILLEGAL POINTER (free)\n",
3821: getpid(), (unsigned long long) pthread_self());
3822: # ifdef __BACKTRACE
3823: BACKTRACE(PROFONDEUR_PILE);
3824: # endif
3825: }
3826:
3827: free(pointeur);
3828: return;
3829: }
3830:
3831: void
3832: debug_memoire_verification()
3833: {
3834: # ifdef __BACKTRACE
3835: char **appels;
3836:
3837: int j;
3838: # endif
3839:
3840: integer8 i;
3841:
3842: struct_memoire *element_courant;
3843: struct_memoire *element_suivant;
3844:
3845: fprintf(stderr, "[%d-%llu] LIST OF MEMORY LEAKS\n",
3846: getpid(), (unsigned long long) pthread_self());
3847:
3848: pthread_mutex_lock(&mutex_allocation);
3849:
3850: element_courant = debug;
3851: i = 1;
3852:
3853: while(element_courant != NULL)
3854: {
3855: fprintf(stderr, "[%d-%llu] MEDITATION %lld (%llu)\n", getpid(),
3856: (unsigned long long) pthread_self(), i,
3857: (*element_courant).ordre);
3858: fprintf(stderr, "[%d-%llu] P: %p, F: %s(), L: %lu, S: %d\n",
3859: getpid(), (unsigned long long) pthread_self(),
3860: (*element_courant).pointeur,
3861: (*element_courant).fonction, (*element_courant).ligne,
3862: (int) (*element_courant).taille);
3863: fprintf(stderr, "[%d-%llu] A: %s\n", getpid(),
3864: (unsigned long long) pthread_self(),
3865: (*element_courant).argument);
3866:
3867: if (strstr((*element_courant).argument, "sizeof(unsigned char)")
3868: != NULL)
3869: {
3870: fprintf(stderr, "[%d-%llu] ", getpid(),
3871: (unsigned long long) pthread_self());
3872: fprintf(stderr, "O: %s\n", (unsigned char *)
3873: (*element_courant).pointeur);
3874: }
3875: else if (strcmp((*element_courant).argument, "sizeof(struct_objet)")
3876: == 0)
3877: {
3878: fprintf(stderr, "[%d-%llu] ", getpid(),
3879: (unsigned long long) pthread_self());
3880: fprintf(stderr, "O: %d\n", (*((struct_objet *)
3881: (*element_courant).pointeur)).type);
3882: }
3883: else if (strcmp((*element_courant).argument,
3884: "sizeof(struct_liste_chainee)") == 0)
3885: {
3886: fprintf(stderr, "[%d-%llu] ", getpid(),
3887: (unsigned long long) pthread_self());
3888: fprintf(stderr, "O: data=%p next=%p\n", (*((struct_liste_chainee *)
3889: (*element_courant).pointeur)).donnee,
3890: (*((struct_liste_chainee *) (*element_courant).pointeur))
3891: .suivant);
3892: }
3893:
3894: # ifdef __BACKTRACE
3895: appels = backtrace_symbols((*element_courant).pile,
3896: (*element_courant).profondeur);
3897:
3898: fprintf(stderr, "[%d-%llu] BACKTRACE\n",
3899: getpid(), (unsigned long long) pthread_self());
3900:
3901: if (appels != NULL)
3902: {
3903: for(j = 0; j < (*element_courant).profondeur; j++)
3904: {
3905: fprintf(stderr, "[%d-%llu] %s\n", getpid(),
3906: (unsigned long long) pthread_self(), appels[j]);
3907: }
3908:
3909: free(appels);
3910: }
3911: # endif
3912:
3913: fprintf(stderr, "\n");
3914:
3915: i++;
3916:
3917: element_suivant = (*element_courant).suivant;
3918:
3919: # ifndef CORE_DUMP
3920: free((*element_courant).fonction);
3921: free((*element_courant).argument);
3922: free(element_courant);
3923: # endif
3924:
3925: element_courant = element_suivant;
3926: }
3927:
3928: pthread_mutex_unlock(&mutex_allocation);
3929: pthread_mutex_destroy(&mutex_allocation);
3930:
3931: fprintf(stderr, "[%d-%llu] END OF LIST\n", getpid(),
3932: (unsigned long long) pthread_self());
3933:
3934: return;
3935: }
3936:
3937: pid_t
3938: debug_fork()
3939: {
3940: pid_t pid;
3941:
3942: pthread_mutex_lock(&mutex_allocation);
3943: pid = fork();
3944:
3945: if (pid == 0)
3946: {
3947: liberation_queue_signaux(s_etat_processus);
3948: creation_queue_signaux(s_etat_processus);
3949:
3950: pthread_mutex_destroy(&mutex_allocation);
3951: debug_memoire_initialisation();
3952: }
3953: else
3954: {
3955: pthread_mutex_unlock(&mutex_allocation);
3956: }
3957:
3958: // Pas de parenthèses pour ne pas remplacer return par sa macro.
3959: return pid;
3960: }
3961:
3962: void
3963: analyse_post_mortem()
3964: {
3965: # ifdef CORE_DUMP
3966: BUG(debug != NULL, uprintf("[%d-%llu] CREATE CORE DUMP FILE FOR "
3967: "POST MORTEM ANALYZE\n", getpid(),
3968: (unsigned long long) pthread_self()));
3969: # endif
3970:
3971: return;
3972: }
3973:
3974: #endif
3975:
3976: // vim: ts=4
CVSweb interface <joel.bertrand@systella.fr>