Tar éis ocht mbliana d'fhorbairt, scaoileadh an tionscadal Muen 1.0, ag forbairt an eithne Scaradh, deimhníodh easpa earráidí sa chód foinse trí úsáid a bhaint as modhanna matamaitice chun iontaofacht a fhíorú go foirmiúil. Tá an t-eithne ar fáil don ailtireacht x86_64 agus is féidir é a úsáid i gcórais atá ríthábhachtach do mhisin a éilíonn leibhéal méadaithe iontaofachta agus ráthaíocht gan aon teipeanna. Tá cód foinse an tionscadail scríofa sa teanga Ada agus a chanúint infhíoraithe SPARK 2014. Déantar an cód a dháileadh faoin gceadúnas GPLv3.
Is miocrann é an t-eithne deighilte a sholáthraíonn timpeallacht chun comhpháirteanna a chur i gcrích atá scoite óna chéile, a bhfuil a n-idirghníomhaíocht á rialú go docht ag rialacha ar leith. Tá leithlisiú bunaithe ar úsáid síntí fíorúlaithe Intel VT-x agus cuimsíonn sé meicníochtaí slándála chun eagrú bealaí cumarsáide ceilte a bhlocáil. Tá an t-eithne deighilte níos íostach agus statach ná microkernels eile, rud a laghdaíonn líon na gcásanna a d'fhéadfadh teip a bheith ann.
Ritheann an eithne i mód fréimhe VMX, cosúil le hypervisor, agus ritheann na comhpháirteanna eile go léir i mód neamhfhréamh VMX, cosúil le córais aoi. Déantar rochtain ar an trealamh trí úsáid a bhaint as síntí Intel VT-d DMA agus athmhapáil idirbhriseadh, rud a fhágann gur féidir feistí PCI a cheangal go slán le comhpháirteanna a ritheann faoi Muen.
Áirítear ar chumais Muen tacaíocht do chórais illárnacha, leathanaigh chuimhne neadaithe (EPT, Táblaí Leathanaigh Leathnaithe), MSI (Idirbhriseadh Comhartha Teachtaireachta), agus táblaí aitreabúide leathanaigh chuimhne (PAT, Tábla Tréithe Leathanach). Soláthraíonn Muen freisin sceidealóir seasta babhta-robín bunaithe ar an lasc ama preemptive Intel VMX, am rite dlúth nach mbíonn tionchar aige ar fheidhmíocht, córas iniúchta tuairteála, meicníocht sannadh acmhainní statach bunaithe ar rialacha, córas láimhseála imeachtaí, agus bealaí cuimhne roinnte le haghaidh cumarsáid laistigh de chomhpháirteanna reatha.
Tacaíonn sé le comhpháirteanna reatha le cód meaisín 64-giotán, meaisíní fíorúla 32- nó 64-giotán, feidhmchláir 64-giotán i dteangacha Ada agus SPARK 2014, meaisíní fíorúla Linux agus “unikernels” féinchuimsitheacha bunaithe ar MirageOS ar bharr Muen.
Na príomh-nuálaíochtaí a thairgtear i scaoileadh Muen 1.0:
- Foilsíodh doiciméid le sonraíochtaí don eithne (feiste agus ailtireacht), córais (beartais chórais, Tau0 agus foireann uirlisí) agus comhpháirteanna, a dhoiciméadaíonn gach gné den tionscadal.
- Tá foireann uirlisí Tau0 (Muen System Composer) curtha leis, lena n-áirítear sraith de chomhpháirteanna fíoraithe réamhdhéanta chun íomhánna córais a chumadh agus chun seirbhísí caighdeánacha a fhorbairt a ritheann ar bharr Muen. I measc na gcomhpháirteanna a chuirtear ar fáil tá tiománaí AHCI (SATA), Bainisteoir Gléas (DM), lódóir tosaithe, bainisteoir córais, críochfort fíorúil, etc.
- Tiontaíodh an tiománaí muenblock Linux (feiste bloc a ritheann ar bharr cuimhne roinnte Muen) chun an API blockdev 2.0 a úsáid.
- Uirlisí curtha i bhfeidhm chun saolré na gcomhpháirteanna dúchasacha a bhainistiú.
- Tiontaíodh íomhánna córais chun úsáid a bhaint as SBS (Signed Block Stream) agus CSL (Command Stream Loader) chun sláine a chosaint.
- Tá tiománaí fíoraithe AHCI-DRV curtha i bhfeidhm, scríofa sa teanga SPARK 2014 agus a ligeann duit tiomántáin a thacaíonn le comhéadan ATA nó le deighiltí diosca aonair a nascadh leis na comhpháirteanna.
- Tacaíocht unikernel feabhsaithe ó thionscadail MirageOS agus Solo5.
- Tá an fhoireann uirlisí teanga Ada nuashonraithe le haghaidh eisiúint GNAT Community 2021.
- Aistríodh an córas comhtháthaithe leanúnach ó aithriseoir Bochs go timpeallachtaí neadaithe QEMU/KVM.
- Úsáideann íomhánna comhpháirteanna Linux an t-eithne Linux 5.4.66.
Foinse: oscailtenet.ru