روالهای تحمل پذیر اشکال برای رسیدن به قابلیت دسترسی بالا در سیستم های مبادله پیام

روالهای تحمل پذیر اشکال برای رسیدن به قابلیت دسترسی بالا در سیستم های مبادله پیام

قابلیت دسترسی بالا
سیستم های مبادله پیام
روالهای تحمل پذیر اشکال
تكنیكهای افزایش قابلیت اطمینان در رایانش ابری
تكنیكهای قابلیت دسترسی بالا در رایانش ابری
افزایش قابلیت اطمینان و قابلیت دسترسی بالا در رایانش ابری
بازیافت در سیستم‌های مبادلة پیام

رفتن به سایت اصلی

دانلود تحقیق کارشناسی ارشد رشته آی تی

روالهای تحمل پذیر اشکال برای رسیدن به قابلیت دسترسی بالا در سیستم های مبادله پیام

 

 

 

 

 

چکیده

یكی از مهم‌ترین تكنیك‌ها در افزایش قابلیت اطمینان و قابلیت دسترسی بالا، بازیافت می‌باشد. این تكنیك كه به صورت مخفی‌ از دید كاربر انجام می‌گیرد به ما كمك می‌كند تا بتوانیم عمل تحمل­پذیری اشکال را انجام دهیم. این قراردادها در یك محیط توزیع شده كه مجموعه‌ای از تکه برنامه­های موازی (پروسه‌ها، ماشین­های مجازی و…) در آن وجود دارند و بر روی یك شبكه با یكدیگر ارتباط دارند، عمل می‌كند. این تکه برنامه­ها به یك ذخیره‌ساز پایدار[1] دسترسی دارند كه اشکال­های تحمل شده را به كمك آن بازیابی می‌كنند. در واقع ماشین­های مجازی اطلاعات مرتبط به بازیافت را در زمان اجرا روی این ذخیره‌ساز ثبت می‌كنند. در زمان رویداد یك اشکال، ماشین مجازی می‌تواند با استفاده از این داده‌ها از آخرین محاسبات، كار خود را ادامه دهد و بنابراین در زمان پردازش صرفه‌جویی كند. حداقل اطلاعات بازیافت، شامل حالت ماشین مجازی است كه به آن نقطه مقابله گفته می‌شود. بعضی از قراردادهای بازیافت ممكن است به اطلاعاتی نظیر ارتباطات بین دستگاه‌های ورودی/ خروجی، اتفاق‌هایی كه روی هر ماشین مجازی افتاده است و پیام‌هایی كه بین کارهای درون ماشین مجازی مبادله شده است، احتیاج داشته باشد.

قراردادهای بازیافت می‌توانند به طرق مختلف استفاده شوند كه بهترین نوع آنها تكنیك‌هایی است كه به صورت مخفی عمل می‌كنند و برنامه‌ كاربردی و برنامه‌نویس دخالتی در عملكرد آن ندارند. در این حالت سیستم به صورت خودكار و بر اساس سیاست مشخص شده نقطه مقابله را می‌گیرد و در صورت رویداد اشکال آن را به صورت خودكار بازیابی می‌نماید. حسن این روش، راحت شدن برنامه‌نویس از پیچیدگی مورد نیاز برای تحمل‌پذیری اشکال در برنامه است و در این صورت برنامه‌ها بدون ملاحظات تحمل‌پذیری اشکال نوشته خواهند شد.

