En cas de blocage par deux contraintes de buffer vide (figure 3.3), les dimensions des buffers n'interviennent en aucun
cas, il n'existe par conséquent aucun moyen de briser ce circuit. C'est un problème dû à l'ordre dans lequel les
opérations doivent s'effectuer, non aux capacités des buffers. Nous sommes en présence d'un défaut de conception de
l'application.