اسلایدهای توزیع‌شده‌ی ETH

http://www.dcg.ethz.ch/lectures/podc/

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

http://slides.com/rezamohammadi/concurrent-computing#/

http://thesecretlivesofdata.com/raft/

خوبیش سایت ساختن اسلایدهای این طوری است:
https://slides.com/pricing?ref=caplt

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

۱- مسیر زیگزاگ را تعریف کنید. تفاوت آن را با مسیر علّی بنویسید. مزیت مسیر زیگزاگ در تشخیص حالت سراسری سازگار چیست؟

۲- روش‌های فرستنده آغازی و گیرنده آغازی را با هم مقایسه کنید.

۳- الگوریتم Dolev و OM برای توافق در حضور خطا را با هم مقایسه کنید. از نظر زمان، حافظه، تعداد پیام، تعداد دور، خطای شبکه، خطای پردازه و یک ملاک دیگر

۴- رابطه‌ی پیش رخدادی را چطور می‌شود از روی بردار ساعت به دست آورد با کمترین میزان مبادله پیام؟ همروندی دو پردازه چطور؟

۵- الگوریتم کندی-لمپورت چرا یک حالت سراسری سازگار می‌سازد؟

۶- C-Bcast و A-Bcast را تعریف کنید و بنویسید چه چیزی به C-Bcast اضافه کنیم تا A-Bcast شود؟ چه زمانی از A-Bcast استفاده می‌کنیم؟ (من مثال زدم)

۷- فرق 2PC و 3PC چیست؟ مزیت 3PC چیست؟ ماشین حالت آنها را بکشید.

۸- یک روش توزیع شده برای Commitment بنویسید و آن را تحلیل کنید. در درس فقط روش متمرکز برای آن گفته شد.

۹- روش مهره بنیاد برای منبعی بنویسید که k نفر همزمان می‌توانند از آن استفاده کنند.

پایان ترم بیوانفورماتیک ۲ (تحلیل داده‌های حجیم زیستی)

امتحان take home بود و فایلهای آن دو تا cell file بودند که فایل‌های annotationشان هم همراهشان نبود و دو تا فایل sra که فقط در تمرین آخر که مهلتش بعد از پایان ترم بود و در فرجه‌ها داده شد دیده بودیم. (برای هر چیزی آماده باشید!)

سوالها:

از لینک زیر می‌توانید فایلها را دانلود کنید:

http://www.ncbi.nlm.nih.gov/geo/query/acc.cgi?acc=GSM1161423

http://www.ncbi.nlm.nih.gov/geo/query/acc.cgi?acc=GSM1161494

http://trace.ncbi.nlm.nih.gov/Traces/sra/?run=SRR1177960

http://trace.ncbi.nlm.nih.gov/Traces/sra/?run=SRR1177961

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

۱- تعریف فرمال 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 کتاب (تکراری از تمرین‌ها)