Serbestberdana Muen 1.0, mîkrokernelek çavkaniyek vekirî ji bo avakirina pergalên pir pêbawer

Piştî heşt salan pêşkeftinê, projeya Muen 1.0 hate berdan, kernelê Veqetandinê pêşve xist, nebûna xeletiyên di koda çavkaniyê de bi karanîna rêbazên matematîkî yên verastkirina pêbaweriya fermî hate pejirandin. Kernel ji bo mîmariya x86_64 heye û dikare di pergalên mîsyonê-krîtîk ên ku hewceyê astek pêbawer û garantiya bêserûberiyê hewce dike de were bikar anîn. Koda çavkaniyê ya projeyê bi zimanê Ada û zaravayê wê yê verastkirî SPARK 2014 hatiye nivîsandin. Kod di bin lîsansa GPLv3 de tê belavkirin.

Kernelê veqetandinê mîkrokernelek e ku jîngehek ji bo pêkanîna pêkhateyên ji hev veqetandî peyda dike, ku têkiliya wan bi rêzikên diyarkirî bi hişkî têne rêve kirin. Veqetandin li ser bingeha karanîna dirêjkirina virtualkirina Intel VT-x-yê ye û mekanîzmayên ewlehiyê vedihewîne da ku rêxistina kanalên ragihandinê yên veşartî asteng bike. Kernelê dabeşkirinê ji mîkrokernelên din kêmtirîn û statîktir e, ku hejmara rewşên ku dibe sedema têkçûnê kêm dike.

Kernel di moda root ya VMX de, mîna hîpervisorek, û hemî pêkhateyên din di moda ne-root a VMX de, mîna pergalên mêvan, dimeşin. Gihîştina alavan bi karanîna pêvekên Intel VT-d DMA û ji nû ve nexşeya navberê tête çêkirin, ku ev gengaz dike ku girêdana ewledar a cîhazên PCI bi pêkhateyên ku di bin Muen de dixebitin pêk bînin.

Serbestberdana Muen 1.0, mîkrokernelek çavkaniyek vekirî ji bo avakirina pergalên pir pêbawer

Di nav kapasîteyên Muen de piştgirî ji bo pergalên pir-bingehîn, rûpelên bîranîna hêlîn (EPT, Tabloyên Rûpelê Berfireh), MSI (Birtavên Nîşankirî yên Peyamê), û tabloyên taybetmendiya rûpela bîranînê (PAT, Tabloya Taybetmendiya Rûpelê) hene. Muen di heman demê de nexşerek dor-robin a sabît peyda dike ku li ser bingeha demjimêra pêşîlêgirtinê ya Intel VMX, dema xebitandinê ya kompakt ku bandorê li performansê nake, pergalek lênihêrîna têkçûnê, mekanîzmayek peywirdarkirina çavkaniyek statîkî ya bingehîn, pergalek hilgirtina bûyerê, û kanalên bîranînê yên hevpar peyda dike. ragihandinê di nav pêkhateyên xebitandinê de.

Ew hêmanên xebitandinê bi koda makîneya 64-bit, makîneyên virtual 32- an 64-bit, serîlêdanên 64-bit ên bi zimanên Ada û SPARK 2014, makîneyên virtual Linux û "unikernelên" xweser ên li ser bingeha MirageOS-ê li ser Muen-ê piştgirî dike.

Nûbûnên sereke yên ku di berdana Muen 1.0 de têne pêşkêş kirin:

  • Belgeyên bi taybetmendiyên kernel (cîhaz û mîmarî), pergalê (polîtîkayên pergalê, Tau0 û amûran) û pêkhateyan hatine weşandin, ku hemî aliyên projeyê belge dikin.
  • Amûra Tau0 (Muen System Composer) hate zêdekirin, ku tê de komek pêkhateyên pejirandî yên amade ji bo berhevkirina wêneyên pergalê û pêşxistina karûbarên standard ên ku li ser Muen-ê dimeşin vedihewîne. Pêkhateyên ku têne peyda kirin ajokera AHCI (SATA), Rêvebirê Amûra (DM), barkerê boot, rêveberê pergalê, termînalê virtual, hwd.
  • Ajokarê muenblock Linux (pêkanîna amûrek blokê ya ku li ser bîranîna hevpar a Muen-ê dixebite) hate guheztin ku API-ya blockdev 2.0 bikar bîne.
  • Amûrên bicîhkirî ji bo birêvebirina çerxa jiyanê ya pêkhateyên xwecihî.
  • Wêneyên pergalê hatine veguheztin ku ji bo parastina yekrêziyê SBS (Signed Block Stream) û CSL (Command Stream Loader) bikar bînin.
  • Ajokarek pejirandî ya AHCI-DRV hate bicîh kirin, ku bi zimanê SPARK 2014 hatî nivîsandin û dihêle hûn ajokarên ku piştgirîya navbeynkariya ATA an dabeşên dîskê yên kesane bi pêkhateyan ve girêdin.
  • Piştgiriya yekkernelê ya ji projeyên MirageOS û Solo5 çêtir kirin.
  • Amûra zimanê Ada ji bo serbestberdana GNAT Community 2021 hate nûve kirin.
  • Pergala entegrasyonê ya domdar ji emulatora Bochs veguherî hawîrdorên hêlîn ên QEMU/KVM.
  • Wêneyên pêkhateya Linux kernel Linux 5.4.66 bikar tînin.

Source: opennet.ru

Add a comment