عنوان
روشي براي همگام سازي اعتمادپذير زمان در سيستمهاي توزيعي
نويسنده اصلي
اميرحسين صيادعبدي
مقطع تحصيلي
كارشناسي ارشد
چكيده
انسان ها و سيستمهاي كامپيوتري با هم در تعامل هستند. انتظار داريم كه سيستم‌هايي كه با آن‌ها در تعامل هستيم، رفتاري سازگار با رفتارهاي گذشته‌ي خود نشان دهند. همچنين، انتظار داريم كه يك سيستم توزيعي نسبت به موقعيت جغرافيايي اجزاء توزيع شده، شفاف بوده و همانند يك سيستم متمركز به ما پاسخگو باشد. در اينجا مسأله اين است كه چطور اين رفتار سازگار، توسط يك سيستم توزيعي در حوزه‌ي همگام‌سازي زمان (ساعت) تضمين شود. به نظر مي آيد كه مسأله‌ي اجماع توزيعي، در قلب اين مسأله جاي داشته باشد.
انگيزه‌ي اصلي اين پژوهش ارائه‌ي روشي براي تضمين رفتار سازگار سيستم و عدم نمايش رفتار ناهنجار براي كاربران بوده است. هدف آن است كه روش ارائه شده را در قالب يك سرويس فراهم كنيم تا براي گروه بزرگي از كاربران و برنامه‌هاي كاربردي قابل استفاده باشد. براي حل مسأله‌ي رفتار ناهنجار، يك بازي تحت عنوان «بازي ساعت‌ها» مطرح كرده ايم. اين مسأله به‌عبارت ساده، يك ناسازگاري در رفتار سيستم بوده كه توسط كاربران قابل مشاهده است. تلاش شده است كه روش ارائه شده براي حل مسأله را نسبت به وقوع «خرابي‌هاي سقوط» تحمل‌پذير نماييم. در اين پژوهش، چهار رُكن اساسي محاسبات «اعتمادپذير» را نيز در نظر گرفته ايم و تأكيد ما بيشتر بر قابليت اطمينان و تحمل خرابي‌هاي سقوط بوده است.
در اين پايان نامه، روشي براي حل مسأله‌ي رفتار ناهنجار ارائه كرده ايم كه مبتني بر ساعت‌هاي منطقي است. با قرار دادن پردازه‌ها در يك ساختار درخت دودويي و اعمال تغيير جزئي در يكي از قواعد جلو بردن ساعت منطقي، سعي در برطرف نمودن رفتار ناهنجار سيستم به‌صورت كامل شده است. در مورد تحمل‌پذير بودن نسبت به خرابي، با اضافه نمودن اشاره‌گرهايي در پردازه‌ها كه به ساير گره‌ها اشاره مي‌كنند سعي كرده ايم با وقوع خرابي‌هاي سقوط مقابله نماييم. براي ارزيابي طرح پيشنهادي، يك شبيه‌ساز طراحي كرده ايم تا پندار اصلي مقابله با رفتار ناهنجار در عدم حضور خرابي‌هاي سقوط را نشان دهيم. سپس يك پياده‌سازي واقعي از الگوريتم را انجام داده¬ايم تا رفتار آن در محيط حقيقي با حضور خرابي‌هاي سقوط را مشاهده كنيم. اين برنامه‌ي پياده‌سازي شده، توسط ماشين‌هاي مجازي اجرا شده كه با يكديگر تشكيل يك سيستم واقعي را مي‌دهند. همچنين، استدلال‌هاي منطقي درباره‌ي صحّت تصميم‌هاي اتخاذ شده در روش پيشنهادي ارائه شده است.
شماره ركورد
191778
دانشگاه
دانشگاه علم و صنعت ايران
رشته تحصيلي
نرم افزار
استاد راهنما
دكتر محمد عبداللهي ازگمي