بازیافت در سیستم‌های مبادلة پیام مشكل است، زیرا پیام‌ها باعث ایجاد وابستگی بین تکه ­برنامه­های محییط موازی در زمان اجرای عادی آنها می‌شود. این وابستگی باعث می‌شود كه گاهی واحدهایی كه خراب نشده‌اند نیز بازیافت شوند[2]. برای دیدن این­كه چرا عمل انتشار بازیافت اتفاق می‌افتد، فرض كنید فرستنده یك پیام مثل m، به حالت قبل ارسال پیام بازیافت شود. گیرنده پیام m نیز باید در حالت قبل از دریافت پیام m قرار گیرد. در غیر این­صورت، حالت دو ماشین مجازی غیر یكپارچه[3] خواهد شد و نشان می‌دهد كه پیام m ارسال نشده است اما یك ماشین مجازی آن را دریافت كرده است و این غیرممكن است. تحت شرایطی ممكن است عمل انتشار بازیافت آنقدر به عقب برگردد كه باعث شود تمام كارهای انجام شده از بین برود و نهایتاً ماشین مجازی به حالت اولیه بازیافت شود كه به آن اثر دومینو[4] گفته می‌شود[16]. اثر دومینو ممكن است در اثر گرفتن نقطه مقابله­های مستقل در هر ماشین مجازی اتفاق بیفتد كه به این روش نقطه مقابله گرفتن مستقل یا غیرهماهنگ[5] گفته می‌شود.

واضح است كه از بین بردن اثر دومینو مورد نظر طراحان روش‌های تحمل‌پذیر اشکال است. یكی از روش‌های از بین بردن آن گرفتن نقطه مقابله به صورت هماهنگ[6] است كه در آن ماشین­های مجازی، نقطه مقابله را به صورت هماهنگ با یكدیگر به‌دست می‌آورند [17]. این مجموعه یكپارچه از نقطه مقابله‌ها می‌تواند برای محدود كردن انتشار بازیافت مورد استفاده قرار گیرد. همچنین روش نقطه مقابله گرفتن بر اساس ارتباطات[7]، هر ماشین مجازی را مجبور به گرفتن نقطه مقابله بر اساس پیام‌های دریافتی از بقیه ماشین­های مجازی می‌كند[17]. نقطه مقابله‌هایی كه به این صورت گرفته شوند یك حالت همیشه یكپارچه را برای سیستم، روی ذخیره ساز پایدار حفظ می‌نماید و بنابراین اثر دومینو را از بین خواهد برد.

علاوه بر تكنیك گفته شده برای بازیافت كه بر اساس نقطه مقابله‌ می‌باشد، روش دیگری نیز برای بازیافت مطرح است كه بر اساس ثبت وقایع[8] استوار است. در این روش رویدادها یا پیام‌ها ثبت می‌شوند تا برای بازیافت حالت سیستم در هنگام رویداد اشکال استفاده شود. بازیافت بر اساس ثبت‌ وقایع به فرض PWD[9] تكیه دارد[19] كه ادعا می‌كند همه رویدادهای غیرقطعی[10] كه توسط یك ماشین مجازی اجرا می‌گردد می‌تواند تشخیص داده شود و اطلاعات لازم برای پاسخ هر رویداد در زمان بازیافت می‌تواند در یك تعیین‌كننده رویداد[11] ثبت شود[19].
با ثبت وقایع وپاسخ­دهی به رویدادهای غیرقطعی به ترتیب اصلی، یك ماشین مجازی می‌تواند حالت قبل از اشکال خود را بازسازی كند حتی اگر این حالت نقطه مقابله نشده باشد. در حالت كلی قراردادهای بازیافت بر اساس ثبت وقایع امكان بازیافت را برای یك سیستم فراتر از مجموعه نقطه مقابله یكپارچه فراهم می‌آورد. این خاصیت می‌تواند برای كاربردهایی كه با دنیای بیرون ارتباط دارند، بسیار مهم باشد زیرا تعدادی از دستگاه‌های ورودی و خروجی هستند كه نمی‌توانند بازگشت به عقب داشته باشند.

[1] Stable Storage

[2] Rollback Propagation

[3] Inconsistent

[4] Domino effect

[5] Uncoordinated checkpointing

[6] Coordinated checkpointing

[7] Communication- induced checkpointing

[8] Log

