استبعاد التحقق من الحدود

في علوم الحاسوب ، يُعدّ حذف التحقق من الحدود تحسينًا للمترجمات البرمجية، وهو مفيد في لغات البرمجة أو أنظمة التشغيل التي تفرض التحقق من الحدود ، أي فحص كل عنصر في مصفوفة للتأكد من أنه يقع ضمن النطاق الصحيح للفهارس. ^{[ 1 ]} يهدف هذا التحسين إلى تحديد عمليات الفهرسة التي لا تحتاج إلى التحقق أثناء التشغيل ، وحذف تلك العمليات.

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

• W. Amme, J. von Ronne, M. Franz. استخدام تمثيل SafeTSA لتعزيز أداء آلة جافا الافتراضية الحالية (2002).