-Buffer vide -> C1 et C2 sont en attente (suspendus).
- -> P1 rentre en section critique, depose et notifie un thread, mettons P2
-Buffer plein -> P1 se met en attente, P2 a été notifié mais le buffer est plein, donc
- P2 en attente.
- -> donc C1, C2, P1, P2 sont en attente
- et aucune notification ne sera faite pour les réveiller.
+Buffer vide -> C1 et C2 se mettent en attente dans la file (C1, C2).
+ -> P1 rentre en section critique et P2 se met en attente soit (P2, C1, C2).
+ P1 depose et notifie a un thread en attente. Le dernier en attente est P2 donc P2 est notifié.
+Buffer plein -> P2 sort de la file d'attente (C1, C2) et entre en SC, P1 se met en attente (P1, C1, C2).
+ Or le buffer est plein, donc P2 se met en attente dans la file (P2, P1, C1, C2).
+ -> donc C1, C2, P1, P2 sont en attente dans la file (P2, P1, C1, C2)
+ et aucune notification ne sera faite pour les sortir de la file.