[9] Piece Wise Deterministic

[10] Nondeterministic event

[11] Event’s determinant

 

 

 

واژه های کلیدی:

 

قابلیت دسترسی بالا

سیستم های مبادله پیام

روالهای تحمل پذیر اشکال

 

 

 

 

 

 

 

 

  فهرست مطالب

3 روالهای تحمل‌پذیر اشکال برای رسیدن به قابلیت دسترسی بالا در سیستمهای مبادله پیام 36

3-1 پیشزمینه و تعاریف 38

3-1-1 مدل سیستم 38

3-1-2 حالت‌های سیستم یكپارچه 39

3-1-3 تعامل با دنیای خارج 40

3-1-4 پیام در حال گذر 41

3-1-5 قراردادهای ثبت وقایع 42

3-1-6 ذخیره‌ساز پایدار 43

3-1-7 جمع‌آوری داده‌های زائد 44

3-2 بازیافت براساس نقطه مقابله 44

3-2-1 نقطه مقابله گرفتن به صورت غیرهماهنگ 45

3-2-2 نقطه مقابله گرفتن به صورت هماهنگ 48

3-2-3 نقطه مقابله گرفتن بر اساس ارتباطات 51

3-3 بازیافت بر اساس ثبت وقایع 54

3-3-1 شرط یكپارچگی بدون پروسه‌های یتیم 55

3-3-2 ثبت بدبینانه وقایع 56

3-3-3 ثبت خوشبینانه وقایع 59

3-3-4 ثبت علّی وقایع 61

3-3-5 مقایسه قراردادهای بازیافت 63

3-4 مباحث مطرح در پیاده‌سازی 63

3-4-1 بررسی 63

3-4-2 پیاده‌سازی تکنیکهای نقطه مقابله گرفتن 64

3-4-3 مقایسة قراردادهای نقطه مقابله‌ گرفتن 66

3-4-4 قراردادهای ارتباطی 66

3-4-5 بازیافت بر اساس روش ثبت وقایع 67

3-4-6 ذخیره‌ساز پایدار 67

3-4-7 دنبال كردن وابستگی 68

3-4-8 بازیافت 69

 

منابع

 

 

فهرست شکل ها

 

شکل ‏3 1 مثالی از یك سیستم مبادله پیام با سه واحد موازی

شکل ‏3 2 مثالی از حالت یكپارچه و غیریكپارچه سیستم

شکل ‏3 3 پیاده‌سازی مكانیسمهای بازیافت

شکل ‏3 4 ثبت كردن پیام برای اجرای مجدد قطعی

شکل ‏3 5 اندیس نقطه مقابله و بازه نقطه مقابله

شکل ‏3 6 (a) یك اجرای مثال (b) گراف وابستگی بازگشت به عقب (c) گراف نقطه مقابله

شکل ‏3 7 انتشار بازگشت به عقب، خط بازیافت و اثر دومینو

شکل ‏3 8 نقطه مقابله گرفتن به صورت هماهنگ و غیربلوكه شونده (a) غیریكپارچگی نقطه مقابله (b) با كانال FIFO (c) با كانال غیرFIFO

شکل ‏3 9 مسیر Z سیكل Z

شکل ‏3 10 روش ثبت بدبینانه وقایع

شکل ‏3 11 روش ثبت خوشبینانه وقایع

شکل ‏3 12 روش ثبت علّی وقایع (الف) حالتهای قابل بازیافت حداكثر (ب)گراف مقدم را برای پروسه P0 در حالت X

 

 

فهرست جداول

جدول ‏3 1 مقایسه بین قراردادهای مختلف بازیابی [47]

 

 

 

پاورپوینت فصل پنجم کتاب تئوری حسابداری مالی اسکات ترجمه پارسائیان با موضوع روش مبتنی بر اطلاعات

