--- rpl/src/interruptions.c	2012/07/04 13:02:49	1.99
+++ rpl/src/interruptions.c	2014/03/15 11:04:21	1.140
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.9
-  Copyright (C) 1989-2012 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.17
+  Copyright (C) 1989-2014 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -60,9 +60,6 @@ static volatile int								code_erreur_g
 
 unsigned char									*racine_segment;
 
-static pthread_mutex_t							mutex_interruptions
-		= PTHREAD_MUTEX_INITIALIZER;
-
 static void *
 thread_surveillance_signaux(void *argument)
 {
@@ -81,6 +78,11 @@ thread_surveillance_signaux(void *argume
 
 	volatile struct_liste_chainee_volatile	*l_element_courant;
 
+	sigset_t								set;
+
+	sigfillset(&set);
+	pthread_sigmask(SIG_BLOCK, &set, NULL);
+
 	s_etat_processus = (struct_processus *) argument;
 
 	for(;;)
@@ -88,20 +90,39 @@ thread_surveillance_signaux(void *argume
 		attente.tv_sec = 0;
 		attente.tv_nsec = GRANULARITE_us * 1000;
 
-#		if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 		if (sem_wait(&(*s_queue_signaux).signalisation) == 0)
 #		else
-		if(sem_wait(semaphore_signalisation) == 0)
+		if (sem_wait(semaphore_signalisation) == 0)
 #		endif
 		{
+#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+			if (sem_wait(&(*s_queue_signaux).arret_signalisation) != 0)
+#			else
+			if (sem_wait(semaphore_arret_signalisation) != 0)
+#			endif
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+			}
+
 			if ((*s_queue_signaux).requete_arret == d_vrai)
 			{
+#				if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+				sem_post(&(*s_queue_signaux).arret_signalisation);
+				sem_post(&(*s_queue_signaux).signalisation);
+#				else
+				sem_post(semaphore_arret_signalisation);
+				sem_post(semaphore_signalisation);
+#				endif
+
 				break;
 			}
 
-#			if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+			sem_post(&(*s_queue_signaux).arret_signalisation);
 			sem_post(&(*s_queue_signaux).signalisation);
 #			else
+			sem_post(semaphore_arret_signalisation);
 			sem_post(semaphore_signalisation);
 #			endif
 
@@ -112,7 +133,7 @@ thread_surveillance_signaux(void *argume
 			// affectée au processus courant pour vérifier s'il y a quelque
 			// chose à traiter.
 
-#			if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			sem_wait(&(*s_queue_signaux).semaphore);
 #			else
 			sem_wait(semaphore_queue_signaux);
@@ -121,11 +142,17 @@ thread_surveillance_signaux(void *argume
 			if ((*s_queue_signaux).pointeur_lecture !=
 					(*s_queue_signaux).pointeur_ecriture)
 			{
+				// Attention : raise() envoit le signal au thread appelant !
+				// kill() l'envoie au processus appelant, donc dans notre
+				// cas à un thread aléatoire du processus, ce qui nous
+				// convient tout à fait puisqu'il s'agit de débloquer les
+				// appels système lents.
+
 				nombre_signaux_envoyes++;
-				raise(SIGALRM);
+				kill(getpid(), SIGALRM);
 			}
 
-#			if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			sem_post(&(*s_queue_signaux).semaphore);
 #			else
 			sem_post(semaphore_queue_signaux);
@@ -134,7 +161,11 @@ thread_surveillance_signaux(void *argume
 			// Dans un second temps, on balaye toutes les queues de signaux
 			// des threads du processus courant.
 
+			// Attention : l'ordre de verrouillage des mutexes est important
+			// pour éviter les conditions bloquantes !
+
 			pthread_mutex_lock(&mutex_liste_threads);
+
 			l_element_courant = liste_threads;
 
 			while(l_element_courant != NULL)
@@ -142,15 +173,24 @@ thread_surveillance_signaux(void *argume
 				if ((*((struct_thread *) (*l_element_courant).donnee)).pid
 						== getpid())
 				{
+					pthread_mutex_lock(&((*(*((struct_thread *)
+							(*l_element_courant).donnee)).s_etat_processus)
+							.mutex_signaux));
+
 					if ((*(*((struct_thread *) (*l_element_courant).donnee))
 							.s_etat_processus).pointeur_signal_ecriture !=
-							(*(*((struct_thread *) (*l_element_courant).donnee))
-							.s_etat_processus).pointeur_signal_lecture)
+							(*(*((struct_thread *) (*l_element_courant)
+							.donnee)).s_etat_processus)
+							.pointeur_signal_lecture)
 					{
 						nombre_signaux_envoyes++;
-						pthread_kill((*((struct_thread *) (*l_element_courant)
-								.donnee)).tid, SIGALRM);
+						pthread_kill((*((struct_thread *)
+								(*l_element_courant).donnee)).tid, SIGALRM);
 					}
+
+					pthread_mutex_unlock(&((*(*((struct_thread *)
+							(*l_element_courant).donnee)).s_etat_processus)
+							.mutex_signaux));
 				}
 
 				l_element_courant = (*l_element_courant).suivant;
@@ -167,7 +207,10 @@ thread_surveillance_signaux(void *argume
 		}
 		else
 		{
-			(*s_etat_processus).erreur_systeme = d_es_processus;
+			if (errno != EINTR)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+			}
 		}
 	}
 
@@ -325,11 +368,18 @@ retrait_thread(struct_processus *s_etat_
 			(*l_element_courant).donnee)).s_etat_processus)
 			.pointeur_signal_lecture)
 	{
-#		if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
-		sem_wait(&((*s_queue_signaux).signalisation));
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+		while(sem_wait(&((*s_queue_signaux).signalisation)) != 0)
 #		else
-		sem_wait(semaphore_signalisation);
+		while(sem_wait(semaphore_signalisation) != 0)
 #		endif
+		{
+			if (errno != EINTR)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+				return;
+			}
+		}
 
 		(*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus)
 				.pointeur_signal_lecture = ((*(*((struct_thread *)
@@ -528,7 +578,13 @@ liberation_threads(struct_processus *s_e
 
 	struct_processus							*candidat;
 
-	unsigned long								i;
+	struct_liste_variables_partagees			*l_element_partage_courant;
+	struct_liste_variables_partagees			*l_element_partage_suivant;
+
+	struct_liste_variables_statiques			*l_element_statique_courant;
+	struct_liste_variables_statiques			*l_element_statique_suivant;
+
+	integer8									i;
 
 	void										*element_candidat;
 	void										*element_courant;
@@ -571,8 +627,7 @@ liberation_threads(struct_processus *s_e
 			close((*s_etat_processus).pipe_injections);
 			close((*s_etat_processus).pipe_nombre_injections);
 			close((*s_etat_processus).pipe_interruptions);
-			close((*s_etat_processus).pipe_nombre_objets_attente);
-			close((*s_etat_processus).pipe_nombre_interruptions_attente);
+			close((*s_etat_processus).pipe_nombre_elements_attente);
 
 			liberation(s_etat_processus, (*s_etat_processus).at_exit);
 
@@ -640,10 +695,8 @@ liberation_threads(struct_processus *s_e
 					close((*s_argument_thread).pipe_acquittement[1]);
 					close((*s_argument_thread).pipe_injections[1]);
 					close((*s_argument_thread).pipe_nombre_injections[1]);
-					close((*s_argument_thread).pipe_nombre_objets_attente[0]);
+					close((*s_argument_thread).pipe_nombre_elements_attente[0]);
 					close((*s_argument_thread).pipe_interruptions[0]);
-					close((*s_argument_thread)
-							.pipe_nombre_interruptions_attente[0]);
 
 					if (pthread_mutex_unlock(&((*s_argument_thread)
 							.mutex_nombre_references)) != 0)
@@ -743,55 +796,38 @@ liberation_threads(struct_processus *s_e
 				}
 			}
 
-			liberation_arbre_variables(s_etat_processus,
-					(*s_etat_processus).s_arbre_variables, d_faux);
-
-			for(i = 0; i < (*s_etat_processus).nombre_variables_statiques; i++)
-			{
-				pthread_mutex_trylock(&((*(*s_etat_processus)
-						.s_liste_variables_statiques[i].objet).mutex));
-				pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables_statiques[i].objet).mutex));
-
-				liberation(s_etat_processus, (*s_etat_processus)
-						.s_liste_variables_statiques[i].objet);
-				free((*s_etat_processus).s_liste_variables_statiques[i].nom);
-			}
-
-			free((*s_etat_processus).s_liste_variables_statiques);
-
-			// Ne peut être effacé qu'une seule fois
+			// ne peut être effacé qu'une seule fois
 			if (suppression_variables_partagees == d_faux)
 			{
 				suppression_variables_partagees = d_vrai;
 
-				for(i = 0; i < (*(*s_etat_processus)
-						.s_liste_variables_partagees).nombre_variables; i++)
-				{
-					pthread_mutex_trylock(&((*(*(*s_etat_processus)
-							.s_liste_variables_partagees).table[i].objet)
-							.mutex));
-					pthread_mutex_unlock(&((*(*(*s_etat_processus)
-							.s_liste_variables_partagees).table[i].objet)
-							.mutex));
+				liberation_arbre_variables_partagees(s_etat_processus,
+						(*(*s_etat_processus).s_arbre_variables_partagees));
 
-					liberation(s_etat_processus, (*(*s_etat_processus)
-							.s_liste_variables_partagees).table[i].objet);
-					free((*(*s_etat_processus).s_liste_variables_partagees)
-							.table[i].nom);
-				}
+				l_element_partage_courant = (*(*s_etat_processus)
+						.l_liste_variables_partagees);
 
-				if ((*(*s_etat_processus).s_liste_variables_partagees).table
-						!= NULL)
+				while(l_element_partage_courant != NULL)
 				{
-					free((struct_variable_partagee *) (*(*s_etat_processus)
-							.s_liste_variables_partagees).table);
+					l_element_partage_suivant =
+							(*l_element_partage_courant).suivant;
+					free(l_element_partage_courant);
+					l_element_partage_courant = l_element_partage_suivant;
 				}
+			}
+
+			liberation_arbre_variables(s_etat_processus,
+					(*s_etat_processus).s_arbre_variables, d_faux);
 
-				pthread_mutex_trylock(&((*(*s_etat_processus)
-						.s_liste_variables_partagees).mutex));
-				pthread_mutex_unlock(&((*(*s_etat_processus)
-						.s_liste_variables_partagees).mutex));
+			l_element_statique_courant = (*s_etat_processus)
+					.l_liste_variables_statiques;
+
+			while(l_element_statique_courant != NULL)
+			{
+				l_element_statique_suivant =
+					(*l_element_statique_courant).suivant;
+				free(l_element_statique_courant);
+				l_element_statique_courant = l_element_statique_suivant;
 			}
 
 			element_courant = (*s_etat_processus).l_base_pile;
@@ -1301,9 +1337,8 @@ liberation_threads(struct_processus *s_e
 			close((*s_argument_thread).pipe_acquittement[1]);
 			close((*s_argument_thread).pipe_injections[1]);
 			close((*s_argument_thread).pipe_nombre_injections[1]);
-			close((*s_argument_thread).pipe_nombre_objets_attente[0]);
+			close((*s_argument_thread).pipe_nombre_elements_attente[0]);
 			close((*s_argument_thread).pipe_interruptions[0]);
-			close((*s_argument_thread).pipe_nombre_interruptions_attente[0]);
 
 			if (pthread_mutex_unlock(&((*s_argument_thread)
 					.mutex_nombre_references)) != 0)
@@ -1361,6 +1396,11 @@ recherche_thread(pid_t pid, pthread_t ti
 
 	struct_processus							*s_etat_processus;
 
+	if (pthread_mutex_lock(&mutex_liste_threads) != 0)
+	{
+		return(NULL);
+	}
+
 	l_element_courant = liste_threads;
 
 	while(l_element_courant != NULL)
@@ -1381,12 +1421,18 @@ recherche_thread(pid_t pid, pthread_t ti
 		 * Le processus n'existe plus. On ne distribue aucun signal.
 		 */
 
+		pthread_mutex_unlock(&mutex_liste_threads);
 		return(NULL);
 	}
 
 	s_etat_processus = (*((struct_thread *)
 			(*l_element_courant).donnee)).s_etat_processus;
 
+	if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
+	{
+		return(NULL);
+	}
+
 	return(s_etat_processus);
 }
 
@@ -1442,8 +1488,6 @@ recherche_thread_principal(pid_t pid)
 static inline void
 verrouillage_gestionnaire_signaux(struct_processus *s_etat_processus)
 {
-	int			semaphore;
-
 #	ifndef SEMAPHORES_NOMMES
 	if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0)
 #	else
@@ -1454,19 +1498,6 @@ verrouillage_gestionnaire_signaux(struct
 		return;
 	}
 
-	// Il faut respecteur l'atomicité des deux opérations suivantes !
-
-	if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) != 0)
-	{
-#		ifndef SEMAPHORES_NOMMES
-		sem_wait(&((*s_etat_processus).semaphore_fork));
-#		else
-		sem_wait((*s_etat_processus).semaphore_fork);
-#		endif
-		BUG(1, uprintf("Unlock error !\n"));
-		return;
-	}
-
 #	ifndef SEMAPHORES_NOMMES
 	if (sem_post(&semaphore_gestionnaires_signaux) == -1)
 #	else
@@ -1482,48 +1513,21 @@ verrouillage_gestionnaire_signaux(struct
 		return;
 	}
 
+	return;
+}
+
+static inline void
+deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus)
+{
 #	ifndef SEMAPHORES_NOMMES
-	if (sem_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0)
+	while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0)
 #	else
-	if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0)
+	while(sem_wait((*s_etat_processus).semaphore_fork) != 0)
 #	endif
 	{
-#		ifndef SEMAPHORES_NOMMES
-		sem_wait(&((*s_etat_processus).semaphore_fork));
-#		else
-		sem_wait((*s_etat_processus).semaphore_fork);
-#		endif
-		BUG(1, uprintf("Lock error !\n"));
-		return;
-	}
-
-	if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0)
-	{
-#		ifndef SEMAPHORES_NOMMES
-		sem_wait(&((*s_etat_processus).semaphore_fork));
-#		else
-		sem_wait((*s_etat_processus).semaphore_fork);
-#		endif
-		BUG(1, uprintf("Unlock error !\n"));
-		return;
-	}
-
-	if (semaphore == 1)
-	{
-		// Le semaphore ne peut être pris par le thread qui a appelé
-		// le gestionnaire de signal car le signal est bloqué par ce thread
-		// dans les zones critiques. Ce sémaphore ne peut donc être bloqué que
-		// par un thread concurrent. On essaye donc de le bloquer jusqu'à
-		// ce que ce soit possible.
-
-		if (pthread_mutex_lock(&mutex_liste_threads) != 0)
+		if (errno != EINTR)
 		{
-#			ifndef SEMAPHORES_NOMMES
-			sem_wait(&((*s_etat_processus).semaphore_fork));
-#			else
-			sem_wait((*s_etat_processus).semaphore_fork);
-#			endif
-			BUG(1, uprintf("Lock error !\n"));
+			BUG(1, uprintf("Unlock error !\n"));
 			return;
 		}
 	}
