سلام.
حالت خاصی را در نظر بگیرید که بافر مربوط به فرایند P1 که در آن می‌نویسد٬ پر است (C12=C) و (C23=0)
اینطور میشه برداشت کرد: فرایند P3 قصد خواندن از بافر را دارد که خالی‌ست پس منتظر می‌ماند. فرایند P2 یک مورد از بافر اول را می‌خواند و قصد نوشتن در بافر دوم را دارد که چون حجم اختصاص‌یافته‌ی فعلی آن صفر است٬ منتظر می‌ماند. فرایند P1 هم به دلیل پر بودن بافر مربوط به خودش٬ نمی‌تواند داده‌ای را در آن بنویسد. بنابراین بافر C23 درحالیکه خالی‌ست اما فرایند دوم نمی‌تواند در آن چیزی بنویسد و فرایند اول هم به دلیل پر بودن بافر C12 نمی‌تواند داده‌ای را قرار بدهد. فرایند P3 هم به دلیل نبودن داده در C23 منتظر است »»» سیکل انتظار ابدی = بن‌بست.