به طور ساده بگم اینجوریه .. ببین وقتی یه پروسس با ناحیه بحرانی کار داره و هیچ کس دیگه ای با ناحیه بحرانی کار نداره این باید بتونه بدونه مشکل وارد شه
مثلا وقتی توی تلاش های دکر از متغیر نوبت استفاده میشد وقتی نوبت با پروسس اول بود حتی اگه هیچ کاریم حالا حالا ها با ناحیه بحرانی نداشت پروسس دوم نمیتونست وارد ناحیه بحرانی شه .. باید صبر کنه تا پروسس اول همه کارهای دیگشو بکنه وارد ناحیه بحرانی بشه خارج بشه بعد این میتونه وارد شه
راهی که برای تست کردنش من استفاده میکردم این بود
یه مقدار اولیه واسه متغیر ها در نظر میگرفتم .. پروسس اول رو کلا حذف میکروم چک میکردم پروسس دوم میتونه وارد شه یا نه .. حالا باز با همون شرایط اولیه پروسس دوم رو حذف می کردم ببینم پروسس اول میتونه وارد شه یا نه
تو انتخاب شرایط اولیه سعی کنین طوری انتخاب کنین که نقض بشه چون ما دنبال مثال نقض هستیم