@@ -1531,95 +1535,125 @@ verrouillage_gestionnaire_signaux(struct
 	return;
 }
 
-static inline void
-deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus)
+/*
+================================================================================
+  Fonctions de gestion des signaux dans les threads.
+
+  Lorsqu'un processus reçoit un signal, il appelle le gestionnaire de signal
+  associé qui ne fait qu'envoyer au travers de write() le signal
+  reçus dans un pipe. Un second thread est bloqué sur ce pipe et
+  effectue le traitement adéquat pour le signal donné.
+================================================================================
+*/
+
+#define test_signal(signal) \
+	if (signal_test == SIGTEST) { signal_test = signal; return; }
+
+static int			pipe_signaux;
+
+logical1
+lancement_thread_signaux(struct_processus *s_etat_processus)
 {
-	int			semaphore;
+	pthread_attr_t					attributs;
 
-	// Il faut respecteur l'atomicité des deux opérations suivantes !
+	void							*argument;
 
-	if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) == -1)
+	if (pipe((*s_etat_processus).pipe_signaux) != 0)
 	{
-#		ifndef SEMAPHORES_NOMMES
-		sem_wait(&((*s_etat_processus).semaphore_fork));
-#		else
-		sem_wait((*s_etat_processus).semaphore_fork);
-#		endif
-		BUG(1, uprintf("Unlock error !\n"));
-		return;
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
 	}
 
