دراسة حول نمذجة سلامة التشغيل للنظم الحرجة

Abstract

.تقدم في هذه الدراسة عدة نماذج رياضية لأداء آلية تخزين نقاط الاستعادة ومن ثم الاسترجاع (Checkpoint Recovery) للتسامح مع الأعطال، بهدف ضمان انتهاء تنفيذ التطبيقات المتوازية في نظام الحوسبة الشبكية الموزع (Grid Computing System) وبأقل زمن ممكن والذي يتحقق من خلال تقليل كلفة الخسارة الحسابية الناتجة عن الأعطال المتوقعة التي قد تصيب مكونات النظام من جهة، والحد من الكلفة الزائدة لآليات التسامح مع الأعطال خلال العمل من جهة أخرى. نهتم في دراستنا بنوعين من الأعطال تؤدي إلى فشل تنفيذ التطبيقات المتوازية في النظام المدروس، هما عطل التوقف (Crash Fault) وعطل التخريب الصامت للبيانات ( Silent Data Corruption)، تم اختبار أحد النماذج الرياضية المستنتجة من خلال تقديم محاكاة ضمن بيئة عمل تفرعية وباستخدام منصة الـ KAAPI وذلك في حالتين الأولى في تنفيذ خال من الأخطاء والثانية عند التنفيذ مع وجود الأخطاء. الكلمات المفتاحية الحوسبة الشبكية، التسامح مع الأعطال، نقاط الاستعادة الاسترجاع، نموذج رياضي.