سوالات پایان ترم توزیع شده

۱- تعریف فرمال trace property, progress, liveness را بنویسید.
آیا یک ویژگی می‌تواند همزمان progress و liveness باشد؟
ثابت کنید هر trace property را به صورت اشتراک یک safety property و یک trace property می‌توان نوشت. (قضیه 8.9 کتاب)
۲- تمرین 8.5 کتاب
۳- الگوریتم Peterson2P را بنویسید و ثابت کنید درست کار می‌کند و شرط lockout freedom را ارضا می‌کند. (قضیه 10.13 کتاب)
۴- الگوریتم LCR و Peterson برای انتخابا رهبر را بنویسید و مقایسه کنید (کدام در چه شرایطی بهتر است؟ چرا؟) و پیچیدگی پیام و زمان آن را هم حساب کنید.
۵- سوال 7.11 کتاب (تکراری از میان ترم)
۶- سوال 7.17 کتاب (تکراری از تمرین‌ها)