--- rpl/src/instructions_d5.c	2010/02/28 14:47:14	1.4
+++ rpl/src/instructions_d5.c	2011/11/18 20:24:40	1.78
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.11
-  Copyright (C) 1989-2010 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.4
+  Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -20,7 +20,7 @@
 */
 
 
-#include "rpl.conv.h"
+#include "rpl-conv.h"
 
 
 /*
@@ -814,10 +814,9 @@ instruction_der(struct_processus *s_etat
 void
 instruction_detach(struct_processus *s_etat_processus)
 {
-	int							status;
+	int							pipe_initialisation_segment_signaux[2];
 
 	logical1					drapeau;
-	logical1					variable_partagee;
 
 	pid_t						ppid;
 	pid_t						pid_final;
@@ -830,14 +829,10 @@ instruction_detach(struct_processus *s_e
 
 	sig_atomic_t				registre_stop;
 
-	sigset_t					oldset;
-	sigset_t					oldset2;
-	sigset_t					set;
-	sigset_t					set2;
-
 	ssize_t						longueur_ecriture;
 
 	struct_descripteur_thread	*s_argument_thread;
+	struct_descripteur_thread	*s_argument_thread2;
 
 	struct_liste_chainee		*l_element_courant;
 	struct_liste_chainee		*l_element_precedent;
@@ -853,12 +848,15 @@ instruction_detach(struct_processus *s_e
 
 	struct timespec				attente;
 
+	unsigned char				caractere;
 	unsigned char				*message;
 
 	unsigned int				erreur;
 
 	unsigned long				i;
 
+	volatile logical1			variable_partagee;
+
 	(*s_etat_processus).erreur_execution = d_ex;
 
 	attente.tv_sec = 0;
@@ -930,8 +928,7 @@ instruction_detach(struct_processus *s_e
 		if (recherche_variable(s_etat_processus, (*((struct_nom *)
 				(*s_objet).objet)).nom) == d_vrai)
 		{
-			if ((*s_etat_processus).s_liste_variables
-					[(*s_etat_processus).position_variable_courante].objet
+			if ((*(*s_etat_processus).pointeur_variable_courante).objet
 					== NULL)
 			{
 				if (pthread_mutex_lock(&((*(*s_etat_processus)
@@ -942,13 +939,10 @@ instruction_detach(struct_processus *s_e
 				}
 
 				if (recherche_variable_partagee(s_etat_processus,
-						(*s_etat_processus).s_liste_variables
-						[(*s_etat_processus).position_variable_courante].nom,
-						(*s_etat_processus).s_liste_variables
-						[(*s_etat_processus).position_variable_courante]
-						.variable_partagee, (*s_etat_processus)
-						.s_liste_variables[(*s_etat_processus)
-						.position_variable_courante].origine) == d_faux)
+						(*(*s_etat_processus).pointeur_variable_courante).nom,
+						(*(*s_etat_processus).pointeur_variable_courante)
+						.variable_partagee, (*(*s_etat_processus)
+						.pointeur_variable_courante).origine) == d_faux)
 				{
 					if (pthread_mutex_unlock(&((*(*s_etat_processus)
 							.s_liste_variables_partagees).mutex)) != 0)
@@ -1016,11 +1010,9 @@ instruction_detach(struct_processus *s_e
 			}
 			else
 			{
-				if (((*(*s_etat_processus).s_liste_variables
-						[(*s_etat_processus).position_variable_courante].objet)
-						.type != RPN) && ((*(*s_etat_processus)
-						.s_liste_variables[(*s_etat_processus)
-						.position_variable_courante].objet).type != ADR))
+				if (((*(*(*s_etat_processus).pointeur_variable_courante).objet)
+						.type != RPN) && ((*(*(*s_etat_processus)
+						.pointeur_variable_courante).objet).type != ADR))
 				{
 					liberation(s_etat_processus, s_objet);
 
@@ -1040,40 +1032,6 @@ instruction_detach(struct_processus *s_e
 		}
 	}
 
-	if (sigemptyset(&set) != 0)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_processus;
-		return;
-	}
-
-	if (sigaddset(&set, SIGSTART) != 0)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_processus;
-		return;
-	}
-
-	/*
-	 * Le signal SIGFSTOP doit être traité !
-	 */
-
-	if (sigaddset(&set, SIGFSTOP) != 0)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_processus;
-		return;
-	}
-
-	if (sigaddset(&set, SIGURG) != 0)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_processus;
-		return;
-	}
-
-	if (pthread_sigmask(SIG_BLOCK, &set, &oldset) != 0)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_processus;
-		return;
-	}
-
 	if ((s_argument_thread = malloc(sizeof(struct_descripteur_thread))) == NULL)
 	{
 		(*s_etat_processus).erreur_systeme = d_es_processus;
@@ -1128,6 +1086,12 @@ instruction_detach(struct_processus *s_e
 		return;
 	}
 
+	if (pipe(pipe_initialisation_segment_signaux) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return;
+	}
+
 	ppid = getpid();
 
 	/*
@@ -1147,16 +1111,10 @@ instruction_detach(struct_processus *s_e
 	 * de mémoire, ni libération, ni copie d'objet concurrent au fork().
 	 */
 
-	sigfillset(&set2);
-	pthread_sigmask(SIG_BLOCK, &set2, &oldset2);
-
 	verrouillage_threads_concurrents(s_etat_processus);
 	(*s_argument_thread).pid = fork();
 	deverrouillage_threads_concurrents(s_etat_processus);
 
-	pthread_sigmask(SIG_SETMASK, &oldset2, NULL);
-	sigpending(&set2);
-
 	(*s_argument_thread).thread_pere = pthread_self();
 	(*s_argument_thread).processus_detache = d_vrai;
 
@@ -1165,6 +1123,12 @@ instruction_detach(struct_processus *s_e
 	pthread_mutex_init(&((*s_argument_thread).mutex), &attributs_mutex);
 	pthread_mutexattr_destroy(&attributs_mutex);
 
+	pthread_mutexattr_init(&attributs_mutex);
+	pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
+	pthread_mutex_init(&((*s_argument_thread).mutex_nombre_references),
+			&attributs_mutex);
+	pthread_mutexattr_destroy(&attributs_mutex);
+
 	if ((*s_argument_thread).pid > 0)
 	{
 		/*
@@ -1176,15 +1140,33 @@ instruction_detach(struct_processus *s_e
 			liberation(s_etat_processus, s_copie);
 		}
 
-		if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
+		liberation(s_etat_processus, s_objet);
+
+		if ((s_objet = allocation(s_etat_processus, PRC)) == NULL)
 		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
 		}
 
-		if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
+		(*((struct_processus_fils *) (*s_objet).objet)).thread =
+				s_argument_thread;
+		(*(*((struct_processus_fils *) (*s_objet).objet)).thread)
+				.nombre_objets_dans_pipe = 0;
+		(*(*((struct_processus_fils *) (*s_objet).objet)).thread)
+				.nombre_interruptions_dans_pipe = 0;
+		(*(*((struct_processus_fils *) (*s_objet).objet)).thread)
+				.nombre_references = 1;
+
+		/*
+		 * On copie l'objet plutôt que le pointeur car cet objet peut être
+		 * accédé depuis deux threads distincts et aboutir à un blocage lors
+		 * d'une copie.
+		 */
+
+		if ((s_objet_systeme = copie_objet(s_etat_processus, s_objet, 'O'))
+				== NULL)
 		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
+			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
 		}
 
@@ -1250,24 +1232,30 @@ instruction_detach(struct_processus *s_e
 			return;
 		}
 
+#		ifdef SCHED_OTHER
 		if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0)
 		{
 			(*s_etat_processus).erreur_systeme = d_es_processus;
 			return;
 		}
+#		endif
 
+#		ifdef PTHREAD_EXPLICIT_SCHED
 		if (pthread_attr_setinheritsched(&attributs,
 				PTHREAD_EXPLICIT_SCHED) != 0)
 		{
 			(*s_etat_processus).erreur_systeme = d_es_processus;
 			return;
 		}
+#		endif
 
+#		ifdef PTHREAD_SCOPE_SYSTEM
 		if (pthread_attr_setscope(&attributs, PTHREAD_SCOPE_SYSTEM) != 0)
 		{
 			(*s_etat_processus).erreur_systeme = d_es_processus;
 			return;
 		}
+#		endif
 
 		(*s_argument_thread).s_etat_processus = s_etat_processus;
 
@@ -1290,23 +1278,39 @@ instruction_detach(struct_processus *s_e
 		 * Processus fils
 		 */
 
-		sem_post(&semaphore_gestionnaires_signaux);
-		sem_destroy(&semaphore_gestionnaires_signaux);
-		sem_init(&semaphore_gestionnaires_signaux, 0, 0);
+		liberation_queue_signaux(s_etat_processus);
+		creation_queue_signaux(s_etat_processus);
+		routine_recursive = 0;
 
-		sem_post(&semaphore_liste_threads);
-		sem_destroy(&semaphore_liste_threads);
-		sem_init(&semaphore_liste_threads, 0, 1);
+		(*s_etat_processus).pointeur_signal_lecture = 0;
+		(*s_etat_processus).pointeur_signal_ecriture = 0;
 
-		sem_destroy(&semaphore_gestionnaires_signaux_atomique);
-		sem_init(&semaphore_gestionnaires_signaux_atomique, 0, 1);
+		if (write_atomic(s_etat_processus,
+				pipe_initialisation_segment_signaux[1],
+				"-", sizeof(unsigned char)) != sizeof(unsigned char))
+		{
+			(*s_etat_processus).erreur_systeme = d_es_processus;
+		}
 
-		sem_trywait(&((*s_etat_processus).semaphore_fork));
+		close(pipe_initialisation_segment_signaux[0]);
+		close(pipe_initialisation_segment_signaux[1]);
 
-		if (pthread_setspecific(semaphore_fork_processus_courant,
-				&((*s_etat_processus).semaphore_fork)) != 0)
+		if ((*s_etat_processus).debug == d_vrai)
+			if (((*s_etat_processus).type_debug &
+					d_debug_processus) != 0)
 		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
+			if ((*s_etat_processus).langue == 'F')
+			{
+				printf("[%d] Lancement du processus fils %d de %d\n",
+						(int) getpid(), (int) getpid(), (int) ppid);
+			}
+			else
+			{
+				printf("[%d] Start child process %d from %d\n", (int) getpid(),
+						(int) getpid(), (int) ppid);
+			}
+
+			fflush(stdout);
 		}
 
 		if (close((*s_argument_thread).pipe_erreurs[0]) != 0)
@@ -1343,6 +1347,23 @@ instruction_detach(struct_processus *s_e
 			(*s_etat_processus).erreur_systeme = d_es_processus;
 		}
 
+		if ((*s_etat_processus).debug == d_vrai)
+			if (((*s_etat_processus).type_debug &
+					d_debug_processus) != 0)
+		{
+			if ((*s_etat_processus).langue == 'F')
+			{
+				printf("[%d] Libération des objets du processus père\n",
+						(int) getpid());
+			}
+			else
+			{
+				printf("[%d] Freeing parent process memory\n", getpid());
+			}
+
+			fflush(stdout);
+		}
+
 		l_element_courant = (*s_etat_processus).liste_mutexes;
 		while(l_element_courant != NULL)
 		{
@@ -1404,6 +1425,8 @@ instruction_detach(struct_processus *s_e
 				}
 			}
 
+			destruction_queue_signaux(s_etat_processus);
+			BUG(1, uprintf("Process management error line %d\n", __LINE__));
 			exit(EXIT_FAILURE);
 		}
 
