حل تشریحی سوال شماره 102 سیستم‌های عامل

گزينه 1 درست است.

چون مقدار اولیه شمارنده سمافورها همگی صفر است، اگر فرایندهای P₂ یا P₃ یا P₄ اجرا شوند هر کدام با فراخوانی wait روی یکی از سه سمافور می­‌خوابند. حال اگر فرایند P₁ اجرا شود دستور S₁ را اجرا می­‌کند و با فراخوانی signal(a) فرایند P₂ را بیدار می­‌کند تا دستور S₂ را اجرا ­کند و با فراخوانی signal(b) فرایند P₃ را بیدار ­کند و آن هم دستور S₃ را اجرا ­کند و با فراخوانی signal(c) فرایند P₄ را بیدار ­کند تا دستور S₄ را اجرا ­کند. در یک سناریوی دیگر فرض کنید اول فرایند P₁ اجرا می­‌شود و دستور S₁ را اجرا می­‌کند و با فراخوانی signal(a) مقدار شمارنده سمافور a را که کسی در صف آن خواب نیست، 1 می­‌کند. حال اگر بعداً فرایند P₂ اجرا شود با فراخوانی wait روی a نمی­‌خوابد و بقیه نیز به همین ترتیب اجرا می­‌شوند.

سایر گزینه­‌ها نادرست است. مثلاً در گزینه 2، اگر اول فرایند P₁ اجرا ­شود و دستور S₁ را اجرا ­کند، با فراخوانی signal(a) و signal(b) این امکان را فراهم می­‌کند که دستورات S₂ و S₃ به هر ترتیبی اجر شوند.