-#	ifndef SEMAPHORES_NOMMES
-	if (sem_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0)
-#	else
-	if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0)
-#	endif
+	pipe_signaux = (*s_etat_processus).pipe_signaux[1];
+
+	if (pthread_attr_init(&attributs) != 0)
 	{
-#		ifndef SEMAPHORES_NOMMES
-		sem_wait(&((*s_etat_processus).semaphore_fork));
-#		else
-		sem_wait((*s_etat_processus).semaphore_fork);
-#		endif
-		BUG(1, uprintf("Unlock error !\n"));
-		return;
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
 	}
 
-#	ifndef SEMAPHORES_NOMMES
-	while(sem_wait(&semaphore_gestionnaires_signaux) == -1)
-#	else
-	while(sem_wait(semaphore_gestionnaires_signaux) == -1)
-#	endif
+	if (pthread_attr_setdetachstate(&attributs, PTHREAD_CREATE_JOINABLE) != 0)
 	{
-		if (errno != EINTR)
-		{
-#			ifndef SEMAPHORES_NOMMES
-			sem_wait(&((*s_etat_processus).semaphore_fork));
-#			else
-			sem_wait((*s_etat_processus).semaphore_fork);
-#			endif
-			BUG(1, uprintf("Unlock error !\n"));
-			return;
-		}
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
 	}
 
