Às deidh ochd bliadhna de leasachadh, chaidh am pròiseact Muen 1.0 a leigeil ma sgaoil, a ’leasachadh an kernel Separation, às aonais mearachdan anns a’ chòd stòr air a dhearbhadh le bhith a ’cleachdadh modhan matamataigeach airson dearbhadh earbsachd foirmeil. Tha an kernel ri fhaighinn airson ailtireachd x86_64 agus faodar a chleachdadh ann an siostaman a tha deatamach do mhisean a dh’ fheumas ìre nas àirde de earbsachd agus gealltanas gun fàilligidhean. Tha còd stòr a’ phròiseict air a sgrìobhadh anns a’ chànan Ada agus an dualchainnt dearbhaidh SPARK 2014. Tha an còd air a sgaoileadh fo chead GPLv3.
Is e microkernel a th’ anns an kernel dealachaidh a bheir seachad àrainneachd airson a bhith a’ coileanadh cho-phàirtean air leth bho chèile, agus tha an eadar-obrachadh air a riaghladh gu teann le riaghailtean sònraichte. Tha aonaranachd stèidhichte air cleachdadh leudachain virtualization Intel VT-x agus a’ toirt a-steach dòighean tèarainteachd gus casg a chuir air eagrachadh shianalan conaltraidh falaichte. Tha an kernel sgaradh nas lugha agus nas seasmhaiche na microkernels eile, a lughdaicheas an àireamh de shuidheachaidhean a dh’ fhaodadh fàiligeadh.
Bidh an kernel a ’ruith ann am modh freumh VMX, coltach ri hypervisor, agus bidh a h-uile pàirt eile a’ ruith ann am modh neo-freumhan VMX, coltach ri siostaman aoighean. Bithear a’ faighinn cothrom air an uidheamachd le bhith a’ cleachdadh leudachaidhean Intel VT-d DMA agus ath-dhealbhadh stad, a tha ga dhèanamh comasach ceangal tèarainte de dh’ innealan PCI a chuir an sàs gu co-phàirtean a tha a’ ruith fo Muen.
Tha comasan Muen a’ toirt a-steach taic airson siostaman ioma-cridhe, duilleagan cuimhne neadachaidh (EPT, Clàran Duilleag Leudaichte), MSI (Briseadh Comharran Teachdaireachd), agus clàran buadhan duilleag cuimhne (PAT, Clàr Feartan Duilleag). Bidh Muen cuideachd a’ toirt seachad clàr-ama cruinn cruinn stèidhichte air timer preemptive Intel VMX, ùine ruith teann nach toir buaidh air coileanadh, siostam sgrùdaidh tubaist, inneal sònrachaidh stòrais statach stèidhichte air riaghailtean, siostam làimhseachaidh tachartais, agus seanalan cuimhne co-roinnte airson. conaltradh taobh a-staigh co-phàirtean ruith.
Bidh e a’ toirt taic do cho-phàirtean ruith le còd inneal 64-bit, innealan brìgheil 32- no 64-bit, tagraidhean 64-bit ann an cànanan Ada agus SPARK 2014, innealan brìgheil Linux agus “unikernels” fèin-chumanta stèidhichte air MirageOS a bharrachd air Muen.
Na prìomh innleachdan a chaidh a thabhann ann an sgaoileadh Muen 1.0:
- Chaidh sgrìobhainnean fhoillseachadh le mion-chomharrachadh airson an kernel (inneal agus ailtireachd), siostam (poileasaidhean siostam, Tau0 agus inneal) agus co-phàirtean, a bhios a’ clàradh gach taobh den phròiseact.
- Chaidh an inneal Tau0 (Muen System Composer) a chuir ris, a tha a’ toirt a-steach seata de phàirtean dearbhte deiseil airson a bhith a’ dèanamh suas ìomhaighean siostam agus a’ leasachadh sheirbheisean àbhaisteach a tha a’ ruith air mullach Muen. Tha na pàirtean a tha air an toirt seachad a’ toirt a-steach draibhear AHCI (SATA), Manaidsear Innealan (DM), boot loader, manaidsear siostam, inneal brìgheil, msaa.
- Chaidh an draibhear muenblock Linux (buileachadh inneal bloca a tha a ’ruith air mullach cuimhne co-roinnte Muen) atharrachadh gus an API blockdev 2.0 a chleachdadh.
- Innealan air an cur an gnìomh airson a bhith a’ riaghladh cearcall beatha phàirtean dùthchasach.
- Chaidh ìomhaighean an t-siostaim atharrachadh gus SBS (Signed Block Stream) agus CSL (Command Stream Loader) a chleachdadh gus ionracas a dhìon.
- Chaidh dràibhear AHCI-DRV dearbhte a chuir an gnìomh, sgrìobhte ann an cànan SPARK 2014 agus a leigeas leat draibhearan a cheangal a bheir taic don eadar-aghaidh ATA no sgaraidhean diosc fa leth ris na pàirtean.
- Taic unikernel nas fheàrr bho phròiseactan MirageOS agus Solo5.
- Chaidh an inneal cànain Ada ùrachadh airson an sgaoileadh Coimhearsnachd GNAT 2021.
- Chaidh an siostam amalachaidh leantainneach a ghluasad bho emuladair Bochs gu àrainneachdan neadachaidh QEMU / KVM.
- Bidh ìomhaighean co-phàirteach Linux a’ cleachdadh an kernel Linux 5.4.66.
Source: fosgailtenet.ru