اٺن سالن جي ترقي کان پوء، Muen 1.0 پروجيڪٽ جاري ڪيو ويو، علحدگيء واري ڪرنل کي ترقي ڪندي، ماخذ ڪوڊ ۾ غلطي جي غير موجودگي جي تصديق ڪئي وئي جيڪا رسمي اعتبار جي تصديق جي رياضياتي طريقن کي استعمال ڪندي. ڪرنل x86_64 آرڪيٽيڪچر لاءِ دستياب آهي ۽ مشن نازڪ نظامن ۾ استعمال ٿي سگهي ٿو جنهن لاءِ اعتماد جي وڌايل سطح جي ضرورت آهي ۽ ناڪامي جي ضمانت. پروجيڪٽ جو سورس ڪوڊ Ada ٻولي ۽ ان جي قابل تصديق ٻولي SPARK 2014 ۾ لکيل آهي. ڪوڊ GPLv3 لائسنس تحت ورهايو ويو آهي.
علحدگيءَ جو ڪنيل هڪ مائڪرو ڪارنل آهي جيڪو هڪ ٻئي کان ڌار ڪيل اجزاء جي عمل لاءِ ماحول فراهم ڪري ٿو، جنهن جو تعامل سختي سان ڏنل قاعدن سان ضابطو رکي ٿو. Isolation Intel VT-x ورچوئلائيزيشن ايڪسٽينشن جي استعمال تي مبني آهي ۽ ڳجهي مواصلاتي چينلن جي تنظيم کي بلاڪ ڪرڻ لاءِ سيڪيورٽي ميڪانيزم شامل آهي. ورهاڱي وارو ڪنيال ٻين مائڪرو ڪارنلز جي ڀيٽ ۾ وڌيڪ گھٽ ۽ جامد آهي، جيڪو حالتن جو تعداد گھٽائي ٿو جيڪو ناڪامي جو سبب بڻجي سگهي ٿو.
ڪرنل VMX روٽ موڊ ۾ هلندو آهي، هڪ هائپر وائزر وانگر، ۽ ٻيا سڀئي حصا VMX نان روٽ موڊ ۾ هلندا آهن، مهمان سسٽم وانگر. سامان تائين رسائي Intel VT-d DMA ايڪسٽينشنز استعمال ڪندي ڪئي وئي آهي ۽ ريمپنگ ۾ مداخلت، جيڪا ممڪن بڻائي ٿي PCI ڊوائيسز جي محفوظ بائنڊنگ کي Muen تحت هلندڙ حصن تي لاڳو ڪرڻ.
Muen جي صلاحيتن ۾ ملٽي-ڪور سسٽم لاءِ سپورٽ شامل آهن، نسٽڊ ميموري پيجز (EPT، Extended Page Tables)، MSI (Message Signaled Interrupts)، ۽ ميموري پيج انتساب ٽيبل (PAT، Page Attribute Table). Muen Intel VMX preemptive ٽائمر جي بنياد تي هڪ مقرر ٿيل راؤنڊ رابن شيڊولر پڻ مهيا ڪري ٿو، هڪ ڪمپيڪٽ رن ٽائم جيڪو ڪارڪردگي تي اثر انداز نٿو ڪري، هڪ حادثو آڊيٽنگ سسٽم، هڪ قاعدي تي ٻڌل جامد وسيلن جي اسائنمينٽ انجڻ، هڪ ايونٽ هينڊلنگ سسٽم، ۽ شيئر ميموري چينلز لاءِ. هلندڙ اجزاء ۾ رابطي.
اهو 64-bit مشين ڪوڊ، 32- يا 64-bit ورچوئل مشينن، Ada ۽ SPARK 64 ٻولين ۾ 2014-bit ايپليڪيشنون، لينڪس ورچوئل مشينون ۽ خود موجود ”يونيڪنلز“ سان گڏ هلندڙ حصن کي سپورٽ ڪري ٿو، جيڪو Muen جي مٿان MirageOS تي ٻڌل آهي.
Muen 1.0 جي ڇڏڻ ۾ پيش ڪيل مکيه جدت:
- دستاويز شايع ڪيا ويا آهن وضاحتن سان ڪرنل (ڊوائيس ۽ آرڪيٽيڪچر)، سسٽم (سسٽم پاليسيون، Tau0 ۽ ٽول ڪٽ) ۽ اجزاء، جيڪي منصوبي جي سڀني حصن کي دستاويز ڪن ٿا.
- Tau0 (Muen سسٽم ڪمپوزر) ٽول ڪٽ شامل ڪيو ويو آهي، جنهن ۾ سسٽم جي تصويرن کي ترتيب ڏيڻ ۽ معياري خدمتن کي ترقي ڪرڻ لاء تيار ڪيل تصديق ٿيل اجزاء جو هڪ سيٽ شامل آهي جيڪي Muen جي چوٽي تي هلن ٿيون. مهيا ڪيل اجزاء ۾ شامل آهن AHCI (SATA) ڊرائيور، ڊيوائس مئنيجر (DM)، بوٽ لوڊر، سسٽم مئنيجر، ورچوئل ٽرمينل، وغيره.
- muenblock Linux ڊرائيور (Muen شيئر ڪيل ياداشت جي چوٽي تي هلندڙ هڪ بلاڪ ڊيوائس جو عمل) blockdev 2.0 API استعمال ڪرڻ لاءِ تبديل ڪيو ويو آهي.
- مقامي اجزاء جي زندگي جي چڪر کي منظم ڪرڻ لاء لاڳو ڪيل اوزار.
- سسٽم جون تصويرون تبديل ڪيون ويون آهن ايس بي ايس (سائن ٿيل بلاڪ اسٽريم) ۽ سي ايس ايل (ڪمانڊ اسٽريم لوڊر) استعمال ڪرڻ لاءِ سالميت جي حفاظت لاءِ.
- هڪ تصديق ٿيل AHCI-DRV ڊرائيور لاڳو ڪيو ويو آهي، جيڪو SPARK 2014 ٻولي ۾ لکيو ويو آهي ۽ توهان کي ڊرائيوز کي ڳنڍڻ جي اجازت ڏئي ٿو جيڪي ATA انٽرفيس يا انفرادي ڊسڪ پارٽيشن کي حصن ۾ سپورٽ ڪن ٿيون.
- MirageOS ۽ Solo5 پروجيڪٽس مان بهتر يونيڪرنل سپورٽ.
- Ada ٻولي ٽول ڪٽ کي اپڊيٽ ڪيو ويو آهي GNAT ڪميونٽي 2021 رليز لاءِ.
- مسلسل انضمام سسٽم کي منتقل ڪيو ويو آهي Bochs emulator کان QEMU/KVM nested ماحول ۾.
- لينڪس جزو تصويرون لينڪس 5.4.66 ڪنيل استعمال ڪن ٿا.
جو ذريعو: opennet.ru