حل تشریحی سوال شماره 48 سیستم های عامل پیشرفته

اجرای زیر را در یک سیستم توزیع شده متشکل از پردازه های $P1,P0$ و $P2$ در نظر بگیرید. رویدادها به ترتیبی که در زمان فیزیکی رخ داده اند. آمده اند.

1. $P0$ یک پیغام به $P2$ می فرستد
2. $P0$ یک پیغام به $P1$ می فرستد
3. $P2$ پیغام به $P0$ را دریافت می‌کند
4. $P1$ پیغام به $P0$ را دریافت می‌کند
5. یک رویداد داخلی در $P2$ رخ می دهد
6. $P1$ یک پیغام به $P0$ می فرستد
7. $P0$ پیغام به $P1$ را دریافت می‌کند

کدام یک از عبارات زیر براساس رابطة happens-before تعریف شده توسط Lamport درست است؟

a) رویدادهای ۳ و ۴ همروند هستند.

b) رویداد ۱ به صورت علی قبل از رویداد ۵ رخ می دهد.

c) رویدادهای ۲ و ۶ همروند هستند.

d) رویداد ۳ به صورت علی قبل از رویداد ۶ رخ می دهد.