فرضا دو فرآیند مورد نظرP1 و P2 هستند.
خوب حالتی رو در نظر میگیریم که فرآیند P1 درون ناحیه بحرانی است پس متغییر های LOCK=True و Key1=False هست.
خوب حالا فرآیند P2 سعی در ورود به ناحیه بحرانی میکنه ولی به دلیل اینکه هردو متغیر LOCK و Key2 برابر True هست نمی تونه وارد شه.
دوباره به فرآیند P1 بر میگردیم کارش درون ناحیه بحرانی تموم میشه وقبل از پایان کوانتومش، دوباره می خواد وارد ناحیه بحرانی شه ، پس در ابتدا Key1=true و Lock=False هست و بعد از swap شدن شرط حلقه نقض میشه و دوباره وارد ناحیه بحرانی میشه.
در نتیجه حالا که نوبت به فرآیند دوم میرسه نمی تونه وارد ناحیه بحرانی شه.
پس نتیجه میگیریم شرط انتظار محدود نقض شده.
در حالی که سنجش گزینه ۲ و پارسه گزینه ۱ رو اعلام کرده.
لطفا نظر خودتون رو بگید.