🎓 المقارنة المعمارية: Heroban OS ضد MIT Exokernel
🎓
MIT Exokernel
كلاسيكي / تاريخي- إلغاء نظام التشغيل (LibOS): مشروع ثوري من جامعة MIT في التسعينات ألغى النواة التقليدية، واستبدلها بجدار حماية (Exokernel) يترك لكل برنامج مهمة إحضار نظام التشغيل الخاص به.
- الهدف هو الأداء المخصص: صُمم ليسمح للتطبيقات بإدارة العتاد مباشرة (كالقرص والشبكة) للحصول على أقصى أداء، متجاوزاً بطء النواة التقليدية.
- عبء أمني على المطور: إعطاء التطبيقات وصولاً للعتاد الخام عبر أنظمة تشغيل مصغرة يجعل كتابة الكود الآمن مهمة بالغة التعقيد، ويعرض النظام لأخطاء المبرمجين.
- بقي كإثبات مفهوم أكاديمي: أثبتت التجربة أن التخلي عن النواة يمنح أداءً خارقاً، لكنه يجعل تطوير البرامج كابوساً هندسياً، ليبقى أطروحة أكاديمية لامعة.
VS
🏰
Heroban OS
مثبت رياضياً- النواة الدقيقة كحل وسط ومثالي: MIT Exokernel تخلص من النواة كلياً — Heroban OS احتفظ بنواة دقيقة جداً (10,000 سطر) لتنظيم العزل بقوانين رياضية دون إبطاء الأداء.
- قدرات (Capabilities) رياضية بدل العتاد الخام: بدلاً من رمي العتاد الخام للتطبيق، يعطيه Heroban OS قدرات وصول مبرهنة رياضياً تضمن الأمان وتمنع التخريب.
- حاويات (Vaults) آمنة بلغة حديثة: يتبنى Heroban OS فكرة (LibOS) لكن بشكل آمن؛ كل حاوية تمتلك بيئتها المستقلة، لكنها مكتوبة بـ Rust ومقيدة بحدود عتادية لا تُخترق.
- من المختبر للمستخدم: ما حاولت MIT إثباته في التسعينات معمارياً، طبقه Heroban OS عملياً، وقدمه كسطح مكتب جاهز لا يتطلب من المطورين إعادة اختراع العجلة.