اكتشاف أخطاء التزامن باستخدام مُخطط جدولة BPF
2025-02-14
في مؤتمر FOSDEM، قدم جيك هيلون من ميتا وجوهانس بيتشبرغر، وهو مطور في OpenJDK، مُخطط جدولة خاص بهما لاكتشاف أخطاء التزامن، والذي تم إنشاؤه باستخدام إطار عمل جدولة BPF، وهو `sched_ext`. يُدخِل هذا المُخطط جدولة عشوائية عن قصد، مما يتسبب في حدوث تأخيرات وتغيير ترتيب تنفيذ الخيوط للكشف عن أخطاء التزامن التي يصعب إعادة إنتاجها. على الرغم من وجود قدر كبير من زيادة استهلاك موارد النظام في الوقت الحالي، مما يحد من استخدامه في تصحيح الأخطاء أثناء التطوير، إلا أنه يوفر طريقة فعالة لاكتشاف الأخطاء المنطقية في العالم الحقيقي، ويُعدُّ واعداً للاستخدام في الإنتاج في المستقبل بعد إجراء التحسينات اللازمة.
(lwn.net)
التطوير
التحليل الضبابي