إيقاف الفشل

مجموعة فرعية من لغة برمجة تُعرف باسم "مجموعة التوقف التلقائي" هي مجموعة لها نفس دلالات اللغة الأصلية، باستثناء حالة حدوث ظرف استثنائي . يجب على مجموعة التوقف التلقائي الإبلاغ عن الظرف الاستثنائي كلما أبلغت عنه اللغة الأصلية، ولكن يجوز لها أيضًا الإبلاغ عن الظرف الاستثنائي في حالات أخرى.

تُستخدم لغات البرمجة التي تعتمد على خاصية "إيقاف الفشل" بكثرة في أنظمة الحاسوب التي تُعدّ فيها الدقة بالغة الأهمية، إذ يُسهّل ذلك جعل هذه الأنظمة تفشل بسرعة . على سبيل المثال، لا يُعدّ عامل الجمع "+" في العديد من لغات البرمجة تجميعيًا بسبب احتمال حدوث تجاوز في عدد الأعداد العشرية . إنّ إصلاح هذه اللغات لكي تفشل بسرعة عند عدم تحقق الخصائص المفترضة يُسهّل كتابة التعليمات البرمجية الصحيحة والتحقق منها بشكل كبير.

في العديد من لغات البرمجة واسعة الاستخدام، قد يؤدي الكود أدناه إلى تقليل قيمة الحساب المصرفي إذا كان المبلغ المودع أو قيمة الحساب القديم كبيرًا جدًا، وذلك عن طريق التسبب في تعيين قيمة زائدة إلى new_bank_account_value.

قيمة الحساب المصرفي الجديد = قيمة الحساب المصرفي القديم + المبلغ المودع // مثال على عملية حسابية باستخدام أعداد صحيحة موقعة 32 بت للتوضيح، والتي تتجاوز 2,147,483,647 // -2,147,483,646 = 2,147,483,640 + 10

لكن في لغة التوقف الفاشل التي تعامل تجاوز السعة كحالة استثنائية، إما أن يكون صحيحًا، أو سينتهي الأمر بحالة استثنائية.

• معالجة الاستثناءات
• نظام أمان ضد الأعطال
• متسامح مع الأعطال
• النوع السفلي