Google ayaa ku dhawaaqday daahfurka horumarka la xidhiidha mashruuca KataOS, kaas oo looga golleeyahay in lagu abuuro nidaam hawleed sugan oo qalabaysan. Qaybaha nidaamka KataOS waxay ku qoran yihiin Rust waxayna ku socdaan dusha sare ee seL4 microkernel, taas oo caddaynta xisaabeed ee la isku halleyn karo lagu bixiyay nidaamyada RISC-V, taas oo muujinaysa in koodka si buuxda u waafaqsan yahay tilmaamaha lagu qeexay luqadda rasmiga ah. Xeerka mashruuca wuxuu ku furan yahay shatiga Apache 2.0.
Nidaamku wuxuu bixiyaa taageerada aaladaha ku saleysan RISC-V iyo ARM64 naqshadaha. Si loo ekaysiiyo hawlgalka seL4 iyo deegaanka KataOS ee dusha sare ee qalabka, qaab-dhismeedka Renode ayaa la adeegsadaa inta lagu jiro habka horumarinta. Dhaqangelinta tixraac ahaan, software Sparrow iyo kakanaanta qalabka ayaa la soo jeediyay, isku darka KataOS iyo chips aamin ah oo ku saleysan madal OpenTitan. Xalka la soo jeediyay wuxuu kuu ogolaanayaa inaad isku darto kernel nidaamka qalliinka oo si macquul ah loo xaqiijiyay oo leh qalab la aamini karo (RoT, Root of Trust), oo la dhisay iyadoo la adeegsanayo madal OpenTitan iyo RISC-V architecture. Marka lagu daro koodhka KataOS, waxaa la qorsheeyay in la furo dhammaan qaybaha kale ee Sparrow, oo ay ku jiraan qaybta qalabka, mustaqbalka.
Madal waxaa lagu horumariyaa iyadoo isha lagu hayo chips khaas ah oo loogu talagalay in lagu socodsiiyo codsiyada mashiinka barashada iyo habaynta macluumaadka sirta ah, kuwaas oo u baahan ilaalin gaar ah iyo xaqiijinta maqnaanshaha guuldarrooyinka. Tusaalooyinka codsiyada noocaas ah waxaa ka mid ah nidaamyada maamula sawirada dadka iyo duubista codka. Isticmaalka KataOS ee xaqiijinta isku halaynta waxay hubisaa in haddii qayb ka mid ah nidaamka ay ku guuldareysato, guuldaradu kuma faafi doonto nidaamka intiisa kale iyo, gaar ahaan, kernel iyo qaybaha muhiimka ah.
Qaab dhismeedka seL4 waa mid caan ku ah u wareejinta qaybaha lagu maareeyo kheyraadka kernel meel bannaan oo adeegsadaha iyo adeegsiga isla agabka 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.
Ilaalinta dheeraadka ah, dhammaan qaybaha marka laga reebo microkernel-ka waxaa si asal ahaan loogu horumariyay Rust iyadoo la adeegsanayo farsamooyin barnaamijeed badbaado leh oo yareeya khaladaadka xusuusta ee u horseedaya dhibaatooyinka sida helitaanka xusuusta ka dib markii la sii daayo, tilmaame null ah, iyo xad-dhaaf ah. Raadiyaha arjiga ee deegaanka seL4, adeegyada nidaamka, qaab-dhismeedka horumarinta codsiga, API-ga gelitaanka wicitaannada nidaamka, maamulaha habsocodka, habka qoondaynta xusuusta firfircoon, iwm. ayaa lagu qoray Rust. Kulanka la xaqiijiyay wuxuu isticmaalayaa qalabka CAmkES, oo uu sameeyay mashruuca seL4. Qaybaha CAmkES sidoo kale waxaa lagu abuuri karaa Rust.
Daxalku waxa uu xoojiyaa badbaadada xusuusta marka la ururiyo wakhtiga iyada oo loo marayo hubinta tixraaca, lahaanshaha shay iyo dabagalka shay kasta (goobo), iyo iyada oo la qiimeeyo saxnaanta gelitaanka xusuusta wakhtiga runtime. Daxalku waxa kale oo uu ka ilaaliyaa qulqulka xad-dhaafka ah, waxa uu u baahan yahay qiyamka doorsooma in la bilaabo ka hor inta aan la isticmaalin, waxa uu isticmaalaa fikradda tixraacyada iyo doorsoomayaasha aan la beddeli karin si caadi ah, oo waxa ay bixisa teeb adag si loo yareeyo khaladaadka macquulka ah.
Source: opennet.ru