بن‌بست: مفاهیم، شرایط و مدل‌سازی
توضیحات
در جلسه سی‌ام فیلم آموزشی (آموزش مجازی) سیستم عامل دکتر حقیقت ویژه کنکور کارشناسی ارشد مهندسی کامپیوتر و کنکور کارشناسی ارشد مهندسی فناوری اطلاعات و کنکور دکتری مهندسی کامپیوتر و نیز امتحانات دانشگاهی و آزمون‌های استخدامی، فصل مهم پنجم سیستم عامل با عنوان «بن‌بست» آغاز می‌شود. بن‌بست سیکل انتظار ابدی فرایندها است. در این جلسه ابتدا به طور رسمی بن‌بست تعریف می‌شود. سپس انواع بن‌بست (بن‌بست منابع، بن‌بست ارتباطی و بن‌بست ترکیبی) مطرح و تشریح می‌شوند. سپس موضوع این فصل یعنی بن‌بست منابع با جزئیات دقیق تعریف می‌شود. بعد از آن، شرایط لازم و کافی بن‌بست منابع از دید Coffman و همکارانش (1971) ارائه و تشریح می‌شود: 1) شرط انحصار متقابل (Mutual Exclusion) یا دوبه‌دو ناسازگاری 2) شرط نگهداری و انتظار (Hold and Wait) و 3) شرط غیرقبضه‌ای (No Preemption)یا نداشتن تخلیه پیش‌هنگام 4) شرط انتظار چرخشی (Circular Wait). سپس به مدل‌سازی بن‌بست منابع با گراف تخصیص منابع پرداخته می‌شود. در انتها یک تست کنکور کارشناسی ارشد در این رابطه مطرح و حل تشریحی آن ارائه می‌گردد.