--- rpl/src/interruptions.c	2013/05/21 12:10:12	1.125
+++ rpl/src/interruptions.c	2015/01/27 14:18:08	1.153
@@ -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.20
+  Copyright (C) 1989-2015 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)
 {
@@ -93,23 +90,24 @@ thread_surveillance_signaux(void *argume
 		attente.tv_sec = 0;
 		attente.tv_nsec = GRANULARITE_us * 1000;
 
-#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-		if (sem_wait(&(*s_queue_signaux).signalisation) == 0)
-#		else
 		if (sem_wait(semaphore_signalisation) == 0)
-#		endif
 		{
-#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			sem_post(&(*s_queue_signaux).signalisation);
-#			else
-			sem_post(semaphore_signalisation);
-#			endif
+			if (sem_wait(semaphore_arret_signalisation) != 0)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+			}
 
 			if ((*s_queue_signaux).requete_arret == d_vrai)
 			{
+				sem_post(semaphore_arret_signalisation);
+				sem_post(semaphore_signalisation);
+
 				break;
 			}
 
+			sem_post(semaphore_arret_signalisation);
+			sem_post(semaphore_signalisation);
+
 			nombre_signaux_envoyes = 0;
 			sched_yield();
 
@@ -117,11 +115,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)
-			sem_wait(&(*s_queue_signaux).semaphore);
-#			else
 			sem_wait(semaphore_queue_signaux);
-#			endif
 
 			if ((*s_queue_signaux).pointeur_lecture !=
 					(*s_queue_signaux).pointeur_ecriture)
@@ -136,16 +130,16 @@ thread_surveillance_signaux(void *argume
 				kill(getpid(), SIGALRM);
 			}
 
-#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			sem_post(&(*s_queue_signaux).semaphore);
-#			else
 			sem_post(semaphore_queue_signaux);
-#			endif
 
 			// 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)
@@ -153,15 +147,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;
@@ -339,11 +342,7 @@ retrait_thread(struct_processus *s_etat_
 			(*l_element_courant).donnee)).s_etat_processus)
 			.pointeur_signal_lecture)
 	{
-#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-		while(sem_wait(&((*s_queue_signaux).signalisation)) != 0)
-#		else
 		while(sem_wait(semaphore_signalisation) != 0)
-#		endif
 		{
 			if (errno != EINTR)
 			{
@@ -1266,7 +1265,7 @@ liberation_threads(struct_processus *s_e
 #			endif
 
 			liberation_contexte_cas(s_etat_processus);
-			free(s_etat_processus);
+			sys_free(s_etat_processus);
 
 			s_etat_processus = candidat;
 		}
@@ -1367,6 +1366,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)
@@ -1387,12 +1391,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);
 }
 
@@ -1448,8 +1458,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
@@ -1460,145 +1468,12 @@ 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
-	if (sem_post(semaphore_gestionnaires_signaux) == -1)
-#	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;
-	}
-
-#	ifndef SEMAPHORES_NOMMES
-	if (sem_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0)
-#	else
-	if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 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)
-		{
-#			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;
-		}
-	}
-
 	return;
 }
 
 static inline void
 deverrouillage_gestionnaire_signaux(struct_processus *s_etat_processus)
 {
-	int			semaphore;
-
-	// Il faut respecteur l'atomicité des deux opérations suivantes !
-
-	if (pthread_mutex_lock(&mutex_gestionnaires_signaux_atomique) == -1)
-	{
-#		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_getvalue(&semaphore_gestionnaires_signaux, &semaphore) != 0)
-#	else
-	if (sem_getvalue(semaphore_gestionnaires_signaux, &semaphore) != 0)
-#	endif
-	{
-#		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
-	while(sem_wait(&semaphore_gestionnaires_signaux) == -1)
-#	else
-	while(sem_wait(semaphore_gestionnaires_signaux) == -1)
-#	endif
-	{
-		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;
-		}
-	}
-
-	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;
-	}
-
 #	ifndef SEMAPHORES_NOMMES
 	while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0)
 #	else