پاورپوینت فصل پنجم کتاب تئوری حسابداری مالی اسکات ترجمه پارسائیان با موضوع روش مبتنی بر اطلاعات کلمات کلیدی : پاورپوینت فصل پنجم کتاب تئوری حسابداری مالیتألیف ویلیام اسکات ترجمه دکتر علی پارسائیان پاورپوینت روش مبتنی بر اطلاعات: سودمندی اطلاعات از…

پاورپوینت استراتژی های مدیریت تغییر

پاورپوینت استراتژی های مدیریت تغییر کلمات کلیدی : پاورپوینت استراتژی های مدیریت تغییر تحقیق استراتژی های مدیریت تغییر تغییر استراتژیک تغییر عملیاتی مبانی استراتژی مدیریت تغییر فرایند تغییر مقاومت در برابر تغییر دلایل اصلی مقاومت کارکنان در برابر تغییر غلبه…

دانلود پایان نامه صنایع کنسروسازی

دانلود پایان نامه صنایع کنسروسازی مراحل کنسروسازی پیشینه کنسرو در ایران تشریح مراحل کنسرو مواد غذایی كنسرو كردن مواد غذایی تاریخچه کنسرو سازی در ایران دانلود پایان نامه کنسرو مواد غذایی دانلود پایان نامه کنسرو سازی دانلود پایان نامه کنسرو…

چارچوب نظری و پیشینه پژوهش مدیریت دانش و سرمایه فکری

چارچوب نظری و پیشینه پژوهش مدیریت دانش و سرمایه فکری مبانی نظری تحقیق مدیریت دانش دانلود مبانی نظری تحقیق مدیریت دانش مبانی نظری و پیشینه تحقیق مدیریت دانش پیشینه مدیریت دانش مبانی نظری تحقیق سرمایه فکری دانلود مبانی نظری تحقیق…

پایان نامه مدیریت دانش و کارآفرینی

پایان نامه مدیریت دانش و کارآفرینی کلمات کلیدی : پایان نامه مدیریت دانش دانلود پایان نامه مدیریت دانش پایان نامه مدیریت دانش doc پایان نامه مدیریت دانش و کارآفرینی پایان نامه درباره مدیریت دانش رساله دکتری مدیریت دانش تاثیر مدیریت…

پیشینه نظری و فصل دوم پایان نامه عزت نفس 58 صفحه

پیشینه نظری و فصل دوم پایان نامه عزت نفس 58 صفحه کلمات کلیدی : فصل دوم پایان نامه عزت نفس مبانی نظری عزت نفس پیشینه تحقیق عزت نفس پیشینه داخلی عزت نفس پیشینه خارجی عزت نفس پیشینه پژوهش عزت نفس…

مبانی نظری ارزیابی ارتباط سبک های فرزندپروری والدین با گرایش به مواد مخدر فرزندان

مبانی نظری ارزیابی ارتباط سبک های فرزندپروری والدین با گرایش به مواد مخدر فرزندان مبانی نظری گرایش به مواد مخدر مبانی نظری شیوه های فرزندپروری گرایش به مواد مخدر در دانشجویان بررسی علل گرایش جوانان به مواد مخدر راه های…

سرگذشت فدك در طول تاریخ و بررسی استدلالهای حضرت زهرا

سرگذشت فدك در طول تاریخ و بررسی استدلالهای حضرت زهرا فآت ذالقربی حقه سوره اسراء آیه 26 مظلومیت حضرت زهرا (س) دانلود پایان نامه رشته معارف اسلامی سرگذشت فدك در طول تاریخ و بررسی استدلالهای حضرت زهرا دانلود پایان نامه…

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

پرسشنامه عوامل موثر در پیاده سازی موفق سیستم های برنامه ریزی منابع سازمان و رتبه بندی اهمیت و اولویت آن ها پرسشنامه ERP پرسشنامه مراحل پیاده سازی erp پرسشنامه پیاده سازی erp پیاده سازی erp در سازمان پرسشنامه پیاده سازی…

