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

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

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

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

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

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

 

 

 

 

 

چکیده

یكی از مهم‌ترین تكنیك‌ها در افزایش قابلیت اطمینان و قابلیت دسترسی بالا، بازیافت می‌باشد. این تكنیك كه به صورت مخفی‌ از دید كاربر انجام می‌گیرد به ما كمك می‌كند تا بتوانیم عمل تحمل­پذیری اشکال را انجام دهیم. این قراردادها در یك محیط توزیع شده كه مجموعه‌ای از تکه برنامه­های موازی (پروسه‌ها، ماشین­های مجازی و…) در آن وجود دارند و بر روی یك شبكه با یكدیگر ارتباط دارند، عمل می‌كند. این تکه برنامه­ها به یك ذخیره‌ساز پایدار[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]

 

 

 

مبانی نظری و پیشینه تحقیق سیستم های برنامه ریزی منابع سازمان مبتنی بر ابر

مبانی نظری و پیشینه تحقیق سیستم های برنامه ریزی منابع سازمان مبتنی بر ابر مبانی نظری سیستم های برنامه ریزی منابع سازمان مبتنی بر ابر دانلود مبانی نظری سیستم های برنامه ریزی منابع سازمان مبتنی بر ابر پیشینه تحقیق سیستم…

پروپوزال طراحی الگوی ارزیابی عملکرد با تکنیک تحلیل پوششی داده ها و منطق فازی

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

پروژه رشته جغرافیا با عنوان احیا و طراحی فرهنگی صخره باستانی به نام چشمه علی شهر ری

پروژه رشته جغرافیا با عنوان احیا و طراحی فرهنگی صخره باستانی به نام چشمه علی شهر ری شهر ری توسعه شهری صنایع و مشكلات زیست محیطی برساختمانهای مسكونی صخره باستانی چشمه علی شهر ری دانلود پروژه رشته جغرافیا با عنوان…

پرسشنامه بررسی عوامل مرتبط با رضایتمندی مشتریان از بانکداری الکترونیکی

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

بیع زمانی

بیع زمانی بیع بیع زمانی تایم شر ویژگیهای اساسی عقد بیع دانلود مقاله بیع زمانی دانلود مقاله رشته حقوق رفتن به سایت اصلی بیع زمانی   بیع زمانی اصطلاح بیع زمانی به نوع خاصی از انتقال مالكیت اطلاق می‌شود كه…

پاورپوینت کاربرد استراتژیک سيستم هاي اطلاعاتي سازمانی

پاورپوینت کاربرد استراتژیک سيستم هاي اطلاعاتي سازمانی کلمات کلیدی : پاورپوینت کاربرد استراتژیک سيستم هاي اطلاعاتي کاربرد استراتژیک سيستم هاي اطلاعاتي ویژگی های اطلاعات استراتژیک تعریف سیستم اطلاعات استراتژیک نقش اطلاعات در فرايند تصميم گيري ارزش اطلاعات کفایت اطلاعات افزونگی…

پرسشنامه بررسی تاثیر بازاریابی سبز بر رفتار خرید مشتری

پرسشنامه بررسی تاثیر بازاریابی سبز بر رفتار خرید مشتری پرسشنامه بازاریابی سبز دانلود پرسشنامه بازاریابی سبز پرسشنامه رفتار خرید مشتری پرسشنامه تاثیر بازاریابی سبز بر رفتار خرید مشتری رفتن به سایت اصلی دانلود پرسشنامه پایان نامه رشته مدیریت پرسشنامه بررسی تاثیر بازاریابی سبز بر…

مبانی نظری و پیشینه تحقیق شرطی سازی ارزشی

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

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

الزامات و شاخصهای توسعه شهری پایدار و نقش برنامه ریزان شهری در این عصر شهر پایدار توسعه پایدار شهر اکولوژیک توسعه شهری پایدار محیط زیست شهری توسعه پایدار شهری دانلود پایان نامه مدیریت و برنامه ریزی شهری دانلود پایان نامه…

نگاهی به جرم قاچاق مشروبات الكلی

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

پاورپوینت ظهور و توسعه نظام تأمين اجتماعي در جهان

