نوع فایل power point

قابل ویرایش 25 اسلاید

قسمتی از اسلایدها

در مواردي سايت‌ها بايد با هم به توافقي برسند. مثلاً تصميم به Abort يا Commit در DBSs.

هر سايت بايد از مقادير سايت‌هاي ديگر مطلع باشد.

تصميم در غياب خطا ::

تصميم در حضور خطا ؟ چرا كه سايت‌هاي خطادار مقادير غلطي مي‌فرستند.

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

نكته: پردازه‌هاي سالم خبري از پردازه‌هاي خراب ندارند.

n تا‌ پردازنده در سيستم وجود دارد كه m تاي آنها خطادار هستند.

سيستم منطقاً كاملاً مرتبط است.

تنها خطاي پردازنده مطرح است و خطاي رسانه ارتباطي نداريم.

براي سادگي فرض بر توافق روي مقدار صفر و يك است.

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

هر مرحله را يك round مي‌ناميم.  تأخير پيغامي يا سرعت كند يك پردازنده كل محاسبات را كند مي‌كند.

پيغام‌ها non-Authenticated‌ هستند: پردازنده‌اي مي‌تواند پيغامي را جعل كند و يا محتويات ان را عوض كند و سپس آن را رله كند.

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

مقدمه

مدل

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

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

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

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

الگوريتم Delov

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

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

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

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