Key points are not available for this paper at this time.
يقدم نظام تصحيح الأخطاء في SELF تصحيح أخطاء كامل على مستوى المصدر (سلوك متوقع) مع شيفرة محسنة عالمياً. يحمي نظام تصحيح الأخطاء من التحسينات التي يقوم بها المجمّع من خلال إلغاء تحسين الشيفرة ديناميكياً عند الطلب. يؤثر إلغاء التحسين فقط على تفعيل الإجراءات التي يتم تصحيح أخطائها بنشاط؛ حيث تعمل كل الشيفرة الأخرى بأقصى سرعة. يتطلب إلغاء التحسين من المجمّع تزويد معلومات التصحيح عند نقاط انقطاع منفصلة؛ يمكن للمجمّع أن يقوم أيضاً بأداء تحسينات واسعة بين نقاط الانقطاع دون التأثير على إمكانية التصحيح. في نفس الوقت، فإن عدم القدرة على الانقطاع بين نقاط الانقطاع غير مرئي للمستخدم. يتعامل نظام التصحيح لدينا أيضاً مع تغييرات البرمجة خلال عملية التصحيح. مرة أخرى، يقدم النظام سلوكاً متوقعاً: من الممكن تغيير برنامج قيد التشغيل وملاحظة آثار التغيير على الفور. يقوم إلغاء التحسين الديناميكي بتحويل الشيفرة المجمعة القديمة (التي قد تحتوي على نسخ مضمنة من النسخة القديمة من الإجراء المعدل) إلى إصدارات جديدة تعكس الحالة الحالية على مستوى المصدر. إلى أفضل معرفتنا، يعتبر SELF أول نظام عملي يوفر سلوكاً كاملاً متوقعاً مع شيفرة محسّنة عالمياً.
درس هولزل وآخرون (الأربعاء) هذا السؤال.