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

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

پیاده‌سازی همه‌ی چیزهایی که توی سیستم عامل پیشرفته هست!

http://web.stanford.edu/class/cs110/spring-2016/

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

سوالها طوری نبودند که خیلی به درس کلاس مربوط باشند یعنی باید خودتان کتاب را بخوانید.

۱- الگوریتم‌های time slice و variable speed را برای انتخاب رهبر توضیح بدهید و بگویید در چه صورتی به جای اولی از دومی استفاده می‌کنیم.

۲- در مورد الگوریتم MST به این موارد جواب بدهید.

الف) مشکل وزن‌های یکسان را چطوری حل می‌کنید؟

ب) چرا زمان O(diam) برای ادغام مولفه‌ها کافی نیست؟

ج) پیچیدگی زمان و پیام الگوریتم را بنویسید.

۳- درخت EIG را برای stopping agreement رسم کنید به ازای این مثال. مثال هم این بود که اول ۱ چند تا پیام می‌فرستد و می‌میرد بعد ۲ می‌میرد و کلاً هم ۴ تا پردازنده بودند.

ب) ثابت کنید که با f راند مسئله حل نمی‌شود.

۴- شرط‌های توافق را بنویسید.

۵- چطوری می‌شود با MST رهبر انتخاب کرد؟

۶- در مسئله‌ی approximate agreement ثابت کنید هر کدام از تابع‌های reduce و select و mean چه نقشی دارند و آیا اگر نباشند باز هم جواب درست پیدا می‌شود؟

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

همه‌ی سوالها یادم نیست ولی آنهایی که یادمه اینهاست:

۱- تفاوت شفافیت Failure و Persistence را بنویسید.

۲- موانع scalability را بنویسید و برای آن راه حل بنویسید.

۳- آیا TCP روش خوبی برای تبادل اطلاعات بین پردازه‌ای است؟

۴- در RPC چه مشکلاتی وجود دارد و برای حل آنها باید چه کار کرد؟ (من سینتکس را نوشتم ولی فکر کنم باید سمنتیک را می‌نوشتیم)

۵- اگر Causal BCast داشته باشیم می‌شود از آن به عنوان ساعت استفاده کرد؟ (من نوشتم آن سابقه‌ی علی که برای ساعت و انتشار استفاده می‌کنیم مثل هم است پس می‌شود.)

۶- با کدام الگوریتم‌های bcast می‌شود اجماع را حل کرد؟ (همان کاهش‌های مسئله‌ها را بنویسید.)

برنامه نویسی سوکت در ویندوز با سی پلاس پلاس

https://msdn.microsoft.com/en-us/library/windows/desktop/ms737889(v=vs.85).aspx

برای کلاینت باید از توی cmd بازش کنید که ورودی بتوانید بهش بدهید و در این مثال 127.0.0.1 بهش بدهید روی یک کامپیوتر با هم کار می‌کنند.

Algorithmic Graph Theory

http://www.cs.cmu.edu/~yangp/15859G/

Fast Distributed k-Center Clustering with Outliers on Massive Data

http://papers.nips.cc/paper/5997-fast-distributed-k-center-clustering-with-outliers-on-massive-data

Fixed-Parameter Algorithms for (k, r)-Center in Planar Graphs and Map Graphs

http://www-math.mit.edu/~hajiagha/mapgraphsTALG.pdf

O(n log n) unidirectional distributed algorithm for leader election in a ring

https://www.cs.huji.ac.il/~dolev/pubs/n-log-n.pdf

HS algorithm

http://cse.iitkgp.ac.in/~agupta/distcomp/LeaderElection-HirschbergSinclair.pdf