Sakin Muen 1.0, buɗaɗɗen tushen microkernel don gina ingantaccen tsarin dogara

Bayan shekaru takwas na ci gaba, an saki aikin Muen 1.0, yana haɓaka kernel Separation, rashin kurakurai a cikin lambar tushe wanda aka tabbatar da shi ta hanyar amfani da hanyoyin ilimin lissafi na tabbatar da amincin gaskiya. Ana samun kernel don gine-ginen x86_64 kuma ana iya amfani da shi a cikin mahimman tsarin manufa waɗanda ke buƙatar ƙarin matakin dogaro da garantin rashin gazawa. An rubuta lambar tushe na aikin a cikin yaren Ada da ingantaccen yaren sa SPARK 2014. An rarraba lambar a ƙarƙashin lasisin GPLv3.

Kwayar rabuwa shine microkernel wanda ke ba da yanayi don aiwatar da abubuwan da aka ware daga juna, hulɗar da ke da ƙayyadaddun ƙayyadaddun ƙa'idodi. Keɓewa ya dogara ne akan amfani da Intel VT-x haɓaka haɓaka haɓakawa kuma ya haɗa da hanyoyin tsaro don toshe ƙungiyar hanyoyin sadarwa a ɓoye. Kwayar rarrabuwa ta fi ƙaranci kuma a tsaye fiye da sauran microkernels, wanda ke rage adadin yanayin da zai iya haifar da gazawa.

Kwayar tana gudana a cikin yanayin tushen VMX, kama da hypervisor, kuma duk sauran abubuwan da aka gyara suna gudana a cikin yanayin VMX mara tushe, kama da tsarin baƙi. Ana yin damar yin amfani da kayan aikin ta amfani da haɓakawa na Intel VT-d DMA da katse taswira, wanda ke ba da damar aiwatar da amintaccen ɗaurin na'urorin PCI zuwa abubuwan da ke gudana a ƙarƙashin Muen.

Sakin Muen 1.0, buɗaɗɗen tushen microkernel don gina ingantaccen tsarin dogara

Ƙarfin Muen ya haɗa da goyan baya don tsarin manyan-masu yawa, shafukan ƙwaƙwalwar ajiya na gida (EPT, Teburin Shafukan da aka Faɗa), MSI (Katsewar Saƙon Saƙo), da teburin halayen shafi na ƙwaƙwalwar ajiya (PAT, Teburin Siffar Shafi). Muen kuma yana ba da ƙayyadaddun tsarin jadawalin zagaye-robin dangane da Intel VMX preemptive timer, ƙaramin lokacin gudu wanda baya tasiri aiki, tsarin tantance haɗari, tsarin tushen tushen albarkatu, tsarin gudanar da taron, da tashoshin ƙwaƙwalwar ajiya don rabawa. sadarwa a cikin abubuwan da ke gudana.

Yana goyan bayan abubuwan da ke gudana tare da lambar injin 64-bit, 32- ko 64-bit inji mai mahimmanci, aikace-aikacen 64-bit a cikin harsunan Ada da SPARK 2014, injunan kama-da-wane na Linux da “unikernels” masu zaman kansu dangane da MirageOS a saman Muen.

Babban sabbin abubuwan da aka bayar a cikin sakin Muen 1.0:

  • An buga takardu tare da ƙayyadaddun bayanai don kernel (na'ura da gine-gine), tsarin (manufofin tsarin, Tau0 da kayan aiki) da kuma abubuwan da aka haɗa, waɗanda ke rubuta duk abubuwan da ke cikin aikin.
  • An ƙara kayan aikin Tau0 (Muen System Composer), wanda ya haɗa da saitin abubuwan da aka tabbatar da aka shirya don tsara hotunan tsarin da haɓaka daidaitattun ayyuka waɗanda ke gudana a saman Muen. Abubuwan da aka bayar sun haɗa da direba AHCI (SATA), Manajan Na'ura (DM), mai ɗaukar kaya, mai sarrafa tsarin, tashar kama-da-wane, da sauransu.
  • Direban muenblock Linux (aiwatar da na'urar toshe da ke gudana a saman ƙwaƙwalwar ajiyar Muen) an canza shi don amfani da blockdev 2.0 API.
  • Kayan aikin da aka aiwatar don gudanar da zagayowar rayuwa na abubuwan asali na asali.
  • An canza hotunan tsarin zuwa amfani da SBS (Signed Block Stream) da CSL (Command Stream Loader) don kare mutunci.
  • An aiwatar da ingantaccen direban AHCI-DRV, an rubuta shi cikin yaren SPARK 2014 kuma yana ba ku damar haɗa abubuwan tafiyar da ke goyan bayan ATA dubawa ko ɓangarori na faifai guda ɗaya zuwa abubuwan da aka gyara.
  • Ingantattun tallafin unikernel daga ayyukan MirageOS da Solo5.
  • An sabunta kayan aikin harshen Ada don sakin GNAT Community 2021.
  • An canza tsarin haɗin kai na ci gaba daga Bochs emulator zuwa wuraren da aka gina QEMU/KVM.
  • Hotunan sassan Linux suna amfani da Linux kernel 5.4.66.

source: budenet.ru

Add a comment