🌩️ المقارنة المعمارية: Hisn-seL4 ضد OSv
🌩️
OSv
أنظمة عامة- معمارية (Unikernel) السحابية: نظام تشغيل صُمم لغرض واحد فقط: تشغيل تطبيق سحابي واحد داخل آلة افتراضية (VM) بأقصى سرعة ممكنة.
- إلغاء مفاهيم النظام التقليدي: تخلص من تعدد المستخدمين، تعدد العمليات، والواجهات الرسومية؛ فالتطبيق والنظام يندمجان في ملف تنفيذي واحد صغير.
- الأداء على حساب العزل الداخلي: لزيادة السرعة، يعمل التطبيق بصلاحيات النواة المطلقة (Ring 0)، مما يعني أن أي ثغرة في التطبيق تؤدي لاختراق النظام الداخلي بالكامل.
- رهينة للـ Hypervisor: نظام OSv لا يملك قدرة عزل نفسه في السحابة؛ بل يعتمد كلياً على برنامج الاستضافة (مثل KVM) ليعزله، مما يبقيه تحت رحمة ثغرات الاستضافة.
VS
🛡️
Hisn-seL4
مثبت رياضياً- متعدد المهام بأمان أحادي المهمة: OSv يشغل تطبيقاً واحداً فقط لضمان العزل — Hisn-seL4 يدير العشرات من الحاويات (Vaults) في نفس الوقت، مقدماً عزلاً مطلقاً لكل منها.
- عزل داخلي عتادي وصارم: بخلاف OSv الذي يدمج التطبيق مع النواة، يبقي Hisn-seL4 كل تطبيق في مساحة معزولة عتادياً ومقيدة بصلاحيات (Capabilities) رياضية صارمة.
- استقلالية تامة عن الاستضافة: Hisn-seL4 هو طبقة العزل بحد ذاته (بفضل seL4 المبرهن رياضياً)، ولا يحتاج للاختباء خلف برامج استضافة (Hypervisors) خارجية لتأمين نفسه.
- نظام شامل لا مجرد حاوية صماء: استعاد Hisn-seL4 الواجهة الرسومية وتعدد المهام لسطح المكتب، لكنه طبق عليها معايير عزل عسكرية كانت تعتبر مستحيلة خارج السحابة.