🖱️ المقارنة المعمارية: Hisn-seL4 ضد AmigaOS
🖱️
AmigaOS
كلاسيكي / تاريخي- رائد تعدد المهام في 1985: ثورة حقيقية في زمنها — لكنه تعدد مهام تعاوني (Cooperative) يعتمد على حسن نية البرامج لا على إجبار النواة.
- لا عزل للذاكرة: كل البرامج تشارك نفس الفضاء العنواني — تعطل برنامج واحد يسحب النظام كله معه.
- وصول مباشر للعتاد: الأجهزة تتحدث مع الذاكرة مباشرة عبر DMA — شيء ثوري آنذاك لكنه يعني أن كل جهاز يملك صلاحيات مطلقة.
- لم يُصمم للأمان: في 1985 لم يكن إنترنت ولا تهديدات رقمية — Amiga بُني للإبداع والترفيه، لا للحماية.
VS
🛡️
Hisn-seL4
مثبت رياضياً- عزل الذاكرة مضمون عتادياً: بخلاف Amiga، كل حاوية في فضاء ذاكرة منفصل تحميه وحدة MMU — يستحيل اختراقه برمجياً.
- تعدد مهام بإجبار النواة: seL4 تضمن التبديل الصارم بين العمليات دون اتفاق أو ثقة — حتى المكون الخبيث لا يستطيع الاستئثار بالمعالج.
- تعطل الحاوية لا يُسقط النظام: ما حلم به مصممو Amiga أصبح حقيقة — اختراق أو تعطل حاوية لا يلمس الباقي.
- الرسوميات معزولة تماماً: نظام الرسوميات يعمل كحاوية منفصلة — لا يملك صلاحيات النواة، وبدون seL4 كان هذا حلماً بعيداً حتى على Amiga.