تالار گفتمان مانشت

سلام
فرضا 4 تا پروسس داریم.
هر کدام به ان یکی برای تکمیل نیاز دارد که نتیجه ان میشود بن بست!
حالا میشه یکی رو شکوند تا مشکل حل بشه درسته؟
اما فرض کنیم P0 P1 P2 P3
مثلا میائیم P1 به P2 رو قطع می کنیم.
حالا P0 میخواد کارش رو با P1 به اتمام برسه و تکمیل بشه اما نمیشه! چرا که نیاز به محاسبه ای داره که باید P2 برای P1 انجام بده
این قضیه برزای تمام پروسس ها فرضا بر قرار هست.
تکلیف چیست>؟