-	if (pthread_mutex_unlock(&mutex_gestionnaires_signaux_atomique) != 0)
+	argument = (*s_etat_processus).pipe_signaux;
+
+	if (pthread_create(&((*s_etat_processus).thread_signaux), &attributs,
+			thread_signaux, argument) != 0)
 	{
-#		ifndef SEMAPHORES_NOMMES
-		sem_wait(&((*s_etat_processus).semaphore_fork));
-#		else
-		sem_wait((*s_etat_processus).semaphore_fork);
-#		endif
-		BUG(1, uprintf("Unlock error !\n"));
-		return;
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
 	}
 
-#	ifndef SEMAPHORES_NOMMES
-	while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0)
-#	else
-	while(sem_wait((*s_etat_processus).semaphore_fork) != 0)
-#	endif
+	return(d_absence_erreur);
+}
+
+logical1
+arret_thread_signaux(struct_processus *s_etat_processus)
+{
+	unsigned char		signal;
+	ssize_t				n;
+
+	signal = (unsigned char ) (rpl_sigmax & 0xFF);
+
+	do
 	{
-		if (errno != EINTR)
+		n = write((*s_etat_processus).pipe_signaux[1], &signal, sizeof(signal));
+
+		if (n < 0)
 		{
-			BUG(1, uprintf("Unlock error !\n"));
-			return;
+			return(d_erreur);
 		}
-	}
+	} while(n != 1);
+
+	pthread_join((*s_etat_processus).thread_signaux, NULL);
+
+	close((*s_etat_processus).pipe_signaux[0]);
+	close((*s_etat_processus).pipe_signaux[1]);
 
-	if (semaphore == 1)
+	return(d_absence_erreur);
+}
+
+void *
+thread_signaux(void *argument)
+{
+	int						*pipe;
+
+	sigset_t				masque;
+
+	struct pollfd			fds;
+
+	unsigned char			signal;
+
+	pipe = (int *) argument;
+	fds.fd = pipe[0];
+	fds.events = POLLIN;
+	fds.revents = 0;
+
+	sigfillset(&masque);
+	pthread_sigmask(SIG_BLOCK, &masque, NULL);
+
+	do
 	{
-		if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
+		if (poll(&fds, 1, -1) == -1)
 		{
-			BUG(1, uprintf("Unlock error !\n"));
-			return;
+			pthread_exit(NULL);
 		}
-	}
 
-	return;
-}
+		read(fds.fd, &signal, 1);
 
