--- rpl/src/instructions_d5.c	2013/05/28 22:09:55	1.111
+++ rpl/src/instructions_d5.c	2017/08/03 17:17:45	1.161
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.14
-  Copyright (C) 1989-2013 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.28
+  Copyright (C) 1989-2017 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -767,6 +767,7 @@ instruction_der(struct_processus *s_etat
 			if ((s_objet_simplifie = simplification(s_etat_processus,
 					s_objet_resultat)) == NULL)
 			{
+				liberation(s_etat_processus, s_objet_resultat);
 				return;
 			}
 
@@ -1081,7 +1082,21 @@ instruction_detach(struct_processus *s_e
 	 * Le mutex suivant permet de copier un contexte propre.
 	 */
 
-	if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
+	if (pthread_mutex_lock(&((*s_etat_processus).mutex_pile_processus)) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return;
+	}
+
+	verrouillage_threads_concurrents(s_etat_processus);
+
+	if (pthread_mutex_lock(&mutex_liste_variables_partagees) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return;
+	}
+
+	if (pthread_mutex_lock(&((*s_etat_processus).mutex_allocation_buffer)) != 0)
 	{
 		(*s_etat_processus).erreur_systeme = d_es_processus;
 		return;
@@ -1094,9 +1109,21 @@ instruction_detach(struct_processus *s_e
 	 * de mémoire, ni libération, ni copie d'objet concurrent au fork().
 	 */
 
-	verrouillage_threads_concurrents(s_etat_processus);
 	(*s_argument_thread).pid = fork();
-	deverrouillage_threads_concurrents(s_etat_processus);
+
+	if (pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation_buffer))
+			!= 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return;
+	}
+
+	if ((*s_argument_thread).pid > 0)
+	{
+		// On ne déverrouille les threads concurrents que dans le processus
+		// père. Dans le fils, les valeurs sont non initialisées.
+		deverrouillage_threads_concurrents(s_etat_processus);
+	}
 
 	(*s_argument_thread).thread_pere = pthread_self();
 	(*s_argument_thread).processus_detache = d_vrai;
@@ -1118,6 +1145,12 @@ instruction_detach(struct_processus *s_e
 		 * Processus père
 		 */
 
+		if (pthread_mutex_unlock(&mutex_liste_variables_partagees) != 0)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_processus;
+			return;
+		}
+
 		if (variable_partagee == d_vrai)
 		{
 			liberation(s_etat_processus, s_copie);
@@ -1255,14 +1288,40 @@ instruction_detach(struct_processus *s_e
 		 * Processus fils
 		 */
 
-		if (lancement_thread_signaux(s_etat_processus) != d_absence_erreur)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
-		}
+		// EPERM
+#if 0
+		pthread_mutex_destroy(&mutex_liste_variables_partagees);
+		pthread_mutex_destroy(&mutex_liste_threads);
+		pthread_mutex_destroy(&((*s_etat_processus).mutex_pile_processus);
+		pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
+#endif
+		pthread_mutexattr_init(&attributs_mutex);
+		pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
+		pthread_mutex_init(&mutex_liste_variables_partagees, &attributs_mutex);
+		pthread_mutexattr_destroy(&attributs_mutex);
+
+		pthread_mutexattr_init(&attributs_mutex);
+		pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
+		pthread_mutex_init(&mutex_liste_threads, &attributs_mutex);
+		pthread_mutexattr_destroy(&attributs_mutex);
+
+		pthread_mutexattr_init(&attributs_mutex);
+		pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
+		pthread_mutex_init(&((*s_etat_processus).mutex_pile_processus),
+				&attributs_mutex);
+		pthread_mutexattr_destroy(&attributs_mutex);
+
+		pthread_mutexattr_init(&attributs_mutex);
+		pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_NORMAL);
+		pthread_mutex_init(&((*s_etat_processus).mutex_allocation),
+				&attributs_mutex);
+		pthread_mutexattr_destroy(&attributs_mutex);
 
 		liberation_queue_signaux(s_etat_processus);
 		creation_queue_signaux(s_etat_processus);
+
 		routine_recursive = 0;
+		nombre_thread_surveillance_processus = 0;
 
 		(*s_etat_processus).pointeur_signal_lecture = 0;
 		(*s_etat_processus).pointeur_signal_ecriture = 0;
@@ -1365,7 +1424,6 @@ instruction_detach(struct_processus *s_e
 				(*s_argument_thread).pipe_nombre_elements_attente[1],
 				&caractere, sizeof(caractere)) != sizeof(caractere))
 		{
-			pthread_mutex_unlock(&((*s_etat_processus).mutex));
 			(*s_etat_processus).erreur_systeme = d_es_processus;
 
 			while((longueur_ecriture = write_atomic(s_etat_processus,
@@ -1407,75 +1465,6 @@ instruction_detach(struct_processus *s_e
 		pthread_mutex_init(&mutex_sections_critiques, &attributs_mutex);
 		pthread_mutexattr_destroy(&attributs_mutex);
 
-		if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
-
-			caractere = 0;
-
-			while((longueur_ecriture = write_atomic(s_etat_processus,
-					(*s_argument_thread).pipe_nombre_elements_attente[1],
-					&caractere, sizeof(caractere))) != sizeof(caractere))
-			{
-				if (longueur_ecriture == -1)
-				{
-					break;
-				}
-			}
-
-			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)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
-
-			caractere = 0;
-
-			while((longueur_ecriture = write_atomic(s_etat_processus,
-					(*s_argument_thread).pipe_nombre_elements_attente[1],
-					&caractere, sizeof(caractere))) != sizeof(caractere))
-			{
-				if (longueur_ecriture == -1)
-				{
-					break;
-				}
-			}
-
-			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).mutex_interruptions));
-
-		if (pthread_mutex_unlock(&((*s_etat_processus).mutex_interruptions))
-				!= 0)
-		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
-
-			caractere = 0;
-
-			while((longueur_ecriture = write_atomic(s_etat_processus,
-					(*s_argument_thread).pipe_nombre_elements_attente[1],
-					&caractere, sizeof(caractere))) != sizeof(caractere))
-			{
-				if (longueur_ecriture == -1)
-				{
-					break;
-				}
-			}
-
-			destruction_queue_signaux(s_etat_processus);
-			BUG(1, uprintf("Process management error line %d\n", __LINE__));
-			exit(EXIT_FAILURE);
-		}
-
 		if ((*s_etat_processus).evaluation_expression_compilee == 'N')
 		{
 			free((*s_etat_processus).instruction_courante);
@@ -1532,16 +1521,11 @@ instruction_detach(struct_processus *s_e
 
 		// Attente de la réception du signal rpl_sigstart.
 
-		for((*s_etat_processus).demarrage_fils = d_faux;;)
+		for((*s_etat_processus).demarrage_fils = d_faux;
+				(*s_etat_processus).demarrage_fils != d_vrai;
+				nanosleep(&attente, NULL))
 		{
 			scrutation_interruptions(s_etat_processus);
-
-			if ((*s_etat_processus).demarrage_fils == d_vrai)
-			{
-				break;
-			}
-
-			nanosleep(&attente, NULL);
 		}
 
 		(*s_etat_processus).niveau_initial = (*s_etat_processus).niveau_courant;
@@ -1592,7 +1576,8 @@ instruction_detach(struct_processus *s_e
 		 * par liberation_threads().
 		 */
 
-		if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
+		if (pthread_mutex_lock(&((*s_etat_processus).mutex_pile_processus))
+				!= 0)
 		{
 			(*s_etat_processus).erreur_systeme = d_es;
 
@@ -1661,7 +1646,8 @@ instruction_detach(struct_processus *s_e
 
 		(*s_etat_processus).l_base_pile_processus = NULL;
 
-		if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
+		if (pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus))
+				!= 0)
 		{
 			(*s_etat_processus).erreur_systeme = d_es;
 
@@ -1845,6 +1831,8 @@ instruction_detach(struct_processus *s_e
 			l_element_courant = l_element_suivant;
 		}
 
+		(*s_etat_processus).s_fichiers = NULL;
+
 		/*
 		 * Destruction des piles de connecteurs SQL
 		 */
@@ -1867,14 +1855,12 @@ instruction_detach(struct_processus *s_e
 			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
 		 */
 
-		(*s_etat_processus).s_fichiers = NULL;
+		(*s_etat_processus).s_connecteurs_sql = NULL;
 
 		if ((*s_etat_processus).debug == d_vrai)
 		{
@@ -2122,14 +2108,6 @@ instruction_detach(struct_processus *s_e
 			}
 		}
 
-		close((*s_argument_thread).pipe_erreurs[1]);
-		close((*s_argument_thread).pipe_interruptions[1]);
-		close((*s_argument_thread).pipe_nombre_elements_attente[1]);
-		close((*s_argument_thread).pipe_objets[1]);
-		close((*s_argument_thread).pipe_injections[0]);
-		close((*s_argument_thread).pipe_nombre_injections[0]);
-		close((*s_argument_thread).pipe_acquittement[0]);
-
 		l_element_courant = (*s_etat_processus).s_fichiers;
 
 		while(l_element_courant != NULL)
@@ -2167,7 +2145,7 @@ instruction_detach(struct_processus *s_e
 			l_element_courant = l_element_suivant;
 		}
 
-		pthread_mutex_lock(&((*s_etat_processus).mutex));
+		pthread_mutex_lock(&((*s_etat_processus).mutex_pile_processus));
 
 		l_element_courant = (struct_liste_chainee *)
 				(*s_etat_processus).l_base_pile_processus;
@@ -2209,7 +2187,7 @@ instruction_detach(struct_processus *s_e
 				{
 					envoi_signal_processus((*(*((struct_processus_fils *)
 							(*(*l_element_courant).donnee).objet)).thread).pid,
-							rpl_sigurg);
+							rpl_sigurg, d_faux);
 				}
 				else
 				{
@@ -2217,13 +2195,13 @@ instruction_detach(struct_processus *s_e
 					{
 						envoi_signal_processus((*(*((struct_processus_fils *)
 								(*(*l_element_courant).donnee).objet)).thread)
-								.pid, rpl_sigabort);
+								.pid, rpl_sigabort, d_faux);
 					}
 					else
 					{
 						envoi_signal_processus((*(*((struct_processus_fils *)
 								(*(*l_element_courant).donnee).objet)).thread)
-								.pid, rpl_sigstop);
+								.pid, rpl_sigstop, d_faux);
 					}
 				}
 			}
@@ -2330,7 +2308,8 @@ instruction_detach(struct_processus *s_e
 
 					if (sigaction(SIGPIPE, &action, &registre) != 0)
 					{
-						pthread_mutex_unlock(&((*s_etat_processus).mutex));
+						pthread_mutex_unlock(&((*s_etat_processus)
+								.mutex_pile_processus));
 
 						if (registre_stop == 0)
 						{
@@ -2384,7 +2363,8 @@ instruction_detach(struct_processus *s_e
 					{
 						destruction_queue_signaux(s_etat_processus);
 
-						pthread_mutex_unlock(&((*s_etat_processus).mutex));
+						pthread_mutex_unlock(&((*s_etat_processus)
+								.mutex_pile_processus));
 						(*s_etat_processus).erreur_systeme = d_es_signal;
 						exit(EXIT_FAILURE);
 					}
@@ -2396,7 +2376,8 @@ instruction_detach(struct_processus *s_e
 			{
 				destruction_queue_signaux(s_etat_processus);
 
-				pthread_mutex_unlock(&((*s_etat_processus).mutex));
+				pthread_mutex_unlock(&((*s_etat_processus)
+						.mutex_pile_processus));
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				exit(EXIT_FAILURE);
 			}
@@ -2411,19 +2392,20 @@ instruction_detach(struct_processus *s_e
 			{
 				destruction_queue_signaux(s_etat_processus);
 
-				pthread_mutex_unlock(&((*s_etat_processus).mutex));
+				pthread_mutex_unlock(&((*s_etat_processus)
+						.mutex_pile_processus));
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				exit(EXIT_FAILURE);
 			}
 
-			pthread_mutex_unlock(&((*s_etat_processus).mutex));
+			pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus));
 			nanosleep(&attente, NULL);
-			pthread_mutex_lock(&((*s_etat_processus).mutex));
+			pthread_mutex_lock(&((*s_etat_processus).mutex_pile_processus));
 
 			scrutation_interruptions(s_etat_processus);
 		}
 
-		pthread_mutex_unlock(&((*s_etat_processus).mutex));
+		pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus));
 
 		l_element_courant = (*s_etat_processus).s_sockets;
 
@@ -2688,8 +2670,6 @@ instruction_detach(struct_processus *s_e
 			l_element_courant = l_element_suivant;
 		}
 
-		free((*s_etat_processus).chemin_fichiers_temporaires);
-
 		if ((*s_etat_processus).debug == d_vrai)
 			if (((*s_etat_processus).type_debug &
 					d_debug_processus) != 0)
@@ -2741,16 +2721,65 @@ instruction_detach(struct_processus *s_e
 			liberation_profil(s_etat_processus);
 		}
 
+		attente.tv_sec = 0;
+		attente.tv_nsec = GRANULARITE_us * 1000;
+
+		while(nombre_thread_surveillance_processus != 0)
+		{
+			nanosleep(&attente, NULL);
+			INCR_GRANULARITE(attente.tv_nsec);
+		}
+
 		closelog();
 
-		liberation_allocateur(s_etat_processus);
 		retrait_thread(s_etat_processus);
+		liberation_contexte_cas(s_etat_processus);
+
+		clear_history();
+
+		close((*s_argument_thread).pipe_erreurs[1]);
+		close((*s_argument_thread).pipe_interruptions[1]);
+		close((*s_argument_thread).pipe_nombre_elements_attente[1]);
+		close((*s_argument_thread).pipe_objets[1]);
+		close((*s_argument_thread).pipe_injections[0]);
+		close((*s_argument_thread).pipe_nombre_injections[0]);
+		close((*s_argument_thread).pipe_acquittement[0]);
+
+		free((*s_etat_processus).localisation);
+		free((*s_etat_processus).chemin_fichiers_temporaires);
+		free(s_argument_thread);
+
+		liberation_allocateur(s_etat_processus);
+		liberation_allocateur_buffer(s_etat_processus);
+
+		// Permet d'attendre la libération du mutex de la part
+		// de surveillance_processus().
+
+		attente.tv_sec = 0;
+		attente.tv_nsec = GRANULARITE_us * 1000;
+
+		while(pthread_mutex_trylock(&((*s_etat_processus).mutex_pile_processus))
+				== EBUSY)
+		{
+			nanosleep(&attente, NULL);
+			INCR_GRANULARITE(attente.tv_nsec);
+		}
 
-		pthread_mutex_destroy(&((*s_etat_processus).mutex));
+		pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus));
+
+		// Libération des mutexes.
+
+		pthread_mutex_destroy(&((*s_etat_processus).mutex_pile_processus));
 		pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
 		pthread_mutex_destroy(&((*s_etat_processus).mutex_interruptions));
+		pthread_mutex_destroy(&((*s_etat_processus).mutex_signaux));
 		pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));
+		pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation_buffer));
 		pthread_mutex_destroy(&mutex_sections_critiques);
