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

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

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

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

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

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

 

 

 

 

 

چکیده

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

 

 

 

خلاصه کتاب مدیریت بازاریابی و صادرات گوهریان

خلاصه کتاب مدیریت بازاریابی و صادرات گوهریان خلاصه کتاب مدیریت بازاریابی و صادرات گوهریان رفتن به سایت اصلی خلاصه کتاب مدیریت بازاریابی و صادرات گوهریان 98 صفحه pdf مناسب جمع بندی و مرور سریع 

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

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

عوامل مؤثر بر برندسازی فضاهای عمومی، از طریق بررسی رابطه هویت و ارزش ویژه برند

عوامل مؤثر بر برندسازی فضاهای عمومی، از طریق بررسی رابطه هویت و ارزش ویژه برند برندسازی فضاهای عمومی، هویت و ارزش ویژه برند ، رضایت گردشگران، پیاده راه های شهری رفتن به سایت اصلی دانلود تحقیق با موضوع عوامل مؤثر…

بررسی آفات درونی کشورهای حاشیه خلیج فارس و بحرانهای درونی این کشورها

بررسی آفات درونی کشورهای حاشیه خلیج فارس و بحرانهای درونی این کشورها طرحهای امنیتی در خلیج فارس طرحهای امنیتی در منطقه خلیج فارس پیدایش طرحهای امنیتی در منطقه خلیج فارس آفات درونی کشورهای حاشیه خلیج فارس بحرانهای درونی کشورهای حاشیه…

مبانی نظری فرهنگ سازمانی

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

فصل دوم پایان نامه و پیشینه نظری بازاریابی هوشمند

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

جزوه درس برنامه ریزی کاربری زمین و روش های طبقه بندی آن

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

ادبیات نظری و پیشینه تجربی میل به طلاق

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

نحوه تبیین نظام اخلاقی و بررسی ارتباط آن با دین و حقوق

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

مبانی نظری و پیشینه تحقیق حاکمیت شرکتی و ارزش آفرینی

مبانی نظری و پیشینه تحقیق حاکمیت شرکتی و ارزش آفرینی مبانی نظری حاکمیت شرکتی و ارزش آفرینی پیشینه پژوهش حاکمیت شرکتی و ارزش آفرینی مبانی نظری و پیشینه پژوهش حاکمیت شرکتی و ارزش آفرینی پیشینه تحقیق حاکمیت شرکتی و ارزش…

نوآوری در آموزش عالی و بررسی ابعاد و مدلهای نوآوری دانشگاهی

نوآوری در آموزش عالی و بررسی ابعاد و مدلهای نوآوری دانشگاهی نوآوری در آموزش عالی ابعاد نوآوری دانشگاهی مدلهای نوآوری دانشگاهی تأثیر نوآوری بر فاكتورهای نظام آموزش پایان نامه نوآوری دانشگاهی دانلود پایان نامه نوآوری دانشگاهی الگوهای تكامل فرآیند نوآوری…

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

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

مبانی نظری مقايسه سلامت روان بچه های دختر با مادران شاغل و غيرشاغل

مبانی نظری مقايسه سلامت روان بچه های دختر با مادران شاغل و غيرشاغل سلامت روان در دختران سلامت روان در فرزندان سلامت روان در فرزندان زنان شاغل سلامت روان در فرزندان مادران شاغل سلامت روان در فرزندان مادران خانه دار…

بررسی های تاثیر موسیقی درمانی بر روی افسردگی

بررسی های تاثیر موسیقی درمانی بر روی افسردگی دانلود پایان نامه تاثیر موسیقی درمانی موسیقی درمانی موسیقی درمانگر دانلود پایان نامه رشته روانشناسی دانلود پایان نامه بررسی های تاثیر موسیقی درمانی بر روی افسردگی دانلود پایان نامه روانشناسی رفتن به…

پاورپوینت بررسی باغ های کهن ایران

پاورپوینت بررسی باغ های کهن ایران پاورپوینت بررسی باغ های کهن ایران بررسی باغ های کهن ایران معماری کتابخانه اسکندریه مصر باغ های کهن ایران باغ‌های بین‌النهرین باغ ایرانی خصوصیات باغ ایرانی از ورود اسلام در ایران تا دوره‌ی قاجار…

مقاله ترجمه شده تأثیر ریسک ضعف خرده فروشی در هماهنگی زنجیره تأمین (به همراه مقاله اصلی)

مقاله ترجمه شده تأثیر ریسک ضعف خرده فروشی در هماهنگی زنجیره تأمین (به همراه مقاله اصلی) کلمات کلیدی : مقاله ترجمه شده رشته مهندسی صنایع مقاله ترجمه شده آماده رشته مهندسی صنایع مقاله ترجمه شده آماده مهندسی صنایع مقاله ترجمه…

ارزیابی فرآیند ثبت الکترونیکی اسناد در دفاتر اسناد رسمی

ارزیابی فرآیند ثبت الکترونیکی اسناد در دفاتر اسناد رسمی کلمات کلیدی : پایان نامه ثبت اسناد اسناد الکترونیکی در ایران آثار حقوقی اسناد الکترونیکی تبیین مولفه های اسناد الکترونیکی اعتبار امضا و اسناد الکترونیکی پایان نامه روند ثبت الکترونیکی اسناد…

فصل دوم پایان نامه و پیشینه نظری سبک های حل مسئله

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

پروژه رشته کامپیوتر گرایش نرم افزار با عنوان سایت اتحادیه كتاب فروشان

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

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

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

مقاله و پاورپوینت کامل ارزش افزوده اقتصادی (Economic Value added)

مقاله و پاورپوینت کامل ارزش افزوده اقتصادی (Economic Value added) هزینه یابی بر مبنای فعالیت ارزیابی متوازن ارزش افزوده اقتصادی ارزش افزوده بازار نرخ بازده دارائی‌ها نرخ بازده حقوق صاحبان سهام سرمایه دانلود مقاله و پاورپوینت کامل ارزش افزوده اقتصادی…

پایان نامه کارشناسی رشته مدیریت و جهانگردی با عنوان مدیریت بخش عمومی (اداره جهانگردی)

پایان نامه کارشناسی رشته مدیریت و جهانگردی با عنوان مدیریت بخش عمومی (اداره جهانگردی) مدیریت متمرکز مدیریت بخش عمومی نظام سیاست گذاری جهانگردی مدیریت بخش دولتی و خصوصی دانلود پایان نامه کارشناسی رشته مدیریت و گردشگری با عنوان مدیریت بخش…

مدیریت عدم قطعیت تقاضا در زنجیره تامین

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

مبانی نظری و پیشینه تحقیق درباره رضایت شغلی 65 صفحه

مبانی نظری و پیشینه تحقیق درباره رضایت شغلی 65 صفحه کلمات کلیدی : مبانی نظری رضایت شغلی ادبیات نظری رضایت شغلی چارچوب نظری رضایت شغلی فصل دوم پایان نامه رضایت شغلی دانلود مبانی نظری رضایت شغلی پیشینه رضایت شغلی پیشینه…

چارچوب نظری و پیشینه پژوهش راهبردهای مقابله ای

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

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

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