-#define test_signal(signal) \
-	if (signal_test == SIGTEST) { signal_test = signal; return; }
+		if (signal != (0xFF & rpl_sigmax))
+		{
+			envoi_signal_processus(getpid(), signal);
+			// Un signal SIGALRM est envoyé par le thread de surveillance
+			// des signaux jusqu'à ce que les signaux soient tous traités.
+		}
+	} while(signal != (0xFF & rpl_sigmax));
+
+	pthread_exit(NULL);
+}
 
 // Récupération des signaux
 // - SIGINT  (arrêt au clavier)
@@ -1628,26 +1662,125 @@ deverrouillage_gestionnaire_signaux(stru
 void
 interruption1(int signal)
 {
+	unsigned char		signal_tronque;
+
 	test_signal(signal);
 
 	switch(signal)
 	{
 		case SIGINT:
-			envoi_signal_processus(getpid(), rpl_sigint);
+			signal_tronque = (unsigned char) (rpl_sigint & 0xFF);
+			write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
 			break;
 
 		case SIGTERM:
-			envoi_signal_processus(getpid(), rpl_sigterm);
+			signal_tronque = (unsigned char) (rpl_sigterm & 0xFF);
+			write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
 			break;
 
 		case SIGUSR1:
-			envoi_signal_processus(getpid(), rpl_sigalrm);
+			signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF);
+			write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
+			break;
+
+		default:
+			// SIGALRM
 			break;
 	}
 
 	return;
 }
 