@@ -1612,15 +1487,6 @@ deverrouillage_gestionnaire_signaux(stru
 		}
 	}
 
-	if (semaphore == 1)
-	{
-		if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
-		{
-			BUG(1, uprintf("Unlock error !\n"));
-			return;
-		}
-	}
-
 	return;
 }
 
@@ -1731,8 +1597,13 @@ thread_signaux(void *argument)
 			pthread_exit(NULL);
 		}
 
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 		read(fds.fd, &signal, 1);
 
+#	pragma GCC diagnostic pop
+
 		if (signal != (0xFF & rpl_sigmax))
 		{
 			envoi_signal_processus(getpid(), signal);
@@ -1755,6 +1626,9 @@ interruption1(int signal)
 
 	test_signal(signal);
 
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 	switch(signal)
 	{
 		case SIGINT:
@@ -1777,6 +1651,8 @@ interruption1(int signal)
 			break;
 	}
 
+#	pragma GCC diagnostic pop
+
 	return;
 }
 
@@ -1798,7 +1674,14 @@ interruption2(int signal)
 	test_signal(signal);
 
 	signal_tronque = (unsigned char) (rpl_sigtstp & 0xFF);
+
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 	write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
+
+#	pragma GCC diagnostic pop
+
 	return;
 }
 
@@ -1821,6 +1704,9 @@ interruption3(int signal)
 		kill(pid_processus_pere, SIGUSR1);
 	}
 
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 	if (signal != SIGUSR2)
 	{
 		write(STDERR_FILENO, message_1, strlen(message_1));
@@ -1830,6 +1716,8 @@ interruption3(int signal)
 		write(STDERR_FILENO, message_2, strlen(message_2));
 	}
 
+#	pragma GCC diagnostic pop
+
 	_exit(EXIT_FAILURE);
 }
 
@@ -1844,7 +1732,14 @@ interruption4(int signal)
 	test_signal(signal);
 
 	signal_tronque = (unsigned char) (rpl_sighup & 0xFF);
+
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 	write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
+
+#	pragma GCC diagnostic pop
+
 	return;
 }
 
@@ -1860,6 +1755,9 @@ interruption5(int signal)
 
 	test_signal(signal);
 
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 	if (pid_processus_pere == getpid())
 	{
 		signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF);
@@ -1867,6 +1765,9 @@ interruption5(int signal)
 	}
 
 	write(STDERR_FILENO, message, strlen(message));
+
+#	pragma GCC diagnostic pop
+
 	return;
 }
 
@@ -2148,8 +2049,13 @@ interruption_violation_access(void *adre
 		return(0);
 	}
 
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 	write(STDERR_FILENO, message, strlen(message));
 
