Hadafka ayaa ah in la abuuro habab sugan oo la xaqiijin karo oo loogu talagalay qalabka ku dhex-jira ama aaladaha hareeraheeda
Google dhawaan la sii daayay iyada oo loo marayo boostada blogka ilaa KataOS, oo ah nidaamka hawlgalka diirada saaraya aaladaha ku dhex jira socodka mashiinka barashada culeysyada shaqada. KataOS waxaa loogu talagalay inay noqoto oo diiradda lagu saaray amniga, maadaama ay isticmaasho luqadda barnaamijka Rust waxayna ku saleysan tahay seL4 microkernel saldhig ahaan.
KataOS waxaa loogu talagalay in lagu isticmaalo tirada sii kordheysa ee aaladaha ku xiran, iyada oo si gaar ah diiradda loo saarayo qalabka ku dhex jira ee socodsiiya codsiyada barashada mashiinka. Marka la eego diiradda warshadaynta sii kordheysa ee RISC-V, qaab dhismeedka processor-kani waa diiradda koowaad ee taageerada KataOS.
Ku saabsan KataOS
Google ayaa soo bandhigtay nidaamkeeda hawlgalka KataOS, oo wali ku jira horumar, kaas oo ujeedkiisu yahay in la bixiyo nidaamka amniga aaladaha ku dhex jira.
Waxa uu sheegay in ay ka dhalatay indho-indhayn, sababtoo ah baahida loo qabo in laga shaqeeyo mashruuc noocan oo kale ah, «Aalado badan oo isku xidhan ayaa la suuq geynayaa kuwaas oo ururiya oo ka shaqeeya macluumaadka deegaanka" Si kastaba ha ahaatee, Sida laga soo xigtay Google, qalabkan ayaa aad ugu nugul dhibaatooyinka amniga. Shirkaddu waxay tilmaamtay, tusaale ahaan, in xogta aaladahaan ay ururiyaan ay u nugulaan karaan weerarrada dibadda ah. Tani waxay ka dhigan tahay in fayrasyadu xadi karaan sawirro, cajalado maqal ah, iyo xog kale.
Si aan u bilowno la shaqeynta kuwa kale, waxaan u furnay dhowr qaybood oo ah nidaamkayaga qalliinka sugan, ee loo yaqaan KataOS, ee GitHub, iyo sidoo kale iskaashiga Antmicro ee jilbaha Renode iyo qaab-dhismeedka la xiriira. Iyada oo saldhig u ah nidaamkan cusub ee hawlgalka, waxaan u dooranay seL4 sidii mikrokernel sababtoo ah waxay mudnaanta siisaa amniga; waxaa xisaab ahaan loo caddeeyey inay tahay mid sugan, oo leh dammaanad sir ah, daacadnimo, iyo helitaan.
Google-ka, xal fudud oo arrintan wax lagaga qabanayo waxay u noqonaysaa nidaam sugan oo la xaqiijin karo qalabka dushiisa. Sababtoo ah? Nabadgelyada nidaamka waxaa badanaa loola dhaqmaa sidii qaab software ah oo lagu dari karo nidaamyada jira ama lagu xalliyo qayb dheeri ah oo ASIC ah, taas oo aan caadi ahaan ku filneyn. Waa macnaha guud ee KataOS ku dhashay.
Google waxa kale oo ay wada shaqayn la leedahay Antmicro. Kala-guurinta wuu ku dayan doonaa oo ka saari doonaa GDB on aaladaha bartilmaameedka isticmaalaya Renode. Gudaha, KataOS waxa ay awood u leedahay in ay si firfircooni leh ugu shubto oo ay u maamusho barnaamijyada qolo saddexaad. Xitaa barnaamijyada laga sameeyay meel ka baxsan qaabka CAmkES way socon karaan. Qaybaha loo baahan yahay si loo socodsiiyo codsiyadan ayaan wali ku jirin isha Github. Si kastaba ha ahaatee, Google waxa ay ku talo jirtaa in ay hawl-galladan ka dhigto mid la heli karo dhawaan.
Waad ku mahadsan tahay qaabka seL4 CAmkES, waxaan sidoo kale ku siin karnaa qaybo habaysan oo la qiyaasi karo oo la qiyaasi karo. KataOS waxay bixisaa madal sugan oo la hubo oo ilaalinaysa sirta isticmaalaha sababtoo ah macquul maahan in arjiyada ku xad-gudbaan ilaalinta amniga qalabka kernel-ka iyo qaybaha nidaamku si hubaal ah ayey ammaan u yihiin. KataOS sidoo kale waxaa gabi ahaanba laga hirgaliyay Rust, kaas oo siinaya meel adag oo laga bilaabo amniga softiweerka iyadoo meesha laga saarayo dhamaan fasalada dhiqlaha, sida khaladaadka kali ah iyo qulqulka xad dhaafka ah.
Google ayaa sidoo kale u samaysay hirgelinta tixraaca KataOS ee loo yaqaan Sparrow. Sababta Sparrow waa inay si buuxda u soo bandhigto nidaamka deegaanka nabdoon.
U isticmaal KataOS qalab qalabaysan oo sugan, sida shimbirtu ay ku jirto xidid aamin ah oo si cad u sugan oo lagu dhisay OpenTitan ee dhismaha RISC-V. Tani waxay ku daraysaa xudunta u ah nidaamka qalliinka ee sugan. Si kastaba ha noqotee, siideynta bilowga ah ee KataOS, Google waxay rabta inay adeegsato ku dayashada QEMU. Waxaad u isticmaali doontaa ku dayashadan si aad u socodsiiso nidaamka 64-bit ARM ee caadiga ah.
Finalmente Kuwa xiiseynaya, waa inay ogaadaan taas mashruucu waxa uu ku yaalaa GitHub iyo hadda kaydka waxaa ku jira inta badan qaybaha waaweyn KataOS, oo ay ku jiraan qaab-dhismeedka aan u isticmaalno Rust (sida sel4-sys, kaas oo bixiya nidaamka seL4 ee wac APIs), adeegaha xididka beddelka ah ee ku qoran Rust (loo baahan yahay maaraynta xusuusta firfircoon ee nidaamka-ballaaran), iyo isbeddellada kernel-ka ee seL4 taas oo dib u soo ceshan karta xusuusta uu isticmaalay rootiga rootiga.
Waxaad ku booqan kartaa kaydka mashruuca xiriirka soo socda.