همگام‌سازی با استفاده از سمافورها
توضیحات
در جلسه بیست و هفتم فیلم آموزشی (آموزش مجازی) سیستم عامل دکتر حقیقت ویژه کنکور کارشناسی ارشد مهندسی کامپیوتر و کنکور کارشناسی ارشد مهندسی فناوری اطلاعات و کنکور دکتری مهندسی کامپیوتر و نیز امتحانات دانشگاهی و آزمون‌های استخدامی، ادامه فصل مهم چهارم سیستم عامل با عنوان «همگام‌سازی با استفاده از سمافورها» ارائه می‌شود. ديديم كه سمافور يک راه حل تقريباً بی‌نقص برای انحصار متقابل است. اما قدرت سمافور به اين مسئله ساده! محدود نمی‌شود. در این جلسه توانايی سمافور را در حل مسائل گوناگون همگام‌سازی (Synchronization Problems) خواهيد ديد و به قدرت اين ابزار پي خواهيد برد. ابتدا مسئله توليدكننده ـ مصرف‌كننده (Producer Consumer Problem) با استفاده از سمافور حل می‌شود. سپس مسئله غذا خوردن فيلسوف‌ها (Dining Philosophers Problem) مطرح شده و سه راه حل مبتدیانه با مشکلات بن‌بست، Livelock و قطحی و نیز کارایی پایین ارائه می‌شود. سپس راه‌حل بی‌نقص این مسئله با استفاده از آرایه‌ای از سمافورها ارائه و تشریح می‌گردد.