مبانی و پیشینه نظری استرس

مبانی و پیشینه نظری استرس کلمات کلیدی : پیشینه تحقیق استرس پیشینه پژوهش استرس پیشینه نظری استرس پیشینه تاریخی استرس پیشینه خارجی استرس پیشینه تحقیق درباره استرس پیشینه تحقیق در مورد استرس مبانی نظری استرس مبانی نظری مدیریت استرس مبانی…

پیامدها و عوارض ناشی از مصرف مواد مخدر و بررسی شیوه ها و اقدامات درمانی آن

پیامدها و عوارض ناشی از مصرف مواد مخدر و بررسی شیوه ها و اقدامات درمانی آن کلمات کلیدی : طبقه بندی مواد مخدر تاریخچه اعتیاد در جهان تاریخچه مواد مخدر  در ایران دیدگاههای نظری و تئوریک اعتیاد پیشگیری از اعتیاد…

بررسی تئوری اشعار و ترانه های فولکلور

بررسی تئوری اشعار و ترانه های فولکلور جایگاه زن درترانه های محلی بررسی ترانه های محلی مقام زن در ترانه های محلی مقام زن در ترانه های محلی لری مقام زن در ترانه های محلی ترکی جایگاه زن درترانه های…

پرسشنامه استاندارد فرسودگی شغلی پینس و ارونسون (BM)

پرسشنامه استاندارد فرسودگی شغلی پینس و ارونسون (BM) کلمات کلیدی : پرسشنامه فرسودگی شغلی کارکنان پرسشنامه فرسودگی شغلی پرستاران پرسشنامه فرسودگی شغلی معلمان پرسشنامه فرسودگی شغلی روایی و پایایی پرسشنامه فرسودگی شغلی پرسشنامه فرسودگی شغلی کارمندان پرسشنامه فرسودگی شغلی پینس…

عشق و محبت و ارتباط آن با مقولاتی چون فطرت، خلقت، توحید، وحدت، ایمان از دیدگاه ملاصدرا و امام خمینی (ره)

عشق و محبت و ارتباط آن با مقولاتی چون فطرت، خلقت، توحید، وحدت، ایمان از دیدگاه ملاصدرا و امام خمینی (ره) عشق و محبت از دیدگاه ملاصدرا عشق و محبت از دیدگاه امام خمینی ارتباط عشق و محبت با فطرت…

پرسشنامه مقیاس زوجی انریچ 35 سوالی با نمره گذاری، روایی و پایایی

پرسشنامه مقیاس زوجی انریچ 35 سوالی با نمره گذاری، روایی و پایایی کلمات کلیدی : پرسشنامه رضایت زناشویی انریچ خرده مقیاس های پرسشنامه رضایت زناشویی انریچ روش نمره گذاری پرسشنامه رضایت زناشویی انریچ مولفه های پرسشنامه رضایت زناشویی انریچ مقیاس…

زباله های شهری و مدیریت مواد زائد جامد

زباله های شهری و مدیریت مواد زائد جامد انواع زباله ها زباله های شهری مدیریت مواد زائد جامد زباله های شهری و مدیریت مواد زائد جامد ضایعات الكترونیكی در ایران دانلود مقالات محیط زیست دانلود مقالات رشته محیط زیست رفتن…

مبانی نظری و پیشینه تحقیق عوامل موثر بر بحرانهای بانكی 64 صفحه

مبانی نظری و پیشینه تحقیق عوامل موثر بر بحرانهای بانكی 64 صفحه کلمات کلیدی : مبانی نظری بحرانهای بانكی پیشینه تحقیق بحرانهای بانكی مبانی نظری عوامل موثر بر بحرانهای بانكی پیشینه تحقیق عوامل موثر بر بحرانهای بانكی ادبیات نظری عوامل…