+#	pragma GCC diagnostic pop
+
 	if (pid_processus_pere == getpid())
 	{
 		longjmp(contexte_initial, -1);
@@ -2409,6 +2315,9 @@ signal_hup(struct_processus *s_etat_proc
 			(unsigned long long) getpid(),
 			(unsigned long long) pthread_self());
 
+#	pragma GCC diagnostic push
+#	pragma GCC diagnostic ignored "-Wunused-result"
+
 	if ((fichier = fopen(nom, "w+")) != NULL)
 	{
 		fclose(fichier);
@@ -2419,6 +2328,8 @@ signal_hup(struct_processus *s_etat_proc
 
 	freopen("/dev/null", "r", stdin);
 
+#	pragma GCC diagnostic pop
+
 	if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
 	{
 		printf("[%d] RPL/SIGHUP (thread %llu)\n", (int) getpid(),
@@ -2539,11 +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 (sem_trywait(&((*s_queue_signaux).semaphore)) == 0)
-#	else
-		if (sem_trywait(semaphore_queue_signaux) == 0)
-#	endif
+	if (sem_trywait(semaphore_queue_signaux) == 0)
 	{
 		while((*s_queue_signaux).pointeur_lecture !=
 				(*s_queue_signaux).pointeur_ecriture)
@@ -2559,11 +2466,16 @@ scrutation_interruptions(struct_processu
 					((*s_queue_signaux).pointeur_lecture + 1)
 					% LONGUEUR_QUEUE_SIGNAUX;
 
-#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			while(sem_wait(&((*s_queue_signaux).signalisation)) != 0)
-#			else
-			while(sem_wait(semaphore_signalisation) != 0)
+#			ifndef IPCS_SYSV
+			if (msync(s_queue_signaux, sizeof(s_queue_signaux),
+					MS_ASYNC | MS_INVALIDATE) != 0)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+				return;
+			}
 #			endif
+
+			while(sem_wait(semaphore_signalisation) != 0)
 			{
 				if (errno != EINTR)
 				{
@@ -2573,16 +2485,12 @@ scrutation_interruptions(struct_processu
 			}
 		}
 
-#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			sem_post(&((*s_queue_signaux).semaphore));
-#		else
-			sem_post(semaphore_queue_signaux);
-#		endif
+		sem_post(semaphore_queue_signaux);
 	}
 
 	// 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)
@@ -2597,11 +2505,7 @@ scrutation_interruptions(struct_processu
 					((*s_etat_processus).pointeur_signal_lecture + 1)
 					% LONGUEUR_QUEUE_SIGNAUX;
 
-#			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			while(sem_wait(&((*s_queue_signaux).signalisation)) != 0)
-#			else
 			while(sem_wait(semaphore_signalisation) != 0)
-#			endif
 			{
 				if (errno != EINTR)
 				{
@@ -2611,12 +2515,13 @@ scrutation_interruptions(struct_processu
 			}
 		}
 
-		pthread_mutex_unlock(&mutex_interruptions);
+		pthread_mutex_unlock(&((*s_etat_processus).mutex_signaux));
 	}
 
 	return;
 }
 
+
 /*
 ================================================================================
   Fonction renvoyant le nom du segment de mémoire partagée en fonction
@@ -2638,7 +2543,7 @@ nom_segment(unsigned char *chemin, pid_t
 #	ifdef IPCS_SYSV // !POSIX
 #		ifndef OS2 // !OS2
 
-			if ((fichier = malloc((strlen(chemin) + 1 + 256 + 1) *
+			if ((fichier = sys_malloc((strlen(chemin) + 1 + 256 + 1) *
 					sizeof(unsigned char))) == NULL)
 			{
 				return(NULL);
@@ -2646,7 +2551,7 @@ nom_segment(unsigned char *chemin, pid_t
 
 			sprintf(fichier, "%s/RPL-SIGQUEUES-%d", chemin, (int) pid);
 #		else // OS2
-			if ((fichier = malloc((10 + 256 + 1) * sizeof(unsigned char)))
+			if ((fichier = sys_malloc((10 + 256 + 1) * sizeof(unsigned char)))
 					== NULL)
 			{
 				return(NULL);
@@ -2656,7 +2561,7 @@ nom_segment(unsigned char *chemin, pid_t
 #		endif // OS2
 #	else // POSIX
 
-		if ((fichier = malloc((1 + 256 + 1) *
+		if ((fichier = sys_malloc((1 + 256 + 1) *
 				sizeof(unsigned char))) == NULL)
 		{
 			return(NULL);
@@ -2689,11 +2594,11 @@ envoi_signal_processus(pid_t pid, enum s
 #	endif
 
 #	ifndef IPCS_SYSV
-#		ifdef SEMAPHORES_NOMMES
-			sem_t					*semaphore;
-			sem_t					*signalisation;
-#		endif
+		sem_t						*semaphore;
+		sem_t						*signalisation;
 #	else
+		sem_t						*semaphore;
+		sem_t						*signalisation;
 #		ifndef OS2
 			int						desc;
 			key_t					clef;
@@ -2716,11 +2621,7 @@ envoi_signal_processus(pid_t pid, enum s
 			return(1);
 		}
 
-#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			while(sem_wait(&((*s_queue_signaux).semaphore)) != 0)
-#		else
-			while(sem_wait(semaphore_queue_signaux) != 0)
-#		endif
+		while(sem_wait(semaphore_queue_signaux) != 0)
 		{
 			if (errno != EINTR)
 			{
@@ -2737,20 +2638,20 @@ 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 (sem_post(&((*s_queue_signaux).semaphore)) != 0)
-#		else
-			if (sem_post(semaphore_queue_signaux) != 0)
+#		ifndef IPCS_SYSV
+		if (msync(s_queue_signaux, sizeof(s_queue_signaux),
+				MS_ASYNC | MS_INVALIDATE) != 0)
+		{
+			return(1);
+		}
 #		endif
+
+		if (sem_post(semaphore_queue_signaux) != 0)
 		{
 			return(1);
 		}
 
-#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			if (sem_post(&((*s_queue_signaux).signalisation)) != 0)
-#		else
-			if (sem_post(semaphore_signalisation) != 0)
-#		endif
+		if (sem_post(semaphore_signalisation) != 0)
 		{
 			return(1);
 		}
@@ -2768,7 +2669,7 @@ envoi_signal_processus(pid_t pid, enum s
 #			ifndef OS2 // SysV
 				if ((desc = open(nom, O_RDWR)) == -1)
 				{
-					free(nom);
+					sys_free(nom);
 					return(1);
 				}
 
@@ -2776,11 +2677,11 @@ envoi_signal_processus(pid_t pid, enum s
 
 				if ((clef = ftok(nom, 1)) == -1)
 				{
-					free(nom);
+					sys_free(nom);
 					return(1);
 				}
 
-				free(nom);
+				sys_free(nom);
 
 				if ((segment = shmget(clef, sizeof(struct_queue_signaux), 0))
 						== -1)
@@ -2793,11 +2694,11 @@ envoi_signal_processus(pid_t pid, enum s
 				if (DosGetNamedSharedMem((PVOID) &queue, nom,
 						PAG_WRITE | PAG_READ) != 0)
 				{
-					free(nom);
+					sys_free(nom);
 					return(1);
 				}
 
-				free(nom);
+				sys_free(nom);
 #			endif
 #		else // POSIX
 			if ((nom = nom_segment(racine_segment, pid)) == NULL)
@@ -2807,11 +2708,11 @@ envoi_signal_processus(pid_t pid, enum s
 
 			if ((segment = shm_open(nom, O_RDWR, 0)) == -1)
 			{
-				free(nom);
+				sys_free(nom);
 				return(1);
 			}
 
-			free(nom);
+			sys_free(nom);
 
 			if ((queue = mmap(NULL, sizeof(struct_queue_signaux),
 					PROT_READ | PROT_WRITE, MAP_SHARED, segment, 0)) ==
@@ -2822,49 +2723,29 @@ envoi_signal_processus(pid_t pid, enum s
 			}
 #		endif
 
-			// À ce moment, le segment de mémoire partagée est projeté
-			// dans l'espace du processus.
+		// À ce moment, le segment de mémoire partagée est projeté
+		// dans l'espace du processus.
 
-#		ifndef IPCS_SYSV // POSIX
-#			ifndef SEMAPHORES_NOMMES
-				while(sem_wait(&((*queue).semaphore)) != 0)
-				{
-					if (errno != EINTR)
-					{
-						return(1);
-					}
-				}
-#			else
-				if ((semaphore = sem_open2(pid, SEM_QUEUE)) == SEM_FAILED)
-				{
-					return(1);
-				}
+		if ((semaphore = sem_open2(pid, SEM_QUEUE)) == SEM_FAILED)
+		{
+			return(1);
+		}
 
-				if ((signalisation = sem_open2(pid, SEM_SIGNALISATION))
-						== SEM_FAILED)
-				{
-					return(1);
-				}
+		if ((signalisation = sem_open2(pid, SEM_SIGNALISATION))
+				== SEM_FAILED)
+		{
+			return(1);
+		}
 
-				while(sem_wait(semaphore) != 0)
-				{
-					if (errno != EINTR)
-					{
-						sem_close(semaphore);
-						sem_close(signalisation);
-						return(1);
-					}
-				}
-#			endif
-#		else // IPCS_SYSV
-			while(sem_wait(&((*queue).semaphore)) != 0)
+		while(sem_wait(semaphore) != 0)
+		{
+			if (errno != EINTR)
 			{
-				if (errno != EINTR)
-				{
-					return(1);
-				}
+				sem_close(semaphore);
+				sem_close(signalisation);
+				return(1);
 			}
-#		endif
+		}
 
 		(*queue).queue[(*queue).pointeur_ecriture].pid = getpid();
 		(*queue).queue[(*queue).pointeur_ecriture].signal = signal;
@@ -2872,59 +2753,45 @@ envoi_signal_processus(pid_t pid, enum s
 		(*queue).pointeur_ecriture = ((*queue).pointeur_ecriture + 1)
 				% LONGUEUR_QUEUE_SIGNAUX;
 
-#		ifndef IPCS_SYSV // POSIX
-#			ifndef SEMAPHORES_NOMMES
-				if (sem_post(&((*queue).semaphore)) != 0)
-				{
-					return(1);
-				}
-
-				if (sem_post(&((*queue).signalisation)) != 0)
-				{
-					return(1);
-				}
-#			else
-				if (sem_post(semaphore) != 0)
-				{
-					sem_close(semaphore);
-					sem_close(signalisation);
-					return(1);
-				}
+#		ifndef IPCS_SYSV
+		if (msync(queue, sizeof(queue), MS_ASYNC | MS_INVALIDATE) != 0)
+		{
+			sem_close(semaphore);
+			sem_close(signalisation);
+			return(1);
+		}
+#		endif
 
-				if (sem_close(semaphore) != 0)
-				{
-					return(1);
-				}
+		if (sem_post(semaphore) != 0)
+		{
+			sem_close(semaphore);
+			sem_close(signalisation);
+			return(1);
+		}
 
-				if (sem_post(signalisation) != 0)
-				{
-					sem_close(signalisation);
-					return(1);
-				}
+		if (sem_close(semaphore) != 0)
+		{
+			return(1);
+		}
 
-				if (sem_close(signalisation) != 0)
-				{
-					return(1);
-				}
+		if (sem_post(signalisation) != 0)
+		{
+			sem_close(signalisation);
+			return(1);
+		}
 
-#			endif
+		if (sem_close(signalisation) != 0)
+		{
+			return(1);
+		}
 
+#		ifndef IPCS_SYSV // POSIX
 			if (munmap(queue, sizeof(struct_queue_signaux)) != 0)
 			{
 				close(segment);
 				return(1);
 			}
 #		else // IPCS_SYSV
-			if (sem_post(&((*queue).semaphore)) != 0)
-			{
-				return(1);
-			}
-
-			if (sem_post(&((*queue).signalisation)) != 0)
-			{
-				return(1);
-			}
-
 #			ifndef OS2 // SysV
 				if (shmdt(queue) != 0)
 				{
@@ -2948,12 +2815,6 @@ envoi_signal_thread(pthread_t tid, enum
 
 	struct_processus						*s_etat_processus;
 
-	if (pthread_mutex_lock(&mutex_interruptions) != 0)
-	{
-		pthread_mutex_unlock(&mutex_liste_threads);
-		return(1);
-	}
-
 	if (pthread_mutex_lock(&mutex_liste_threads) != 0)
 	{
 		return(1);
@@ -2982,13 +2843,19 @@ envoi_signal_thread(pthread_t tid, enum
 	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).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);
@@ -2999,17 +2866,10 @@ envoi_signal_thread(pthread_t tid, enum
 		return(1);
 	}
 
-#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-	if (sem_post(&((*s_queue_signaux).signalisation)) != 0)
-	{
-		return(1);
-	}
-#	else
 	if (sem_post(semaphore_signalisation) != 0)
 	{
 		return(1);
 	}
-#	endif
 
 	return(0);
 }
@@ -3018,26 +2878,19 @@ 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 (sem_post(&((*s_queue_signaux).signalisation)) != 0)
-	{
-		return(1);
-	}
-#	else
 	if (sem_post(semaphore_signalisation) != 0)
 	{
 		return(1);
 	}
-#	endif
 
 	return(0);
 }
@@ -3076,14 +2929,14 @@ creation_queue_signaux(struct_processus
 		if ((f_queue_signaux = shm_open(nom, O_RDWR | O_CREAT | O_EXCL,
 				S_IRUSR | S_IWUSR)) == -1)
 		{
-			free(nom);
+			sys_free(nom);
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
 		}
 
 		if (ftruncate(f_queue_signaux, sizeof(struct_queue_signaux)) == -1)
 		{
-			free(nom);
+			sys_free(nom);
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
 		}
@@ -3095,42 +2948,45 @@ creation_queue_signaux(struct_processus
 		{
 			if (shm_unlink(nom) == -1)
 			{
-				free(nom);
+				sys_free(nom);
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 				return;
 			}
 
-			free(nom);
+			sys_free(nom);
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
 		}
 
-		free(nom);
+		sys_free(nom);
 
-#		ifndef SEMAPHORES_NOMMES
-			sem_init(&((*s_queue_signaux).semaphore), 1, 1);
-			sem_init(&((*s_queue_signaux).signalisation), 1, 0);
-#		else
-			if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE))
-					== SEM_FAILED)
-			{
-				(*s_etat_processus).erreur_systeme = d_es_processus;
-				return;
-			}
+		if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE))
+				== SEM_FAILED)
+		{
+			(*s_etat_processus).erreur_systeme = d_es_processus;
+			return;
+		}
 
-			if ((semaphore_signalisation = sem_init2(1, getpid(),
-					SEM_SIGNALISATION)) == SEM_FAILED)
-			{
-				(*s_etat_processus).erreur_systeme = d_es_processus;
-				return;
-			}
-#		endif
+		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;
+		}
 
 		(*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;
@@ -3166,7 +3022,7 @@ creation_queue_signaux(struct_processus
 			}
 
 			close(support);
-			free(nom);
+			sys_free(nom);
 
 			if ((segment = shmget(clef, sizeof(struct_queue_signaux),
 					IPC_CREAT | IPC_EXCL | S_IRUSR | S_IWUSR)) == -1)
@@ -3191,8 +3047,27 @@ creation_queue_signaux(struct_processus
 				return;
 			}
 
-			sem_init(&((*s_queue_signaux).semaphore), 1, 1);
-			sem_init(&((*s_queue_signaux).signalisation), 1, 0);
+			if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE))
+					== SEM_FAILED)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+				return;
+			}
+
+			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;
+			}
+
 			(*s_queue_signaux).pointeur_lecture = 0;
 			(*s_queue_signaux).pointeur_ecriture = 0;
 			(*s_queue_signaux).requete_arret = d_faux;
@@ -3207,15 +3082,17 @@ creation_queue_signaux(struct_processus
 					sizeof(struct_queue_signaux),
 					PAG_WRITE | PAG_READ | PAG_COMMIT) != 0)
 			{
-				free(nom);
+				sys_free(nom);
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 				return;
 			}
 
-			free(nom);
+			sys_free(nom);
 
 			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;
@@ -3294,16 +3171,18 @@ 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.
-
+	sem_wait(semaphore_arret_signalisation);
 	(*s_queue_signaux).requete_arret = d_vrai;
 
-#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-	sem_post(&((*s_queue_signaux).signalisation));
-#	else
-	sem_post(semaphore_signalisation);
+#	ifndef IPCS_SYSV
+	msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE);
 #	endif
 
+	sem_post(semaphore_arret_signalisation);
+
+	// Incrémenter le sémaphore pour être sûr de le débloquer.
+
+	sem_post(semaphore_signalisation);
 	pthread_join((*s_queue_signaux).thread_signaux, NULL);
 
 #	ifdef IPCS_SYSV // SystemV
@@ -3316,13 +3195,9 @@ liberation_queue_signaux(struct_processu
 #		else // OS/2
 #		endif
 #	else // POSIX
-#		ifndef SEMAPHORES_NOMMES
-			sem_close(&((*s_queue_signaux).semaphore));
-			sem_close(&((*s_queue_signaux).signalisation));
-#		else
-			sem_close(semaphore_queue_signaux);
-			sem_close(semaphore_signalisation);
-#		endif
+		sem_close(semaphore_queue_signaux);
+		sem_close(semaphore_signalisation);
+		sem_close(semaphore_arret_signalisation);
 
 		if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)
 		{
@@ -3357,39 +3232,51 @@ destruction_queue_signaux(struct_process
 		unsigned char		*nom;
 #	endif
 
-	// Incrémenter le sémaphore pour être sûr de le débloquer.
+	sem_wait(semaphore_arret_signalisation);
 
 	(*s_queue_signaux).requete_arret = d_vrai;
 
-#	if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-	sem_post(&((*s_queue_signaux).signalisation));
-#	else
-	sem_post(semaphore_signalisation);
+#	ifndef IPCS_SYSV
+	msync(s_queue_signaux, sizeof(s_queue_signaux), MS_ASYNC | MS_INVALIDATE);
 #	endif
 
+	sem_post(semaphore_arret_signalisation);
+
+	// Incrémenter le sémaphore pour être sûr de le débloquer.
+
+	sem_post(semaphore_signalisation);
 	pthread_join((*s_queue_signaux).thread_signaux, NULL);
 
 #	ifdef IPCS_SYSV // SystemV
 #		ifndef OS2
 			// Il faut commencer par éliminer le sémaphore.
 
-			if (semctl((*s_queue_signaux).semaphore.sem, 0, IPC_RMID) == -1)
+			if (semctl((*semaphore_queue_signaux).sem, 0, IPC_RMID) == -1)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+				return;
+			}
+
+			unlink((*semaphore_queue_signaux).path);
+			sys_free((*semaphore_queue_signaux).path);
+
+			if (semctl((*semaphore_signalisation).sem, 0, IPC_RMID) == -1)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				return;
 			}
 
-			unlink((*s_queue_signaux).semaphore.path);
-			free((*s_queue_signaux).semaphore.path);
+			unlink((*semaphore_signalisation).path);
+			sys_free((*semaphore_signalisation).path);
 
-			if (semctl((*s_queue_signaux).signalisation.sem, 0, IPC_RMID) == -1)
+			if (semctl((*semaphore_arret_signalisation).sem, 0, IPC_RMID) == -1)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_processus;
 				return;
 			}
 
-			unlink((*s_queue_signaux).signalisation.path);
-			free((*s_queue_signaux).signalisation.path);
+			unlink((*semaphore_arret_signalisation).path);
+			sys_free((*semaphore_arret_signalisation).path);
 
 			if (shmdt(s_queue_signaux) == -1)
 			{
@@ -3411,7 +3298,7 @@ destruction_queue_signaux(struct_process
 			}
 
 			unlink(nom);
-			free(nom);
+			sys_free(nom);
 #		else
 			sem_close(&((*s_queue_signaux).semaphore));
 			sem_destroy(&((*s_queue_signaux).semaphore));
@@ -3419,6 +3306,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;
@@ -3426,19 +3316,10 @@ 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));
-#		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);
-#		endif
+		sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE);
+		sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION);
+		sem_destroy2(semaphore_arret_signalisation, getpid(),
+				SEM_ARRET_SIGNALISATION);
 
 		if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)
 		{
@@ -3456,12 +3337,12 @@ destruction_queue_signaux(struct_process
 
 		if (shm_unlink(nom) != 0)
 		{
-			free(nom);
+			sys_free(nom);
 			(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 			return;
 		}
 
-		free(nom);
+		sys_free(nom);
 #	endif
 
 	return;