Code cleanups.

[TD_SR.git] / TD1 / exo3 / deadlock.txt

diff --git a/TD1/exo3/deadlock.txt b/TD1/exo3/deadlock.txt
index bf75e4386044a4ab7536039770ea566d1dc31374..a2724d9949ebfced0748cadb7f0f929238856331 100644 (file)
--- a/TD1/exo3/deadlock.txt
+++ b/TD1/exo3/deadlock.txt
@@ -15,6 +15,6 @@ Solution: faire un notifyAll() en sortie de SC dans le buffer pour s'assurer que
           thread d'un type différent du type courant sortant du moniteur est également notifié
           (Consommateur -> Producteur ou Producteur -> Consommateur) et sort de son attente.
 
           thread d'un type différent du type courant sortant du moniteur est également notifié
           (Consommateur -> Producteur ou Producteur -> Consommateur) et sort de son attente.
 

-N.B. : On suppose que la mise en attente dans moniteur des threads est une file.
+N.B. : On suppose que la mise en attente des threads dans le moniteur est une file.

        Mais même si c'est une autre structure de données, la possibilité de deadlock
        demeure.
        Mais même si c'est une autre structure de données, la possibilité de deadlock
        demeure.