Mwepụta nke Muen 1.0, microkernel mepere emepe maka iwulite sistemụ ntụkwasị obi nke ukwuu

Mgbe afọ asatọ nke mmepe gasịrị, a tọhapụrụ ọrụ Muen 1.0, na-emepụta kernel nkewa, enweghị njehie na koodu isi iyi nke kwadoro site na iji usoro mgbakọ na mwepụ nke nkwenye ntụkwasị obi nkịtị. The kernel dị maka x86_64 architecture na enwere ike iji ya na sistemụ ozi dị mkpa nke chọrọ ọkwa ntụkwasị obi na-abawanye na nkwa nke enweghị ọdịda. Edere koodu isi mmalite nke ọrụ ahụ n'asụsụ Ada na olumba ya bụ SPARK 2014. A na-ekesa koodu ahụ n'okpuru ikikere GPLv3.

Kernel nkewa bụ microkernel nke na-enye gburugburu ebe obibi maka mmezu nke ihe ndị dịpụrụ adịpụ na ibe ha, nke a na-achịkwa mmekọrịta ya nke ọma site na iwu nyere. Kewapụrụ dabere na iji Intel VT-x virtualization extensions gụnyere usoro nchekwa iji gbochie nhazi nke ọwa nkwukọrịta nzuzo. Kernel nkewa dị ntakịrị ma kwụ ọtọ karịa microkernels ndị ọzọ, nke na-ebelata ọnụ ọgụgụ ọnọdụ ndị nwere ike ibute ọdịda.

The kernel na-agba ọsọ na VMX mgbọrọgwụ mode, dị ka hypervisor, na ihe ndị ọzọ niile na-agba ọsọ na VMX na-abụghị mgbọrọgwụ mode, yiri usoro ọbịa. A na-eme ka ịnweta akụrụngwa site na iji Intel VT-d DMA ndọtị na nkwụsịtụ remapping, nke na-eme ka o kwe omume iji mejuputa njikọ nchekwa nke ngwaọrụ PCI na ihe ndị na-agba ọsọ n'okpuru Muen.

Mwepụta nke Muen 1.0, microkernel mepere emepe maka iwulite sistemụ ntụkwasị obi nke ukwuu

Ikike Muen na-agụnye nkwado maka sistemu isi ọtụtụ, ibe ebe nchekwa akwụrụ (EPT, Tebụlụ ibe ewetịrị), MSI (Nkwukọrịta Mgbasa Ozi), na tebụl njirimara ibe ebe nchekwa (PAT, Tebụl njirimara ibe). Muen na-enyekwa usoro nhazi okirikiri okirikiri dabere na Intel VMX preemptive ngụ oge, obere oge ịgba ọsọ nke na-adịghị emetụta arụmọrụ, sistemụ nyocha ihe ọghọm, usoro ọrụ enyemaka static dabere na iwu, usoro njikwa ihe omume, yana ọwa ebe nchekwa kesara. nkwukọrịta n'ime na-agba ọsọ components.

Ọ na-akwado akụrụngwa na-agba ọsọ na koodu igwe 64-bit, igwe mebere 32- ma ọ bụ 64-bit, ngwa 64-bit na asụsụ Ada na SPARK 2014, igwe mebere Linux na “unikernels” nwere onwe ya dabere na MirageOS n'elu Muen.

Isi ihe ọhụrụ ewepụtara na mwepụta nke Muen 1.0:

  • E bipụtala akwụkwọ na nkọwapụta maka kernel (ngwaọrụ na ihe owuwu), sistemụ (atumatu sistemu, Tau0 na Toolkit) na akụrụngwa, nke na-edepụta akụkụ niile nke ọrụ ahụ.
  • The Tau0 (Muen System Composer) agbakwunyere ngwa ọrụ, nke na-agụnye ihe nhazi nke edoziziri edozi maka ịmepụta ihe oyiyi usoro na ịmepụta ọrụ ọkọlọtọ na-agba ọsọ n'elu Muen. Ngwa ndị enyere gụnyere AHCI (SATA) ọkwọ ụgbọ ala, Onye njikwa ngwaọrụ (DM), bootloader, njikwa sistemu, ọdụ mebere, wdg.
  • Onye ọkwọ ụgbọ ala muenblock Linux (mmejuputa ngwaọrụ ngọngọ na-agba n'elu ebe nchekwa nke Muen) agbanweela ka ọ jiri blockdev 2.0 API.
  • Ngwa eji arụ ọrụ maka ijikwa usoro ndụ nke akụrụngwa ala.
  • Agbanwela onyonyo sistemu ka ọ were SBS (Signed Block Stream) na CSL (Command Stream Loader) iji chebe iguzosi ike n'ezi ihe.
  • Emejuputala onye ọkwọ ụgbọ ala AHCI-DRV ekwenyesiri ike, edere ya n'asụsụ SPARK 2014 ma na-enye gị ohere ijikọ draịva na-akwado interface ATA ma ọ bụ akụkụ diski nke ọ bụla na akụrụngwa.
  • Nkwado unikernel emelitere site na ọrụ MirageOS na Solo5.
  • Emelitela ngwa asụsụ Ada maka mwepụta GNAT Community 2021.
  • Ebuferela sistemu njikọta na-aga n'ihu site na emulator Bochs gaa na gburugburu QEMU/KVM nwere oghere.
  • Ihe onyonyo akụrụngwa Linux na-eji Linux 5.4.66 kernel.

isi: opennet.ru

Tinye a comment