+		pthread_mutex_destroy(&mutex_liste_variables_partagees);
+
+		destruction_queue_signaux(s_etat_processus);
+		pthread_mutex_destroy(&mutex_liste_threads);
 
 #		ifndef SEMAPHORES_NOMMES
 		sem_post(&((*s_etat_processus).semaphore_fork));
@@ -2761,15 +2790,7 @@ instruction_detach(struct_processus *s_e
 				pthread_self(), SEM_FORK);
 #		endif
 
-		free((*s_etat_processus).localisation);
-		free(s_argument_thread);
-
-		clear_history();
-
-		destruction_queue_signaux(s_etat_processus);
-		liberation_contexte_cas(s_etat_processus);
-		arret_thread_signaux(s_etat_processus);
-		free(s_etat_processus);
+		sys_free(s_etat_processus);
 
 #		ifdef DEBUG_MEMOIRE
 		debug_memoire_verification();
@@ -2807,7 +2828,8 @@ instruction_detach(struct_processus *s_e
 						(*(*l_element_courant).donnee).objet)).thread).pid ==
 						(*s_argument_thread).pid)
 				{
-					if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
+					if (pthread_mutex_unlock(&((*s_etat_processus)
+							.mutex_pile_processus)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -2816,7 +2838,8 @@ instruction_detach(struct_processus *s_e
 					nanosleep(&attente, NULL);
 					INCR_GRANULARITE(attente.tv_nsec);
 
-					if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
+					if (pthread_mutex_lock(&((*s_etat_processus)
+							.mutex_pile_processus)) != 0)
 					{
 						(*s_etat_processus).erreur_systeme = d_es_processus;
 						return;
@@ -2836,14 +2859,14 @@ instruction_detach(struct_processus *s_e
 			(struct_liste_chainee **) &((*s_etat_processus)
 			.l_base_pile_processus), s_objet_systeme) == d_erreur)
 	{
-		pthread_mutex_unlock(&((*s_etat_processus).mutex));
+		pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus));
 		return;
 	}
 
 	if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
 			s_objet) == d_erreur)
 	{
-		pthread_mutex_unlock(&((*s_etat_processus).mutex));
+		pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus));
 		return;
 	}
 
@@ -2867,14 +2890,15 @@ instruction_detach(struct_processus *s_e
 
 	// Le fils peut être présent sans être en attente du signal de départ.
 
-	if (envoi_signal_processus((*s_argument_thread).pid, rpl_sigstart) != 0)
+	if (envoi_signal_processus((*s_argument_thread).pid, rpl_sigstart,
+			d_vrai) != 0)
 	{
 		(*s_etat_processus).erreur_systeme = d_es_processus;
-		pthread_mutex_unlock(&((*s_etat_processus).mutex));
+		pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus));
 		return;
 	}
 
-	if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
+	if (pthread_mutex_unlock(&((*s_etat_processus).mutex_pile_processus)) != 0)
 	{
 		(*s_etat_processus).erreur_systeme = d_es_processus;
 		return;