Microkernel-ka seL4 waxa xisaab ahaan loo xaqiijiyay dhismaha RISC-V

RISC-V Foundation la sheegay ku saabsan xaqiijinta shaqada microkernel-ka seL4 Nidaamyada leh RISC-V qaab-dhismeedka hab-dhismeedka. Xaqiijinta ayaa hoos u dhacda caddayn xisaabeed Kalsoonida hawlgalka seL4, kaas oo tilmaamaya u hoggaansanaanta buuxda ee tilmaamaha lagu qeexay luqadda rasmiga ah. Caddaynta kalsoonida kuu ogolaanaya inaad isticmaasho seL4 ee nidaamyada hawlgalka-muhiimka ah ee ku salaysan RISC-V RV64 soo-saareyaal u baahan heerka kalsoonida oo kordhay oo dammaanad qaadaya maqnaanshaha guuldarrooyinka. Soosaarayaasha kombuyuutarrada ku shaqeeya dusha sare ee seL4 kernel waxay si buuxda ugu kalsoonaan karaan in haddii ay jirto fashil ku yimid qayb ka mid ah nidaamka, fashilkaani kuma faafi doono nidaamka intiisa kale iyo, gaar ahaan, qaybihiisa muhiimka ah.

Microkernel-ka seL4 ayaa markii hore loo xaqiijiyay soo-saareyaal 32-bit ARM ah, ka dibna 64-bit x86 soo-saareyaal. Waxaa la xusay in isku-darka dhismaha qalabka dhismaha ee RISC-V ee furan ee seL4 microkernel uu gaari doono heer cusub oo ammaan ah, maadaama qaybaha qalabka sidoo kale si buuxda loo xaqiijin karo mustaqbalka, taas oo aan suurtagal ahayn in la gaaro naqshadaha qalabka gaarka ah.

Marka la xaqiijinayo seL4, waxaa loo maleynayaa in qalabku u shaqeeyo sida la sheegay iyo qeexiddu waxay si buuxda u qeexaysaa habdhaqanka nidaamka, laakiin dhab ahaantii qalabku maaha mid ka madax banaan khaladaadka, taas oo si cad loo muujiyay dhibaatooyinka joogtada ah ee soo baxaya ee habka fulinta male-awaalka ah tilmaamo. Furan aaladaha aaladaha ayaa fududeynaya in la isku daro isbedelada la xiriira amniga - tusaale ahaan, in la xakameeyo dhammaan qulqulka dhanka kanaalka ah, halkaas oo ay aad uga waxtar badan tahay in dhibaatada qalabka laga saaro halkii la isku dayi lahaa in la helo xalal software.

Xusuusnow in qaab-dhismeedka seL4 cajiib ah u wareejinta qaybo si loogu maareeyo ilaha kernel-ka oo la geliyo meel isticmaale iyo ku-dhaqanka isla kontoroolka marin-u-helka ee agabka sida ilaha isticmaalaha. Microkernel-ku ma bixiyo diyaar-garow heersare ah oo lagu maareeyo faylalka, geeddi-socodka, isku xirka shabakadaha, iyo wixii la mid ah; Taa beddelkeeda, waxay bixisaa hababka ugu yar ee lagu xakameynayo gelitaanka booska ciwaanka, carqaladaynta, iyo ilaha processor-ka. Aabstractions heer sare ah iyo darawalada la falgalka qalabka waxaa si gooni gooni ah loo hirgeliyaa korka microkernel-ka qaab hawlo heerka user. Helitaanka hawlahan oo kale ilaha ay heli karaan microkernel-ka waxaa lagu habeeyaa qeexida xeerarka.

RISC-V waxa ay bixisaa nidaam wax dhigista mashiinka furan oo dabacsan kaas oo u oggolaanaya microprocessors in loo dhiso codsiyada aan sharciga ahayn iyada oo aan loo baahnayn royalties ama xadhig ku xiran isticmaalka. RISC-V wuxuu kuu ogolaanayaa inaad abuurto SoC-yada iyo soo-saareyaal gebi ahaanba furan. Hadda oo ku salaysan qeexitaanka RISC-V ee shirkado iyo bulshooyin kala duwan oo hoos imanaya shatiyo bilaash ah oo kala duwan (BSD, MIT, Apache 2.0) horumarisa dhowr iyo toban nooc oo ah koojiyeyaasha microprocessor, SoCs iyo chips horay loo soo saaray. Taageerada RISC-V waxay jirtay tan iyo markii la siidaayay Glibc 2.27, binutils 2.30, gcc 7, iyo Linux kernel 4.15.

Source: opennet.ru