Post octo annos evolutionis, propositum Muen 1.0 dimissum est, nucleum Separationis evolvens, absentia errorum in fonte codice cuius usus mathematicis rationibus formalis fidelitatis verificationis confirmatus est. nucleus architecturae x86_64 praesto est ac adhiberi potest in systematibus missionalibus criticis quae maiorem gradum fidei et cautionis defectuum requirunt. Fons codicis propositi in Ada lingua scripta est eiusque verificabilis dialecto SCINTILLA 2014. Codex sub licentia GPLv3 distributus est.
Separatio nuclei microkernel est quae ambitum praebet ad executionem partium inter se distantes, quarum commercium stricte regulatur datis regulis. Solitudo fundatur in usu extensionum virtualis Intel VT-x et mechanismi securitatis includit ad ordinationem secretorum canalium communicationis interclusas. Acinum partitionis est minimalistica et stabilior quam alii microkernels, quae numerum casuum defectum minuere possunt.
nucleus in modum radicis VMX decurrit, hypervisori similis, et omnia alia membra in modum radicis VMX non radicatae similis confluunt. Accessus ad apparatum fit utens extensionibus Intel VT-d DMA et remamando interrumpendum, quod efficere potest ut secure ligamen PCI machinarum ad partes sub Muen currentes efficiat.
Facultates Muen includunt subsidium ad systemata multi-corei, paginae memoriae inaedificatae (EPT, Tabulae paginae extensae), MSI (Nuntium obloquium significatum), et pagina memoriae attributae tabulae (PAT, Page Tabulae attributae). Muen etiam praebet schedulam rotundum Robinum fixum innixum in Intel VMX timoris praeemptive, currentis pacti quod effectus non attingit, ratio audiendi fragorem, regula-substructio subsidii statice assignationis machinae, eventus tractandi ratio, et canales memoriae communicatae. communicationis inter partes currit.
Currens membra cum codice machinae 64-frenum sustinet, 32- vel 64-bit machinis virtualis, 64-bit applicationes in Ada et SCINTILLA 2014 linguarum, Linux machinis virtualis et se contentis "unikernels" in MirageOS super Muen.
Innovationes praecipuae in emissione Muen 1.0 oblatae:
- Documenta edita sunt cum specificationibus pro nucleo (fabrica et architectura), systematis (ratio initis, Tau0 et toolkit) et componentibus, quae documentum omnes partes rei sunt.
- The Tau0 (Muen System Composer) toolkit adiectum est, quod includit brevem verifica- tium componentium ad systema imaginum componendum et ad operas vexillum explicandas quae super Muen currunt. Components provisum includunt AHCI (SATA) agitator, fabrica Procurator (DM), tabernus oneratus, ratio procurator, virtualis terminatio, etc.
- Linux muenblock agitator (exsecutio fabricae trunci super Muen communis memoriae currentis) conversa est uti blockdev 2.0 API.
- Instrumenta ad effectum deducendi cyclum vitae indigenarum componentium.
- Ratio imaginum conversae sunt ad usum SBS (Streamis signati) et CSL (Stream Loader Mandati) ad integritatem tuendam.
- Verus exactoris AHCI-DRV in lingua SCINTILLA 2014 scriptum adductum est, et permittens te coniungere agitationes quae sustinent ATA interface vel partitiones orbis singulas ad componentes.
- Improved unikernel auxilium e MirageOS et Solo5 inceptis.
- Ada lingua toolkit renovata ad GNAT Community 2021 emissionem renovata est.
- Systema continuum integrationis ab aemulo Boch ad QEMU/KVM ambitus habitos translatum est.
- Linux imagines componentium Linux 5.4.66 utuntur nucleo.
Source: opennet.ru