@@ -1433,9 +1456,13 @@ instruction_detach(struct_processus *s_e
 				}
 			}
 
+			destruction_queue_signaux(s_etat_processus);
+			BUG(1, uprintf("Process management error line %d\n", __LINE__));
 			exit(EXIT_FAILURE);
 		}
 
+		pthread_mutex_trylock(&((*s_etat_processus).protection_liste_mutexes));
+
 		if (pthread_mutex_unlock(&((*s_etat_processus)
 				.protection_liste_mutexes)) != 0)
 		{
@@ -1463,6 +1490,8 @@ instruction_detach(struct_processus *s_e
 				}
 			}
 
+			destruction_queue_signaux(s_etat_processus);
+			BUG(1, uprintf("Process management error line %d\n", __LINE__));
 			exit(EXIT_FAILURE);
 		}
 
@@ -1473,6 +1502,7 @@ instruction_detach(struct_processus *s_e
 		}
 
 		(*s_etat_processus).var_volatile_processus_pere = 0;
+		(*s_etat_processus).var_volatile_processus_racine = 0;
 
 		// On réinitialise toutes les interruptions.
 
@@ -1482,6 +1512,12 @@ instruction_detach(struct_processus *s_e
 		(*s_etat_processus).nombre_interruptions_non_affectees = 0;
 		(*s_etat_processus).processus_detache = d_vrai;
 
+		liberation(s_etat_processus, (*s_etat_processus).at_exit);
+		(*s_etat_processus).at_exit = NULL;
+		liberation(s_etat_processus, (*s_etat_processus).at_poke);
+		(*s_etat_processus).at_poke = NULL;
+		(*s_etat_processus).traitement_at_poke = 'N';
+
 		for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
 		{
 			liberation(s_etat_processus,
@@ -1505,24 +1541,6 @@ instruction_detach(struct_processus *s_e
 			(*s_etat_processus).pile_origine_interruptions[i] = NULL;
 		}
 
-		if ((*s_etat_processus).debug == d_vrai)
-			if (((*s_etat_processus).type_debug &
-					d_debug_processus) != 0)
-		{
-			if ((*s_etat_processus).langue == 'F')
-			{
-				printf("[%d] Lancement du processus fils %d de %d\n",
-						(int) getpid(), (int) getpid(), (int) ppid);
-			}
-			else
-			{
-				printf("[%d] Start child process %d from %d\n", (int) getpid(),
-						(int) getpid(), (int) ppid);
-			}
-
-			fflush(stdout);
-		}
-
 		/*
 		 * On bloque l'exécution du processus fils jusqu'à ce que
 		 * le père ait renseigné correctement la pile des processus.
@@ -1531,21 +1549,18 @@ instruction_detach(struct_processus *s_e
 		 * renseignée.
 		 */
 
-		if (sigpending(&set) != 0)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
-		}
-		else if (sigismember(&set, SIGSTART) == 0)
+		// Attente de la réception du signal rpl_sigstart.
+
+		for((*s_etat_processus).demarrage_fils = d_faux;;)
 		{
-			while(sigismember(&set, SIGSTART) == 0)
-			{
-				if (sigpending(&set) != 0)
-				{
-					(*s_etat_processus).erreur_systeme = d_es_processus;
-				}
+			scrutation_interruptions(s_etat_processus);
 
-				nanosleep(&attente, NULL);
+			if ((*s_etat_processus).demarrage_fils == d_vrai)
+			{
+				break;
 			}
+
+			nanosleep(&attente, NULL);
 		}
 
 		(*s_etat_processus).niveau_initial = (*s_etat_processus).niveau_courant;
@@ -1592,11 +1607,121 @@ instruction_detach(struct_processus *s_e
 		}
 
 		/*
-		 * Initialisation de la pile des processus
+		 * Initialisation de la pile des processus. Cette pile est effacée
+		 * par liberation_threads().
 		 */
 
+		if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
+		{
+			(*s_etat_processus).erreur_systeme = d_es;
+
+			pid_final = -2;
+
+			while((longueur_ecriture = write_atomic(s_etat_processus,
+					(*s_argument_thread).pipe_nombre_interruptions_attente[1],
+					&pid_final, sizeof(pid_final))) != sizeof(pid_final))
+			{
+				if (longueur_ecriture == -1)
+				{
+					break;
+				}
+			}
+
+			while((longueur_ecriture = write_atomic(s_etat_processus,
+					(*s_argument_thread).pipe_nombre_objets_attente[1],
+					&pid_final, sizeof(pid_final))) != sizeof(pid_final))
+			{
+				if (longueur_ecriture == -1)
+				{
+					break;
+				}
+			}
+
+			destruction_queue_signaux(s_etat_processus);
+			BUG(1, uprintf("Process management error line %d\n", __LINE__));
+			exit(EXIT_FAILURE);
+		}
+
+		l_element_courant = (struct_liste_chainee *)
+				(*s_etat_processus).l_base_pile_processus;
+
+		while(l_element_courant != NULL)
+		{
+			s_argument_thread2 = (struct_descripteur_thread *)
+					(*((struct_processus_fils *) (*(*l_element_courant).donnee)
+					  .objet)).thread;
+
+			(*s_argument_thread2).nombre_references--;
+
+			BUG((*s_argument_thread2).nombre_references < 0,
+					destruction_queue_signaux(s_etat_processus),
+					printf("(*s_argument_thread2).nombre_references = %d\n",
+					(int) (*s_argument_thread2).nombre_references));
+
+			if ((*s_argument_thread2).nombre_references == 0)
+			{
+				close((*s_argument_thread2).pipe_objets[0]);
+				close((*s_argument_thread2).pipe_acquittement[1]);
+				close((*s_argument_thread2).pipe_injections[1]);
+				close((*s_argument_thread2).pipe_nombre_injections[1]);
+				close((*s_argument_thread2).pipe_nombre_objets_attente[0]);
+				close((*s_argument_thread2).pipe_interruptions[0]);
+				close((*s_argument_thread2)
+						.pipe_nombre_interruptions_attente[0]);
+
+				pthread_mutex_destroy(&((*s_argument_thread2).mutex));
+
+				if ((*s_argument_thread2).processus_detache == d_faux)
+				{
+					if ((*s_argument_thread2).destruction_objet == d_vrai)
+					{
+						liberation(s_etat_processus,
+								(*s_argument_thread2).argument);
+					}
+				}
+
+				free(s_argument_thread2);
+				free((*(*l_element_courant).donnee).objet);
+				free((*l_element_courant).donnee);
+			}
+
+			l_element_suivant = (*l_element_courant).suivant;
+			free((struct_liste_chainee *) l_element_courant);
+			l_element_courant = l_element_suivant;
+		}
+
 		(*s_etat_processus).l_base_pile_processus = NULL;
-		// Les données associées sont déjà effacées par liberation_thread().
+
+		if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
+		{
+			(*s_etat_processus).erreur_systeme = d_es;
+
+			pid_final = -2;
+
+			while((longueur_ecriture = write_atomic(s_etat_processus,
+					(*s_argument_thread).pipe_nombre_interruptions_attente[1],
+					&pid_final, sizeof(pid_final))) != sizeof(pid_final))
+			{
+				if (longueur_ecriture == -1)
+				{
+					break;
+				}
+			}
+
+			while((longueur_ecriture = write_atomic(s_etat_processus,
+					(*s_argument_thread).pipe_nombre_objets_attente[1],
+					&pid_final, sizeof(pid_final))) != sizeof(pid_final))
+			{
+				if (longueur_ecriture == -1)
+				{
+					break;
+				}
+			}
+
+			destruction_queue_signaux(s_etat_processus);
+			BUG(1, uprintf("Process management error line %d\n", __LINE__));
+			exit(EXIT_FAILURE);
+		}
 
 		/*
 		 * Initialisation de la pile système
@@ -1658,6 +1783,8 @@ instruction_detach(struct_processus *s_e
 				}
 			}
 
+			destruction_queue_signaux(s_etat_processus);
+			BUG(1, uprintf("Process management error line %d\n", __LINE__));
 			exit(EXIT_FAILURE);
 		}
 
@@ -1709,6 +1836,8 @@ instruction_detach(struct_processus *s_e
 				}
 			}
 
+			destruction_queue_signaux(s_etat_processus);
+			BUG(1, uprintf("Process management error line %d\n", __LINE__));
 			exit(EXIT_FAILURE);
 		}
 
@@ -1760,7 +1889,14 @@ instruction_detach(struct_processus *s_e
 			l_element_suivant = (*l_element_courant).suivant;
 
 			fclose((*((struct_descripteur_fichier *)
-					(*l_element_courant).donnee)).descripteur);
+					(*l_element_courant).donnee)).descripteur_c);
+
+			if ((*((struct_descripteur_fichier *)
+					(*l_element_courant).donnee)).type != 'C')
+			{
+				sqlite3_close((*((struct_descripteur_fichier *)
+						(*l_element_courant).donnee)).descripteur_sqlite);
+			}
 
 			free((*((struct_descripteur_fichier *) (*l_element_courant)
 					.donnee)).nom);
@@ -1774,17 +1910,26 @@ instruction_detach(struct_processus *s_e
 		 * Destruction des piles de connecteurs SQL
 		 */
 
+/*
+================================================================================
+  À noter : on ne ferme pas la connexion car la conséquence immédiate est
+  une destruction de l'objet pour le processus père.
+================================================================================
+*/
+
 		l_element_courant = (*s_etat_processus).s_connecteurs_sql;
 
 		while(l_element_courant != NULL)
 		{
 			l_element_suivant = (*l_element_courant).suivant;
 
-			sqlclose((*l_element_courant).donnee);
+//			sqlclose((*l_element_courant).donnee);
 			liberation(s_etat_processus, (*l_element_courant).donnee);
 			l_element_courant = l_element_suivant;
 		}
 
+		(*s_etat_processus).s_connecteurs_sql = NULL;
+
 		/*
 		 * On ne détruit pas les sockets car il faut utiliser DETACH
 		 * pour traiter plusieurs connexions simultanées sur les sockets
@@ -1792,43 +1937,90 @@ instruction_detach(struct_processus *s_e
 
 		(*s_etat_processus).s_fichiers = NULL;
 
-		if (pthread_sigmask(SIG_SETMASK, &oldset, NULL) != 0)
+		if ((*s_etat_processus).debug == d_vrai)
 		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
+			if (((*s_etat_processus).type_debug & d_debug_processus)
+					!= 0)
+			{
+				if ((*s_etat_processus).langue == 'F')
+				{
+					printf("[%d] Évaluation de l'objet détaché\n", getpid());
+				}
+				else
+				{
+					printf("[%d] Évaluation of detached object\n", getpid());
+				}
+			}
 		}
 
-		sigpending(&set);
-
 		if ((*s_etat_processus).erreur_systeme == d_es)
 		{
-			if (variable_partagee == d_faux)
+			if (setjmp(contexte_processus) == 0)
 			{
-				if (evaluation(s_etat_processus, s_objet, 'E') == d_erreur)
+				if (variable_partagee == d_faux)
 				{
-					if (((*s_etat_processus).erreur_execution == d_ex) &&
-							((*s_etat_processus).erreur_systeme == d_es))
+					if (evaluation(s_etat_processus, s_objet, 'E') == d_erreur)
 					{
-						(*s_etat_processus).erreur_execution =
-								d_ex_erreur_evaluation;
+						if (((*s_etat_processus).erreur_execution == d_ex) &&
+								((*s_etat_processus).erreur_systeme == d_es))
+						{
+							(*s_etat_processus).erreur_execution =
+									d_ex_erreur_evaluation;
+						}
+					}
+					else
+					{
+						if (((*s_etat_processus).var_volatile_alarme == 0)
+								&& ((*s_etat_processus).arret_depuis_abort == 0)
+								&& ((*s_etat_processus).at_exit != NULL))
+						{
+							(*s_etat_processus).var_volatile_requete_arret = 0;
+
+							if (evaluation(s_etat_processus,
+									(*s_etat_processus).at_exit, 'E') ==
+									d_erreur)
+							{
+								(*s_etat_processus).erreur_execution =
+										d_ex_erreur_evaluation;
+							}
+						}
 					}
 				}
-			}
-			else
-			{
-				if (evaluation(s_etat_processus, s_copie, 'E') == d_erreur)
+				else
 				{
-					if (((*s_etat_processus).erreur_execution == d_ex) &&
-							((*s_etat_processus).erreur_systeme == d_es))
+					if (evaluation(s_etat_processus, s_copie, 'E') == d_erreur)
 					{
-						(*s_etat_processus).erreur_execution =
-								d_ex_erreur_evaluation;
+						if (((*s_etat_processus).erreur_execution == d_ex) &&
+								((*s_etat_processus).erreur_systeme == d_es))
+						{
+							(*s_etat_processus).erreur_execution =
+									d_ex_erreur_evaluation;
+						}
 					}
-				}
+					else
+					{
+						if ((*s_etat_processus).at_exit != NULL)
+						{
+							(*s_etat_processus).var_volatile_requete_arret = 0;
 
-				liberation(s_etat_processus, s_copie);
+							if (evaluation(s_etat_processus,
+									(*s_etat_processus).at_exit, 'E') ==
+									d_erreur)
+							{
+								(*s_etat_processus).erreur_execution =
+										d_ex_erreur_evaluation;
+							}
+						}
+					}
+
+					liberation(s_etat_processus, s_copie);
+				}
 			}
 		}
 
+		liberation(s_etat_processus, (*s_etat_processus).at_exit);
+		liberation(s_etat_processus, (*s_etat_processus).at_poke);
+
 		l_element_courant = (*s_etat_processus).liste_mutexes;
 		while(l_element_courant != NULL)
 		{
@@ -1979,7 +2171,14 @@ instruction_detach(struct_processus *s_e
 			l_element_suivant = (*l_element_courant).suivant;
 
 			fclose((*((struct_descripteur_fichier *)
-					(*l_element_courant).donnee)).descripteur);
+					(*l_element_courant).donnee)).descripteur_c);
+
+			if ((*((struct_descripteur_fichier *)
+					(*l_element_courant).donnee)).type != 'C')
+			{
+				sqlite3_close((*((struct_descripteur_fichier *)
+						(*l_element_courant).donnee)).descripteur_sqlite);
+			}
 
 			if (((*((struct_descripteur_fichier *) (*l_element_courant)
 					.donnee)).pid == getpid()) &&
@@ -2042,15 +2241,24 @@ instruction_detach(struct_processus *s_e
 
 				if ((*s_etat_processus).var_volatile_alarme != 0)
 				{
-					kill((*(*((struct_processus_fils *)
+					envoi_signal_processus((*(*((struct_processus_fils *)
 							(*(*l_element_courant).donnee).objet)).thread).pid,
-							SIGURG);
+							rpl_sigurg);
 				}
 				else
 				{
-					kill((*(*((struct_processus_fils *)
-							(*(*l_element_courant).donnee).objet)).thread).pid,
-							SIGFSTOP);
+					if ((*s_etat_processus).arret_depuis_abort == -1)
+					{
+						envoi_signal_processus((*(*((struct_processus_fils *)
+								(*(*l_element_courant).donnee).objet)).thread)
+								.pid, rpl_sigabort);
+					}
+					else
+					{
+						envoi_signal_processus((*(*((struct_processus_fils *)
+								(*(*l_element_courant).donnee).objet)).thread)
+								.pid, rpl_sigstop);
+					}
 				}
 			}
 			else
@@ -2091,15 +2299,24 @@ instruction_detach(struct_processus *s_e
 				{
 					if ((*s_etat_processus).var_volatile_alarme != 0)
 					{
-						pthread_kill((*(*((struct_processus_fils *)
+						envoi_signal_thread((*(*((struct_processus_fils *)
 								(*(*l_element_courant).donnee).objet)).thread)
-								.tid, SIGURG);
+								.tid, rpl_sigurg);
 					}
 					else
 					{
-						pthread_kill((*(*((struct_processus_fils *)
-								(*(*l_element_courant).donnee).objet)).thread)
-								.tid, SIGFSTOP);
+						if ((*s_etat_processus).arret_depuis_abort == -1)
+						{
+							envoi_signal_thread((*(*((struct_processus_fils *)
+									(*(*l_element_courant).donnee).objet))
+									.thread).tid, rpl_sigabort);
+						}
+						else
+						{
+							envoi_signal_thread((*(*((struct_processus_fils *)
+									(*(*l_element_courant).donnee).objet))
+									.thread).tid, rpl_sigstop);
+						}
 					}
 				}
 
@@ -2122,16 +2339,9 @@ instruction_detach(struct_processus *s_e
 
 		while((*s_etat_processus).l_base_pile_processus != NULL)
 		{
-			status = 0;
-
 			l_element_courant = (struct_liste_chainee *)
 					(*s_etat_processus).l_base_pile_processus;
 
-			if ((*s_etat_processus).nombre_interruptions_non_affectees != 0)
-			{
-				affectation_interruptions_logicielles(s_etat_processus);
-			}
-
 			registre_stop = (*s_etat_processus)
 					.var_volatile_traitement_retarde_stop;
 			(*s_etat_processus).var_volatile_traitement_retarde_stop = 1;
@@ -2171,6 +2381,7 @@ instruction_detach(struct_processus *s_e
 									registre_stop;
 						}
 
+						destruction_queue_signaux(s_etat_processus);
 						(*s_etat_processus).erreur_systeme = d_es_signal;
 						exit(EXIT_FAILURE);
 					}
@@ -2205,8 +2416,9 @@ instruction_detach(struct_processus *s_e
 
 					if (sigaction(SIGPIPE, &registre, NULL) != 0)
 					{
-						pthread_mutex_unlock(&((*s_etat_processus).mutex));
+						destruction_queue_signaux(s_etat_processus);
 
+						pthread_mutex_unlock(&((*s_etat_processus).mutex));
 						(*s_etat_processus).erreur_systeme = d_es_signal;
 						exit(EXIT_FAILURE);
 					}
@@ -2214,8 +2426,16 @@ instruction_detach(struct_processus *s_e
 			}
 
 			pthread_mutex_unlock(&((*s_etat_processus).mutex));
+
+			if ((*s_etat_processus).nombre_interruptions_non_affectees != 0)
+			{
+				affectation_interruptions_logicielles(s_etat_processus);
+			}
+
 			nanosleep(&attente, NULL);
 			pthread_mutex_lock(&((*s_etat_processus).mutex));
+
+			scrutation_interruptions(s_etat_processus);
 		}
 
 		pthread_mutex_unlock(&((*s_etat_processus).mutex));
@@ -2340,14 +2560,9 @@ instruction_detach(struct_processus *s_e
 			(*s_etat_processus).instruction_derniere_erreur = NULL;
 		}
 
-		for(i = 0; i < (*s_etat_processus).nombre_variables; i++)
-		{
-			liberation(s_etat_processus,
-					(*s_etat_processus).s_liste_variables[i].objet);
-			free((*s_etat_processus).s_liste_variables[i].nom);
-		}
-
-		free((*s_etat_processus).s_liste_variables);
+		liberation_arbre_variables(s_etat_processus,
+				(*s_etat_processus).s_arbre_variables, d_vrai);
+		free((*s_etat_processus).pointeurs_caracteres_variables);
 
 		for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++)
 		{
@@ -2515,9 +2730,7 @@ instruction_detach(struct_processus *s_e
 
 		liberation(s_etat_processus, s_objet);
 
-		free((*s_etat_processus).pile_signal.ss_sp);
 		free((*s_etat_processus).definitions_chainees);
-
 		free((*s_etat_processus).nom_fichier_historique);
 
 		for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
@@ -2556,26 +2769,30 @@ instruction_detach(struct_processus *s_e
 		retrait_thread(s_etat_processus);
 
 		pthread_mutex_destroy(&((*s_etat_processus).mutex));
+		pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
 		pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));
 
-		pthread_key_delete(semaphore_fork_processus_courant);
-
+#		ifndef SEMAPHORES_NOMMES
 		sem_post(&((*s_etat_processus).semaphore_fork));
 		sem_destroy(&((*s_etat_processus).semaphore_fork));
+#		else
+		sem_post((*s_etat_processus).semaphore_fork);
+		sem_destroy3((*s_etat_processus).semaphore_fork, getpid(),
+				pthread_self(), SEM_FORK);
+#		endif
 
 		free((*s_etat_processus).localisation);
-		free(s_etat_processus);
 		free(s_argument_thread);
 
-		sem_destroy(&semaphore_liste_threads);
-		sem_post(&semaphore_gestionnaires_signaux);
-		sem_destroy(&semaphore_gestionnaires_signaux);
-		sem_destroy(&semaphore_gestionnaires_signaux_atomique);
-
 		clear_history();
 
+		destruction_queue_signaux(s_etat_processus);
+		liberation_contexte_cas(s_etat_processus);
+		free(s_etat_processus);
+
 #		ifdef DEBUG_MEMOIRE
-		debug_memoire_verification(s_etat_processus);
+		debug_memoire_verification();
+		analyse_post_mortem();
 #		endif
 
 		exit(EXIT_SUCCESS);
@@ -2586,40 +2803,6 @@ instruction_detach(struct_processus *s_e
 		return;
 	}
 
-	liberation(s_etat_processus, s_objet);
-
-	if ((s_objet = allocation(s_etat_processus, PRC)) == NULL)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
-		return;
-	}
-
-	(*((struct_processus_fils *) (*s_objet).objet)).thread = s_argument_thread;
-	(*(*((struct_processus_fils *) (*s_objet).objet)).thread)
-			.nombre_objets_dans_pipe = 0;
-	(*(*((struct_processus_fils *) (*s_objet).objet)).thread)
-			.nombre_interruptions_dans_pipe = 0;
-	(*(*((struct_processus_fils *) (*s_objet).objet)).thread)
-			.nombre_references = 1;
-
-	/*
-	 * On copie l'objet plutôt que le pointeur car cet objet peut être
-	 * accédé depuis deux threads distincts et aboutir à un blocage lors d'une
-	 * copie.
-	 */
-
-	if ((s_objet_systeme = copie_objet(s_etat_processus, s_objet, 'O')) == NULL)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
-		return;
-	}
-
-	if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_processus;
-		return;
-	}
-
 	// Si le pid existe déjà dans la pile des processus, il s'agit forcement
 	// d'un processus moribond. On attend donc qu'il soit effectivement
 	// libéré.
@@ -2663,6 +2846,7 @@ instruction_detach(struct_processus *s_e
 				}
 			}
 
