آٹھ سال کی ترقی کے بعد، Muen 1.0 پروجیکٹ کو جاری کیا گیا، جس میں Separation kernel تیار کیا گیا، جس کے ماخذ کوڈ میں غلطیوں کی عدم موجودگی کی تصدیق رسمی اعتبار کی تصدیق کے ریاضیاتی طریقوں سے کی گئی۔ کرنل x86_64 فن تعمیر کے لیے دستیاب ہے اور اسے مشن کے اہم نظاموں میں استعمال کیا جا سکتا ہے جس کے لیے بھروسے کی بڑھتی ہوئی سطح کی ضرورت ہوتی ہے اور کسی ناکامی کی ضمانت کی ضرورت ہوتی ہے۔ پروجیکٹ کا سورس کوڈ Ada زبان اور اس کی قابل تصدیق بولی SPARK 2014 میں لکھا گیا ہے۔ کوڈ GPLv3 لائسنس کے تحت تقسیم کیا گیا ہے۔
علیحدگی کا دانا ایک مائکروکرنل ہے جو ایک دوسرے سے الگ تھلگ اجزاء کے عمل کے لیے ماحول فراہم کرتا ہے، جس کا تعامل دیے گئے اصولوں کے ذریعے سختی سے منظم ہوتا ہے۔ تنہائی Intel VT-x ورچوئلائزیشن ایکسٹینشنز کے استعمال پر مبنی ہے اور اس میں خفیہ مواصلاتی چینلز کی تنظیم کو روکنے کے لیے حفاظتی طریقہ کار شامل ہے۔ تقسیم کرنے والا دانا دوسرے مائیکرو کرنل کے مقابلے میں زیادہ معمولی اور جامد ہے، جو ان حالات کی تعداد کو کم کرتا ہے جو ناکامی کا سبب بن سکتے ہیں۔
دانا VMX روٹ موڈ میں چلتا ہے، ایک ہائپر وائزر کی طرح، اور دیگر تمام اجزاء VMX نان روٹ موڈ میں چلتے ہیں، گیسٹ سسٹم کی طرح۔ آلات تک رسائی Intel VT-d DMA ایکسٹینشنز اور انٹرپٹ ری میپنگ کا استعمال کرتے ہوئے کی جاتی ہے، جس سے PCI ڈیوائسز کی Muen کے تحت چلنے والے اجزاء کے لیے محفوظ پابندی کو نافذ کرنا ممکن ہوتا ہے۔
Muen کی صلاحیتوں میں ملٹی کور سسٹمز، نیسٹڈ میموری پیجز (EPT، ایکسٹینڈڈ پیج ٹیبلز)، MSI (Message Signaled Interrupts) اور میموری پیج انتساب ٹیبلز (PAT، Page Attribute Table) کے لیے سپورٹ شامل ہے۔ Muen Intel VMX پریمپٹیو ٹائمر پر مبنی ایک فکسڈ راؤنڈ رابن شیڈیولر بھی فراہم کرتا ہے، ایک کمپیکٹ رن ٹائم جو کارکردگی کو متاثر نہیں کرتا، کریش آڈیٹنگ سسٹم، ایک اصول پر مبنی سٹیٹک ریسورس اسائنمنٹ میکانزم، ایونٹ ہینڈلنگ سسٹم، اور مشترکہ میموری چینلز چلنے والے اجزاء کے اندر مواصلات.
یہ 64 بٹ مشین کوڈ، 32- یا 64-بٹ ورچوئل مشینوں، Ada اور SPARK 64 زبانوں میں 2014-بٹ ایپلی کیشنز، Linux ورچوئل مشینوں اور Muen کے اوپر MirageOS پر مبنی خود ساختہ "unikernels" کے ساتھ چلنے والے اجزاء کو سپورٹ کرتا ہے۔
Muen 1.0 کی ریلیز میں پیش کردہ اہم اختراعات:
- دستاویزات کو دانا (ڈیوائس اور فن تعمیر)، سسٹم (سسٹم کی پالیسیاں، Tau0 اور ٹول کٹ) اور اجزاء کے لیے تصریحات کے ساتھ شائع کیا گیا ہے، جو پروجیکٹ کے تمام پہلوؤں کو دستاویز کرتے ہیں۔
- Tau0 (Muen سسٹم کمپوزر) ٹول کٹ کو شامل کیا گیا ہے، جس میں سسٹم کی تصاویر کو کمپوز کرنے اور Muen کے اوپر چلنے والی معیاری خدمات تیار کرنے کے لیے تیار شدہ تصدیق شدہ اجزاء کا ایک سیٹ شامل ہے۔ فراہم کردہ اجزاء میں AHCI (SATA) ڈرائیور، ڈیوائس منیجر (DM)، بوٹ لوڈر، سسٹم مینیجر، ورچوئل ٹرمینل وغیرہ شامل ہیں۔
- muenblock Linux ڈرائیور (Muen کی مشترکہ میموری کے اوپر چلنے والے ایک بلاک ڈیوائس کا نفاذ) blockdev 2.0 API استعمال کرنے کے لیے تبدیل کر دیا گیا ہے۔
- مقامی اجزاء کے لائف سائیکل کو منظم کرنے کے لیے نافذ کردہ ٹولز۔
- نظام کی تصاویر کو ایس بی ایس (سائنڈ بلاک اسٹریم) اور سی ایس ایل (کمانڈ اسٹریم لوڈر) کو سالمیت کی حفاظت کے لیے استعمال کرنے کے لیے تبدیل کر دیا گیا ہے۔
- ایک تصدیق شدہ AHCI-DRV ڈرائیور کو لاگو کیا گیا ہے، جو SPARK 2014 کی زبان میں لکھا گیا ہے اور آپ کو ایسی ڈرائیوز کو جوڑنے کی اجازت دیتا ہے جو ATA انٹرفیس یا انفرادی ڈسک پارٹیشنز کو اجزاء میں سپورٹ کرتی ہیں۔
- MirageOS اور Solo5 پروجیکٹس سے بہتر یونیکرنل سپورٹ۔
- GNAT کمیونٹی 2021 کی ریلیز کے لیے اڈا لینگویج ٹول کٹ کو اپ ڈیٹ کر دیا گیا ہے۔
- مسلسل انضمام کے نظام کو Bochs ایمولیٹر سے QEMU/KVM نیسٹڈ ماحول میں منتقل کر دیا گیا ہے۔
- لینکس کے اجزاء کی تصاویر لینکس 5.4.66 کرنل استعمال کرتی ہیں۔
ماخذ: opennet.ru