X-Git-Url: https://git.piment-noir.org/?a=blobdiff_plain;f=TD1%2Fexo3%2Fdeadlock.txt;h=a2724d9949ebfced0748cadb7f0f929238856331;hb=367e2930690ae79b8a9bbb641953fcb43f3854dd;hp=bf75e4386044a4ab7536039770ea566d1dc31374;hpb=98a1366c704f3f1d6e757660c794a47ab076e280;p=TD_SR.git

diff --git a/TD1/exo3/deadlock.txt b/TD1/exo3/deadlock.txt
index bf75e43..a2724d9 100644
--- 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.
 
-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.