لتضمينها في Linux kernel 5.20 (ربما يكون الفرع برقم 6.0)، تم اقتراح مجموعة من التصحيحات مع تنفيذ آلية RV (التحقق من وقت التشغيل)، والتي توفر أدوات للتحقق من التشغيل الصحيح على أنظمة موثوقة للغاية تضمن التشغيل الصحيح. غياب الإخفاقات. يتم إجراء التحقق في وقت التشغيل عن طريق ربط المعالجات بنقاط التتبع التي تتحقق من التقدم الفعلي للتنفيذ مقابل نموذج حتمي مرجعي محدد مسبقًا للآلة التي تحدد السلوك المتوقع للنظام.
تعمل المعلومات الواردة من نقاط التتبع على نقل النموذج من حالة إلى أخرى، وإذا كانت الحالة الجديدة لا تتطابق مع معلمات النموذج، يتم إنشاء تحذير أو يتم وضع النواة في حالة "ذعر" (من المتوقع أن تكتشف الأنظمة عالية الموثوقية والرد على مثل هذه المواقف). يتم تصدير نموذج الأوتوماتون، الذي يحدد التحولات من حالة إلى أخرى، إلى تنسيق "النقطة" (graphviz)، وبعد ذلك يتم ترجمته باستخدام الأداة المساعدة dot2c إلى تمثيل C، والذي يتم تحميله على شكل وحدة kernel التي يتتبع انحرافات تقدم التنفيذ عن النموذج المحدد مسبقًا.
يتم وضع التحقق من نموذج وقت التشغيل كطريقة أخف وزنًا وأسهل في التنفيذ للتحقق من التنفيذ الصحيح على الأنظمة ذات المهام الحرجة، واستكمال طرق التحقق من الموثوقية الكلاسيكية مثل فحص النموذج والبراهين الرياضية لامتثال التعليمات البرمجية للمواصفات الواردة في نموذج رسمي لغة. من بين مزايا RV هي القدرة على توفير التحقق الصارم دون تنفيذ منفصل للنظام بأكمله بلغة النمذجة، بالإضافة إلى الاستجابة المرنة للأحداث غير المتوقعة، على سبيل المثال، لمنع المزيد من انتشار الفشل في الأنظمة الحرجة.
المصدر: opennet.ru