I-seL4 microkernel iqinisekiswa ngokwezibalo ukwakheka kwe-RISC-V

I-RISC-V Foundation kubikiwe mayelana nokuqinisekisa ukusebenza kwe-microkernel seL4 kumasistimu ane-RISC-V yesethi yezakhiwo zemiyalo. Ukuqinisekiswa kwehlela kokuthi ubufakazi bezibalo ukuthembeka kokusebenza kwe-seL4, okubonisa ukuhambisana ngokugcwele nezicaciso ezicaciswe olimini olusemthethweni. Ubufakazi bokwethembeka ikuvumela ukuthi usebenzise I-seL4 kumasistimu abalulekile emishini asuselwe kumaphrosesa we-RISC-V RV64 adinga izinga elengeziwe lokuthembeka futhi aqinisekise ukungabikho kokwehluleka. Abathuthukisi besofthiwe egijima phezu kwe-seL4 kernel bangaqiniseka ngokuphelele ukuthi uma kukhona ukwehluleka engxenyeni eyodwa yesistimu, lokhu kwehluleka ngeke kusakazeke kulo lonke uhlelo futhi, ikakhulukazi, izingxenye zalo ezibucayi.

I-microkernel ye-seL4 yaqale yaqinisekiswa kuma-32-bit ARM processors, futhi kamuva ama-64-bit x86 processors. Kuyaphawulwa ukuthi inhlanganisela ye-architecture evulekile ye-RISC-V ye-hardware ene-seL4 microkernel evulekile izofinyelela izinga elisha lokuphepha, njengoba izingxenye ze-hardware nazo zingaqinisekiswa ngokugcwele esikhathini esizayo, okungenakwenzeka ukufeza ukwakhiwa kwe-hardware yokuphathelene.

Lapho kuqinisekiswa i-seL4, kucatshangwa ukuthi okokusebenza kusebenza njengoba kushiwo futhi incazelo ichaza ngokugcwele ukuziphatha kwesistimu, kodwa empeleni imishini ayinawo amaphutha, aboniswa ngokucacile yizinkinga ezivela njalo endleleni yokuqagela imiyalelo. Izingxenyekazi zezingxenyekazi zekhompuyutha ezivulekile zenza kube lula ukuhlanganisa izinguquko ezihlobene nokuphepha - isibonelo, ukuvimba konke ukuvuza okungase kube khona kweshaneli eseceleni, lapho kusebenza kahle kakhulu ukususa inkinga ku-hardware kunokuzama ukuthola ama-workaround ku-software.

Khumbula ukuthi ukwakheka kwe-seL4 ephawulekayo ukuhambisa izingxenye zokuphatha izinsiza ze-kernel endaweni yomsebenzisi nokusebenzisa izindlela ezifanayo zokulawula ukufinyelela ezinsizeni ezifana nezisetshenziswa zomsebenzisi. I-microkernel ayihlinzeki ngezifinyezo esezilungile ezenziwe ngezinga eliphezulu zokuphatha amafayela, izinqubo, uxhumo lwenethiwekhi, nokunye okunjalo; esikhundleni salokho, inikeza izindlela ezincane kuphela zokulawula ukufinyelela endaweni yekheli lendawo, iziphazamiso, nezinsiza zokucubungula. Izifinyezo ezisezingeni eliphezulu nezishayeli zokusebenzelana nehadiwe zisetshenziswa ngokuhlukene phezu kwe-microkernel ngendlela yemisebenzi yezinga lomsebenzisi. Ukufinyelela kwemisebenzi enjalo ezinsizeni ezitholakala ku-microkernel kuhlelwa ngencazelo yemithetho.

I-RISC-V ihlinzeka ngohlelo oluvulekile noluguquguqukayo lwemiyalo yomshini oluvumela ama-microprocessors ukuthi akhelwe izinhlelo zokusebenza ngokungafanele ngaphandle kokudinga imali ekhokhwayo noma izintambo ezinamathiselwe ukuze zisetshenziswe. I-RISC-V ikuvumela ukuthi udale ama-SoC namaphrosesa avuleke ngokuphelele. Okwamanje kusekelwe ekucacisweni kwe-RISC-V yizinkampani ezahlukene nemiphakathi ngaphansi kwamalayisensi amahhala ahlukahlukene (BSD, MIT, Apache 2.0) iyathuthuka ishumi nambili izinhlobonhlobo zama-microprocessor cores, ama-SoCs nama-chips asevele akhiqiziwe. Ukusekelwa kwe-RISC-V bekukhona kusukela kukhishwe i-Glibc 2.27, binutils 2.30, gcc 7, kanye ne-Linux kernel 4.15.

Source: opennet.ru