--- rpl/src/interruptions.c	2011/09/20 15:45:53	1.80
+++ rpl/src/interruptions.c	2013/02/27 17:11:45	1.118
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.3
-  Copyright (C) 1989-2011 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.13
+  Copyright (C) 1989-2013 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -52,7 +52,6 @@ typedef struct liste_chainee_volatile
 	volatile void							*donnee;
 } struct_liste_chainee_volatile;
 
-
 static volatile struct_liste_chainee_volatile	*liste_threads
 		= NULL;
 static volatile struct_liste_chainee_volatile	*liste_threads_surveillance
@@ -64,6 +63,131 @@ unsigned char									*racine_segment;
 static pthread_mutex_t							mutex_interruptions
 		= PTHREAD_MUTEX_INITIALIZER;
 
+static void *
+thread_surveillance_signaux(void *argument)
+{
+	// Cette fonction est lancée dans un thread créé par processus pour
+	// gérer le cas des appels système qui seraient bloqués lors de l'arrivée du
+	// signal SIGALRM. Les processus externes n'envoient plus un signal au
+	// processus ou au thread à signaler mais positionnent les informations
+	// nécessaires dans la queue des signaux et incrémentent le sémaphore.
+	// Le sémaphore est décrémenté lorsque le signal est effectivement traité.
+
+	int										nombre_signaux_envoyes;
+
+	struct_processus						*s_etat_processus;
+
+	struct timespec							attente;
+
+	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(;;)
+	{
+		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 ((*s_queue_signaux).requete_arret == d_vrai)
+			{
+				break;
+			}
+
+			nombre_signaux_envoyes = 0;
+			sched_yield();
+
+			// Dans un premier temps, on verrouille la queue des signaux
+			// 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)
+			{
+				// 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++;
+				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.
+
+			pthread_mutex_lock(&mutex_liste_threads);
+			l_element_courant = liste_threads;
+
+			while(l_element_courant != NULL)
+			{
+				if ((*((struct_thread *) (*l_element_courant).donnee)).pid
+						== getpid())
+				{
+					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)
+					{
+						nombre_signaux_envoyes++;
+						pthread_kill((*((struct_thread *) (*l_element_courant)
+								.donnee)).tid, SIGALRM);
+					}
+				}
+
+				l_element_courant = (*l_element_courant).suivant;
+			}
+
+			pthread_mutex_unlock(&mutex_liste_threads);
+
+			// Nanosleep
+
+			if (nombre_signaux_envoyes > 0)
+			{
+				nanosleep(&attente, NULL);
+			}
+		}
+		else
+		{
+			if (errno != EINTR)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+			}
+		}
+	}
+
+	pthread_exit(NULL);
+}
+
 void
 modification_pid_thread_pere(struct_processus *s_etat_processus)
 {
@@ -207,6 +331,33 @@ retrait_thread(struct_processus *s_etat_
 		return;
 	}
 
+	// Le thread ne peut plus traiter de signaux explicites. Il convient
+	// alors de corriger le sémaphore pour annuler les signaux en attente.
+
+	while((*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus)
+			.pointeur_signal_ecriture != (*(*((struct_thread *)
+			(*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)
+			{
+				(*s_etat_processus).erreur_systeme = d_es_processus;
+				return;
+			}
+		}
+
+		(*(*((struct_thread *) (*l_element_courant).donnee)).s_etat_processus)
+				.pointeur_signal_lecture = ((*(*((struct_thread *)
+				(*l_element_courant).donnee)).s_etat_processus)
+				.pointeur_signal_lecture + 1) % LONGUEUR_QUEUE_SIGNAUX;
+	}
+
 	free((void *) (*l_element_courant).donnee);
 	free((struct_liste_chainee_volatile *) l_element_courant);
 
@@ -398,6 +549,12 @@ liberation_threads(struct_processus *s_e
 
 	struct_processus							*candidat;
 
+	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;
+
 	unsigned long								i;
 
 	void										*element_candidat;
@@ -613,55 +770,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;
@@ -1488,36 +1628,252 @@ deverrouillage_gestionnaire_signaux(stru
 	return;
 }
 
+/*
+================================================================================
+  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)
+{
+	pthread_attr_t					attributs;
+
+	void							*argument;
+
+	if (pipe((*s_etat_processus).pipe_signaux) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
+	}
+
+	pipe_signaux = (*s_etat_processus).pipe_signaux[1];
+
+	if (pthread_attr_init(&attributs) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
+	}
+
+	if (pthread_attr_setdetachstate(&attributs, PTHREAD_CREATE_JOINABLE) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
+	}
+
+	argument = (*s_etat_processus).pipe_signaux;
+
+	if (pthread_create(&((*s_etat_processus).thread_signaux), &attributs,
+			thread_signaux, argument) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return(d_erreur);
+	}
+
+	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
+	{
+		n = write((*s_etat_processus).pipe_signaux[1], &signal, sizeof(signal));
+
+		if (n < 0)
+		{
+			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]);
+
+	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 (poll(&fds, 1, -1) == -1)
+		{
+			pthread_exit(NULL);
+		}
+
+		read(fds.fd, &signal, 1);
+
+		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)
+// - SIGINT  (arrêt au clavier)
 // - SIGTERM (signal d'arrêt en provenance du système)
 
 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:
+			signal_tronque = (unsigned char) (rpl_sigalrm & 0xFF);
+			write(pipe_signaux, &signal_tronque, sizeof(signal_tronque));
 			break;
 
-		case SIGALRM:
-			envoi_signal_processus(getpid(), rpl_sigalrm);
+		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)
 {
@@ -1571,7 +1927,7 @@ inline static void
 signal_term(struct_processus *s_etat_processus, pid_t pid)
 {
 	struct_processus		*s_thread_principal;
-	volatile sig_atomic_t	exclusion = 0;
+	pthread_mutex_t			exclusion = PTHREAD_MUTEX_INITIALIZER;
 
 	verrouillage_gestionnaire_signaux(s_etat_processus);
 
@@ -1593,20 +1949,19 @@ signal_term(struct_processus *s_etat_pro
 		{
 			(*s_etat_processus).var_volatile_traitement_sigint = -1;
 
-			while(exclusion == 1);
-			exclusion = 1;
+			pthread_mutex_lock(&exclusion);
 
 			if ((*s_etat_processus).var_volatile_requete_arret == -1)
 			{
 				deverrouillage_gestionnaire_signaux(s_etat_processus);
-				exclusion = 0;
+				pthread_mutex_unlock(&exclusion);
 				return;
 			}
 
 			(*s_etat_processus).var_volatile_requete_arret = -1;
 			(*s_etat_processus).var_volatile_alarme = -1;
 
-			exclusion = 0;
+			pthread_mutex_unlock(&exclusion);
 		}
 	}
 	else
@@ -1688,24 +2043,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)
 {
@@ -1753,144 +2090,85 @@ signal_tstp(struct_processus *s_etat_pro
 	return;
 }
 
-void
-interruption3(int signal)
+static void
+sortie_interruption_depassement_pile(void *arg1, void *arg2, void *arg3)
 {
-	// 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.
+	switch((*((volatile int *) arg1)))
+	{
+		case 1:
+			longjmp(contexte_ecriture, -1);
+			break;
 
-	unsigned char		message[] = "+++System : Uncaught access violation\n"
-								"+++System : Aborting !\n";
+		case 2:
+			longjmp(contexte_impression, -1);
+			break;
+	}
 
-	test_signal(signal);
+	return;
+}
 
-	if (pid_processus_pere == getpid())
+void
+interruption_depassement_pile(int urgence, stackoverflow_context_t scp)
+{
+	if ((urgence == 0) && (routine_recursive != 0))
 	{
-		kill(pid_processus_pere, SIGALRM);
+		// On peut tenter de récupérer le dépassement de pile. Si la variable
+		// 'routine_recursive' est non nulle, on récupère l'erreur.
+
+		sigsegv_leave_handler(sortie_interruption_depassement_pile,
+				(void *) &routine_recursive, NULL, NULL);
 	}
 
-	write(STDERR_FILENO, message, strlen(message));
-	_exit(EXIT_FAILURE);
+	// Ici, la panique est totale et il vaut mieux quitter l'application.
+	interruption3(SIGUSR2);
+	return;
 }
 
-#if 0
-// Utiliser libsigsegv
-void INTERRUPTION3_A_FIXER()
+int
+interruption_violation_access(void *adresse_fautive, int gravite)
 {
-	pthread_t				thread;
-
-	struct_processus		*s_etat_processus;
+	unsigned char		message[] = "+++System : Trying to catch access "
+								"violation\n";
 
-	test_signal(signal);
-	verrouillage_gestionnaire_signaux(s_etat_processus);
+	static int			compteur_erreur = 0;
 
-	if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) == NULL)
+	if ((gravite == 0) && (routine_recursive != 0))
 	{
-		deverrouillage_gestionnaire_signaux(s_etat_processus);
-		return;
+		// Il peut s'agir d'un dépassement de pile.
+
+		sigsegv_leave_handler(sortie_interruption_depassement_pile,
+				(void *) &routine_recursive, NULL, NULL);
 	}
 
-	if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
+	// On est dans une bonne vieille violation d'accès. On essaie
+	// de fermer au mieux l'application.
+
+	compteur_erreur++;
+
+	if (compteur_erreur >= 2)
 	{
-		printf("[%d] SIGSEGV (thread %llu)\n", (int) getpid(),
-				(unsigned long long) pthread_self());
-		fflush(stdout);
+		// Erreurs multiples, on arrête l'application.
+		interruption3(SIGSEGV);
+		return(0);
 	}
 
-	if ((*s_etat_processus).var_volatile_recursivite == -1)
+	write(STDERR_FILENO, message, strlen(message));
+
+	if (pid_processus_pere == getpid())
 	{
-		// Segfault dans un appel de fonction récursive
-		deverrouillage_gestionnaire_signaux(s_etat_processus);
-		longjmp(contexte, -1);
+		longjmp(contexte_initial, -1);
+		return(1);
 	}
 	else
 	{
-		// Segfault dans une routine interne
-		if (strncmp(getenv("LANG"), "fr", 2) == 0)
-		{
-			printf("+++Système : Violation d'accès\n");
-		}
-		else
-		{
-			printf("+++System : Access violation\n");
-		}
-
-		fflush(stdout);
-
-		(*s_etat_processus).compteur_violation_d_acces++;
-
-		if ((*s_etat_processus).compteur_violation_d_acces > 1)
-		{
-			// On vient de récupérer plus d'une erreur de segmentation
-			// dans le même processus ou le même thread. L'erreur n'est pas
-			// récupérable et on sort autoritairement du programme. Il peut
-			// rester des processus orphelins en attente !
-
-			if (strncmp(getenv("LANG"), "fr", 2) == 0)
-			{
-				printf("+++Système : Violation d'accès, tentative de "
-						"terminaison de la tâche\n");
-				printf("             (defauts multiples)\n");
-			}
-			else
-			{
-				printf("+++System : Access violation, trying to kill task "
-						"(multiple defaults)\n");
-			}
-
-			fflush(stdout);
-
-			deverrouillage_gestionnaire_signaux(s_etat_processus);
-			exit(EXIT_FAILURE);
-		}
-		else
-		{
-			// Première erreur de segmentation. On essaie de terminer
-			// proprement le thread ou le processus. Le signal ne peut être
-			// envoyé que depuis le même processus.
-
-			if (recherche_thread_principal(getpid(), &thread) == d_vrai)
-			{
-				if (pthread_equal(thread, pthread_self()) != 0)
-				{
-					deverrouillage_gestionnaire_signaux(s_etat_processus);
-
-					if ((*s_etat_processus).pid_processus_pere != getpid())
-					{
-						// On est dans le thread principal d'un processus.
-
-						longjmp(contexte_processus, -1);
-					}
-					else
-					{
-						// On est dans le thread principal du processus
-						// père.
-
-						longjmp(contexte_initial, -1);
-					}
-				}
-				else
-				{
-					// On est dans un thread fils d'un thread principal.
-
-					deverrouillage_gestionnaire_signaux(s_etat_processus);
-					longjmp(contexte_thread, -1);
-				}
-			}
-
-			// Là, on ramasse les miettes puisque le thread n'existe plus
-			// dans la base (corruption de la mémoire).
-
-			deverrouillage_gestionnaire_signaux(s_etat_processus);
-			longjmp(contexte_initial, -1);
-		}
+		longjmp(contexte_processus, -1);
+		return(1);
 	}
 
-	deverrouillage_gestionnaire_signaux(s_etat_processus);
-	return;
+	// On renvoie 0 parce qu'on décline toute responsabilité quant à la
+	// suite des événements...
+	return(0);
 }
-#endif
 
 // Traitement de rpl_sigstart
 
@@ -1959,13 +2237,6 @@ signal_stop(struct_processus *s_etat_pro
 
 	if (pid == getpid())
 	{
-		if ((s_etat_processus = recherche_thread(getpid(), pthread_self()))
-				== NULL)
-		{
-			deverrouillage_gestionnaire_signaux(s_etat_processus);
-			return;
-		}
-
 		if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
 		{
 			printf("[%d] RPL/SIGSTOP (thread %llu)\n", (int) getpid(),
@@ -2028,25 +2299,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)
@@ -2057,13 +2309,6 @@ signal_urg(struct_processus *s_etat_proc
 
 	if (pid == getpid())
 	{
-		if ((s_etat_processus = recherche_thread(getpid(), pthread_self()))
-				== NULL)
-		{
-			deverrouillage_gestionnaire_signaux(s_etat_processus);
-			return;
-		}
-
 		if (((*s_etat_processus).type_debug & d_debug_signaux) != 0)
 		{
 			printf("[%d] RPL/SIGURG (thread %llu)\n", (int) getpid(),
@@ -2113,13 +2358,6 @@ signal_abort(struct_processus *s_etat_pr
 
 	if (pid == getpid())
 	{
-		if ((s_etat_processus = recherche_thread(getpid(), pthread_self()))
-				== NULL)
-		{
-			deverrouillage_gestionnaire_signaux(s_etat_processus);
-			return;
-		}
-
 		(*s_etat_processus).arret_depuis_abort = -1;
 
 		/*
@@ -2155,16 +2393,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)
@@ -2291,11 +2519,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;
@@ -2314,13 +2542,13 @@ scrutation_interruptions(struct_processu
 	// à lire. Les pointeurs d'écriture pointent sur les prochains éléments à
 	// écrire.
 
-#	ifndef SEMAPHORES_NOMMES
+#	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 ((*s_queue_signaux).pointeur_lecture !=
+		while((*s_queue_signaux).pointeur_lecture !=
 				(*s_queue_signaux).pointeur_ecriture)
 		{
 			// Il y a un signal en attente dans le segment partagé. On le
@@ -2333,9 +2561,22 @@ scrutation_interruptions(struct_processu
 			(*s_queue_signaux).pointeur_lecture =
 					((*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)
+#			endif
+			{
+				if (errno != EINTR)
+				{
+					(*s_etat_processus).erreur_systeme = d_es_processus;
+					return;
+				}
+			}
 		}
 
-#		ifndef SEMAPHORES_NOMMES
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			sem_post(&((*s_queue_signaux).semaphore));
 #		else
 			sem_post(semaphore_queue_signaux);
@@ -2346,7 +2587,7 @@ scrutation_interruptions(struct_processu
 
 	if (pthread_mutex_trylock(&mutex_interruptions) == 0)
 	{
-		if ((*s_etat_processus).pointeur_signal_lecture !=
+		while((*s_etat_processus).pointeur_signal_lecture !=
 				(*s_etat_processus).pointeur_signal_ecriture)
 		{
 			// Il y a un signal dans la queue du thread courant. On le traite.
@@ -2358,6 +2599,19 @@ scrutation_interruptions(struct_processu
 			(*s_etat_processus).pointeur_signal_lecture =
 					((*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)
+				{
+					(*s_etat_processus).erreur_systeme = d_es_processus;
+					return;
+				}
+			}
 		}
 
 		pthread_mutex_unlock(&mutex_interruptions);
@@ -2433,15 +2687,20 @@ nom_segment(unsigned char *chemin, pid_t
 int
 envoi_signal_processus(pid_t pid, enum signaux_rpl signal)
 {
-	int								segment;
+#	ifndef OS2
+		int							segment;
+#	endif
 
 #	ifndef IPCS_SYSV
 #		ifdef SEMAPHORES_NOMMES
 			sem_t					*semaphore;
+			sem_t					*signalisation;
 #		endif
 #	else
-		int							desc;
-		key_t						clef;
+#		ifndef OS2
+			int						desc;
+			key_t					clef;
+#		endif
 #	endif
 
 	struct_queue_signaux			*queue;
@@ -2460,7 +2719,7 @@ envoi_signal_processus(pid_t pid, enum s
 			return(1);
 		}
 
-#		ifndef SEMAPHORES_NOMMES
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			while(sem_wait(&((*s_queue_signaux).semaphore)) != 0)
 #		else
 			while(sem_wait(semaphore_queue_signaux) != 0)
@@ -2481,7 +2740,7 @@ envoi_signal_processus(pid_t pid, enum s
 				((*s_queue_signaux).pointeur_ecriture + 1)
 				% LONGUEUR_QUEUE_SIGNAUX;
 
-#		ifndef SEMAPHORES_NOMMES
+#		if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
 			if (sem_post(&((*s_queue_signaux).semaphore)) != 0)
 #		else
 			if (sem_post(semaphore_queue_signaux) != 0)
@@ -2489,6 +2748,15 @@ envoi_signal_processus(pid_t pid, enum s
 		{
 			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
+		{
+			return(1);
+		}
 	}
 	else
 	{
@@ -2500,28 +2768,40 @@ envoi_signal_processus(pid_t pid, enum s
 				return(1);
 			}
 
-			if ((desc = open(nom, O_RDWR)) == -1)
-			{
-				free(nom);
-				return(1);
-			}
+#			ifndef OS2 // SysV
+				if ((desc = open(nom, O_RDWR)) == -1)
+				{
+					free(nom);
+					return(1);
+				}
 
-			close(desc);
+				close(desc);
+
+				if ((clef = ftok(nom, 1)) == -1)
+				{
+					free(nom);
+					return(1);
+				}
 
-			if ((clef = ftok(nom, 1)) == -1)
-			{
 				free(nom);
-				return(1);
-			}
 
-			free(nom);
+				if ((segment = shmget(clef, sizeof(struct_queue_signaux), 0))
+						== -1)
+				{
+					return(1);
+				}
 
-			if ((segment = shmget(clef, sizeof(struct_queue_signaux), 0)) == -1)
-			{
-				return(1);
-			}
+				queue = shmat(segment, NULL, 0);
+#			else // OS/2
+				if (DosGetNamedSharedMem((PVOID) &queue, nom,
+						PAG_WRITE | PAG_READ) != 0)
+				{
+					free(nom);
+					return(1);
+				}
 
-			queue = shmat(segment, NULL, 0);
+				free(nom);
+#			endif
 #		else // POSIX
 			if ((nom = nom_segment(racine_segment, pid)) == NULL)
 			{
@@ -2563,11 +2843,18 @@ envoi_signal_processus(pid_t pid, enum s
 					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);
 					}
 				}
@@ -2594,10 +2881,16 @@ envoi_signal_processus(pid_t pid, enum s
 				{
 					return(1);
 				}
+
+				if (sem_post(&((*queue).signalisation)) != 0)
+				{
+					return(1);
+				}
 #			else
 				if (sem_post(semaphore) != 0)
 				{
 					sem_close(semaphore);
+					sem_close(signalisation);
 					return(1);
 				}
 
@@ -2605,6 +2898,18 @@ envoi_signal_processus(pid_t pid, enum s
 				{
 					return(1);
 				}
+
+				if (sem_post(signalisation) != 0)
+				{
+					sem_close(signalisation);
+					return(1);
+				}
+
+				if (sem_close(signalisation) != 0)
+				{
+					return(1);
+				}
+
 #			endif
 
 			if (munmap(queue, sizeof(struct_queue_signaux)) != 0)
@@ -2618,10 +2923,19 @@ envoi_signal_processus(pid_t pid, enum s
 				return(1);
 			}
 
-			if (shmdt(queue) != 0)
+			if (sem_post(&((*queue).signalisation)) != 0)
 			{
 				return(1);
 			}
+
+#			ifndef OS2 // SysV
+				if (shmdt(queue) != 0)
+				{
+					return(1);
+				}
+#			else // OS/2
+				// Pendant de DosGetNamedSHaredMem()
+#			endif
 #		endif
 	}
 
@@ -2688,6 +3002,18 @@ 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);
 }
 
@@ -2704,6 +3030,18 @@ envoi_signal_contexte(struct_processus *
 			% LONGUEUR_QUEUE_SIGNAUX;
 	pthread_mutex_unlock(&mutex_interruptions);
 
+#	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);
 }
 
@@ -2724,6 +3062,8 @@ envoi_signal_contexte(struct_processus *
 void
 creation_queue_signaux(struct_processus *s_etat_processus)
 {
+	pthread_attr_t					attributs;
+
 	unsigned char					*nom;
 
 	racine_segment = (*s_etat_processus).chemin_fichiers_temporaires;
@@ -2772,6 +3112,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);
 #		else
 			if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE))
 					== SEM_FAILED)
@@ -2779,10 +3120,18 @@ creation_queue_signaux(struct_processus
 				(*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
 
 		(*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))
 		{
@@ -2846,8 +3195,10 @@ creation_queue_signaux(struct_processus
 			}
 
 			sem_init(&((*s_queue_signaux).semaphore), 1, 1);
+			sem_init(&((*s_queue_signaux).signalisation), 1, 0);
 			(*s_queue_signaux).pointeur_lecture = 0;
 			(*s_queue_signaux).pointeur_ecriture = 0;
+			(*s_queue_signaux).requete_arret = d_faux;
 #		else // OS/2
 			if ((nom = nom_segment(NULL, getpid())) == NULL)
 			{
@@ -2855,8 +3206,8 @@ creation_queue_signaux(struct_processus
 				return;
 			}
 
-			if (DosAllocSharedMem(&ptr_os2, nom, nombre_queues *
-					((2 * longueur_queue) + 4) * sizeof(int),
+			if (DosAllocSharedMem((PVOID) &s_queue_signaux, nom,
+					sizeof(struct_queue_signaux),
 					PAG_WRITE | PAG_READ | PAG_COMMIT) != 0)
 			{
 				free(nom);
@@ -2865,10 +3216,67 @@ creation_queue_signaux(struct_processus
 			}
 
 			free(nom);
-			fifos = ptr_os2;
+
+			sem_init(&((*s_queue_signaux).semaphore), 1, 1);
+			sem_init(&((*s_queue_signaux).signalisation), 1, 0);
+			(*s_queue_signaux).pointeur_lecture = 0;
+			(*s_queue_signaux).pointeur_ecriture = 0;
+			(*s_queue_signaux).requete_arret = d_faux;
 #		endif
 #	endif
 
+	// Lancement du thread de récupération des signaux.
+
+	if (pthread_attr_init(&attributs) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return;
+	}
+
+	if (pthread_attr_setdetachstate(&attributs,
+			PTHREAD_CREATE_JOINABLE) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		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
+
+	if (pthread_attr_destroy(&attributs) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return;
+	}
+
+	if (pthread_create(&((*s_queue_signaux).thread_signaux), &attributs,
+			thread_surveillance_signaux, s_etat_processus) != 0)
+	{
+		(*s_etat_processus).erreur_systeme = d_es_processus;
+		return;
+	}
+
 	return;
 }
 
@@ -2889,6 +3297,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.
+
+	(*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);
+#	endif
+
+	pthread_join((*s_queue_signaux).thread_signaux, NULL);
+
 #	ifdef IPCS_SYSV // SystemV
 #		ifndef OS2
 			if (shmdt(s_queue_signaux) == -1)
@@ -2901,8 +3321,10 @@ liberation_queue_signaux(struct_processu
 #	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
 
 		if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)
@@ -2934,7 +3356,21 @@ liberation_queue_signaux(struct_processu
 void
 destruction_queue_signaux(struct_processus *s_etat_processus)
 {
-	unsigned char		*nom;
+#	ifndef OS2
+		unsigned char		*nom;
+#	endif
+
+	// Incrémenter le sémaphore pour être sûr de le débloquer.
+
+	(*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);
+#	endif
+
+	pthread_join((*s_queue_signaux).thread_signaux, NULL);
 
 #	ifdef IPCS_SYSV // SystemV
 #		ifndef OS2
@@ -2947,6 +3383,16 @@ destruction_queue_signaux(struct_process
 			}
 
 			unlink((*s_queue_signaux).semaphore.path);
+			free((*s_queue_signaux).semaphore.path);
+
+			if (semctl((*s_queue_signaux).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);
 
 			if (shmdt(s_queue_signaux) == -1)
 			{
@@ -2970,22 +3416,31 @@ destruction_queue_signaux(struct_process
 			unlink(nom);
 			free(nom);
 #		else
-			if (DosFreeMem(fifos) != 0)
+			sem_close(&((*s_queue_signaux).semaphore));
+			sem_destroy(&((*s_queue_signaux).semaphore));
+
+			sem_close(&((*s_queue_signaux).signalisation));
+			sem_destroy(&((*s_queue_signaux).signalisation));
+
+			if (DosFreeMem(s_queue_signaux) != 0)
 			{
 				(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 				return;
 			}
-
-		// FERMER LE FICHIER
-
 #		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
 
 		if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0)