+// Récupération des signaux
+// - SIGFSTP
+//
+// ATTENTION :
+// Le signal SIGFSTP provient de la mort du processus de contrôle.
+// Sous certains systèmes (Linux...), la mort du terminal de contrôle
+// se traduit par l'envoi d'un SIGHUP au processus. Sur d'autres
+// (SunOS), le processus reçoit un SIGFSTP avec une structure siginfo
+// non initialisée (pointeur NULL) issue de TERMIO.
+
+void
+interruption2(int signal)
+{
+	unsigned char		signal_tronque;
+
+	test_signal(signal);
+
+	signal_tronque = (unsigned char) (rpl_sigtstp & 0xFF);
+	write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
+	return;
+}
+
+void
+interruption3(int signal)
+{
+	// Si on passe par ici, c'est qu'il est impossible de récupérer
+	// l'erreur d'accès à la mémoire. On sort donc du programme quitte à
+	// ce qu'il reste des processus orphelins.
+
+	unsigned char		message_1[] = "+++System : Uncaught access violation\n"
+								"+++System : Aborting !\n";
+	unsigned char		message_2[] = "+++System : Stack overflow\n"
+								"+++System : Aborting !\n";
+
+	test_signal(signal);
+
+	if (pid_processus_pere == getpid())
+	{
+		kill(pid_processus_pere, SIGUSR1);
+	}
+
+	if (signal != SIGUSR2)
+	{
+		write(STDERR_FILENO, message_1, strlen(message_1));
+	}
+	else
+	{
+		write(STDERR_FILENO, message_2, strlen(message_2));
+	}
+
+	_exit(EXIT_FAILURE);
+}
+
+// Récupération des signaux
+// - SIGHUP
+
+void
+interruption4(int signal)
+{
+	unsigned char		signal_tronque;
+
+	test_signal(signal);
+
+	signal_tronque = (unsigned char) (rpl_sighup & 0xFF);
+	write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
+	return;
+}
+
+// Récupération des signaux
+// - SIGPIPE
+
+void
+interruption5(int signal)
+{
+	unsigned char		message[] = "+++System : SIGPIPE\n"
+								"+++System : Aborting !\n";
+	unsigned char		signal_tronque;
+
+	test_signal(signal);
+
+	if (pid_processus_pere == getpid())
+	{
+		signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF);
+		write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
+	}
+
+	write(STDERR_FILENO, message, strlen(message));
+	return;
+}
+
 inline static void
 signal_alrm(struct_processus *s_etat_processus, pid_t pid)
 {
@@ -1817,24 +1950,6 @@ signal_int(struct_processus *s_etat_proc
 	return;
 }
 
-// Récupération des signaux
-// - SIGFSTP
-//
-// ATTENTION :
-// Le signal SIGFSTP provient de la mort du processus de contrôle.
-// Sous certains systèmes (Linux...), la mort du terminal de contrôle
-// se traduit par l'envoi d'un SIGHUP au processus. Sur d'autres
-// (SunOS), le processus reçoit un SIGFSTP avec une structure siginfo
-// non initialisée (pointeur NULL) issue de TERMIO.
-
-void
-interruption2(int signal)
-{
-	test_signal(signal);
-	envoi_signal_processus(getpid(), rpl_sigtstp);
-	return;
-}
-
 static inline void
 signal_tstp(struct_processus *s_etat_processus, pid_t pid)
 {
@@ -1882,38 +1997,6 @@ signal_tstp(struct_processus *s_etat_pro
 	return;
 }
 
-void
-interruption3(int signal)
-{
-	// Si on passe par ici, c'est qu'il est impossible de récupérer
-	// l'erreur d'accès à la mémoire. On sort donc du programme quitte à
-	// ce qu'il reste des processus orphelins.
-
-	unsigned char		message_1[] = "+++System : Uncaught access violation\n"
-								"+++System : Aborting !\n";
-	unsigned char		message_2[] = "+++System : Stack overflow\n"
-								"+++System : Aborting !\n";
-
-	test_signal(signal);
-
-	if (pid_processus_pere == getpid())
-	{
-		kill(pid_processus_pere, SIGUSR1);
-	}
-
-	if (signal != SIGUSR2)
-	{
-		write(STDERR_FILENO, message_1, strlen(message_1));
-	}
-	else
-	{
-		write(STDERR_FILENO, message_2, strlen(message_2));
-	}
-
-	_exit(EXIT_FAILURE);
-}
-
-
 static void
 sortie_interruption_depassement_pile(void *arg1, void *arg2, void *arg3)
 {
@@ -1931,7 +2014,6 @@ sortie_interruption_depassement_pile(voi
 	return;
 }
 
-
 void
 interruption_depassement_pile(int urgence, stackoverflow_context_t scp)
 {
@@ -1949,7 +2031,6 @@ interruption_depassement_pile(int urgenc
 	return;
 }
 
-
 int
 interruption_violation_access(void *adresse_fautive, int gravite)
 {
@@ -2125,25 +2206,6 @@ signal_inject(struct_processus *s_etat_p
 	return;
 }
 
-// Récupération des signaux
-// - SIGPIPE
-
-void
-interruption5(int signal)
-{
-	unsigned char		message[] = "+++System : SIGPIPE\n"
-								"+++System : Aborting !\n";
-
-	test_signal(signal);
-
-	if (pid_processus_pere == getpid())
-	{
-		envoi_signal_processus(pid_processus_pere, rpl_sigalrm);
-	}
-
-	write(STDERR_FILENO, message, strlen(message));
-	return;
-}
 
 static inline void
 signal_urg(struct_processus *s_etat_processus, pid_t pid)
@@ -2238,16 +2300,6 @@ signal_abort(struct_processus *s_etat_pr
 	return;
 }
 
-// Récupération des signaux
-// - SIGHUP
-
-void
-interruption4(int signal)
-{
-	test_signal(signal);
-	envoi_signal_processus(getpid(), rpl_sighup);
-	return;
-}
 
 static inline void
 signal_hup(struct_processus *s_etat_processus, pid_t pid)
@@ -2264,8 +2316,9 @@ signal_hup(struct_processus *s_etat_proc
 		return;
 	}
 
-	snprintf(nom, 8 + 64 + 1, "rpl-out-%lu-%lu", (unsigned long) getpid(),
-			(unsigned long) pthread_self());
+	snprintf(nom, 8 + 64 + 1, "rpl-out-%llu-%llu",
+			(unsigned long long) getpid(),
+			(unsigned long long) pthread_self());
 
 	if ((fichier = fopen(nom, "w+")) != NULL)
 	{
@@ -2374,11 +2427,11 @@ envoi_interruptions(struct_processus *s_
 		default:
 			if ((*s_etat_processus).langue == 'F')
 			{
-				printf("+++System : Spurious signal (%d) !\n", signal);
+				printf("+++System : Signal inconnu (%d) !\n", signal);
 			}
 			else
 			{
-				printf("+++System : Signal inconnu (%d) !\n", signal);
+				printf("+++System : Spurious signal (%d) !\n", signal);
 			}
 
 			break;
@@ -2397,7 +2450,7 @@ scrutation_interruptions(struct_processu
 	// à lire. Les pointeurs d'écriture pointent sur les prochains éléments à
 	// écrire.
 
-#	if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 		if (sem_trywait(&((*s_queue_signaux).semaphore)) == 0)
 #	else
 		if (sem_trywait(semaphore_queue_signaux) == 0)
@@ -2417,14 +2470,21 @@ scrutation_interruptions(struct_processu
 					((*s_queue_signaux).pointeur_lecture + 1)
 					% LONGUEUR_QUEUE_SIGNAUX;
 
-#			if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
-			sem_wait(&((*s_queue_signaux).signalisation));
+#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+			while(sem_wait(&((*s_queue_signaux).signalisation)) != 0)
 #			else
-			sem_wait(semaphore_signalisation);
+			while(sem_wait(semaphore_signalisation) != 0)
 #			endif
+			{
+				if (errno != EINTR)
+				{
+					(*s_etat_processus).erreur_systeme = d_es_processus;
+					return;
+				}
+			}
 		}
 
-#		if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			sem_post(&((*s_queue_signaux).semaphore));
 #		else
 			sem_post(semaphore_queue_signaux);
@@ -2433,7 +2493,7 @@ scrutation_interruptions(struct_processu
 
 	// Interruptions qui arrivent depuis le groupe courant de threads.
 
-	if (pthread_mutex_trylock(&mutex_interruptions) == 0)
+	if (pthread_mutex_trylock(&((*s_etat_processus).mutex_signaux)) == 0)
 	{
 		while((*s_etat_processus).pointeur_signal_lecture !=
 				(*s_etat_processus).pointeur_signal_ecriture)
@@ -2448,14 +2508,21 @@ scrutation_interruptions(struct_processu
 					((*s_etat_processus).pointeur_signal_lecture + 1)
 					% LONGUEUR_QUEUE_SIGNAUX;
 
-#			if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
-			sem_wait(&((*s_queue_signaux).signalisation));
+#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+			while(sem_wait(&((*s_queue_signaux).signalisation)) != 0)
 #			else
-			sem_wait(semaphore_signalisation);
+			while(sem_wait(semaphore_signalisation) != 0)
 #			endif
+			{
+				if (errno != EINTR)
+				{
+					(*s_etat_processus).erreur_systeme = d_es_processus;
+					return;
+				}
+			}
 		}
 
-		pthread_mutex_unlock(&mutex_interruptions);
+		pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux));
 	}
 
 	return;
@@ -2560,7 +2627,7 @@ envoi_signal_processus(pid_t pid, enum s
 			return(1);
 		}
 
-#		if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			while(sem_wait(&((*s_queue_signaux).semaphore)) != 0)
 #		else
 			while(sem_wait(semaphore_queue_signaux) != 0)
@@ -2581,7 +2648,7 @@ envoi_signal_processus(pid_t pid, enum s
 				((*s_queue_signaux).pointeur_ecriture + 1)
 				% LONGUEUR_QUEUE_SIGNAUX;
 
-#		if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			if (sem_post(&((*s_queue_signaux).semaphore)) != 0)
 #		else
 			if (sem_post(semaphore_queue_signaux) != 0)
@@ -2590,7 +2657,7 @@ envoi_signal_processus(pid_t pid, enum s
 			return(1);
 		}
 
-#		if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			if (sem_post(&((*s_queue_signaux).signalisation)) != 0)
 #		else
 			if (sem_post(semaphore_signalisation) != 0)
@@ -2817,22 +2884,22 @@ envoi_signal_thread(pthread_t tid, enum
 		return(1);
 	}
 
-	if (pthread_mutex_lock(&mutex_interruptions) != 0)
+	s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee))
+			.s_etat_processus;
+
+	if (pthread_mutex_lock(&((*s_etat_processus).mutex_signaux)) != 0)
 	{
 		pthread_mutex_unlock(&mutex_liste_threads);
 		return(1);
 	}
 
-	s_etat_processus = (*((struct_thread *) (*l_element_courant).donnee))
-			.s_etat_processus;
-
 	(*s_etat_processus).signaux_en_queue
 			[(*s_etat_processus).pointeur_signal_ecriture] = signal;
 	(*s_etat_processus).pointeur_signal_ecriture =
 			((*s_etat_processus).pointeur_signal_ecriture + 1)
 			% LONGUEUR_QUEUE_SIGNAUX;
 
-	if (pthread_mutex_unlock(&mutex_interruptions) != 0)
+	if (pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux)) != 0)
 	{
 		pthread_mutex_unlock(&mutex_liste_threads);
 		return(1);
@@ -2843,7 +2910,7 @@ envoi_signal_thread(pthread_t tid, enum
 		return(1);
 	}
 
-#	if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 	if (sem_post(&((*s_queue_signaux).signalisation)) != 0)
 	{
 		return(1);
@@ -2862,16 +2929,16 @@ int
 envoi_signal_contexte(struct_processus *s_etat_processus_a_signaler,
 		enum signaux_rpl signal)
 {
-	pthread_mutex_lock(&mutex_interruptions);
+	pthread_mutex_lock(&((*s_etat_processus_a_signaler).mutex_signaux));
 	(*s_etat_processus_a_signaler).signaux_en_queue
 			[(*s_etat_processus_a_signaler).pointeur_signal_ecriture] =
 			signal;
 	(*s_etat_processus_a_signaler).pointeur_signal_ecriture =
 			((*s_etat_processus_a_signaler).pointeur_signal_ecriture + 1)
 			% LONGUEUR_QUEUE_SIGNAUX;
-	pthread_mutex_unlock(&mutex_interruptions);
+	pthread_mutex_unlock(&((*s_etat_processus_a_signaler).mutex_signaux));
 
-#	if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 	if (sem_post(&((*s_queue_signaux).signalisation)) != 0)
 	{
 		return(1);
@@ -2954,6 +3021,7 @@ creation_queue_signaux(struct_processus
 #		ifndef SEMAPHORES_NOMMES
 			sem_init(&((*s_queue_signaux).semaphore), 1, 1);
 			sem_init(&((*s_queue_signaux).signalisation), 1, 0);
+			sem_init(&((*s_queue_signaux).arret_signalisation), 1, 1);
 #		else
 			if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE))
 					== SEM_FAILED)
@@ -2962,19 +3030,27 @@ creation_queue_signaux(struct_processus
 				return;
 			}
 
-			if ((semaphore_signalisation = sem_init2(1, getpid(),
+			if ((semaphore_signalisation = sem_init2(0, getpid(),
 					SEM_SIGNALISATION)) == SEM_FAILED)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				return;
 			}
+
+			if ((semaphore_arret_signalisation = sem_init2(1, getpid(),
+					SEM_ARRET_SIGNALISATION)) == SEM_FAILED)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+				return;
+			}
 #		endif
 
 		(*s_queue_signaux).pointeur_lecture = 0;
 		(*s_queue_signaux).pointeur_ecriture = 0;
+
 		(*s_queue_signaux).requete_arret = d_faux;
 
-		if (msync(s_queue_signaux, sizeof(struct_queue_signaux), 0))
+		if (msync(s_queue_signaux, sizeof(struct_queue_signaux), MS_SYNC))
 		{
 			(*s_etat_processus).erreur_systeme = d_es_processus;
 			return;
@@ -3037,6 +3113,8 @@ creation_queue_signaux(struct_processus
 
 			sem_init(&((*s_queue_signaux).semaphore), 1, 1);
 			sem_init(&((*s_queue_signaux).signalisation), 1, 0);
+			sem_init(&((*s_queue_signaux).arret_signalisation), 1, 1);
+
 			(*s_queue_signaux).pointeur_lecture = 0;
 			(*s_queue_signaux).pointeur_ecriture = 0;
 			(*s_queue_signaux).requete_arret = d_faux;
@@ -3060,6 +3138,8 @@ creation_queue_signaux(struct_processus
 
 			sem_init(&((*s_queue_signaux).semaphore), 1, 1);
 			sem_init(&((*s_queue_signaux).signalisation), 1, 0);
+			sem_init(&((*s_queue_signaux).arret_signalisation), 1, 1);
+
 			(*s_queue_signaux).pointeur_lecture = 0;
 			(*s_queue_signaux).pointeur_ecriture = 0;
 			(*s_queue_signaux).requete_arret = d_faux;
@@ -3138,11 +3218,23 @@ creation_queue_signaux(struct_processus
 void
 liberation_queue_signaux(struct_processus *s_etat_processus)
 {
-	// Incrémenter le sémaphore pour être sûr de le débloquer.
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+	sem_wait(&((*s_queue_signaux).arret_signalisation));
+#	else
+	sem_wait(semaphore_arret_signalisation);
+#	endif
 
 	(*s_queue_signaux).requete_arret = d_vrai;
 
-#	if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+	sem_post(&((*s_queue_signaux).arret_signalisation));
+#	else
+	sem_post(semaphore_arret_signalisation);
+#	endif
+
+	// Incrémenter le sémaphore pour être sûr de le débloquer.
+
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 	sem_post(&((*s_queue_signaux).signalisation));
 #	else
 	sem_post(semaphore_signalisation);
@@ -3161,11 +3253,11 @@ liberation_queue_signaux(struct_processu
 #		endif
 #	else // POSIX
 #		ifndef SEMAPHORES_NOMMES
-			sem_close(&((*s_queue_signaux).semaphore));
-			sem_close(&((*s_queue_signaux).signalisation));
+			// Rien à faire, les sémaphores sont anonymes.
 #		else
 			sem_close(semaphore_queue_signaux);
 			sem_close(semaphore_signalisation);
+			sem_close(semaphore_arret_signalisation);
 #		endif
 
 		if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)
@@ -3201,11 +3293,23 @@ destruction_queue_signaux(struct_process
 		unsigned char		*nom;
 #	endif
 
-	// Incrémenter le sémaphore pour être sûr de le débloquer.
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+	sem_wait(&((*s_queue_signaux).arret_signalisation));
+#	else
+	sem_wait(semaphore_arret_signalisation);
+#	endif
 
 	(*s_queue_signaux).requete_arret = d_vrai;
 
-#	if defined(SEMAPHORES_NOMMES) || defined(IPCS_SYSV)
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
+	sem_post(&((*s_queue_signaux).arret_signalisation));
+#	else
+	sem_post(semaphore_arret_signalisation);
+#	endif
+
+	// Incrémenter le sémaphore pour être sûr de le débloquer.
+
+#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 	sem_post(&((*s_queue_signaux).signalisation));
 #	else
 	sem_post(semaphore_signalisation);
@@ -3235,6 +3339,16 @@ destruction_queue_signaux(struct_process
 			unlink((*s_queue_signaux).signalisation.path);
 			free((*s_queue_signaux).signalisation.path);
 
+			if (semctl((*s_queue_signaux).arret_signalisation.sem, 0, IPC_RMID)
+					== -1)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+				return;
+			}
+
+			unlink((*s_queue_signaux).arret_signalisation.path);
+			free((*s_queue_signaux).arret_signalisation.path);
+
 			if (shmdt(s_queue_signaux) == -1)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
@@ -3263,6 +3377,9 @@ destruction_queue_signaux(struct_process
 			sem_close(&((*s_queue_signaux).signalisation));
 			sem_destroy(&((*s_queue_signaux).signalisation));
 
+			sem_close(&((*s_queue_signaux).arret_signalisation));
+			sem_destroy(&((*s_queue_signaux).arret_signalisation));
+
 			if (DosFreeMem(s_queue_signaux) != 0)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
@@ -3271,17 +3388,19 @@ destruction_queue_signaux(struct_process
 #		endif
 #	else // POSIX
 #		ifndef SEMAPHORES_NOMMES
-			sem_close(&((*s_queue_signaux).semaphore));
 			sem_destroy(&((*s_queue_signaux).semaphore));
-
-			sem_close(&((*s_queue_signaux).signalisation));
 			sem_destroy(&((*s_queue_signaux).signalisation));
+			sem_destroy(&((*s_queue_signaux).arret_signalisation));
 #		else
 			sem_close(semaphore_queue_signaux);
 			sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE);
 
 			sem_close(semaphore_signalisation);
 			sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION);
+
+			sem_close(semaphore_arret_signalisation);
+			sem_destroy2(semaphore_arret_signalisation, getpid(),
+					SEM_ARRET_SIGNALISATION);
 #		endif
 
 		if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)