--- rpl/src/interruptions.c	2013/05/21 12:10:12	1.125
+++ rpl/src/interruptions.c	2013/05/23 16:11:12	1.132
@@ -100,16 +100,35 @@ thread_surveillance_signaux(void *argume
 #		endif
 		{
 #			if (!defined(SEMAPHORES_NOMMES)) || defined(IPCS_SYSV)
-			sem_post(&(*s_queue_signaux).signalisation);
+			if (sem_wait(&(*s_queue_signaux).arret_signalisation) != 0)
 #			else
-			sem_post(semaphore_signalisation);
+			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)
+			sem_post(&(*s_queue_signaux).arret_signalisation);
+			sem_post(&(*s_queue_signaux).signalisation);
+#			else
+			sem_post(semaphore_arret_signalisation);
+			sem_post(semaphore_signalisation);
+#			endif
+
 			nombre_signaux_envoyes = 0;
 			sched_yield();
 
@@ -145,7 +164,12 @@ 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_interruptions);
 			pthread_mutex_lock(&mutex_liste_threads);
+
 			l_element_courant = liste_threads;
 
 			while(l_element_courant != NULL)
@@ -155,12 +179,13 @@ thread_surveillance_signaux(void *argume
 				{
 					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);
 					}
 				}
 
@@ -168,6 +193,7 @@ thread_surveillance_signaux(void *argume
 			}
 
 			pthread_mutex_unlock(&mutex_liste_threads);
+			pthread_mutex_unlock(&mutex_interruptions);
 
 			// Nanosleep
 
@@ -2950,12 +2976,12 @@ envoi_signal_thread(pthread_t tid, enum
 
 	if (pthread_mutex_lock(&mutex_interruptions) != 0)
 	{
-		pthread_mutex_unlock(&mutex_liste_threads);
 		return(1);
 	}
 
 	if (pthread_mutex_lock(&mutex_liste_threads) != 0)
 	{
+		pthread_mutex_unlock(&mutex_interruptions);
 		return(1);
 	}
 
@@ -2988,13 +3014,13 @@ envoi_signal_thread(pthread_t tid, enum
 			((*s_etat_processus).pointeur_signal_ecriture + 1)
 			% LONGUEUR_QUEUE_SIGNAUX;
 
-	if (pthread_mutex_unlock(&mutex_interruptions) != 0)
+	if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
 	{
-		pthread_mutex_unlock(&mutex_liste_threads);
+		pthread_mutex_unlock(&mutex_interruptions);
 		return(1);
 	}
 
-	if (pthread_mutex_unlock(&mutex_liste_threads) != 0)
+	if (pthread_mutex_unlock(&mutex_interruptions) != 0)
 	{
 		return(1);
 	}
@@ -3110,6 +3136,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)
@@ -3118,16 +3145,24 @@ 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))
@@ -3193,6 +3228,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;
@@ -3216,6 +3253,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;
@@ -3294,11 +3333,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)
+	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);
@@ -3317,11 +3368,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)
@@ -3357,11 +3408,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)
+	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);
@@ -3391,6 +3454,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;
@@ -3419,6 +3492,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;
@@ -3427,17 +3503,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)