پاورپوینت با موضوع سیستم های عامل توزیع شده (قراردادهاي توافق Agreement Protocols)

لینک دانلود و خرید پایین توضیحات

دسته بندی : پاورپوینت

نوع فایل : .ppt ( قابل ويرايش و آماده پرينت )

تعداد اسلاید : 25 اسلاید

قسمتی از متن .ppt :

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

قراردادهاي توافق Agreement Protocols  

مقدمه

در مواردي سايت‌ها بايد با هم به توافقي برسند. مثلاً تصميم به Abort يا Commit در DBSs.
هر سايت بايد از مقادير سايت‌هاي ديگر مطلع باشد.
تصميم در غياب خطا :: 
تصميم در حضور خطا ؟ چرا كه سايت‌هاي خطادار مقادير غلطي مي‌فرستند.

فرض: وجود يك مدل عمومي از خطا: ارسال پيغام مشكوك به ديگران، پايين بودن سايت، پاسخ درست ندادن به پيغام‌ها.
نكته: پردازه‌هاي سالم خبري از پردازه‌هاي خراب ندارند.

مدل

n تا‌ پردازنده در سيستم وجود دارد كه m تاي آنها خطادار هستند.
سيستم منطقاً كاملاً مرتبط است.
تنها خطاي پردازنده مطرح است و خطاي رسانه ارتباطي نداريم.
براي سادگي فرض بر توافق روي مقدار صفر و يك است.
محاسبات همگام: پردازنده‌هاي سيستم در يك حالت قفلي/مرحله‌اي عمل مي‌كنند. هر پردازه پيغامي كه در مرحله قبل ارسال شده بود را دريافت مي‌كند، محاسبه‌اي انجام مي‌دهد و پيغام‌هايي را ارسال مي‌كند.
هر مرحله را يك round مي‌ناميم.  تأخير پيغامي يا سرعت كند يك پردازنده كل محاسبات را كند مي‌كند.
پيغام‌ها non-Authenticated‌ هستند: پردازنده‌اي مي‌تواند پيغامي را جعل كند و يا محتويات ان را عوض كند و سپس آن را رله كند.

ازريابي كارايي

زمان : تعداد دور
ترافيك پيغامي
سربار حافظه‌اي

دسته‌بندي مسائل توافقي

1- توافق Byzantine
مقدار اوليه‌اي كه قرار است روي آن توافق شود توسط پردازنده‌اي بي‌خطا اعلام و همه پردازنده‌هاي بي‌خطا مجبور به توافق روي آن مقدار هستند.
راه‌حل اين مسئله بايد:
1- توافق: توافق همه پردازنده‌هاي بي‌خطا روي آن مقدار مشترك.
2- اعتبار: اگر پردازنده مبدأ بي‌خطاست، مقدار توافق شده همان مقدار اوليه باشد.
نكته: اگر مبدأ خطادار باشد، پردازنده‌هاي بي‌خطا روي هر مقدار مشتركي مي‌توانند توافق كنند.
مهم نيست كه پردازنده‌هاي خطادار روي چه مقدار مشتركي توافق كرده‌اند و يا اصلاًً توافق كرده‌اند. 


فهرست مطالب و اسلایدها:

مقدمه

مدل

ازريابي كارايي

دسته‌بندي مسائل توافقي

راه‌حل براي مسئله توافق Byzantine

الگوريتم Lamport-Shostak-Pease

الگوريتم Delov

شرح الگوريتم Delov توسط 4 قاعده زير:

دو ويژگي الگوريتم

كابردهاي الگوريتم توافق

الگوريتم  Interactive Convergence( براي همگامي ساعت)