+			scrutation_interruptions(s_etat_processus);
 			l_element_courant = (*l_element_courant).suivant;
 		}
 	} while(drapeau == d_vrai);
@@ -2682,39 +2866,33 @@ instruction_detach(struct_processus *s_e
 		return;
 	}
 
-	// Être sûr que le processus fils soit déjà présent...
+	// On attend une donnée fictive pour être sûr que le segment de mémoire
+	// partagée destiné à la gestion des signaux est bien initialisé.
 
-	while(kill((*s_argument_thread).pid, 0) != 0)
-	{
-		//if ((errno != ESRCH) && (errno != EAGAIN))
-		if (errno != ESRCH)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
-			pthread_mutex_unlock(&((*s_etat_processus).mutex));
-			return;
-		}
+	attente.tv_sec = 0;
+	attente.tv_nsec = GRANULARITE_us * 1000;
 
+	while(read_atomic(s_etat_processus,
+			pipe_initialisation_segment_signaux[0],
+			&caractere, sizeof(caractere)) == 0)
+	{
+		scrutation_interruptions(s_etat_processus);
 		nanosleep(&attente, NULL);
+		INCR_GRANULARITE(attente.tv_nsec);
 	}
 
-	// Le fils peut être présent sans être en attente du signal de départ.
+	close(pipe_initialisation_segment_signaux[0]);
+	close(pipe_initialisation_segment_signaux[1]);
 
-	if (kill((*s_argument_thread).pid, SIGSTART) != 0)
-	{
-		(*s_etat_processus).erreur_systeme = d_es_processus;
-		pthread_mutex_unlock(&((*s_etat_processus).mutex));
-		return;
-	}
+	// Le fils peut être présent sans être en attente du signal de départ.
 
-	if (pthread_sigmask(SIG_SETMASK, &oldset, NULL) != 0)
+	if (envoi_signal_processus((*s_argument_thread).pid, rpl_sigstart) != 0)
 	{
 		(*s_etat_processus).erreur_systeme = d_es_processus;
 		pthread_mutex_unlock(&((*s_etat_processus).mutex));
 		return;
 	}
 
-	sigpending(&set);
-
 	if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
 	{
 		(*s_etat_processus).erreur_systeme = d_es_processus;