طراحی و ساخت دستگاه كنترل اتوماتیك دمای ترانسهای صنعتی و كوره ها

طراحی و ساخت دستگاه كنترل اتوماتیك دمای ترانسهای صنعتی و كوره ها سنسور دما كنترل اتوماتیك دما میكروكنترلر AT89C51 دمای ترانسهای صنعتی و كوره ها طراحی و ساخت دستگاه كنترل اتوماتیك دمای ترانسهای صنعتی و كوره ها دانلود پروژه الکترونیک…

انتقال سهام در شرکتهای تعاونی

انتقال سهام در شرکتهای تعاونی انتقال حقوق ناشی ازسهم انتقال اختیاری و قهری سهام جنبه های مادی و غیرمادی سهم ماهیت حقوقی انتقال سهم شرایط اختصاصی انتقال سهام در شركت ‏های تعاونی دانلود تخقیق انتقال سهام انتقال سهام در شرکتهای…

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

پاورپوینت ارزشها و مفاهيم سرآمـدي و معيارهاي ارزيابي مدلEFQM کلمات کلیدی : پاورپوینت ارزشها و مفاهيم سرآمـدي و معيارهاي ارزيابي مدلEFQM پاورپوینت ارزشها و مفاهيم سرآمـدي پاورپوینت معيارهاي ارزيابي مدلEFQM معيارهاي ارزيابي مدلEFQM ارزيابي مدلEFQM مدلEFQM مشتـري مداري مدل جايزه…

فرصت ها و چالش های سیستم حقوق بین الملل در قبال ممانعت و جلوگیری از خشونت علیه زنان

فرصت ها و چالش های سیستم حقوق بین الملل در قبال ممانعت و جلوگیری از خشونت علیه زنان کلمات کلیدی : خشونت علیه زنان عوامل خشونت علیه زنان ضرورت تحقیق خشونت علیه زنان راههای پیشگیری از خشونت علیه زنان خشونت…

مبانی نظری و پیشینه تحقیق حفظ و نگهداری نیروی انسانی

مبانی نظری و پیشینه تحقیق حفظ و نگهداری نیروی انسانی مبانی نظری حفظ و نگهداری نیروی انسانی پیشینه تحقیق حفظ و نگهداری نیروی انسانی مبانی نظری و پیشینه پژوهش حفظ و نگهداری نیروی انسانی پیشینه تحقیق و مبانی نظری حفظ…

مبانی نظری و پیشینه تحقیق امکان سنجی استقرار هزینه یابی بر مبنای فعالیت 75 صفحه

مبانی نظری و پیشینه تحقیق امکان سنجی استقرار هزینه یابی بر مبنای فعالیت 75 صفحه کلمات کلیدی : مبانی نظری ABC پیشینه تحقیق ABC مبانی نظری هزینه یابی بر مبنای فعالیت پیشینه تحقیق هزینه یابی بر مبنای فعالیت مبانی نظری…

چارچوب نظری و پیشینه پژوهش مسیر شغلی یا كارراهه

چارچوب نظری و پیشینه پژوهش مسیر شغلی یا كارراهه کلمات کلیدی : فصل دوم پایان نامه مسیر شغلی مبانی نظری مسیر شغلی پیشینه تحقیق مسیر شغلی پیشینه داخلی مسیر شغلی پیشینه خارجی مسیر شغلی پیشینه پژوهش مسیر شغلی چارچوب نظری…

پاورپوینت بررسی آثار فسخ بیع موضوع مواد 81 الی 84

پاورپوینت بررسی آثار فسخ بیع موضوع مواد 81 الی 84 کلمات کلیدی : پاورپوینت بررسی آثار فسخ بیع موضوع مواد 81 الی 84 پاورپوینت بررسی آثار فسخ بیع راهبرد اصلی کنوانسیون در خصوص فسخ انواع تعهدات قراردادی اولین اثر فسخ…

پاسخی بگذارید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *