دانلود تحقیق کارشناسی ارشد رشته آی تی
روالهای تحمل پذیر اشکال برای رسیدن به قابلیت دسترسی بالا در سیستم های مبادله پیام
یكی از مهم‌ترین تكنیك‌ها در افزایش قابلیت اطمینان و قابلیت دسترسی بالا، بازیافت می‌باشد. این تكنیك كه به صورت مخفی از دید كاربر انجام می‌گیرد به ما كمك می‌كند تا بتوانیم عمل تحملپذیری اشکال را انجام دهیم. این قراردادها در یك محیط توزیع شده كه مجموعه‌ای از تکه برنامههای موازی (پروسه‌ها، ماشینهای مجازی و...) در آن وجود دارند و بر روی یك شبكه با یكدیگر ارتباط دارند، عمل می‌كند. این تکه برنامهها به یك ذخیره‌ساز پایدار[1] دسترسی دارند كه اشکالهای تحمل شده را به كمك آن بازیابی می‌كنند. در واقع ماشینهای مجازی اطلاعات مرتبط به بازیافت را در زمان اجرا روی این ذخیره‌ساز ثبت می‌كنند. در زمان رویداد یك اشکال، ماشین مجازی می‌تواند با استفاده از این داده‌ها از آخرین محاسبات، كار خود را ادامه دهد و بنابراین در زمان پردازش صرفه‌جویی كند. حداقل اطلاعات بازیافت، شامل حالت ماشین مجازی است كه به آن نقطه مقابله گفته می‌شود. بعضی از قراردادهای بازیافت ممكن است به اطلاعاتی نظیر ارتباطات بین دستگاه‌های ورودی/ خروجی، اتفاق‌هایی كه روی هر ماشین مجازی افتاده است و پیام‌هایی كه بین کارهای درون ماشین مجازی مبادله شده است، احتیاج داشته باشد.
قراردادهای بازیافت می‌توانند به طرق مختلف استفاده شوند كه بهترین نوع آنها تكنیك‌هایی است كه به صورت مخفی عمل می‌كنند و برنامه كاربردی و برنامه‌نویس دخالتی در عملكرد آن ندارند. در این حالت سیستم به صورت خودكار و بر اساس سیاست مشخص شده نقطه مقابله را می‌گیرد و در صورت رویداد اشکال آن را به صورت خودكار بازیابی می‌نماید. حسن این روش، راحت شدن برنامه‌نویس از پیچیدگی مورد نیاز برای تحملپذیری اشکال در برنامه است و در این صورت برنامهها بدون ملاحظات تحملپذیری اشکال نوشته خواهند شد.
بازیافت در سیستمهای مبادلة پیام مشكل است، زیرا پیام‌ها باعث ایجاد وابستگی بین تکه برنامههای محییط موازی در زمان اجرای عادی آنها می‌شود. این وابستگی باعث می‌شود كه گاهی واحدهایی كه خراب نشده‌اند نیز بازیافت شوند[2]. برای دیدن اینكه چرا عمل انتشار بازیافت اتفاق می‌افتد، فرض كنید فرستنده یك پیام مثل m، به حالت قبل ارسال پیام بازیافت شود. گیرنده پیام m نیز باید در حالت قبل از دریافت پیام m قرار گیرد. در غیر اینصورت، حالت دو ماشین مجازی غیر یكپارچه[3] خواهد شد و نشان می‌دهد كه پیام m ارسال نشده است اما یك ماشین مجازی آن را دریافت كرده است و این غیرممكن است. تحت شرایطی ممكن است عمل انتشار بازیافت آنقدر به عقب برگردد كه باعث شود تمام كارهای انجام شده از بین برود و نهایتاً ماشین مجازی به حالت اولیه بازیافت شود كه به آن اثر دومینو[4] گفته می‌شود[16]. اثر دومینو ممكن است در اثر گرفتن نقطه مقابلههای مستقل در هر ماشین مجازی اتفاق بیفتد كه به این روش نقطه مقابله گرفتن مستقل یا غیرهماهنگ[5] گفته می‌شود.
واضح است كه از بین بردن اثر دومینو مورد نظر طراحان روش‌های تحمل‌پذیر اشکال است. یكی از روش‌های از بین بردن آن گرفتن نقطه مقابله به صورت هماهنگ[6] است كه در آن ماشینهای مجازی، نقطه مقابله را به صورت هماهنگ با یكدیگر به‌دست می‌آورند [17]. این مجموعه یكپارچه از نقطه مقابله‌ها می‌تواند برای محدود كردن انتشار بازیافت مورد استفاده قرار گیرد. همچنین روش نقطه مقابله گرفتن بر اساس ارتباطات[7]، هر ماشین مجازی را مجبور به گرفتن نقطه مقابله بر اساس پیام‌های دریافتی از بقیه ماشینهای مجازی می‌كند[17]. نقطه مقابله‌هایی كه به این صورت گرفته شوند یك حالت همیشه یكپارچه را برای سیستم، روی ذخیره ساز پایدار حفظ می‌نماید و بنابراین اثر دومینو را از بین خواهد برد.
علاوه بر تكنیك گفته شده برای بازیافت كه بر اساس نقطه مقابله می‌باشد، روش دیگری نیز برای بازیافت مطرح است كه بر اساس ثبت وقایع[8] استوار است. در این روش رویدادها یا پیام‌ها ثبت می‌شوند تا برای بازیافت حالت سیستم در هنگام رویداد اشکال استفاده شود. بازیافت بر اساس ثبت وقایع به فرض PWD[9] تكیه دارد[19] كه ادعا می‌كند همه رویدادهای غیرقطعی[10] كه توسط یك ماشین مجازی اجرا می‌گردد می‌تواند تشخیص داده شود و اطلاعات لازم برای پاسخ هر رویداد در زمان بازیافت می‌تواند در یك تعیین‌كننده رویداد[11] ثبت شود[19].
با ثبت وقایع وپاسخدهی به رویدادهای غیرقطعی به ترتیب اصلی، یك ماشین مجازی می‌تواند حالت قبل از اشکال خود را بازسازی كند حتی اگر این حالت نقطه مقابله نشده باشد. در حالت كلی قراردادهای بازیافت بر اساس ثبت وقایع امكان بازیافت را برای یك سیستم فراتر از مجموعه نقطه مقابله یكپارچه فراهم می‌آورد. این خاصیت می‌تواند برای كاربردهایی كه با دنیای بیرون ارتباط دارند، بسیار مهم باشد زیرا تعدادی از دستگاه‌های ورودی و خروجی هستند كه نمی‌توانند بازگشت به عقب داشته باشند.