پاورپوینت ظهور و توسعه نظام تأمين اجتماعي در جهان کلمات کلیدی : تحقیق ظهور و توسعه نظام تأمين اجتماعي در جهان ظهور و توسعه نظام تأمين اجتماعي در انگليس ظهور و توسعه نظام تأمين اجتماعي در آلمان عملكردها درباره تأمين…

پاورپوینت دستورالعمل بايگاني موضوعي

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

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

پایان نامه کشاورزی با عنوان تولید سیب زمینی در زمان طولانی سیب زمینی تولید سیب زمینی تولید سیب زمینی در زمان طولانی دانلود پایان نامه تولید سیب زمینی تأثیرات آهك بر تولید سیب زمینی تأثیرات آبیاری قطره ای بر تولید…

پرسشنامه سازگاری شغلی دیویس و لافکوایست با نمره گذاری، روایی و پایایی

پرسشنامه سازگاری شغلی دیویس و لافکوایست با نمره گذاری، روایی و پایایی کلمات کلیدی : پرسشنامه سازگاری شغلی دانلود پرسشنامه سازگاری شغلی پرسشنامه سازگاری شغلی دیویس پرسشنامه استاندارد سازگاری شغلی پرسشنامه سازگاری شغلی دیویس و لافکوایست رفتن به سایت اصلی…

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

پرسشنامه عوامل موثر بر زنجیره تامین و ارزیابی عملکرد آنها پرسشنامه زنجیره تامین پروپوزال ارزیابی عملکرد ارزیابی عملکرد صنایع غذایی ارزیابی عملکرد زنجیره تامین شاخص های ارزیابی عملکرد زنجیره تامین مدل های ارزیابی عملکرد زنجیره تامین پروپوزال ارزیابی عملکرد زنجیره…

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

پرسشنامه علل تاثیرگذار بر حس تعلق مکانی ساکنین در سکونتگاههای رسمی و غیررسمی کلمات کلیدی : پرسشنامه حس تعلق به مکان دانلود پرسشنامه حس تعلق به مکان نمونه پرسشنامه حس تعلق به مکان پرسشنامه حس تعلق مکان به اسکان غیر…

پاورپوینت حاکمیت شرکتی

پاورپوینت حاکمیت شرکتی پاورپوینت حاکمیت شرکتی رفتن به سایت اصلی پاورپوینت حاکمیت شرکتی مناسب اساتید و ارائه دانشجویان ارشد حسابداری به تعداد 23 اسلاید قایل ویرایش   شامل مباحث زیر می باشد. 1-مقدمه 2-تعاریف حاکمیت شرکتی 3-حاکمیت شرکتی در ایران…

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

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

اثرات و پیامدهای عدالت سازمانی و عوامل موثر بر آن با تاکید بر توجه کارکنان به عدالت

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

مقاله پیامدها، تدابیر و سیاست جنایی داخلی و بین المللی در قبال پدیده قاچاق انسان

مقاله پیامدها، تدابیر و سیاست جنایی داخلی و بین المللی در قبال پدیده قاچاق انسان مقاله قاچاق مقاله قاچاق انسان مقاله قاچاق زنان پیامدهای قاچاق انسان قاچاق انسان در اسناد بین المللی ابعاد قاچاق انسان درجهان مبارزه با قاچاق انسان…

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

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

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

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

مبانی نظری یادگیری سازمانی و رفتار شهروندی سازمانی

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

مبانی نظری راهکارهای بهبود وصول مطالبات معوق بانکی بر اساس ویژگی ها و الگوهای مشتریان

مبانی نظری راهکارهای بهبود وصول مطالبات معوق بانکی بر اساس ویژگی ها و الگوهای مشتریان مطالبات بانکی چیست راهکارهای وصول مطالبات عوامل موثر در وصول موفق مطالبات بانکی وصول مطالبات چیست وصول مطالبات بانک مبانی نظری الگوی مناسب جهت وصول…

برش مواد با اشعه لیزر

برش مواد با اشعه لیزر دانلود مقاله پرتو لیزری دانلود مقاله اشعه لیزر دانلود مقاله برش لیزری اجسام دانلود مقالات رشته برق برش مواد با اشعه لیزر رفتن به سایت اصلی دانلود مقاله رشته برق برش مواد با اشعه لیزر…

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

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