♾️ المقارنة المعمارية: Hisn-seL4 ضد Phantom OS
♾️
Phantom OS
كلاسيكي / تاريخي- الذاكرة المستمرة الواحدة (Persistence): نظام روسي تجريبي ثوري يطرح فكرة مجنونة — لا يوجد إغلاق برامج أو حفظ ملفات. كل شيء يعمل في ذاكرة واحدة تُحفظ تلقائياً وتستمر حتى بعد انقطاع الكهرباء.
- عزل برمجي لا عتادي: لأن كل البرامج تعيش في فضاء ذاكرة (Universe) واحد متصل، يعتمد أمانها كلياً على المترجم البرمجي (Bytecode Verifier) بدلاً من العزل العتادي.
- الاستمرار يعني خلود الأخطاء: الاستمرار المطلق يعني أن أي خطأ برمجي، تسريب ذاكرة، أو برمجية خبيثة سيستمر حياً إلى الأبد مع النظام ولن يُمحى بإعادة التشغيل.
- انهيار نقطة واحدة: ثغرة واحدة في الآلة الافتراضية للنظام تعني انهيار واختراق كل البرامج بلا استثناء لأنها جميعاً تتشارك نفس الوجود.
VS
🛡️
Hisn-seL4
مثبت رياضياً- الفصل الصارم كضمانة أمنية: Hisn-seL4 يرفض خلط الذاكرة بالتخزين الدائم — الذاكرة المتطايرة معزولة، والبيانات تُحفظ فقط في FS_Vault المعزول لحماية النظام من الفساد.
- عزل عتادي لا يُقهر (MMU): بدلاً من الاعتماد على الكود لفصل البرامج، Hisn-seL4 يفرض حدوداً مادية ورياضية عبر العتاد، مانعاً أي برنامج من رؤية أو لمس ذاكرة الآخر.
- تطهير الذاكرة والموت السريع: الهندسة الأمنية في Hisn-seL4 تضمن موت البرامج المارقة وتنظيف ذاكرتها بالكامل (Zeroization)، مما يمنع التهديدات من الاستيطان.
- انهيار الحاوية لا النظام: بفضل التقسيم المعماري، إذا تعطل برنامج في Hisn-seL4، تنهار حاويته فقط ويُعاد بناؤها نظيفة في أجزاء من الثانية، بينما يظل باقي النظام آمناً تماماً.