Annotation of rpl/src/interruptions.c, revision 1.143
1.1 bertrand 1: /*
2: ================================================================================
1.142 bertrand 3: RPL/2 (R) version 4.1.18
1.139 bertrand 4: Copyright (C) 1989-2014 Dr. BERTRAND Joël
1.1 bertrand 5:
6: This file is part of RPL/2.
7:
8: RPL/2 is free software; you can redistribute it and/or modify it
9: under the terms of the CeCILL V2 License as published by the french
10: CEA, CNRS and INRIA.
11:
12: RPL/2 is distributed in the hope that it will be useful, but WITHOUT
13: ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14: FITNESS FOR A PARTICULAR PURPOSE. See the CeCILL V2 License
15: for more details.
16:
17: You should have received a copy of the CeCILL License
18: along with RPL/2. If not, write to info@cecill.info.
19: ================================================================================
20: */
21:
22:
1.27 bertrand 23: #include "rpl-conv.h"
1.1 bertrand 24:
25:
26: /*
27: ================================================================================
28: Procédures de gestion par thread des variables issues des gestionnaires
29: de signaux
30: ================================================================================
31: Entrée : variable globale
32: --------------------------------------------------------------------------------
33: Sortie : variable globale modifiée
34: --------------------------------------------------------------------------------
35: Effets de bord : néant
36: ================================================================================
37: */
38:
39: typedef struct thread
40: {
41: pid_t pid;
42: pthread_t tid;
43:
44: logical1 thread_principal;
45:
46: struct_processus *s_etat_processus;
47: } struct_thread;
48:
49: typedef struct liste_chainee_volatile
50: {
51: volatile struct liste_chainee_volatile *suivant;
52: volatile void *donnee;
53: } struct_liste_chainee_volatile;
54:
55: static volatile struct_liste_chainee_volatile *liste_threads
56: = NULL;
57: static volatile struct_liste_chainee_volatile *liste_threads_surveillance
58: = NULL;
1.68 bertrand 59: static volatile int code_erreur_gsl = 0;
60:
1.75 bertrand 61: unsigned char *racine_segment;
1.69 bertrand 62:
1.96 bertrand 63: static void *
1.95 bertrand 64: thread_surveillance_signaux(void *argument)
65: {
1.96 bertrand 66: // Cette fonction est lancée dans un thread créé par processus pour
67: // gérer le cas des appels système qui seraient bloqués lors de l'arrivée du
68: // signal SIGALRM. Les processus externes n'envoient plus un signal au
69: // processus ou au thread à signaler mais positionnent les informations
70: // nécessaires dans la queue des signaux et incrémentent le sémaphore.
71: // Le sémaphore est décrémenté lorsque le signal est effectivement traité.
72:
73: int nombre_signaux_envoyes;
74:
75: struct_processus *s_etat_processus;
76:
77: struct timespec attente;
78:
79: volatile struct_liste_chainee_volatile *l_element_courant;
80:
1.115 bertrand 81: sigset_t set;
82:
83: sigfillset(&set);
84: pthread_sigmask(SIG_BLOCK, &set, NULL);
85:
1.96 bertrand 86: s_etat_processus = (struct_processus *) argument;
87:
88: for(;;)
89: {
90: attente.tv_sec = 0;
91: attente.tv_nsec = GRANULARITE_us * 1000;
92:
1.109 bertrand 93: if (sem_wait(semaphore_signalisation) == 0)
1.96 bertrand 94: {
1.130 bertrand 95: if (sem_wait(semaphore_arret_signalisation) != 0)
96: {
97: (*s_etat_processus).erreur_systeme = d_es_processus;
98: }
99:
1.127 bertrand 100: if ((*s_queue_signaux).requete_arret == d_vrai)
101: {
1.130 bertrand 102: sem_post(semaphore_arret_signalisation);
1.127 bertrand 103: sem_post(semaphore_signalisation);
104:
105: break;
106: }
107:
1.130 bertrand 108: sem_post(semaphore_arret_signalisation);
1.97 bertrand 109: sem_post(semaphore_signalisation);
110:
1.96 bertrand 111: nombre_signaux_envoyes = 0;
1.97 bertrand 112: sched_yield();
1.96 bertrand 113:
114: // Dans un premier temps, on verrouille la queue des signaux
115: // affectée au processus courant pour vérifier s'il y a quelque
116: // chose à traiter.
117:
118: sem_wait(semaphore_queue_signaux);
119:
120: if ((*s_queue_signaux).pointeur_lecture !=
121: (*s_queue_signaux).pointeur_ecriture)
122: {
1.106 bertrand 123: // Attention : raise() envoit le signal au thread appelant !
124: // kill() l'envoie au processus appelant, donc dans notre
125: // cas à un thread aléatoire du processus, ce qui nous
126: // convient tout à fait puisqu'il s'agit de débloquer les
127: // appels système lents.
128:
1.96 bertrand 129: nombre_signaux_envoyes++;
1.106 bertrand 130: kill(getpid(), SIGALRM);
1.96 bertrand 131: }
132:
133: sem_post(semaphore_queue_signaux);
134:
135: // Dans un second temps, on balaye toutes les queues de signaux
136: // des threads du processus courant.
137:
1.129 bertrand 138: // Attention : l'ordre de verrouillage des mutexes est important
139: // pour éviter les conditions bloquantes !
140:
1.96 bertrand 141: pthread_mutex_lock(&mutex_liste_threads);
1.129 bertrand 142:
1.96 bertrand 143: l_element_courant = liste_threads;
144:
145: while(l_element_courant != NULL)
146: {
147: if ((*((struct_thread *) (*l_element_courant).donnee)).pid
148: == getpid())
149: {
1.133 bertrand 150: pthread_mutex_lock(&((*(*((struct_thread *)
151: (*l_element_courant).donnee)).s_etat_processus)
1.134 bertrand 152: .mutex_signaux));
1.133 bertrand 153:
1.129 bertrand 154: if ((*(*((struct_thread *) (*l_element_courant).donnee))
155: .s_etat_processus).pointeur_signal_ecriture !=
156: (*(*((struct_thread *) (*l_element_courant)
157: .donnee)).s_etat_processus)
158: .pointeur_signal_lecture)
1.96 bertrand 159: {
1.129 bertrand 160: nombre_signaux_envoyes++;
161: pthread_kill((*((struct_thread *)
162: (*l_element_courant).donnee)).tid, SIGALRM);
1.96 bertrand 163: }
1.133 bertrand 164:
165: pthread_mutex_unlock(&((*(*((struct_thread *)
166: (*l_element_courant).donnee)).s_etat_processus)
1.134 bertrand 167: .mutex_signaux));
1.96 bertrand 168: }
169:
170: l_element_courant = (*l_element_courant).suivant;
171: }
172:
173: pthread_mutex_unlock(&mutex_liste_threads);
174:
175: // Nanosleep
176:
177: if (nombre_signaux_envoyes > 0)
178: {
179: nanosleep(&attente, NULL);
180: }
181: }
182: else
183: {
1.108 bertrand 184: if (errno != EINTR)
185: {
186: (*s_etat_processus).erreur_systeme = d_es_processus;
187: }
1.96 bertrand 188: }
189: }
190:
1.95 bertrand 191: pthread_exit(NULL);
192: }
193:
1.1 bertrand 194: void
195: modification_pid_thread_pere(struct_processus *s_etat_processus)
196: {
197: // La variable existe toujours et aucun thread concurrent ne peut
198: // la modifier puisque cette routine ne peut être appelée que depuis
199: // DAEMON.
200:
201: (*((struct_thread *) (*liste_threads).donnee)).pid =
202: (*s_etat_processus).pid_processus_pere;
203:
204: return;
205: }
206:
207: void
208: insertion_thread(struct_processus *s_etat_processus, logical1 thread_principal)
209: {
210: volatile struct_liste_chainee_volatile *l_nouvel_objet;
211:
212: if ((l_nouvel_objet = malloc(sizeof(struct_liste_chainee_volatile)))
213: == NULL)
214: {
215: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
216: return;
217: }
218:
219: if (((*l_nouvel_objet).donnee = malloc(sizeof(struct_thread))) == NULL)
220: {
221: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
222: return;
223: }
224:
225: (*((struct_thread *) (*l_nouvel_objet).donnee)).pid = getpid();
226: (*((struct_thread *) (*l_nouvel_objet).donnee)).tid = pthread_self();
227: (*((struct_thread *) (*l_nouvel_objet).donnee)).thread_principal =
228: thread_principal;
229: (*((struct_thread *) (*l_nouvel_objet).donnee)).s_etat_processus =
230: s_etat_processus;
231:
1.68 bertrand 232: if (pthread_mutex_lock(&mutex_liste_threads) != 0)
1.13 bertrand 233: {
1.68 bertrand 234: (*s_etat_processus).erreur_systeme = d_es_processus;
235: return;
1.13 bertrand 236: }
237:
238: (*l_nouvel_objet).suivant = liste_threads;
1.1 bertrand 239: liste_threads = l_nouvel_objet;
240:
1.68 bertrand 241: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.1 bertrand 242: {
243: (*s_etat_processus).erreur_systeme = d_es_processus;
244: return;
245: }
246:
247: return;
248: }
249:
250: void
251: insertion_thread_surveillance(struct_processus *s_etat_processus,
252: struct_descripteur_thread *s_argument_thread)
253: {
254: volatile struct_liste_chainee_volatile *l_nouvel_objet;
255:
1.13 bertrand 256: if ((l_nouvel_objet = malloc(sizeof(struct_liste_chainee_volatile)))
257: == NULL)
258: {
259: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
260: return;
261: }
262:
1.68 bertrand 263: if (pthread_mutex_lock(&mutex_liste_threads) != 0)
1.1 bertrand 264: {
1.68 bertrand 265: (*s_etat_processus).erreur_systeme = d_es_processus;
266: return;
1.1 bertrand 267: }
268:
1.40 bertrand 269: pthread_mutex_lock(&((*s_argument_thread).mutex_nombre_references));
1.21 bertrand 270: (*s_argument_thread).nombre_references++;
1.40 bertrand 271: pthread_mutex_unlock(&((*s_argument_thread).mutex_nombre_references));
1.22 bertrand 272:
1.1 bertrand 273: (*l_nouvel_objet).suivant = liste_threads_surveillance;
274: (*l_nouvel_objet).donnee = (void *) s_argument_thread;
275:
276: liste_threads_surveillance = l_nouvel_objet;
277:
1.68 bertrand 278: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.1 bertrand 279: {
280: (*s_etat_processus).erreur_systeme = d_es_processus;
281: return;
282: }
283:
284: return;
285: }
286:
287: void
288: retrait_thread(struct_processus *s_etat_processus)
289: {
290: volatile struct_liste_chainee_volatile *l_element_precedent;
291: volatile struct_liste_chainee_volatile *l_element_courant;
292:
1.68 bertrand 293: if (pthread_mutex_lock(&mutex_liste_threads) != 0)
1.1 bertrand 294: {
1.68 bertrand 295: (*s_etat_processus).erreur_systeme = d_es_processus;
296: return;
1.1 bertrand 297: }
298:
299: l_element_precedent = NULL;
300: l_element_courant = liste_threads;
301:
302: while(l_element_courant != NULL)
303: {
304: if (((*((struct_thread *) (*l_element_courant).donnee)).pid
305: == getpid()) && (pthread_equal((*((struct_thread *)
306: (*l_element_courant).donnee)).tid, pthread_self()) != 0))
307: {
308: break;
309: }
310:
311: l_element_precedent = l_element_courant;
312: l_element_courant = (*l_element_courant).suivant;
313: }
314:
315: if (l_element_courant == NULL)
316: {
1.68 bertrand 317: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 318: (*s_etat_processus).erreur_systeme = d_es_processus;
319: return;
320: }
321:
322: if (l_element_precedent == NULL)
323: {
324: liste_threads = (*l_element_courant).suivant;
325: }
326: else
327: {
328: (*l_element_precedent).suivant = (*l_element_courant).suivant;
329: }
330:
1.68 bertrand 331: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.1 bertrand 332: {
333: (*s_etat_processus).erreur_systeme = d_es_processus;
334: return;
335: }
336:
1.97 bertrand 337: // Le thread ne peut plus traiter de signaux explicites. Il convient
338: // alors de corriger le sémaphore pour annuler les signaux en attente.
339:
340: while((*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus)
341: .pointeur_signal_ecriture != (*(*((struct_thread *)
342: (*l_element_courant).donnee)).s_etat_processus)
343: .pointeur_signal_lecture)
344: {
1.108 bertrand 345: while(sem_wait(semaphore_signalisation) != 0)
346: {
347: if (errno != EINTR)
348: {
349: (*s_etat_processus).erreur_systeme = d_es_processus;
350: return;
351: }
352: }
1.97 bertrand 353:
354: (*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus)
355: .pointeur_signal_lecture = ((*(*((struct_thread *)
356: (*l_element_courant).donnee)).s_etat_processus)
357: .pointeur_signal_lecture + 1) % LONGUEUR_QUEUE_SIGNAUX;
358: }
359:
1.13 bertrand 360: free((void *) (*l_element_courant).donnee);
361: free((struct_liste_chainee_volatile *) l_element_courant);
362:
1.1 bertrand 363: return;
364: }
365:
366: void
367: retrait_thread_surveillance(struct_processus *s_etat_processus,
368: struct_descripteur_thread *s_argument_thread)
369: {
370: volatile struct_liste_chainee_volatile *l_element_precedent;
371: volatile struct_liste_chainee_volatile *l_element_courant;
372:
1.68 bertrand 373: if (pthread_mutex_lock(&mutex_liste_threads) != 0)
1.1 bertrand 374: {
1.68 bertrand 375: (*s_etat_processus).erreur_systeme = d_es_processus;
376: return;
1.1 bertrand 377: }
378:
379: l_element_precedent = NULL;
380: l_element_courant = liste_threads_surveillance;
381:
382: while(l_element_courant != NULL)
383: {
384: if ((*l_element_courant).donnee == (void *) s_argument_thread)
385: {
386: break;
387: }
388:
389: l_element_precedent = l_element_courant;
390: l_element_courant = (*l_element_courant).suivant;
391: }
392:
393: if (l_element_courant == NULL)
394: {
1.68 bertrand 395: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 396: (*s_etat_processus).erreur_systeme = d_es_processus;
397: return;
398: }
399:
400: if (l_element_precedent == NULL)
401: {
402: liste_threads_surveillance = (*l_element_courant).suivant;
403: }
404: else
405: {
406: (*l_element_precedent).suivant = (*l_element_courant).suivant;
407: }
408:
1.40 bertrand 409: if (pthread_mutex_lock(&((*s_argument_thread).mutex_nombre_references))
410: != 0)
1.1 bertrand 411: {
1.68 bertrand 412: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 413: (*s_etat_processus).erreur_systeme = d_es_processus;
414: return;
415: }
416:
417: (*s_argument_thread).nombre_references--;
418:
419: BUG((*s_argument_thread).nombre_references < 0,
420: printf("(*s_argument_thread).nombre_references = %d\n",
421: (int) (*s_argument_thread).nombre_references));
422:
423: if ((*s_argument_thread).nombre_references == 0)
424: {
1.40 bertrand 425: if (pthread_mutex_unlock(&((*s_argument_thread)
426: .mutex_nombre_references)) != 0)
1.1 bertrand 427: {
1.68 bertrand 428: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 429: (*s_etat_processus).erreur_systeme = d_es_processus;
430: return;
431: }
432:
433: pthread_mutex_destroy(&((*s_argument_thread).mutex));
1.40 bertrand 434: pthread_mutex_destroy(&((*s_argument_thread).mutex_nombre_references));
1.1 bertrand 435: free(s_argument_thread);
436: }
437: else
438: {
1.40 bertrand 439: if (pthread_mutex_unlock(&((*s_argument_thread)
440: .mutex_nombre_references)) != 0)
1.1 bertrand 441: {
1.68 bertrand 442: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 443: (*s_etat_processus).erreur_systeme = d_es_processus;
444: return;
445: }
446: }
447:
1.68 bertrand 448: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.1 bertrand 449: {
450: (*s_etat_processus).erreur_systeme = d_es_processus;
451: return;
452: }
453:
1.13 bertrand 454: free((struct_liste_chainee_volatile *) l_element_courant);
1.1 bertrand 455: return;
456: }
457:
458: void
459: verrouillage_threads_concurrents(struct_processus *s_etat_processus)
460: {
461: volatile struct_liste_chainee_volatile *l_element_courant;
462:
1.68 bertrand 463: if (pthread_mutex_lock(&mutex_liste_threads) != 0)
1.1 bertrand 464: {
1.68 bertrand 465: (*s_etat_processus).erreur_systeme = d_es_processus;
466: return;
1.1 bertrand 467: }
468:
469: l_element_courant = liste_threads;
470:
471: while(l_element_courant != NULL)
472: {
473: if (((*((struct_thread *) (*l_element_courant).donnee)).pid
474: == getpid()) && (pthread_equal((*((struct_thread *)
475: (*l_element_courant).donnee)).tid, pthread_self()) == 0))
476: {
1.79 bertrand 477: # ifndef SEMAPHORES_NOMMES
478: while(sem_wait(&((*(*((struct_thread *) (*l_element_courant)
479: .donnee)).s_etat_processus).semaphore_fork)) == -1)
480: # else
481: while(sem_wait((*(*((struct_thread *) (*l_element_courant)
482: .donnee)).s_etat_processus).semaphore_fork) == -1)
483: # endif
1.1 bertrand 484: {
1.68 bertrand 485: (*s_etat_processus).erreur_systeme = d_es_processus;
486: return;
1.1 bertrand 487: }
488: }
489:
490: l_element_courant = (*l_element_courant).suivant;
491: }
492:
493: return;
494: }
495:
496: void
497: deverrouillage_threads_concurrents(struct_processus *s_etat_processus)
498: {
499: volatile struct_liste_chainee_volatile *l_element_courant;
500:
501: l_element_courant = liste_threads;
502:
503: while(l_element_courant != NULL)
504: {
505: if (((*((struct_thread *) (*l_element_courant).donnee)).pid
506: == getpid()) && (pthread_equal((*((struct_thread *)
507: (*l_element_courant).donnee)).tid, pthread_self()) == 0))
508: {
1.79 bertrand 509: # ifndef SEMAPHORES_NOMMES
510: if (sem_post(&((*(*((struct_thread *)
511: (*l_element_courant).donnee)).s_etat_processus)
512: .semaphore_fork)) != 0)
513: # else
514: if (sem_post((*(*((struct_thread *)
515: (*l_element_courant).donnee)).s_etat_processus)
516: .semaphore_fork) != 0)
517: # endif
1.1 bertrand 518: {
1.68 bertrand 519: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.8 bertrand 520: {
521: (*s_etat_processus).erreur_systeme = d_es_processus;
522: return;
523: }
1.1 bertrand 524:
525: (*s_etat_processus).erreur_systeme = d_es_processus;
526: return;
527: }
528: }
529:
530: l_element_courant = (*l_element_courant).suivant;
531: }
532:
1.68 bertrand 533: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.1 bertrand 534: {
535: (*s_etat_processus).erreur_systeme = d_es_processus;
536: return;
537: }
538:
539: return;
540: }
541:
542: void
543: liberation_threads(struct_processus *s_etat_processus)
544: {
545: logical1 suppression_variables_partagees;
546:
547: struct_descripteur_thread *s_argument_thread;
548:
549: struct_processus *candidat;
550:
1.111 bertrand 551: struct_liste_variables_partagees *l_element_partage_courant;
552: struct_liste_variables_partagees *l_element_partage_suivant;
553:
554: struct_liste_variables_statiques *l_element_statique_courant;
555: struct_liste_variables_statiques *l_element_statique_suivant;
556:
1.121 bertrand 557: integer8 i;
1.1 bertrand 558:
559: void *element_candidat;
560: void *element_courant;
561: void *element_suivant;
562:
563: volatile struct_liste_chainee_volatile *l_element_courant;
564: volatile struct_liste_chainee_volatile *l_element_suivant;
565:
1.68 bertrand 566: if (pthread_mutex_lock(&mutex_liste_threads) == -1)
1.1 bertrand 567: {
1.68 bertrand 568: (*s_etat_processus).erreur_systeme = d_es_processus;
569: return;
1.1 bertrand 570: }
571:
572: l_element_courant = liste_threads;
573: suppression_variables_partagees = d_faux;
574:
575: while(l_element_courant != NULL)
576: {
577: if ((*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus
578: != s_etat_processus)
579: {
580: candidat = s_etat_processus;
581: s_etat_processus = (*((struct_thread *)
582: (*l_element_courant).donnee)).s_etat_processus;
583: free((*s_etat_processus).localisation);
584:
585: // (*s_etat_processus).instruction_courante peut pointer sur
586: // n'importe quoi (une instruction courante ou un champ d'une
587: // structure objet). On ne le libère pas quitte à avoir une
588: // petite fuite mémoire dans le processus fils.
589:
590: if ((*s_etat_processus).instruction_courante != NULL)
591: {
592: //free((*s_etat_processus).instruction_courante);
593: }
594:
595: close((*s_etat_processus).pipe_acquittement);
596: close((*s_etat_processus).pipe_donnees);
597: close((*s_etat_processus).pipe_injections);
598: close((*s_etat_processus).pipe_nombre_injections);
599: close((*s_etat_processus).pipe_interruptions);
1.125 bertrand 600: close((*s_etat_processus).pipe_nombre_elements_attente);
1.1 bertrand 601:
1.13 bertrand 602: liberation(s_etat_processus, (*s_etat_processus).at_exit);
603:
1.1 bertrand 604: if ((*s_etat_processus).nom_fichier_impression != NULL)
605: {
606: free((*s_etat_processus).nom_fichier_impression);
607: }
608:
609: while((*s_etat_processus).fichiers_graphiques != NULL)
610: {
611: free((*(*s_etat_processus).fichiers_graphiques).nom);
612:
613: if ((*(*s_etat_processus).fichiers_graphiques).legende != NULL)
614: {
615: free((*(*s_etat_processus).fichiers_graphiques).legende);
616: }
617:
618: element_courant = (*s_etat_processus).fichiers_graphiques;
619: (*s_etat_processus).fichiers_graphiques =
620: (*(*s_etat_processus).fichiers_graphiques).suivant;
621:
622: free(element_courant);
623: }
624:
625: if ((*s_etat_processus).entree_standard != NULL)
626: {
627: pclose((*s_etat_processus).entree_standard);
628: }
629:
630: if ((*s_etat_processus).generateur_aleatoire != NULL)
631: {
632: liberation_generateur_aleatoire(s_etat_processus);
633: }
634:
635: if ((*s_etat_processus).instruction_derniere_erreur != NULL)
636: {
637: free((*s_etat_processus).instruction_derniere_erreur);
638: (*s_etat_processus).instruction_derniere_erreur = NULL;
639: }
640:
641: element_courant = (void *) (*s_etat_processus)
642: .l_base_pile_processus;
643: while(element_courant != NULL)
644: {
1.20 bertrand 645: s_argument_thread = (struct_descripteur_thread *)
646: (*((struct_liste_chainee *) element_courant)).donnee;
647:
1.40 bertrand 648: if (pthread_mutex_lock(&((*s_argument_thread)
649: .mutex_nombre_references)) != 0)
1.20 bertrand 650: {
651: (*s_etat_processus).erreur_systeme = d_es_processus;
1.68 bertrand 652: pthread_mutex_unlock(&mutex_liste_threads);
1.20 bertrand 653: return;
654: }
655:
656: (*s_argument_thread).nombre_references--;
657:
658: BUG((*s_argument_thread).nombre_references < 0,
659: printf("(*s_argument_thread).nombre_references = %d\n",
660: (int) (*s_argument_thread).nombre_references));
661:
662: if ((*s_argument_thread).nombre_references == 0)
663: {
664: close((*s_argument_thread).pipe_objets[0]);
665: close((*s_argument_thread).pipe_acquittement[1]);
666: close((*s_argument_thread).pipe_injections[1]);
667: close((*s_argument_thread).pipe_nombre_injections[1]);
1.125 bertrand 668: close((*s_argument_thread).pipe_nombre_elements_attente[0]);
1.20 bertrand 669: close((*s_argument_thread).pipe_interruptions[0]);
670:
1.40 bertrand 671: if (pthread_mutex_unlock(&((*s_argument_thread)
672: .mutex_nombre_references)) != 0)
1.20 bertrand 673: {
674: (*s_etat_processus).erreur_systeme = d_es_processus;
1.68 bertrand 675: pthread_mutex_unlock(&mutex_liste_threads);
1.20 bertrand 676: return;
677: }
678:
679: pthread_mutex_destroy(&((*s_argument_thread).mutex));
1.40 bertrand 680: pthread_mutex_destroy(&((*s_argument_thread)
681: .mutex_nombre_references));
1.20 bertrand 682:
683: if ((*s_argument_thread).processus_detache == d_faux)
684: {
685: if ((*s_argument_thread).destruction_objet == d_vrai)
686: {
687: liberation(s_etat_processus, (*s_argument_thread)
688: .argument);
689: }
690: }
691:
692: free(s_argument_thread);
693: }
694: else
695: {
1.40 bertrand 696: if (pthread_mutex_unlock(&((*s_argument_thread)
697: .mutex_nombre_references)) != 0)
1.20 bertrand 698: {
699: (*s_etat_processus).erreur_systeme = d_es_processus;
1.68 bertrand 700: pthread_mutex_unlock(&mutex_liste_threads);
1.20 bertrand 701: return;
702: }
703: }
704:
1.1 bertrand 705: element_suivant = (*((struct_liste_chainee *) element_courant))
706: .suivant;
1.20 bertrand 707: free(element_courant);
1.1 bertrand 708: element_courant = element_suivant;
709: }
710:
1.20 bertrand 711: (*s_etat_processus).l_base_pile_processus = NULL;
712:
1.1 bertrand 713: pthread_mutex_trylock(&((*(*s_etat_processus).indep).mutex));
714: pthread_mutex_unlock(&((*(*s_etat_processus).indep).mutex));
715: liberation(s_etat_processus, (*s_etat_processus).indep);
716:
717: pthread_mutex_trylock(&((*(*s_etat_processus).depend).mutex));
718: pthread_mutex_unlock(&((*(*s_etat_processus).depend).mutex));
719: liberation(s_etat_processus, (*s_etat_processus).depend);
720:
721: free((*s_etat_processus).label_x);
722: free((*s_etat_processus).label_y);
723: free((*s_etat_processus).label_z);
724: free((*s_etat_processus).titre);
725: free((*s_etat_processus).legende);
726:
727: pthread_mutex_trylock(&((*(*s_etat_processus)
728: .parametres_courbes_de_niveau).mutex));
729: pthread_mutex_unlock(&((*(*s_etat_processus)
730: .parametres_courbes_de_niveau).mutex));
731: liberation(s_etat_processus, (*s_etat_processus)
732: .parametres_courbes_de_niveau);
733:
734: for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
735: {
736: if ((*s_etat_processus).corps_interruptions[i] != NULL)
737: {
738: pthread_mutex_trylock(&((*(*s_etat_processus)
739: .corps_interruptions[i]).mutex));
740: pthread_mutex_unlock(&((*(*s_etat_processus)
741: .corps_interruptions[i]).mutex));
742:
743: liberation(s_etat_processus,
744: (*s_etat_processus).corps_interruptions[i]);
745: }
746:
747: element_courant = (*s_etat_processus)
748: .pile_origine_interruptions[i];
749:
750: while(element_courant != NULL)
751: {
752: element_suivant = (*((struct_liste_chainee *)
753: element_courant)).suivant;
754:
755: pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
756: element_courant)).donnee).mutex));
757: pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
758: element_courant)).donnee).mutex));
759:
760: liberation(s_etat_processus,
761: (*((struct_liste_chainee *) element_courant))
762: .donnee);
763: free(element_courant);
764:
765: element_courant = element_suivant;
766: }
767: }
768:
1.110 bertrand 769: // ne peut être effacé qu'une seule fois
1.1 bertrand 770: if (suppression_variables_partagees == d_faux)
771: {
772: suppression_variables_partagees = d_vrai;
773:
1.110 bertrand 774: liberation_arbre_variables_partagees(s_etat_processus,
1.111 bertrand 775: (*(*s_etat_processus).s_arbre_variables_partagees));
776:
777: l_element_partage_courant = (*(*s_etat_processus)
778: .l_liste_variables_partagees);
779:
780: while(l_element_partage_courant != NULL)
781: {
782: l_element_partage_suivant =
783: (*l_element_partage_courant).suivant;
784: free(l_element_partage_courant);
785: l_element_partage_courant = l_element_partage_suivant;
786: }
1.110 bertrand 787: }
1.1 bertrand 788:
1.110 bertrand 789: liberation_arbre_variables(s_etat_processus,
790: (*s_etat_processus).s_arbre_variables, d_faux);
1.1 bertrand 791:
1.111 bertrand 792: l_element_statique_courant = (*s_etat_processus)
793: .l_liste_variables_statiques;
794:
795: while(l_element_statique_courant != NULL)
796: {
797: l_element_statique_suivant =
798: (*l_element_statique_courant).suivant;
799: free(l_element_statique_courant);
800: l_element_statique_courant = l_element_statique_suivant;
801: }
802:
1.1 bertrand 803: element_courant = (*s_etat_processus).l_base_pile;
804: while(element_courant != NULL)
805: {
806: element_suivant = (*((struct_liste_chainee *)
807: element_courant)).suivant;
808:
809: pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
810: element_courant)).donnee).mutex));
811: pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
812: element_courant)).donnee).mutex));
813:
814: liberation(s_etat_processus,
815: (*((struct_liste_chainee *)
816: element_courant)).donnee);
817: free((struct_liste_chainee *) element_courant);
818:
819: element_courant = element_suivant;
820: }
821:
822: element_courant = (*s_etat_processus).l_base_pile_contextes;
823: while(element_courant != NULL)
824: {
825: element_suivant = (*((struct_liste_chainee *)
826: element_courant)).suivant;
827:
828: pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
829: element_courant)).donnee).mutex));
830: pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
831: element_courant)).donnee).mutex));
832: liberation(s_etat_processus, (*((struct_liste_chainee *)
833: element_courant)).donnee);
834: free((struct_liste_chainee *) element_courant);
835:
836: element_courant = element_suivant;
837: }
838:
839: element_courant = (*s_etat_processus).l_base_pile_taille_contextes;
840: while(element_courant != NULL)
841: {
842: element_suivant = (*((struct_liste_chainee *)
843: element_courant)).suivant;
844:
845: pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
846: element_courant)).donnee).mutex));
847: pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
848: element_courant)).donnee).mutex));
849: liberation(s_etat_processus,
850: (*((struct_liste_chainee *)
851: element_courant)).donnee);
852: free((struct_liste_chainee *) element_courant);
853:
854: element_courant = element_suivant;
855: }
856:
857: for(i = 0; i < (*s_etat_processus).nombre_instructions_externes;
858: i++)
859: {
860: free((*s_etat_processus).s_instructions_externes[i].nom);
861: free((*s_etat_processus).s_instructions_externes[i]
862: .nom_bibliotheque);
863: }
864:
865: if ((*s_etat_processus).nombre_instructions_externes != 0)
866: {
867: free((*s_etat_processus).s_instructions_externes);
868: }
869:
870: element_courant = (*s_etat_processus).s_bibliotheques;
871: while(element_courant != NULL)
872: {
873: element_suivant = (*((struct_liste_chainee *)
874: element_courant)).suivant;
875:
876: element_candidat = (*candidat).s_bibliotheques;
877: while(element_candidat != NULL)
878: {
879: if (((*((struct_bibliotheque *) (*((struct_liste_chainee *)
880: element_courant)).donnee))
881: .descripteur == (*((struct_bibliotheque *)
882: (*((struct_liste_chainee *) element_candidat))
883: .donnee)).descripteur) &&
884: ((*((struct_bibliotheque *)
885: (*((struct_liste_chainee *) element_courant))
886: .donnee)).pid == (*((struct_bibliotheque *)
887: (*((struct_liste_chainee *) element_candidat))
888: .donnee)).pid) && (pthread_equal(
889: (*((struct_bibliotheque *)
890: (*((struct_liste_chainee *) element_courant))
891: .donnee)).tid, (*((struct_bibliotheque *)
892: (*((struct_liste_chainee *) element_candidat))
893: .donnee)).tid) != 0))
894: {
895: break;
896: }
897:
898: element_candidat = (*((struct_liste_chainee *)
899: element_candidat)).suivant;
900: }
901:
902: if (element_candidat == NULL)
903: {
904: dlclose((*((struct_bibliotheque *)
905: (*((struct_liste_chainee *) element_courant))
906: .donnee)).descripteur);
907: }
908:
909: free((*((struct_bibliotheque *)
910: (*((struct_liste_chainee *)
911: element_courant)).donnee)).nom);
912: free((*((struct_liste_chainee *) element_courant)).donnee);
913: free(element_courant);
914:
915: element_courant = element_suivant;
916: }
917:
918: element_courant = (*s_etat_processus).l_base_pile_last;
919: while(element_courant != NULL)
920: {
921: element_suivant = (*((struct_liste_chainee *)
922: element_courant)).suivant;
923:
924: pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
925: element_courant)).donnee).mutex));
926: pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
927: element_courant)).donnee).mutex));
928: liberation(s_etat_processus,
929: (*((struct_liste_chainee *) element_courant)).donnee);
930: free(element_courant);
931:
932: element_courant = element_suivant;
933: }
934:
935: element_courant = (*s_etat_processus).l_base_pile_systeme;
936: while(element_courant != NULL)
937: {
938: element_suivant = (*((struct_liste_pile_systeme *)
939: element_courant)).suivant;
940:
941: if ((*((struct_liste_pile_systeme *)
942: element_courant)).indice_boucle != NULL)
943: {
944: pthread_mutex_trylock(&((*(*((struct_liste_pile_systeme *)
945: element_courant)).indice_boucle).mutex));
946: pthread_mutex_unlock(&((*(*((struct_liste_pile_systeme *)
947: element_courant)).indice_boucle).mutex));
948: }
949:
950: liberation(s_etat_processus,
951: (*((struct_liste_pile_systeme *)
952: element_courant)).indice_boucle);
953:
954: if ((*((struct_liste_pile_systeme *)
955: element_courant)).limite_indice_boucle != NULL)
956: {
957: pthread_mutex_trylock(&((*(*((struct_liste_pile_systeme *)
958: element_courant)).limite_indice_boucle).mutex));
959: pthread_mutex_unlock(&((*(*((struct_liste_pile_systeme *)
960: element_courant)).limite_indice_boucle).mutex));
961: }
962:
963: liberation(s_etat_processus,
964: (*((struct_liste_pile_systeme *)
965: element_courant)).limite_indice_boucle);
966:
967: if ((*((struct_liste_pile_systeme *)
968: element_courant)).objet_de_test != NULL)
969: {
970: pthread_mutex_trylock(&((*(*((struct_liste_pile_systeme *)
971: element_courant)).objet_de_test).mutex));
972: pthread_mutex_unlock(&((*(*((struct_liste_pile_systeme *)
973: element_courant)).objet_de_test).mutex));
974: }
975:
976: liberation(s_etat_processus,
977: (*((struct_liste_pile_systeme *)
978: element_courant)).objet_de_test);
979:
980: if ((*((struct_liste_pile_systeme *)
981: element_courant)).nom_variable != NULL)
982: {
983: free((*((struct_liste_pile_systeme *)
984: element_courant)).nom_variable);
985: }
986:
987: free(element_courant);
988:
989: element_courant = element_suivant;
990: }
991:
992: element_courant = (*s_etat_processus).s_fichiers;
993: while(element_courant != NULL)
994: {
995: element_suivant = (*((struct_liste_chainee *)
996: element_courant)).suivant;
997:
998: element_candidat = (*candidat).s_fichiers;
999: while(element_candidat != NULL)
1000: {
1001: if (((*((struct_descripteur_fichier *)
1002: (*((struct_liste_chainee *) element_courant))
1003: .donnee)).pid ==
1004: (*((struct_descripteur_fichier *)
1005: (*((struct_liste_chainee *) element_candidat))
1006: .donnee)).pid) && (pthread_equal(
1007: (*((struct_descripteur_fichier *)
1008: (*((struct_liste_chainee *) element_courant))
1009: .donnee)).tid, (*((struct_descripteur_fichier *)
1010: (*((struct_liste_chainee *) element_candidat))
1011: .donnee)).tid) != 0))
1012: {
1.5 bertrand 1013: if ((*((struct_descripteur_fichier *)
1014: (*((struct_liste_chainee *) element_courant))
1015: .donnee)).type ==
1016: (*((struct_descripteur_fichier *)
1017: (*((struct_liste_chainee *) element_candidat))
1018: .donnee)).type)
1019: {
1020: if ((*((struct_descripteur_fichier *)
1021: (*((struct_liste_chainee *)
1022: element_candidat)).donnee)).type == 'C')
1023: {
1024: if ((*((struct_descripteur_fichier *)
1025: (*((struct_liste_chainee *)
1026: element_courant)).donnee))
1027: .descripteur_c ==
1028: (*((struct_descripteur_fichier *)
1029: (*((struct_liste_chainee *)
1030: element_candidat)).donnee))
1031: .descripteur_c)
1032: {
1033: break;
1034: }
1035: }
1036: else
1037: {
1038: if (((*((struct_descripteur_fichier *)
1039: (*((struct_liste_chainee *)
1040: element_courant)).donnee))
1041: .descripteur_sqlite ==
1042: (*((struct_descripteur_fichier *)
1043: (*((struct_liste_chainee *)
1044: element_candidat)).donnee))
1045: .descripteur_sqlite) &&
1046: ((*((struct_descripteur_fichier *)
1047: (*((struct_liste_chainee *)
1048: element_courant)).donnee))
1049: .descripteur_c ==
1050: (*((struct_descripteur_fichier *)
1051: (*((struct_liste_chainee *)
1052: element_candidat)).donnee))
1053: .descripteur_c))
1054: {
1055: break;
1056: }
1057: }
1058: }
1.1 bertrand 1059: }
1060:
1061: element_candidat = (*((struct_liste_chainee *)
1062: element_candidat)).suivant;
1063: }
1064:
1065: if (element_candidat == NULL)
1066: {
1067: fclose((*((struct_descripteur_fichier *)
1068: (*((struct_liste_chainee *) element_courant))
1.5 bertrand 1069: .donnee)).descripteur_c);
1070:
1071: if ((*((struct_descripteur_fichier *)
1072: (*((struct_liste_chainee *) element_courant))
1073: .donnee)).type != 'C')
1074: {
1075: sqlite3_close((*((struct_descripteur_fichier *)
1076: (*((struct_liste_chainee *) element_courant))
1077: .donnee)).descripteur_sqlite);
1078: }
1.1 bertrand 1079: }
1080:
1081: free((*((struct_descripteur_fichier *)
1082: (*((struct_liste_chainee *)
1083: element_courant)).donnee)).nom);
1084: free((struct_descripteur_fichier *)
1085: (*((struct_liste_chainee *)
1086: element_courant)).donnee);
1087: free(element_courant);
1088:
1089: element_courant = element_suivant;
1090: }
1091:
1092: element_courant = (*s_etat_processus).s_sockets;
1093: while(element_courant != NULL)
1094: {
1095: element_suivant = (*((struct_liste_chainee *)
1096: element_courant)).suivant;
1097:
1098: element_candidat = (*candidat).s_sockets;
1099: while(element_candidat != NULL)
1100: {
1101: if (((*((struct_socket *)
1102: (*((struct_liste_chainee *) element_courant))
1103: .donnee)).socket == (*((struct_socket *)
1104: (*((struct_liste_chainee *) element_candidat))
1105: .donnee)).socket) &&
1106: ((*((struct_socket *)
1107: (*((struct_liste_chainee *) element_courant))
1108: .donnee)).pid == (*((struct_socket *)
1109: (*((struct_liste_chainee *) element_candidat))
1110: .donnee)).pid) && (pthread_equal(
1111: (*((struct_socket *)
1112: (*((struct_liste_chainee *) element_courant))
1113: .donnee)).tid, (*((struct_socket *)
1114: (*((struct_liste_chainee *) element_candidat))
1115: .donnee)).tid) != 0))
1116: {
1117: break;
1118: }
1119:
1120: element_candidat = (*((struct_liste_chainee *)
1121: element_candidat)).suivant;
1122: }
1123:
1124: if (element_candidat == NULL)
1125: {
1126: if ((*((struct_socket *) (*((struct_liste_chainee *)
1127: element_courant)).donnee)).socket_connectee
1128: == d_vrai)
1129: {
1130: shutdown((*((struct_socket *)
1131: (*((struct_liste_chainee *) element_courant))
1132: .donnee)).socket, SHUT_RDWR);
1133: }
1134:
1135: close((*((struct_socket *)
1136: (*((struct_liste_chainee *) element_courant))
1137: .donnee)).socket);
1138: }
1139:
1140: pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
1141: element_courant)).donnee).mutex));
1142: pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
1143: element_courant)).donnee).mutex));
1144:
1145: liberation(s_etat_processus,
1146: (*((struct_liste_chainee *)
1147: element_courant)).donnee);
1148: free(element_courant);
1149:
1150: element_courant = element_suivant;
1151: }
1152:
1.14 bertrand 1153: /*
1154: ================================================================================
1155: À noter : on ne ferme pas la connexion car la conséquence immédiate est
1156: une destruction de l'objet pour le processus père.
1157: ================================================================================
1158:
1.1 bertrand 1159: element_courant = (*s_etat_processus).s_connecteurs_sql;
1160: while(element_courant != NULL)
1161: {
1162: element_suivant = (*((struct_liste_chainee *)
1163: element_courant)).suivant;
1164:
1165: element_candidat = (*candidat).s_connecteurs_sql;
1166: while(element_candidat != NULL)
1167: {
1168: if (((
1169: #ifdef MYSQL_SUPPORT
1170: ((*((struct_connecteur_sql *)
1171: (*((struct_liste_chainee *) element_courant))
1172: .donnee)).descripteur.mysql ==
1173: (*((struct_connecteur_sql *)
1174: (*((struct_liste_chainee *) element_candidat))
1175: .donnee)).descripteur.mysql)
1176: &&
1177: (strcmp((*((struct_connecteur_sql *)
1178: (*((struct_liste_chainee *) element_courant))
1179: .donnee)).type, "MYSQL") == 0)
1180: &&
1181: (strcmp((*((struct_connecteur_sql *)
1182: (*((struct_liste_chainee *) element_candidat))
1183: .donnee)).type, "MYSQL") == 0)
1184: #else
1185: 0
1186: #endif
1187: ) || (
1188: #ifdef POSTGRESQL_SUPPORT
1189: ((*((struct_connecteur_sql *)
1190: (*((struct_liste_chainee *) element_courant))
1191: .donnee)).descripteur.postgresql ==
1192: (*((struct_connecteur_sql *)
1193: (*((struct_liste_chainee *) element_candidat))
1194: .donnee)).descripteur.postgresql)
1195: &&
1196: (strcmp((*((struct_connecteur_sql *)
1197: (*((struct_liste_chainee *) element_courant))
1198: .donnee)).type, "POSTGRESQL") == 0)
1199: &&
1200: (strcmp((*((struct_connecteur_sql *)
1201: (*((struct_liste_chainee *) element_candidat))
1202: .donnee)).type, "POSTGRESQL") == 0)
1203: #else
1204: 0
1205: #endif
1206: )) &&
1207: ((*((struct_connecteur_sql *)
1208: (*((struct_liste_chainee *) element_courant))
1209: .donnee)).pid == (*((struct_connecteur_sql *)
1210: (*((struct_liste_chainee *) element_candidat))
1211: .donnee)).pid) && (pthread_equal(
1212: (*((struct_connecteur_sql *)
1213: (*((struct_liste_chainee *) element_courant))
1214: .donnee)).tid, (*((struct_connecteur_sql *)
1215: (*((struct_liste_chainee *) element_candidat))
1216: .donnee)).tid) != 0))
1217: {
1218: break;
1219: }
1220:
1221: element_candidat = (*((struct_liste_chainee *)
1222: element_candidat)).suivant;
1223: }
1224:
1225: if (element_candidat == NULL)
1226: {
1227: sqlclose((*((struct_liste_chainee *) element_courant))
1228: .donnee);
1229: }
1230:
1231: pthread_mutex_trylock(&((*(*((struct_liste_chainee *)
1232: element_courant)).donnee).mutex));
1233: pthread_mutex_unlock(&((*(*((struct_liste_chainee *)
1234: element_courant)).donnee).mutex));
1235:
1236: liberation(s_etat_processus, (*((struct_liste_chainee *)
1237: element_courant)).donnee);
1238: free(element_courant);
1239:
1240: element_courant = element_suivant;
1241: }
1.14 bertrand 1242: */
1.1 bertrand 1243:
1.15 bertrand 1244: (*s_etat_processus).s_connecteurs_sql = NULL;
1245:
1.1 bertrand 1246: element_courant = (*s_etat_processus).s_marques;
1247: while(element_courant != NULL)
1248: {
1249: free((*((struct_marque *) element_courant)).label);
1250: free((*((struct_marque *) element_courant)).position);
1251: element_suivant = (*((struct_marque *) element_courant))
1252: .suivant;
1253: free(element_courant);
1254: element_courant = element_suivant;
1255: }
1256:
1257: liberation_allocateur(s_etat_processus);
1258:
1.79 bertrand 1259: # ifndef SEMAPHORES_NOMMES
1260: sem_post(&((*s_etat_processus).semaphore_fork));
1261: sem_destroy(&((*s_etat_processus).semaphore_fork));
1262: # else
1263: sem_post((*s_etat_processus).semaphore_fork);
1.80 bertrand 1264: sem_close((*s_etat_processus).semaphore_fork);
1.79 bertrand 1265: # endif
1.1 bertrand 1266:
1.59 bertrand 1267: liberation_contexte_cas(s_etat_processus);
1.1 bertrand 1268: free(s_etat_processus);
1269:
1270: s_etat_processus = candidat;
1271: }
1272:
1273: l_element_suivant = (*l_element_courant).suivant;
1274:
1275: free((struct_thread *) (*l_element_courant).donnee);
1276: free((struct_liste_chainee *) l_element_courant);
1277:
1278: l_element_courant = l_element_suivant;
1279: }
1280:
1281: liste_threads = NULL;
1282:
1283: l_element_courant = liste_threads_surveillance;
1284:
1285: while(l_element_courant != NULL)
1286: {
1287: s_argument_thread = (struct_descripteur_thread *)
1288: (*l_element_courant).donnee;
1289:
1.40 bertrand 1290: if (pthread_mutex_lock(&((*s_argument_thread).mutex_nombre_references))
1291: != 0)
1.1 bertrand 1292: {
1293: (*s_etat_processus).erreur_systeme = d_es_processus;
1.68 bertrand 1294: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 1295: return;
1296: }
1297:
1298: (*s_argument_thread).nombre_references--;
1299:
1300: BUG((*s_argument_thread).nombre_references < 0,
1301: printf("(*s_argument_thread).nombre_references = %d\n",
1302: (int) (*s_argument_thread).nombre_references));
1303:
1304: if ((*s_argument_thread).nombre_references == 0)
1305: {
1.20 bertrand 1306: close((*s_argument_thread).pipe_objets[0]);
1307: close((*s_argument_thread).pipe_acquittement[1]);
1308: close((*s_argument_thread).pipe_injections[1]);
1309: close((*s_argument_thread).pipe_nombre_injections[1]);
1.125 bertrand 1310: close((*s_argument_thread).pipe_nombre_elements_attente[0]);
1.20 bertrand 1311: close((*s_argument_thread).pipe_interruptions[0]);
1312:
1.40 bertrand 1313: if (pthread_mutex_unlock(&((*s_argument_thread)
1314: .mutex_nombre_references)) != 0)
1.1 bertrand 1315: {
1316: (*s_etat_processus).erreur_systeme = d_es_processus;
1.68 bertrand 1317: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 1318: return;
1319: }
1320:
1321: pthread_mutex_destroy(&((*s_argument_thread).mutex));
1.40 bertrand 1322: pthread_mutex_destroy(&((*s_argument_thread)
1323: .mutex_nombre_references));
1.20 bertrand 1324:
1325: if ((*s_argument_thread).processus_detache == d_faux)
1326: {
1327: if ((*s_argument_thread).destruction_objet == d_vrai)
1328: {
1329: liberation(s_etat_processus, (*s_argument_thread).argument);
1330: }
1331: }
1332:
1.1 bertrand 1333: free(s_argument_thread);
1334: }
1335: else
1336: {
1.40 bertrand 1337: if (pthread_mutex_unlock(&((*s_argument_thread)
1338: .mutex_nombre_references)) != 0)
1.1 bertrand 1339: {
1340: (*s_etat_processus).erreur_systeme = d_es_processus;
1.68 bertrand 1341: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 1342: return;
1343: }
1344: }
1345:
1346: l_element_suivant = (*l_element_courant).suivant;
1347: free((struct_liste_chainee *) l_element_courant);
1348: l_element_courant = l_element_suivant;
1349: }
1350:
1351: liste_threads_surveillance = NULL;
1352:
1.68 bertrand 1353: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.1 bertrand 1354: {
1355: (*s_etat_processus).erreur_systeme = d_es_processus;
1356: return;
1357: }
1358:
1359: return;
1360: }
1361:
1362: static struct_processus *
1363: recherche_thread(pid_t pid, pthread_t tid)
1364: {
1365: volatile struct_liste_chainee_volatile *l_element_courant;
1366:
1367: struct_processus *s_etat_processus;
1368:
1.133 bertrand 1369: if (pthread_mutex_lock(&mutex_liste_threads) != 0)
1370: {
1371: return(NULL);
1372: }
1373:
1.1 bertrand 1374: l_element_courant = liste_threads;
1375:
1376: while(l_element_courant != NULL)
1377: {
1378: if ((pthread_equal((*((struct_thread *) (*l_element_courant).donnee))
1379: .tid, tid) != 0) && ((*((struct_thread *)
1380: (*l_element_courant).donnee)).pid == pid))
1381: {
1382: break;
1383: }
1384:
1385: l_element_courant = (*l_element_courant).suivant;
1386: }
1387:
1388: if (l_element_courant == NULL)
1389: {
1390: /*
1391: * Le processus n'existe plus. On ne distribue aucun signal.
1392: */
1393:
1.133 bertrand 1394: pthread_mutex_unlock(&mutex_liste_threads);
1.1 bertrand 1395: return(NULL);
1396: }
1397:
1398: s_etat_processus = (*((struct_thread *)
1399: (*l_element_courant).donnee)).s_etat_processus;
1400:
1.133 bertrand 1401: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1402: {
1403: return(NULL);
1404: }
1405:
1.1 bertrand 1406: return(s_etat_processus);
1407: }
1408:
1.66 bertrand 1409: static struct_processus *
1410: recherche_thread_principal(pid_t pid)
1.1 bertrand 1411: {
1412: volatile struct_liste_chainee_volatile *l_element_courant;
1413:
1414: l_element_courant = liste_threads;
1415:
1416: while(l_element_courant != NULL)
1417: {
1418: if (((*((struct_thread *) (*l_element_courant).donnee)).thread_principal
1419: == d_vrai) && ((*((struct_thread *)
1420: (*l_element_courant).donnee)).pid == pid))
1421: {
1422: break;
1423: }
1424:
1425: l_element_courant = (*l_element_courant).suivant;
1426: }
1427:
1428: if (l_element_courant == NULL)
1429: {
1430: /*
1431: * Le processus n'existe plus. On ne distribue aucun signal.
1432: */
1433:
1.66 bertrand 1434: return(NULL);
1.1 bertrand 1435: }
1436:
1.66 bertrand 1437: return((*((struct_thread *) (*l_element_courant).donnee))
1438: .s_etat_processus);
1.1 bertrand 1439: }
1440:
1441:
1442: /*
1443: ================================================================================
1444: Procédures de gestion des signaux d'interruption
1445: ================================================================================
1446: Entrée : variable globale
1447: --------------------------------------------------------------------------------
1448: Sortie : variable globale modifiée
1449: --------------------------------------------------------------------------------
1450: Effets de bord : néant
1451: ================================================================================
1452: */
1453:
1454: // Les routines suivantes sont uniquement appelées depuis les gestionnaires
1.17 bertrand 1455: // des signaux asynchrones. Elles ne doivent pas bloquer dans le cas où
1.1 bertrand 1456: // les sémaphores sont déjà bloqués par un gestionnaire de signal.
1457:
1458: static inline void
1.68 bertrand 1459: verrouillage_gestionnaire_signaux(struct_processus *s_etat_processus)
1.1 bertrand 1460: {
1.79 bertrand 1461: # ifndef SEMAPHORES_NOMMES
1.77 bertrand 1462: if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0)
1.79 bertrand 1463: # else
1464: if (sem_post((*s_etat_processus).semaphore_fork) != 0)
1465: # endif
1.1 bertrand 1466: {
1.68 bertrand 1467: BUG(1, uprintf("Lock error !\n"));
1468: return;
1.1 bertrand 1469: }
1470:
1.8 bertrand 1471: # ifndef SEMAPHORES_NOMMES
1.1 bertrand 1472: if (sem_post(&semaphore_gestionnaires_signaux) == -1)
1.8 bertrand 1473: # else
1474: if (sem_post(semaphore_gestionnaires_signaux) == -1)
1475: # endif
1.1 bertrand 1476: {
1.79 bertrand 1477: # ifndef SEMAPHORES_NOMMES
1.77 bertrand 1478: sem_wait(&((*s_etat_processus).semaphore_fork));
1.79 bertrand 1479: # else
1480: sem_wait((*s_etat_processus).semaphore_fork);
1481: # endif
1.1 bertrand 1482: BUG(1, uprintf("Lock error !\n"));
1483: return;
1484: }
1485:
1486: return;
1487: }
1488:
1489: static inline void
1.68 bertrand 1490: deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus)
1.1 bertrand 1491: {
1.79 bertrand 1492: # ifndef SEMAPHORES_NOMMES
1.78 bertrand 1493: while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0)
1.79 bertrand 1494: # else
1495: while(sem_wait((*s_etat_processus).semaphore_fork) != 0)
1496: # endif
1.1 bertrand 1497: {
1.79 bertrand 1498: if (errno != EINTR)
1499: {
1500: BUG(1, uprintf("Unlock error !\n"));
1501: return;
1502: }
1.1 bertrand 1503: }
1504:
1505: return;
1506: }
1507:
1.106 bertrand 1508: /*
1509: ================================================================================
1510: Fonctions de gestion des signaux dans les threads.
1511:
1512: Lorsqu'un processus reçoit un signal, il appelle le gestionnaire de signal
1513: associé qui ne fait qu'envoyer au travers de write() le signal
1514: reçus dans un pipe. Un second thread est bloqué sur ce pipe et
1515: effectue le traitement adéquat pour le signal donné.
1516: ================================================================================
1517: */
1518:
1.65 bertrand 1519: #define test_signal(signal) \
1.67 bertrand 1520: if (signal_test == SIGTEST) { signal_test = signal; return; }
1.66 bertrand 1521:
1.106 bertrand 1522: static int pipe_signaux;
1523:
1524: logical1
1525: lancement_thread_signaux(struct_processus *s_etat_processus)
1526: {
1527: pthread_attr_t attributs;
1528:
1529: void *argument;
1530:
1531: if (pipe((*s_etat_processus).pipe_signaux) != 0)
1532: {
1533: (*s_etat_processus).erreur_systeme = d_es_processus;
1534: return(d_erreur);
1535: }
1536:
1537: pipe_signaux = (*s_etat_processus).pipe_signaux[1];
1538:
1539: if (pthread_attr_init(&attributs) != 0)
1540: {
1541: (*s_etat_processus).erreur_systeme = d_es_processus;
1542: return(d_erreur);
1543: }
1544:
1545: if (pthread_attr_setdetachstate(&attributs, PTHREAD_CREATE_JOINABLE) != 0)
1546: {
1547: (*s_etat_processus).erreur_systeme = d_es_processus;
1548: return(d_erreur);
1549: }
1550:
1551: argument = (*s_etat_processus).pipe_signaux;
1552:
1553: if (pthread_create(&((*s_etat_processus).thread_signaux), &attributs,
1554: thread_signaux, argument) != 0)
1555: {
1556: (*s_etat_processus).erreur_systeme = d_es_processus;
1557: return(d_erreur);
1558: }
1559:
1560: return(d_absence_erreur);
1561: }
1562:
1563: logical1
1564: arret_thread_signaux(struct_processus *s_etat_processus)
1565: {
1566: unsigned char signal;
1567: ssize_t n;
1568:
1569: signal = (unsigned char ) (rpl_sigmax & 0xFF);
1570:
1571: do
1572: {
1573: n = write((*s_etat_processus).pipe_signaux[1], &signal, sizeof(signal));
1574:
1575: if (n < 0)
1576: {
1577: return(d_erreur);
1578: }
1579: } while(n != 1);
1580:
1581: pthread_join((*s_etat_processus).thread_signaux, NULL);
1582:
1583: close((*s_etat_processus).pipe_signaux[0]);
1584: close((*s_etat_processus).pipe_signaux[1]);
1585:
1586: return(d_absence_erreur);
1587: }
1588:
1589: void *
1590: thread_signaux(void *argument)
1591: {
1592: int *pipe;
1593:
1594: sigset_t masque;
1595:
1596: struct pollfd fds;
1597:
1598: unsigned char signal;
1599:
1600: pipe = (int *) argument;
1601: fds.fd = pipe[0];
1602: fds.events = POLLIN;
1603: fds.revents = 0;
1604:
1605: sigfillset(&masque);
1606: pthread_sigmask(SIG_BLOCK, &masque, NULL);
1607:
1608: do
1609: {
1610: if (poll(&fds, 1, -1) == -1)
1611: {
1612: pthread_exit(NULL);
1613: }
1614:
1.143 ! bertrand 1615: # pragma GCC diagnostic push
! 1616: # pragma GCC diagnostic ignored "-Wunused-result"
! 1617:
1.106 bertrand 1618: read(fds.fd, &signal, 1);
1619:
1.143 ! bertrand 1620: # pragma GCC diagnostic pop
! 1621:
1.106 bertrand 1622: if (signal != (0xFF & rpl_sigmax))
1623: {
1624: envoi_signal_processus(getpid(), signal);
1625: // Un signal SIGALRM est envoyé par le thread de surveillance
1626: // des signaux jusqu'à ce que les signaux soient tous traités.
1627: }
1628: } while(signal != (0xFF & rpl_sigmax));
1629:
1630: pthread_exit(NULL);
1631: }
1632:
1.67 bertrand 1633: // Récupération des signaux
1.99 bertrand 1634: // - SIGINT (arrêt au clavier)
1.67 bertrand 1635: // - SIGTERM (signal d'arrêt en provenance du système)
1.65 bertrand 1636:
1.67 bertrand 1637: void
1638: interruption1(int signal)
1.30 bertrand 1639: {
1.106 bertrand 1640: unsigned char signal_tronque;
1641:
1.67 bertrand 1642: test_signal(signal);
1.30 bertrand 1643:
1.143 ! bertrand 1644: # pragma GCC diagnostic push
! 1645: # pragma GCC diagnostic ignored "-Wunused-result"
! 1646:
1.67 bertrand 1647: switch(signal)
1.31 bertrand 1648: {
1.67 bertrand 1649: case SIGINT:
1.106 bertrand 1650: signal_tronque = (unsigned char) (rpl_sigint & 0xFF);
1651: write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
1.67 bertrand 1652: break;
1.66 bertrand 1653:
1.67 bertrand 1654: case SIGTERM:
1.106 bertrand 1655: signal_tronque = (unsigned char) (rpl_sigterm & 0xFF);
1656: write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
1.67 bertrand 1657: break;
1.31 bertrand 1658:
1.81 bertrand 1659: case SIGUSR1:
1.106 bertrand 1660: signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF);
1661: write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
1.67 bertrand 1662: break;
1.105 bertrand 1663:
1664: default:
1665: // SIGALRM
1666: break;
1.31 bertrand 1667: }
1.66 bertrand 1668:
1.143 ! bertrand 1669: # pragma GCC diagnostic pop
! 1670:
1.67 bertrand 1671: return;
1.66 bertrand 1672: }
1673:
1.106 bertrand 1674: // Récupération des signaux
1675: // - SIGFSTP
1676: //
1677: // ATTENTION :
1678: // Le signal SIGFSTP provient de la mort du processus de contrôle.
1679: // Sous certains systèmes (Linux...), la mort du terminal de contrôle
1680: // se traduit par l'envoi d'un SIGHUP au processus. Sur d'autres
1681: // (SunOS), le processus reçoit un SIGFSTP avec une structure siginfo
1682: // non initialisée (pointeur NULL) issue de TERMIO.
1683:
1684: void
1685: interruption2(int signal)
1686: {
1687: unsigned char signal_tronque;
1688:
1689: test_signal(signal);
1690:
1691: signal_tronque = (unsigned char) (rpl_sigtstp & 0xFF);
1.143 ! bertrand 1692:
! 1693: # pragma GCC diagnostic push
! 1694: # pragma GCC diagnostic ignored "-Wunused-result"
! 1695:
1.106 bertrand 1696: write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
1.143 ! bertrand 1697:
! 1698: # pragma GCC diagnostic pop
! 1699:
1.106 bertrand 1700: return;
1701: }
1702:
1703: void
1704: interruption3(int signal)
1705: {
1706: // Si on passe par ici, c'est qu'il est impossible de récupérer
1707: // l'erreur d'accès à la mémoire. On sort donc du programme quitte à
1708: // ce qu'il reste des processus orphelins.
1709:
1710: unsigned char message_1[] = "+++System : Uncaught access violation\n"
1711: "+++System : Aborting !\n";
1712: unsigned char message_2[] = "+++System : Stack overflow\n"
1713: "+++System : Aborting !\n";
1714:
1715: test_signal(signal);
1716:
1717: if (pid_processus_pere == getpid())
1718: {
1719: kill(pid_processus_pere, SIGUSR1);
1720: }
1721:
1.143 ! bertrand 1722: # pragma GCC diagnostic push
! 1723: # pragma GCC diagnostic ignored "-Wunused-result"
! 1724:
1.106 bertrand 1725: if (signal != SIGUSR2)
1726: {
1727: write(STDERR_FILENO, message_1, strlen(message_1));
1728: }
1729: else
1730: {
1731: write(STDERR_FILENO, message_2, strlen(message_2));
1732: }
1733:
1.143 ! bertrand 1734: # pragma GCC diagnostic pop
! 1735:
1.106 bertrand 1736: _exit(EXIT_FAILURE);
1737: }
1738:
1739: // Récupération des signaux
1740: // - SIGHUP
1741:
1742: void
1743: interruption4(int signal)
1744: {
1745: unsigned char signal_tronque;
1746:
1747: test_signal(signal);
1748:
1749: signal_tronque = (unsigned char) (rpl_sighup & 0xFF);
1750: write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
1751: return;
1752: }
1753:
1754: // Récupération des signaux
1755: // - SIGPIPE
1756:
1757: void
1758: interruption5(int signal)
1759: {
1760: unsigned char message[] = "+++System : SIGPIPE\n"
1761: "+++System : Aborting !\n";
1762: unsigned char signal_tronque;
1763:
1764: test_signal(signal);
1765:
1.143 ! bertrand 1766: # pragma GCC diagnostic push
! 1767: # pragma GCC diagnostic ignored "-Wunused-result"
! 1768:
1.106 bertrand 1769: if (pid_processus_pere == getpid())
1770: {
1771: signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF);
1772: write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
1773: }
1774:
1775: write(STDERR_FILENO, message, strlen(message));
1.143 ! bertrand 1776:
! 1777: # pragma GCC diagnostic pop
! 1778:
1.106 bertrand 1779: return;
1780: }
1781:
1.67 bertrand 1782: inline static void
1783: signal_alrm(struct_processus *s_etat_processus, pid_t pid)
1.66 bertrand 1784: {
1.67 bertrand 1785: struct_processus *s_thread_principal;
1.66 bertrand 1786:
1.68 bertrand 1787: verrouillage_gestionnaire_signaux(s_etat_processus);
1.67 bertrand 1788:
1789: if (pid == getpid())
1790: {
1791: // Si pid est égal à getpid(), le signal à traiter est issu
1792: // du même processus que celui qui va le traiter, mais d'un thread
1793: // différent.
1.66 bertrand 1794:
1.67 bertrand 1795: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
1.66 bertrand 1796: {
1.67 bertrand 1797: printf("[%d] RPL/SIGALRM (thread %llu)\n", (int) getpid(),
1798: (unsigned long long) pthread_self());
1799: fflush(stdout);
1800: }
1.66 bertrand 1801:
1.67 bertrand 1802: if ((*s_etat_processus).pid_processus_pere != getpid())
1803: {
1804: // On n'est pas dans le processus père, on remonte le signal.
1805: envoi_signal_processus((*s_etat_processus).pid_processus_pere,
1806: rpl_sigalrm);
1.66 bertrand 1807: }
1808: else
1809: {
1.67 bertrand 1810: // On est dans le processus père, on effectue un arrêt d'urgence.
1811: (*s_etat_processus).var_volatile_alarme = -1;
1812: (*s_etat_processus).var_volatile_requete_arret = -1;
1.66 bertrand 1813: }
1.67 bertrand 1814: }
1815: else
1816: {
1817: // Le signal est issu d'un processus différent. On recherche le
1818: // thread principal pour remonter le signal.
1.66 bertrand 1819:
1.67 bertrand 1820: if ((s_thread_principal = recherche_thread_principal(getpid()))
1821: != NULL)
1.66 bertrand 1822: {
1.67 bertrand 1823: envoi_signal_contexte(s_thread_principal, rpl_sigalrm);
1.66 bertrand 1824: }
1.67 bertrand 1825: }
1.29 bertrand 1826:
1.68 bertrand 1827: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.66 bertrand 1828: return;
1829: }
1830:
1.67 bertrand 1831: inline static void
1832: signal_term(struct_processus *s_etat_processus, pid_t pid)
1.66 bertrand 1833: {
1.67 bertrand 1834: struct_processus *s_thread_principal;
1.97 bertrand 1835: pthread_mutex_t exclusion = PTHREAD_MUTEX_INITIALIZER;
1.66 bertrand 1836:
1.68 bertrand 1837: verrouillage_gestionnaire_signaux(s_etat_processus);
1.66 bertrand 1838:
1.67 bertrand 1839: if (pid == getpid())
1.1 bertrand 1840: {
1.67 bertrand 1841: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
1842: {
1843: printf("[%d] RPL/SIGTERM (thread %llu)\n", (int) getpid(),
1844: (unsigned long long) pthread_self());
1845: fflush(stdout);
1846: }
1847:
1848: if ((*s_etat_processus).pid_processus_pere != getpid())
1849: {
1850: envoi_signal_processus((*s_etat_processus).pid_processus_pere,
1851: rpl_sigterm);
1852: }
1853: else
1.1 bertrand 1854: {
1.67 bertrand 1855: (*s_etat_processus).var_volatile_traitement_sigint = -1;
1856:
1.97 bertrand 1857: pthread_mutex_lock(&exclusion);
1.1 bertrand 1858:
1.67 bertrand 1859: if ((*s_etat_processus).var_volatile_requete_arret == -1)
1.1 bertrand 1860: {
1.68 bertrand 1861: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.97 bertrand 1862: pthread_mutex_unlock(&exclusion);
1.67 bertrand 1863: return;
1.1 bertrand 1864: }
1865:
1.67 bertrand 1866: (*s_etat_processus).var_volatile_requete_arret = -1;
1867: (*s_etat_processus).var_volatile_alarme = -1;
1868:
1.97 bertrand 1869: pthread_mutex_unlock(&exclusion);
1.1 bertrand 1870: }
1.67 bertrand 1871: }
1872: else
1873: {
1874: if ((s_thread_principal = recherche_thread_principal(getpid()))
1875: != NULL)
1.1 bertrand 1876: {
1.67 bertrand 1877: envoi_signal_contexte(s_thread_principal, rpl_sigterm);
1878: }
1879: }
1.44 bertrand 1880:
1.68 bertrand 1881: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.67 bertrand 1882: return;
1883: }
1.1 bertrand 1884:
1.67 bertrand 1885: inline static void
1886: signal_int(struct_processus *s_etat_processus, pid_t pid)
1887: {
1888: struct_processus *s_thread_principal;
1889: volatile sig_atomic_t exclusion = 0;
1.1 bertrand 1890:
1.68 bertrand 1891: verrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 1892:
1.67 bertrand 1893: if (pid == getpid())
1894: {
1895: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
1896: {
1897: printf("[%d] RPL/SIGINT (thread %llu)\n", (int) getpid(),
1898: (unsigned long long) pthread_self());
1899: fflush(stdout);
1900: }
1.1 bertrand 1901:
1.67 bertrand 1902: if ((*s_etat_processus).pid_processus_pere != getpid())
1903: {
1904: envoi_signal_processus((*s_etat_processus).pid_processus_pere,
1905: rpl_sigint);
1906: }
1907: else
1908: {
1909: (*s_etat_processus).var_volatile_traitement_sigint = -1;
1.44 bertrand 1910:
1.67 bertrand 1911: while(exclusion == 1);
1912: exclusion = 1;
1.1 bertrand 1913:
1.67 bertrand 1914: if ((*s_etat_processus).var_volatile_requete_arret == -1)
1915: {
1.68 bertrand 1916: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.67 bertrand 1917: exclusion = 0;
1918: return;
1919: }
1.1 bertrand 1920:
1.67 bertrand 1921: if ((*s_etat_processus).langue == 'F')
1922: {
1923: printf("+++Interruption\n");
1.1 bertrand 1924: }
1925: else
1926: {
1.67 bertrand 1927: printf("+++Interrupt\n");
1.1 bertrand 1928: }
1929:
1.67 bertrand 1930: fflush(stdout);
1931:
1932: (*s_etat_processus).var_volatile_requete_arret = -1;
1933: (*s_etat_processus).var_volatile_alarme = -1;
1934:
1935: exclusion = 0;
1.1 bertrand 1936: }
1.67 bertrand 1937: }
1938: else
1939: {
1940: if ((s_thread_principal = recherche_thread_principal(getpid()))
1941: != NULL)
1.1 bertrand 1942: {
1.67 bertrand 1943: envoi_signal_contexte(s_thread_principal, rpl_sigint);
1.1 bertrand 1944: }
1945: }
1946:
1.68 bertrand 1947: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 1948: return;
1949: }
1950:
1.67 bertrand 1951: static inline void
1952: signal_tstp(struct_processus *s_etat_processus, pid_t pid)
1.66 bertrand 1953: {
1954: struct_processus *s_thread_principal;
1955:
1.68 bertrand 1956: verrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 1957:
1.30 bertrand 1958: if (pid == getpid())
1.1 bertrand 1959: {
1960: /*
1961: * 0 => fonctionnement normal
1962: * -1 => requête
1963: * 1 => requête acceptée en attente de traitement
1964: */
1965:
1966: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
1967: {
1.67 bertrand 1968: printf("[%d] RPL/SIGTSTP (thread %llu)\n", (int) getpid(),
1.1 bertrand 1969: (unsigned long long) pthread_self());
1970: fflush(stdout);
1971: }
1972:
1973: if ((*s_etat_processus).var_volatile_processus_pere == 0)
1974: {
1.67 bertrand 1975: envoi_signal_processus((*s_etat_processus).pid_processus_pere,
1976: rpl_sigtstp);
1.1 bertrand 1977: }
1978: else
1979: {
1980: (*s_etat_processus).var_volatile_requete_arret2 = -1;
1981: }
1982: }
1983: else
1984: {
1985: // Envoi d'un signal au thread maître du groupe.
1986:
1.66 bertrand 1987: if ((s_thread_principal = recherche_thread_principal(getpid()))
1988: != NULL)
1.1 bertrand 1989: {
1.67 bertrand 1990: envoi_signal_contexte(s_thread_principal, rpl_sigtstp);
1.1 bertrand 1991: }
1992: }
1993:
1.68 bertrand 1994: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 1995: return;
1996: }
1997:
1.81 bertrand 1998: static void
1999: sortie_interruption_depassement_pile(void *arg1, void *arg2, void *arg3)
1.66 bertrand 2000: {
1.81 bertrand 2001: switch((*((volatile int *) arg1)))
2002: {
2003: case 1:
2004: longjmp(contexte_ecriture, -1);
2005: break;
1.63 bertrand 2006:
1.81 bertrand 2007: case 2:
2008: longjmp(contexte_impression, -1);
2009: break;
2010: }
1.1 bertrand 2011:
1.81 bertrand 2012: return;
2013: }
1.32 bertrand 2014:
1.81 bertrand 2015: void
2016: interruption_depassement_pile(int urgence, stackoverflow_context_t scp)
2017: {
2018: if ((urgence == 0) && (routine_recursive != 0))
1.1 bertrand 2019: {
1.81 bertrand 2020: // On peut tenter de récupérer le dépassement de pile. Si la variable
2021: // 'routine_recursive' est non nulle, on récupère l'erreur.
1.1 bertrand 2022:
1.81 bertrand 2023: sigsegv_leave_handler(sortie_interruption_depassement_pile,
2024: (void *) &routine_recursive, NULL, NULL);
1.1 bertrand 2025: }
2026:
1.81 bertrand 2027: // Ici, la panique est totale et il vaut mieux quitter l'application.
2028: interruption3(SIGUSR2);
2029: return;
2030: }
1.1 bertrand 2031:
1.81 bertrand 2032: int
2033: interruption_violation_access(void *adresse_fautive, int gravite)
2034: {
2035: unsigned char message[] = "+++System : Trying to catch access "
2036: "violation\n";
1.63 bertrand 2037:
1.85 bertrand 2038: static int compteur_erreur = 0;
1.63 bertrand 2039:
1.81 bertrand 2040: if ((gravite == 0) && (routine_recursive != 0))
2041: {
2042: // Il peut s'agir d'un dépassement de pile.
1.63 bertrand 2043:
1.81 bertrand 2044: sigsegv_leave_handler(sortie_interruption_depassement_pile,
2045: (void *) &routine_recursive, NULL, NULL);
2046: }
1.63 bertrand 2047:
1.81 bertrand 2048: // On est dans une bonne vieille violation d'accès. On essaie
2049: // de fermer au mieux l'application.
1.63 bertrand 2050:
1.81 bertrand 2051: compteur_erreur++;
1.63 bertrand 2052:
1.81 bertrand 2053: if (compteur_erreur >= 2)
2054: {
2055: // Erreurs multiples, on arrête l'application.
2056: interruption3(SIGSEGV);
2057: return(0);
2058: }
1.63 bertrand 2059:
1.86 bertrand 2060: write(STDERR_FILENO, message, strlen(message));
1.63 bertrand 2061:
1.81 bertrand 2062: if (pid_processus_pere == getpid())
2063: {
2064: longjmp(contexte_initial, -1);
2065: return(1);
2066: }
2067: else
2068: {
2069: longjmp(contexte_processus, -1);
2070: return(1);
1.1 bertrand 2071: }
2072:
1.81 bertrand 2073: // On renvoie 0 parce qu'on décline toute responsabilité quant à la
2074: // suite des événements...
2075: return(0);
1.1 bertrand 2076: }
1.67 bertrand 2077:
2078: // Traitement de rpl_sigstart
1.1 bertrand 2079:
1.67 bertrand 2080: static inline void
2081: signal_start(struct_processus *s_etat_processus, pid_t pid)
1.1 bertrand 2082: {
1.69 bertrand 2083: struct_processus *s_thread_principal;
2084:
2085: verrouillage_gestionnaire_signaux(s_etat_processus);
2086:
2087: if (pid == getpid())
2088: {
2089: (*s_etat_processus).demarrage_fils = d_vrai;
2090: }
2091: else
2092: {
2093: // Envoi d'un signal au thread maître du groupe.
2094:
2095: if ((s_thread_principal = recherche_thread_principal(getpid()))
2096: != NULL)
2097: {
2098: envoi_signal_contexte(s_thread_principal, rpl_sigstart);
2099: }
2100: }
2101:
2102: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.67 bertrand 2103: return;
2104: }
1.32 bertrand 2105:
1.67 bertrand 2106: // Traitement de rpl_sigcont
1.1 bertrand 2107:
1.67 bertrand 2108: static inline void
2109: signal_cont(struct_processus *s_etat_processus, pid_t pid)
2110: {
1.69 bertrand 2111: struct_processus *s_thread_principal;
2112:
2113: verrouillage_gestionnaire_signaux(s_etat_processus);
2114:
2115: if (pid == getpid())
2116: {
2117: (*s_etat_processus).redemarrage_processus = d_vrai;
2118: }
2119: else
2120: {
2121: // Envoi d'un signal au thread maître du groupe.
2122:
2123: if ((s_thread_principal = recherche_thread_principal(getpid()))
2124: != NULL)
2125: {
2126: envoi_signal_contexte(s_thread_principal, rpl_sigcont);
2127: }
2128: }
2129:
2130: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2131: return;
2132: }
2133:
1.67 bertrand 2134: // Traitement de rpl_sigstop
2135:
2136: static inline void
2137: signal_stop(struct_processus *s_etat_processus, pid_t pid)
1.1 bertrand 2138: {
1.67 bertrand 2139: struct_processus *s_thread_principal;
1.1 bertrand 2140:
1.68 bertrand 2141: verrouillage_gestionnaire_signaux(s_etat_processus);
1.32 bertrand 2142:
1.30 bertrand 2143: if (pid == getpid())
1.1 bertrand 2144: {
2145: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
2146: {
1.69 bertrand 2147: printf("[%d] RPL/SIGSTOP (thread %llu)\n", (int) getpid(),
1.16 bertrand 2148: (unsigned long long) pthread_self());
2149: fflush(stdout);
1.1 bertrand 2150: }
2151:
2152: /*
2153: * var_globale_traitement_retarde_stop :
2154: * 0 -> traitement immédiat
2155: * 1 -> traitement retardé (aucun signal reçu)
2156: * -1 -> traitement retardé (un ou plusieurs signaux stop reçus)
2157: */
2158:
1.11 bertrand 2159: if ((*s_etat_processus).var_volatile_traitement_retarde_stop == 0)
1.1 bertrand 2160: {
1.11 bertrand 2161: (*s_etat_processus).var_volatile_requete_arret = -1;
1.1 bertrand 2162: }
2163: else
2164: {
1.11 bertrand 2165: (*s_etat_processus).var_volatile_traitement_retarde_stop = -1;
1.1 bertrand 2166: }
2167: }
2168: else
2169: {
2170: // Envoi d'un signal au thread maître du groupe.
2171:
1.67 bertrand 2172: if ((s_thread_principal = recherche_thread_principal(getpid()))
2173: != NULL)
1.1 bertrand 2174: {
1.67 bertrand 2175: envoi_signal_contexte(s_thread_principal, rpl_sigstop);
1.1 bertrand 2176: }
2177: }
2178:
1.68 bertrand 2179: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2180: return;
2181: }
2182:
1.67 bertrand 2183: // Traitement de rpl_siginject
2184:
2185: static inline void
2186: signal_inject(struct_processus *s_etat_processus, pid_t pid)
1.1 bertrand 2187: {
1.68 bertrand 2188: verrouillage_gestionnaire_signaux(s_etat_processus);
1.32 bertrand 2189:
1.1 bertrand 2190: if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
2191: {
1.68 bertrand 2192: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2193: return;
2194: }
2195:
2196: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
2197: {
1.67 bertrand 2198: printf("[%d] RPL/SIGINJECT (thread %llu)\n", (int) getpid(),
1.1 bertrand 2199: (unsigned long long) pthread_self());
2200: fflush(stdout);
2201: }
2202:
1.68 bertrand 2203: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2204: return;
2205: }
2206:
2207:
1.67 bertrand 2208: static inline void
2209: signal_urg(struct_processus *s_etat_processus, pid_t pid)
1.1 bertrand 2210: {
1.67 bertrand 2211: struct_processus *s_thread_principal;
1.30 bertrand 2212:
1.68 bertrand 2213: verrouillage_gestionnaire_signaux(s_etat_processus);
1.32 bertrand 2214:
1.30 bertrand 2215: if (pid == getpid())
1.1 bertrand 2216: {
2217: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
2218: {
1.67 bertrand 2219: printf("[%d] RPL/SIGURG (thread %llu)\n", (int) getpid(),
1.1 bertrand 2220: (unsigned long long) pthread_self());
2221: fflush(stdout);
2222: }
2223:
2224: (*s_etat_processus).var_volatile_alarme = -1;
2225: (*s_etat_processus).var_volatile_requete_arret = -1;
2226: }
2227: else
2228: {
2229: // Envoi d'un signal au thread maître du groupe.
2230:
1.67 bertrand 2231: if ((s_thread_principal = recherche_thread_principal(getpid()))
2232: != NULL)
1.1 bertrand 2233: {
1.67 bertrand 2234: envoi_signal_contexte(s_thread_principal, rpl_sigurg);
1.1 bertrand 2235: }
2236: }
2237:
1.68 bertrand 2238: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2239: return;
2240: }
2241:
1.67 bertrand 2242: // Traitement de rpl_sigabort
2243:
2244: static inline void
2245: signal_abort(struct_processus *s_etat_processus, pid_t pid)
1.1 bertrand 2246: {
1.67 bertrand 2247: struct_processus *s_thread_principal;
1.1 bertrand 2248:
1.68 bertrand 2249: verrouillage_gestionnaire_signaux(s_etat_processus);
1.32 bertrand 2250:
1.1 bertrand 2251: if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
2252: {
1.68 bertrand 2253: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2254: return;
2255: }
2256:
2257: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
2258: {
1.67 bertrand 2259: printf("[%d] RPL/SIGABORT (thread %llu)\n", (int) getpid(),
1.1 bertrand 2260: (unsigned long long) pthread_self());
2261: fflush(stdout);
2262: }
2263:
1.67 bertrand 2264: if (pid == getpid())
1.30 bertrand 2265: {
1.67 bertrand 2266: (*s_etat_processus).arret_depuis_abort = -1;
2267:
2268: /*
2269: * var_globale_traitement_retarde_stop :
2270: * 0 -> traitement immédiat
2271: * 1 -> traitement retardé (aucun signal reçu)
2272: * -1 -> traitement retardé (un ou plusieurs signaux stop reçus)
2273: */
2274:
2275: if ((*s_etat_processus).var_volatile_traitement_retarde_stop == 0)
2276: {
2277: (*s_etat_processus).var_volatile_requete_arret = -1;
2278: }
2279: else
2280: {
2281: (*s_etat_processus).var_volatile_traitement_retarde_stop = -1;
2282: }
2283: }
2284: else
2285: {
2286: (*s_etat_processus).arret_depuis_abort = -1;
2287:
2288: // Envoi d'un signal au thread maître du groupe.
2289:
2290: if ((s_thread_principal = recherche_thread_principal(getpid()))
2291: != NULL)
2292: {
2293: envoi_signal_contexte(s_thread_principal, rpl_sigabort);
2294: }
2295: }
2296:
1.68 bertrand 2297: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.67 bertrand 2298: return;
2299: }
2300:
2301:
2302: static inline void
2303: signal_hup(struct_processus *s_etat_processus, pid_t pid)
1.1 bertrand 2304: {
2305: file *fichier;
2306:
2307: unsigned char nom[8 + 64 + 1];
2308:
1.68 bertrand 2309: verrouillage_gestionnaire_signaux(s_etat_processus);
1.32 bertrand 2310:
1.1 bertrand 2311: if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
2312: {
1.68 bertrand 2313: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2314: return;
2315: }
2316:
1.122 bertrand 2317: snprintf(nom, 8 + 64 + 1, "rpl-out-%llu-%llu",
2318: (unsigned long long) getpid(),
2319: (unsigned long long) pthread_self());
1.1 bertrand 2320:
1.143 ! bertrand 2321: # pragma GCC diagnostic push
! 2322: # pragma GCC diagnostic ignored "-Wunused-result"
! 2323:
1.1 bertrand 2324: if ((fichier = fopen(nom, "w+")) != NULL)
2325: {
2326: fclose(fichier);
2327:
1.86 bertrand 2328: freopen(nom, "w", stdout);
2329: freopen(nom, "w", stderr);
1.1 bertrand 2330: }
2331:
1.86 bertrand 2332: freopen("/dev/null", "r", stdin);
1.1 bertrand 2333:
1.143 ! bertrand 2334: # pragma GCC diagnostic pop
! 2335:
1.1 bertrand 2336: if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
2337: {
1.69 bertrand 2338: printf("[%d] RPL/SIGHUP (thread %llu)\n", (int) getpid(),
1.1 bertrand 2339: (unsigned long long) pthread_self());
2340: fflush(stdout);
2341: }
2342:
1.68 bertrand 2343: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.1 bertrand 2344: return;
2345: }
2346:
2347: void
1.67 bertrand 2348: traitement_exceptions_gsl(const char *reason, const char *file,
2349: int line, int gsl_errno)
2350: {
1.68 bertrand 2351: code_erreur_gsl = gsl_errno;
2352: envoi_signal_processus(getpid(), rpl_sigexcept);
2353: return;
2354: }
1.67 bertrand 2355:
1.68 bertrand 2356: static inline void
2357: signal_except(struct_processus *s_etat_processus, pid_t pid)
2358: {
2359: verrouillage_gestionnaire_signaux(s_etat_processus);
1.67 bertrand 2360:
2361: if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
2362: {
1.68 bertrand 2363: deverrouillage_gestionnaire_signaux(s_etat_processus);
1.67 bertrand 2364: return;
2365: }
2366:
1.68 bertrand 2367: (*s_etat_processus).var_volatile_exception_gsl = code_erreur_gsl;
2368: deverrouillage_gestionnaire_signaux(s_etat_processus);
2369:
1.67 bertrand 2370: return;
2371: }
2372:
2373: static inline void
2374: envoi_interruptions(struct_processus *s_etat_processus, enum signaux_rpl signal,
2375: pid_t pid_source)
1.16 bertrand 2376: {
1.67 bertrand 2377: switch(signal)
2378: {
1.69 bertrand 2379: case rpl_signull:
2380: break;
2381:
1.67 bertrand 2382: case rpl_sigint:
2383: signal_int(s_etat_processus, pid_source);
2384: break;
2385:
2386: case rpl_sigterm:
2387: signal_term(s_etat_processus, pid_source);
2388: break;
2389:
2390: case rpl_sigstart:
2391: signal_start(s_etat_processus, pid_source);
2392: break;
2393:
2394: case rpl_sigcont:
2395: signal_cont(s_etat_processus, pid_source);
2396: break;
2397:
2398: case rpl_sigstop:
2399: signal_stop(s_etat_processus, pid_source);
2400: break;
1.30 bertrand 2401:
1.67 bertrand 2402: case rpl_sigabort:
2403: signal_abort(s_etat_processus, pid_source);
2404: break;
2405:
2406: case rpl_sigurg:
2407: signal_urg(s_etat_processus, pid_source);
2408: break;
2409:
2410: case rpl_siginject:
2411: signal_inject(s_etat_processus, pid_source);
2412: break;
2413:
2414: case rpl_sigalrm:
2415: signal_alrm(s_etat_processus, pid_source);
2416: break;
2417:
2418: case rpl_sighup:
2419: signal_hup(s_etat_processus, pid_source);
2420: break;
2421:
2422: case rpl_sigtstp:
2423: signal_tstp(s_etat_processus, pid_source);
2424: break;
2425:
1.68 bertrand 2426: case rpl_sigexcept:
2427: signal_except(s_etat_processus, pid_source);
2428: break;
2429:
1.67 bertrand 2430: default:
1.69 bertrand 2431: if ((*s_etat_processus).langue == 'F')
2432: {
1.107 bertrand 2433: printf("+++System : Signal inconnu (%d) !\n", signal);
1.69 bertrand 2434: }
2435: else
2436: {
1.107 bertrand 2437: printf("+++System : Spurious signal (%d) !\n", signal);
1.69 bertrand 2438: }
2439:
1.67 bertrand 2440: break;
2441: }
1.30 bertrand 2442:
1.67 bertrand 2443: return;
2444: }
1.16 bertrand 2445:
1.67 bertrand 2446: void
2447: scrutation_interruptions(struct_processus *s_etat_processus)
2448: {
2449: // Interruptions qui arrivent sur le processus depuis un
2450: // processus externe.
1.32 bertrand 2451:
1.68 bertrand 2452: // Les pointeurs de lecture pointent sur les prochains éléments
2453: // à lire. Les pointeurs d'écriture pointent sur les prochains éléments à
2454: // écrire.
2455:
1.141 bertrand 2456: if (sem_trywait(semaphore_queue_signaux) == 0)
1.68 bertrand 2457: {
1.94 bertrand 2458: while((*s_queue_signaux).pointeur_lecture !=
1.68 bertrand 2459: (*s_queue_signaux).pointeur_ecriture)
2460: {
2461: // Il y a un signal en attente dans le segment partagé. On le
2462: // traite.
2463:
2464: envoi_interruptions(s_etat_processus,
2465: (*s_queue_signaux).queue[(*s_queue_signaux)
2466: .pointeur_lecture].signal, (*s_queue_signaux).queue
2467: [(*s_queue_signaux).pointeur_lecture].pid);
2468: (*s_queue_signaux).pointeur_lecture =
2469: ((*s_queue_signaux).pointeur_lecture + 1)
2470: % LONGUEUR_QUEUE_SIGNAUX;
1.96 bertrand 2471:
1.141 bertrand 2472: if (msync(s_queue_signaux, sizeof(s_queue_signaux),
2473: MS_ASYNC | MS_INVALIDATE) != 0)
2474: {
2475: (*s_etat_processus).erreur_systeme = d_es_processus;
2476: return;
2477: }
2478:
1.108 bertrand 2479: while(sem_wait(semaphore_signalisation) != 0)
2480: {
2481: if (errno != EINTR)
2482: {
2483: (*s_etat_processus).erreur_systeme = d_es_processus;
2484: return;
2485: }
2486: }
1.68 bertrand 2487: }
2488:
1.141 bertrand 2489: sem_post(semaphore_queue_signaux);
1.68 bertrand 2490: }
2491:
1.67 bertrand 2492: // Interruptions qui arrivent depuis le groupe courant de threads.
1.29 bertrand 2493:
1.134 bertrand 2494: if (pthread_mutex_trylock(&((*s_etat_processus).mutex_signaux)) == 0)
1.16 bertrand 2495: {
1.94 bertrand 2496: while((*s_etat_processus).pointeur_signal_lecture !=
1.68 bertrand 2497: (*s_etat_processus).pointeur_signal_ecriture)
2498: {
2499: // Il y a un signal dans la queue du thread courant. On le traite.
2500:
2501: envoi_interruptions(s_etat_processus,
2502: (*s_etat_processus).signaux_en_queue
2503: [(*s_etat_processus).pointeur_signal_lecture],
2504: getpid());
2505: (*s_etat_processus).pointeur_signal_lecture =
2506: ((*s_etat_processus).pointeur_signal_lecture + 1)
2507: % LONGUEUR_QUEUE_SIGNAUX;
1.96 bertrand 2508:
1.108 bertrand 2509: while(sem_wait(semaphore_signalisation) != 0)
2510: {
2511: if (errno != EINTR)
2512: {
2513: (*s_etat_processus).erreur_systeme = d_es_processus;
2514: return;
2515: }
2516: }
1.68 bertrand 2517: }
2518:
1.134 bertrand 2519: pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux));
1.67 bertrand 2520: }
2521:
2522: return;
2523: }
2524:
1.141 bertrand 2525:
1.69 bertrand 2526: /*
2527: ================================================================================
2528: Fonction renvoyant le nom du segment de mémoire partagée en fonction
2529: du pid du processus.
2530: ================================================================================
2531: Entrée : Chemin absolue servant de racine, pid du processus
2532: --------------------------------------------------------------------------------
2533: Sortie : NULL ou nom du segment
2534: --------------------------------------------------------------------------------
2535: Effet de bord : Néant
2536: ================================================================================
2537: */
2538:
2539: static unsigned char *
2540: nom_segment(unsigned char *chemin, pid_t pid)
2541: {
2542: unsigned char *fichier;
2543:
2544: # ifdef IPCS_SYSV // !POSIX
2545: # ifndef OS2 // !OS2
1.84 bertrand 2546:
1.69 bertrand 2547: if ((fichier = malloc((strlen(chemin) + 1 + 256 + 1) *
2548: sizeof(unsigned char))) == NULL)
2549: {
2550: return(NULL);
2551: }
2552:
2553: sprintf(fichier, "%s/RPL-SIGQUEUES-%d", chemin, (int) pid);
2554: # else // OS2
2555: if ((fichier = malloc((10 + 256 + 1) * sizeof(unsigned char)))
2556: == NULL)
2557: {
2558: return(NULL);
2559: }
2560:
2561: sprintf(fichier, "\\SHAREMEM\\RPL-SIGQUEUES-%d", (int) pid);
2562: # endif // OS2
2563: # else // POSIX
2564:
2565: if ((fichier = malloc((1 + 256 + 1) *
2566: sizeof(unsigned char))) == NULL)
2567: {
2568: return(NULL);
2569: }
2570:
2571: sprintf(fichier, "/RPL-SIGQUEUES-%d", (int) pid);
2572: # endif
2573:
2574: return(fichier);
2575: }
2576:
2577:
1.71 bertrand 2578: /*
2579: ================================================================================
2580: Fonctions d'envoi d'un signal à un thread ou à un processus.
2581: ================================================================================
2582: Entrée : processus et signal
2583: --------------------------------------------------------------------------------
2584: Sortie : erreur
2585: --------------------------------------------------------------------------------
2586: Effet de bord : Néant
2587: ================================================================================
2588: */
2589:
1.67 bertrand 2590: int
2591: envoi_signal_processus(pid_t pid, enum signaux_rpl signal)
2592: {
1.83 bertrand 2593: # ifndef OS2
2594: int segment;
2595: # endif
1.69 bertrand 2596:
1.75 bertrand 2597: # ifndef IPCS_SYSV
1.141 bertrand 2598: sem_t *semaphore;
2599: sem_t *signalisation;
1.75 bertrand 2600: # else
1.141 bertrand 2601: sem_t *semaphore;
2602: sem_t *signalisation;
1.83 bertrand 2603: # ifndef OS2
2604: int desc;
2605: key_t clef;
2606: # endif
1.75 bertrand 2607: # endif
1.72 bertrand 2608:
1.69 bertrand 2609: struct_queue_signaux *queue;
2610:
2611: unsigned char *nom;
2612:
1.67 bertrand 2613: // Il s'agit d'ouvrir le segment de mémoire partagée, de le projeter en
2614: // mémoire puis d'y inscrire le signal à traiter.
2615:
1.69 bertrand 2616: if (pid == getpid())
2617: {
2618: // Le signal est envoyé au même processus.
2619:
2620: if (s_queue_signaux == NULL)
2621: {
2622: return(1);
2623: }
2624:
1.141 bertrand 2625: while(sem_wait(semaphore_queue_signaux) != 0)
1.69 bertrand 2626: {
1.78 bertrand 2627: if (errno != EINTR)
2628: {
2629: return(1);
2630: }
1.69 bertrand 2631: }
2632:
2633: (*s_queue_signaux).queue[(*s_queue_signaux).pointeur_ecriture]
2634: .pid = pid;
2635: (*s_queue_signaux).queue[(*s_queue_signaux).pointeur_ecriture]
2636: .signal = signal;
2637:
2638: (*s_queue_signaux).pointeur_ecriture =
2639: ((*s_queue_signaux).pointeur_ecriture + 1)
2640: % LONGUEUR_QUEUE_SIGNAUX;
2641:
1.141 bertrand 2642: if (msync(s_queue_signaux, sizeof(s_queue_signaux),
2643: MS_ASYNC | MS_INVALIDATE) != 0)
2644: {
2645: return(1);
2646: }
2647:
2648: if (sem_post(semaphore_queue_signaux) != 0)
1.69 bertrand 2649: {
2650: return(1);
2651: }
1.97 bertrand 2652:
1.141 bertrand 2653: if (sem_post(semaphore_signalisation) != 0)
1.97 bertrand 2654: {
2655: return(1);
2656: }
1.69 bertrand 2657: }
2658: else
2659: {
2660: // Le signal est envoyé depuis un processus distinct.
2661:
1.75 bertrand 2662: # ifdef IPCS_SYSV
1.76 bertrand 2663: if ((nom = nom_segment(racine_segment, pid)) == NULL)
1.75 bertrand 2664: {
2665: return(1);
2666: }
2667:
1.83 bertrand 2668: # ifndef OS2 // SysV
2669: if ((desc = open(nom, O_RDWR)) == -1)
2670: {
2671: free(nom);
2672: return(1);
2673: }
2674:
2675: close(desc);
1.75 bertrand 2676:
1.83 bertrand 2677: if ((clef = ftok(nom, 1)) == -1)
2678: {
2679: free(nom);
2680: return(1);
2681: }
1.75 bertrand 2682:
2683: free(nom);
1.69 bertrand 2684:
1.83 bertrand 2685: if ((segment = shmget(clef, sizeof(struct_queue_signaux), 0))
2686: == -1)
2687: {
2688: return(1);
2689: }
1.69 bertrand 2690:
1.83 bertrand 2691: queue = shmat(segment, NULL, 0);
2692: # else // OS/2
2693: if (DosGetNamedSharedMem((PVOID) &queue, nom,
2694: PAG_WRITE | PAG_READ) != 0)
2695: {
2696: free(nom);
2697: return(1);
2698: }
1.69 bertrand 2699:
1.83 bertrand 2700: free(nom);
2701: # endif
1.75 bertrand 2702: # else // POSIX
2703: if ((nom = nom_segment(racine_segment, pid)) == NULL)
2704: {
2705: return(1);
2706: }
1.69 bertrand 2707:
1.75 bertrand 2708: if ((segment = shm_open(nom, O_RDWR, 0)) == -1)
1.72 bertrand 2709: {
1.75 bertrand 2710: free(nom);
1.72 bertrand 2711: return(1);
2712: }
1.75 bertrand 2713:
2714: free(nom);
2715:
2716: if ((queue = mmap(NULL, sizeof(struct_queue_signaux),
2717: PROT_READ | PROT_WRITE, MAP_SHARED, segment, 0)) ==
2718: MAP_FAILED)
1.72 bertrand 2719: {
1.75 bertrand 2720: close(segment);
1.72 bertrand 2721: return(1);
2722: }
1.75 bertrand 2723: # endif
1.72 bertrand 2724:
1.141 bertrand 2725: // À ce moment, le segment de mémoire partagée est projeté
2726: // dans l'espace du processus.
1.75 bertrand 2727:
1.141 bertrand 2728: if ((semaphore = sem_open2(pid, SEM_QUEUE)) == SEM_FAILED)
2729: {
2730: return(1);
2731: }
1.75 bertrand 2732:
1.141 bertrand 2733: if ((signalisation = sem_open2(pid, SEM_SIGNALISATION))
2734: == SEM_FAILED)
2735: {
2736: return(1);
2737: }
1.97 bertrand 2738:
1.141 bertrand 2739: while(sem_wait(semaphore) != 0)
2740: {
2741: if (errno != EINTR)
1.72 bertrand 2742: {
1.141 bertrand 2743: sem_close(semaphore);
2744: sem_close(signalisation);
2745: return(1);
1.72 bertrand 2746: }
1.141 bertrand 2747: }
1.69 bertrand 2748:
2749: (*queue).queue[(*queue).pointeur_ecriture].pid = getpid();
2750: (*queue).queue[(*queue).pointeur_ecriture].signal = signal;
2751:
2752: (*queue).pointeur_ecriture = ((*queue).pointeur_ecriture + 1)
2753: % LONGUEUR_QUEUE_SIGNAUX;
2754:
1.141 bertrand 2755: if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0)
2756: {
2757: sem_close(semaphore);
2758: sem_close(signalisation);
2759: return(1);
2760: }
1.97 bertrand 2761:
1.141 bertrand 2762: if (sem_post(semaphore) != 0)
2763: {
2764: sem_close(semaphore);
2765: sem_close(signalisation);
2766: return(1);
2767: }
1.75 bertrand 2768:
1.141 bertrand 2769: if (sem_close(semaphore) != 0)
2770: {
2771: return(1);
2772: }
1.97 bertrand 2773:
1.141 bertrand 2774: if (sem_post(signalisation) != 0)
2775: {
2776: sem_close(signalisation);
2777: return(1);
2778: }
1.97 bertrand 2779:
1.141 bertrand 2780: if (sem_close(signalisation) != 0)
2781: {
2782: return(1);
2783: }
1.75 bertrand 2784:
1.141 bertrand 2785: # ifndef IPCS_SYSV // POSIX
1.75 bertrand 2786: if (munmap(queue, sizeof(struct_queue_signaux)) != 0)
1.72 bertrand 2787: {
1.75 bertrand 2788: close(segment);
1.72 bertrand 2789: return(1);
2790: }
1.75 bertrand 2791: # else // IPCS_SYSV
1.83 bertrand 2792: # ifndef OS2 // SysV
2793: if (shmdt(queue) != 0)
2794: {
2795: return(1);
2796: }
2797: # else // OS/2
2798: // Pendant de DosGetNamedSHaredMem()
2799: # endif
1.72 bertrand 2800: # endif
1.69 bertrand 2801: }
2802:
1.67 bertrand 2803: return(0);
2804: }
2805:
2806: int
2807: envoi_signal_thread(pthread_t tid, enum signaux_rpl signal)
2808: {
2809: // Un signal est envoyé d'un thread à un autre thread du même processus.
2810:
1.68 bertrand 2811: volatile struct_liste_chainee_volatile *l_element_courant;
2812:
2813: struct_processus *s_etat_processus;
2814:
2815: if (pthread_mutex_lock(&mutex_liste_threads) != 0)
2816: {
2817: return(1);
2818: }
2819:
2820: l_element_courant = liste_threads;
2821:
2822: while(l_element_courant != NULL)
2823: {
2824: if (((*((struct_thread *) (*l_element_courant).donnee)).pid
2825: == getpid()) && (pthread_equal((*((struct_thread *)
2826: (*l_element_courant).donnee)).tid, tid) != 0))
2827: {
2828: break;
2829: }
2830:
2831: l_element_courant = (*l_element_courant).suivant;
2832: }
2833:
2834: if (l_element_courant == NULL)
2835: {
2836: pthread_mutex_unlock(&mutex_liste_threads);
2837: return(1);
2838: }
2839:
2840: s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee))
2841: .s_etat_processus;
2842:
1.134 bertrand 2843: if (pthread_mutex_lock(&((*s_etat_processus).mutex_signaux)) != 0)
1.133 bertrand 2844: {
2845: pthread_mutex_unlock(&mutex_liste_threads);
2846: return(1);
2847: }
2848:
1.68 bertrand 2849: (*s_etat_processus).signaux_en_queue
2850: [(*s_etat_processus).pointeur_signal_ecriture] = signal;
2851: (*s_etat_processus).pointeur_signal_ecriture =
2852: ((*s_etat_processus).pointeur_signal_ecriture + 1)
2853: % LONGUEUR_QUEUE_SIGNAUX;
2854:
1.134 bertrand 2855: if (pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux)) != 0)
1.68 bertrand 2856: {
1.133 bertrand 2857: pthread_mutex_unlock(&mutex_liste_threads);
1.68 bertrand 2858: return(1);
2859: }
2860:
1.133 bertrand 2861: if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
1.68 bertrand 2862: {
2863: return(1);
2864: }
2865:
1.97 bertrand 2866: if (sem_post(semaphore_signalisation) != 0)
2867: {
2868: return(1);
2869: }
1.89 bertrand 2870:
1.67 bertrand 2871: return(0);
2872: }
2873:
2874: int
2875: envoi_signal_contexte(struct_processus *s_etat_processus_a_signaler,
2876: enum signaux_rpl signal)
2877: {
1.134 bertrand 2878: pthread_mutex_lock(&((*s_etat_processus_a_signaler).mutex_signaux));
1.67 bertrand 2879: (*s_etat_processus_a_signaler).signaux_en_queue
1.68 bertrand 2880: [(*s_etat_processus_a_signaler).pointeur_signal_ecriture] =
1.67 bertrand 2881: signal;
1.68 bertrand 2882: (*s_etat_processus_a_signaler).pointeur_signal_ecriture =
2883: ((*s_etat_processus_a_signaler).pointeur_signal_ecriture + 1)
2884: % LONGUEUR_QUEUE_SIGNAUX;
1.134 bertrand 2885: pthread_mutex_unlock(&((*s_etat_processus_a_signaler).mutex_signaux));
1.67 bertrand 2886:
1.97 bertrand 2887: if (sem_post(semaphore_signalisation) != 0)
2888: {
2889: return(1);
2890: }
1.89 bertrand 2891:
1.67 bertrand 2892: return(0);
2893: }
2894:
2895:
2896: /*
2897: ================================================================================
2898: Fonction créant un segment de mémoire partagée destiné à contenir
2899: la queue des signaux.
2900: ================================================================================
2901: Entrée : structure de description du processus
2902: --------------------------------------------------------------------------------
2903: Sortie : Néant
2904: --------------------------------------------------------------------------------
2905: Effet de bord : Néant
2906: ================================================================================
2907: */
2908:
2909: void
2910: creation_queue_signaux(struct_processus *s_etat_processus)
2911: {
1.96 bertrand 2912: pthread_attr_t attributs;
2913:
1.67 bertrand 2914: unsigned char *nom;
2915:
1.69 bertrand 2916: racine_segment = (*s_etat_processus).chemin_fichiers_temporaires;
2917:
1.67 bertrand 2918: # ifndef IPCS_SYSV // POSIX
1.71 bertrand 2919: if ((nom = nom_segment((*s_etat_processus).chemin_fichiers_temporaires,
2920: getpid())) == NULL)
2921: {
2922: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2923: return;
2924: }
1.16 bertrand 2925:
1.71 bertrand 2926: if ((f_queue_signaux = shm_open(nom, O_RDWR | O_CREAT | O_EXCL,
2927: S_IRUSR | S_IWUSR)) == -1)
2928: {
2929: free(nom);
2930: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2931: return;
2932: }
1.16 bertrand 2933:
1.71 bertrand 2934: if (ftruncate(f_queue_signaux, sizeof(struct_queue_signaux)) == -1)
2935: {
2936: free(nom);
2937: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2938: return;
2939: }
1.16 bertrand 2940:
1.71 bertrand 2941: s_queue_signaux = mmap(NULL, sizeof(struct_queue_signaux),
2942: PROT_READ | PROT_WRITE, MAP_SHARED, f_queue_signaux, 0);
1.67 bertrand 2943:
1.71 bertrand 2944: if (((void *) s_queue_signaux) == ((void *) -1))
2945: {
2946: if (shm_unlink(nom) == -1)
2947: {
2948: free(nom);
2949: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
2950: return;
2951: }
1.67 bertrand 2952:
2953: free(nom);
2954: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
1.16 bertrand 2955: return;
2956: }
2957:
1.67 bertrand 2958: free(nom);
1.75 bertrand 2959:
1.141 bertrand 2960: if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE))
2961: == SEM_FAILED)
2962: {
2963: (*s_etat_processus).erreur_systeme = d_es_processus;
2964: return;
2965: }
1.96 bertrand 2966:
1.141 bertrand 2967: if ((semaphore_signalisation = sem_init2(0, getpid(),
2968: SEM_SIGNALISATION)) == SEM_FAILED)
2969: {
2970: (*s_etat_processus).erreur_systeme = d_es_processus;
2971: return;
2972: }
1.130 bertrand 2973:
1.141 bertrand 2974: if ((semaphore_arret_signalisation = sem_init2(1, getpid(),
2975: SEM_ARRET_SIGNALISATION)) == SEM_FAILED)
2976: {
2977: (*s_etat_processus).erreur_systeme = d_es_processus;
2978: return;
2979: }
1.67 bertrand 2980:
1.71 bertrand 2981: (*s_queue_signaux).pointeur_lecture = 0;
2982: (*s_queue_signaux).pointeur_ecriture = 0;
1.130 bertrand 2983:
1.96 bertrand 2984: (*s_queue_signaux).requete_arret = d_faux;
1.67 bertrand 2985:
1.140 bertrand 2986: if (msync(s_queue_signaux, sizeof(struct_queue_signaux), MS_SYNC))
1.16 bertrand 2987: {
1.71 bertrand 2988: (*s_etat_processus).erreur_systeme = d_es_processus;
1.16 bertrand 2989: return;
2990: }
1.75 bertrand 2991: # else // IPCS_SYSV
1.71 bertrand 2992: # ifndef OS2
1.75 bertrand 2993: int segment;
2994: int support;
1.71 bertrand 2995:
2996: key_t clef;
1.67 bertrand 2997:
1.71 bertrand 2998: // Création d'un segment de données associé au PID du processus
2999: // courant
1.16 bertrand 3000:
1.71 bertrand 3001: if ((nom = nom_segment((*s_etat_processus)
3002: .chemin_fichiers_temporaires, getpid())) == NULL)
3003: {
3004: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3005: return;
3006: }
3007:
1.76 bertrand 3008: if ((support = open(nom, O_RDWR | O_CREAT | O_EXCL,
1.75 bertrand 3009: S_IRUSR | S_IWUSR)) == -1)
1.71 bertrand 3010: {
3011: (*s_etat_processus).erreur_systeme = d_es_erreur_fichier;
3012: return;
3013: }
3014:
3015: if ((clef = ftok(nom, 1)) == -1)
3016: {
3017: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3018: return;
3019: }
1.1 bertrand 3020:
1.75 bertrand 3021: close(support);
1.71 bertrand 3022: free(nom);
1.1 bertrand 3023:
1.75 bertrand 3024: if ((segment = shmget(clef, sizeof(struct_queue_signaux),
1.71 bertrand 3025: IPC_CREAT | IPC_EXCL | S_IRUSR | S_IWUSR)) == -1)
3026: {
3027: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3028: return;
3029: }
3030:
1.75 bertrand 3031: s_queue_signaux = shmat(segment, NULL, 0);
3032: f_queue_signaux = segment;
1.71 bertrand 3033:
1.75 bertrand 3034: if (((void *) s_queue_signaux) == ((void *) -1))
1.71 bertrand 3035: {
1.75 bertrand 3036: if (shmctl(f_queue_signaux, IPC_RMID, 0) == -1)
1.71 bertrand 3037: {
3038: (*s_etat_processus).erreur_systeme =
3039: d_es_allocation_memoire;
3040: return;
3041: }
3042:
3043: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3044: return;
3045: }
1.75 bertrand 3046:
1.141 bertrand 3047: if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE))
3048: == SEM_FAILED)
3049: {
3050: (*s_etat_processus).erreur_systeme = d_es_processus;
3051: return;
3052: }
3053:
3054: if ((semaphore_signalisation = sem_init2(0, getpid(),
3055: SEM_SIGNALISATION)) == SEM_FAILED)
3056: {
3057: (*s_etat_processus).erreur_systeme = d_es_processus;
3058: return;
3059: }
3060:
3061: if ((semaphore_arret_signalisation = sem_init2(1, getpid(),
3062: SEM_ARRET_SIGNALISATION)) == SEM_FAILED)
3063: {
3064: (*s_etat_processus).erreur_systeme = d_es_processus;
3065: return;
3066: }
1.130 bertrand 3067:
1.75 bertrand 3068: (*s_queue_signaux).pointeur_lecture = 0;
3069: (*s_queue_signaux).pointeur_ecriture = 0;
1.96 bertrand 3070: (*s_queue_signaux).requete_arret = d_faux;
1.71 bertrand 3071: # else // OS/2
3072: if ((nom = nom_segment(NULL, getpid())) == NULL)
3073: {
3074: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3075: return;
3076: }
3077:
1.83 bertrand 3078: if (DosAllocSharedMem((PVOID) &s_queue_signaux, nom,
3079: sizeof(struct_queue_signaux),
1.71 bertrand 3080: PAG_WRITE | PAG_READ | PAG_COMMIT) != 0)
3081: {
3082: free(nom);
3083: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3084: return;
3085: }
1.67 bertrand 3086:
1.71 bertrand 3087: free(nom);
1.83 bertrand 3088:
3089: sem_init(&((*s_queue_signaux).semaphore), 1, 1);
1.96 bertrand 3090: sem_init(&((*s_queue_signaux).signalisation), 1, 0);
1.130 bertrand 3091: sem_init(&((*s_queue_signaux).arret_signalisation), 1, 1);
3092:
1.83 bertrand 3093: (*s_queue_signaux).pointeur_lecture = 0;
3094: (*s_queue_signaux).pointeur_ecriture = 0;
1.96 bertrand 3095: (*s_queue_signaux).requete_arret = d_faux;
1.71 bertrand 3096: # endif
1.67 bertrand 3097: # endif
3098:
1.96 bertrand 3099: // Lancement du thread de récupération des signaux.
3100:
3101: if (pthread_attr_init(&attributs) != 0)
3102: {
3103: (*s_etat_processus).erreur_systeme = d_es_processus;
3104: return;
3105: }
3106:
3107: if (pthread_attr_setdetachstate(&attributs,
3108: PTHREAD_CREATE_JOINABLE) != 0)
3109: {
3110: (*s_etat_processus).erreur_systeme = d_es_processus;
3111: return;
3112: }
3113:
3114: # ifdef SCHED_OTHER
3115: if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0)
3116: {
3117: (*s_etat_processus).erreur_systeme = d_es_processus;
3118: return;
3119: }
3120: # endif
3121:
3122: # ifdef PTHREAD_EXPLICIT_SCHED
3123: if (pthread_attr_setinheritsched(&attributs, PTHREAD_EXPLICIT_SCHED) != 0)
3124: {
3125: (*s_etat_processus).erreur_systeme = d_es_processus;
3126: return;
3127: }
3128: # endif
3129:
3130: # ifdef PTHREAD_SCOPE_SYSTEM
3131: if (pthread_attr_setscope(&attributs, PTHREAD_SCOPE_SYSTEM) != 0)
3132: {
3133: (*s_etat_processus).erreur_systeme = d_es_processus;
3134: return;
3135: }
3136: # endif
3137:
3138: if (pthread_attr_destroy(&attributs) != 0)
3139: {
3140: (*s_etat_processus).erreur_systeme = d_es_processus;
3141: return;
3142: }
3143:
3144: if (pthread_create(&((*s_queue_signaux).thread_signaux), &attributs,
3145: thread_surveillance_signaux, s_etat_processus) != 0)
3146: {
3147: (*s_etat_processus).erreur_systeme = d_es_processus;
3148: return;
3149: }
3150:
1.1 bertrand 3151: return;
3152: }
3153:
1.67 bertrand 3154:
3155: /*
3156: ================================================================================
3157: Fonction libérant le segment de mémoire partagée destiné à contenir
3158: la queue des signaux.
3159: ================================================================================
3160: Entrée : structure de description du processus
3161: --------------------------------------------------------------------------------
3162: Sortie : Néant
3163: --------------------------------------------------------------------------------
3164: Effet de bord : Néant
3165: ================================================================================
3166: */
3167:
3168: void
3169: liberation_queue_signaux(struct_processus *s_etat_processus)
1.66 bertrand 3170: {
1.130 bertrand 3171: sem_wait(semaphore_arret_signalisation);
1.96 bertrand 3172:
3173: (*s_queue_signaux).requete_arret = d_vrai;
3174:
1.141 bertrand 3175: msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE);
1.130 bertrand 3176: sem_post(semaphore_arret_signalisation);
3177:
3178: // Incrémenter le sémaphore pour être sûr de le débloquer.
3179:
1.96 bertrand 3180: sem_post(semaphore_signalisation);
3181:
3182: pthread_join((*s_queue_signaux).thread_signaux, NULL);
3183:
1.67 bertrand 3184: # ifdef IPCS_SYSV // SystemV
3185: # ifndef OS2
1.75 bertrand 3186: if (shmdt(s_queue_signaux) == -1)
3187: {
3188: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3189: return;
3190: }
1.67 bertrand 3191: # else // OS/2
3192: # endif
3193: # else // POSIX
1.141 bertrand 3194: sem_close(semaphore_queue_signaux);
3195: sem_close(semaphore_signalisation);
3196: sem_close(semaphore_arret_signalisation);
1.70 bertrand 3197:
1.67 bertrand 3198: if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)
1.66 bertrand 3199: {
1.67 bertrand 3200: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3201: return;
1.66 bertrand 3202: }
1.69 bertrand 3203:
3204: close(f_queue_signaux);
1.67 bertrand 3205: # endif
1.66 bertrand 3206:
3207: return;
3208: }
3209:
1.67 bertrand 3210:
3211: /*
3212: ================================================================================
3213: Fonction détruisant le segment de mémoire partagée destiné à contenir
3214: la queue des signaux.
3215: ================================================================================
3216: Entrée : structure de description du processus
3217: --------------------------------------------------------------------------------
3218: Sortie : Néant
3219: --------------------------------------------------------------------------------
3220: Effet de bord : Néant
3221: ================================================================================
3222: */
3223:
1.66 bertrand 3224: void
1.67 bertrand 3225: destruction_queue_signaux(struct_processus *s_etat_processus)
1.66 bertrand 3226: {
1.83 bertrand 3227: # ifndef OS2
3228: unsigned char *nom;
3229: # endif
1.66 bertrand 3230:
1.130 bertrand 3231: sem_wait(semaphore_arret_signalisation);
1.99 bertrand 3232:
3233: (*s_queue_signaux).requete_arret = d_vrai;
1.141 bertrand 3234: msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE);
1.130 bertrand 3235: sem_post(semaphore_arret_signalisation);
1.99 bertrand 3236:
1.127 bertrand 3237: // Incrémenter le sémaphore pour être sûr de le débloquer.
3238:
3239: sem_post(semaphore_signalisation);
3240:
1.99 bertrand 3241: pthread_join((*s_queue_signaux).thread_signaux, NULL);
3242:
1.67 bertrand 3243: # ifdef IPCS_SYSV // SystemV
1.71 bertrand 3244: # ifndef OS2
1.75 bertrand 3245: // Il faut commencer par éliminer le sémaphore.
3246:
1.141 bertrand 3247: if (semctl((*semaphore_queue_signaux).sem, 0, IPC_RMID) == -1)
1.75 bertrand 3248: {
3249: (*s_etat_processus).erreur_systeme = d_es_processus;
3250: return;
3251: }
3252:
1.141 bertrand 3253: unlink((*semaphore_queue_signaux).path);
3254: free((*semaphore_queue_signaux).path);
1.96 bertrand 3255:
1.141 bertrand 3256: if (semctl((*semaphore_signalisation).sem, 0, IPC_RMID) == -1)
1.96 bertrand 3257: {
3258: (*s_etat_processus).erreur_systeme = d_es_processus;
3259: return;
3260: }
3261:
1.141 bertrand 3262: unlink((*semaphore_signalisation).path);
3263: free((*semaphore_signalisation).path);
1.75 bertrand 3264:
1.141 bertrand 3265: if (semctl((*semaphore_arret_signalisation).sem, 0, IPC_RMID) == -1)
1.130 bertrand 3266: {
3267: (*s_etat_processus).erreur_systeme = d_es_processus;
3268: return;
3269: }
3270:
1.141 bertrand 3271: unlink((*semaphore_arret_signalisation).path);
3272: free((*semaphore_arret_signalisation).path);
1.130 bertrand 3273:
1.75 bertrand 3274: if (shmdt(s_queue_signaux) == -1)
1.71 bertrand 3275: {
3276: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3277: return;
3278: }
3279:
1.75 bertrand 3280: if (shmctl(f_queue_signaux, IPC_RMID, 0) == -1)
1.71 bertrand 3281: {
3282: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3283: return;
3284: }
3285:
3286: if ((nom = nom_segment((*s_etat_processus)
3287: .chemin_fichiers_temporaires, getpid())) == NULL)
3288: {
3289: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3290: return;
3291: }
1.66 bertrand 3292:
1.71 bertrand 3293: unlink(nom);
3294: free(nom);
3295: # else
1.83 bertrand 3296: sem_close(&((*s_queue_signaux).semaphore));
3297: sem_destroy(&((*s_queue_signaux).semaphore));
3298:
1.96 bertrand 3299: sem_close(&((*s_queue_signaux).signalisation));
3300: sem_destroy(&((*s_queue_signaux).signalisation));
3301:
1.130 bertrand 3302: sem_close(&((*s_queue_signaux).arret_signalisation));
3303: sem_destroy(&((*s_queue_signaux).arret_signalisation));
3304:
1.83 bertrand 3305: if (DosFreeMem(s_queue_signaux) != 0)
1.71 bertrand 3306: {
3307: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3308: return;
3309: }
3310: # endif
1.67 bertrand 3311: # else // POSIX
1.141 bertrand 3312: sem_close(semaphore_queue_signaux);
3313: sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE);
1.96 bertrand 3314:
1.141 bertrand 3315: sem_close(semaphore_signalisation);
3316: sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION);
1.130 bertrand 3317:
1.141 bertrand 3318: sem_close(semaphore_arret_signalisation);
3319: sem_destroy2(semaphore_arret_signalisation, getpid(),
3320: SEM_ARRET_SIGNALISATION);
1.67 bertrand 3321:
1.70 bertrand 3322: if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)
3323: {
3324: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3325: return;
3326: }
3327:
3328: if ((nom = nom_segment(NULL, getpid())) == NULL)
3329: {
3330: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3331: return;
3332: }
1.66 bertrand 3333:
1.70 bertrand 3334: close(f_queue_signaux);
1.66 bertrand 3335:
1.70 bertrand 3336: if (shm_unlink(nom) != 0)
3337: {
3338: free(nom);
3339: (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
3340: return;
3341: }
1.69 bertrand 3342:
1.67 bertrand 3343: free(nom);
3344: # endif
3345:
1.66 bertrand 3346: return;
3347: }
3348:
1.1 bertrand 3349: // vim: ts=4
CVSweb interface <joel.bertrand@systella.fr>
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to interruptions.c CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl / src