🎼 المقارنة المعمارية: Hisn-seL4 ضد Maestro OS
🎼
Maestro OS
أنظمة عامة- ترقيع لغوي لمعمارية قديمة: نظام حديث يحاول إعادة كتابة معمارية Unix القديمة باستخدام لغة Rust؛ يحل مشكلة أمان الذاكرة لكنه يحتفظ بالعيوب الهيكلية للنواة الأحادية.
- شبح صلاحيات الـ (Root): كونه يحاكي Unix، فهو يحتفظ بمفهوم 'المستخدم الخارق'، مما يعني أن أي اختراق منطقي بصلاحيات عالية سيُسقط النظام بأكمله حتى وإن كان مكتوباً بـ Rust.
- أمان الذاكرة لا يعني أمان المنطق: لغة Rust تحميه من ثغرات الذاكرة التقليدية، لكنها لا تمنع الأخطاء المنطقية في تصميم النواة أو الاستغلال المتقدم للصلاحيات.
- مشروع لإثبات القدرة: مشروع مفتوح المصدر واعد لإثبات قدرة Rust على بناء أنظمة تشغيل، لكنه لا يقدم ابتكاراً معمارياً أمنياً يتجاوز ما قدمه Unix قبل 50 عاماً.
VS
🛡️
Hisn-seL4
مثبت رياضياً- تغيير المعمارية وليس اللغة فقط: Maestro غيّر لغة البرمجة (إلى Rust) وأبقى المعمارية القديمة — Hisn-seL4 يغير المعمارية جذرياً (Microkernel) ويستخدم Rust كأداة إضافية.
- انعدام صلاحيات الروت مطلقاً: في Hisn-seL4، مفهوم الـ (Root) غير موجود أصلاً. النظام مبني على القدرات (Capabilities) الصارمة، فلا يمكن لأي برنامج أو مستخدم السيطرة على النظام بأكمله.
- برهان رياضي للأخطاء المنطقية: بينما يثق Maestro في المبرمج لعدم ارتكاب أخطاء منطقية، يستخدم Hisn-seL4 البرهان الآلي (Isabelle/HOL) لضمان خلو النواة تماماً من أي ثغرة أو خطأ هيكلي.
- هندسة المستقبل لا استنساخ الماضي: بدلاً من استنساخ أنظمة الماضي بلغة حديثة، يبني Hisn-seL4 معمارية المستقبل التي تتجاوز عيوب Unix جذرياً، مقدماً درعاً عسكرياً للاستخدام اليومي.