Umgomo uwukudala amasistimu avikelekile angaqinisekiswa ezingxenyekazi zekhompuyutha ezishumekiwe noma amadivaysi e-peripheral
I-Google isanda kukhishwa nge-blog post ku-KataOS, isistimu yokusebenza egxile kumadivayisi ashumekiwe ukusebenza kwemishini yokufunda imithwalo. I-KataOS yakhelwe ukuthi ibe egxile kwezokuphepha, njengoba isebenzisa ulimi lohlelo lwe-Rust futhi isekelwe ku-seL4 microkernel njengesisekelo.
I-KataOS yakhelwe ukusetshenziswa nenombolo ehlala ikhula yamadivayisi axhunyiwe, ngokugxila ngokukhethekile kuzingxenyekazi zekhompuyutha ezishumekiwe ezisebenzisa izinhlelo zokufunda zomshini. Uma kubhekwa ukugxila kwemboni okukhulayo kwe-RISC-V, le phrosesa yezakhiwo iwukugxila okuyinhloko kokusekelwa kwe-KataOS.
Mayelana ne-KataOS
I-Google yethule uhlelo lwayo lokusebenza i-KataOS, esathuthukiswa, inhloso yayo kuwukuhlinzeka ngohlelo lokuvikela lwamadivayisi ashumekiwe.
Ubalula ukuthi yazalwa ngokubhekwa, ngenxa yesidingo sokusebenza kuphrojekthi yalolu hlobo, «kuyakhangiswa amadivayisi axhunyiwe aqoqa futhi acubungule ulwazi lwezemvelo«. Noma kunjalo, Ngokusho kwe-Google, lawa madivayisi asengozini enkulu yezinkinga zokuphepha. Inkampani ikhomba, ngokwesibonelo, ukuthi idatha eqoqwa yila madivayisi ingaba sengozini kubahlaseli bangaphandle. Lokhu kusho ukuthi amagciwane angakwazi ukweba izithombe, okurekhodiwe komsindo, nenye idatha.
Ukuze siqale ukubambisana nabanye, sivule izingxenye ezimbalwa ezitholakala kumthombo wesistimu yethu yokusebenza evikelekile, ebizwa nge-KataOS, ku-GitHub, kanye nobudlelwano ne-Antmicro kusifanisi sabo se-Renode nezinhlaka ezihlobene. Njengesisekelo salolu hlelo olusha lokusebenza, sikhethe i-seL4 njenge-microkernel ngoba ibeka phambili ukuphepha; kufakazelwa ngokwezibalo ukuthi kuvikelekile, kuyimfihlo eqinisekisiwe, ubuqotho, nokutholakala.
Ku-Google, isixazululo esilula sokubhekana nalokhu kungaba isistimu evikelekile engaqinisekiswa kwehardware yangaphakathi. Ngoba? Ukuvikeleka kwesistimu kuvame ukuphathwa njengesici sesofthiwe esingangezwa kumasistimu akhona noma sixazululwe ngocezu olwengeziwe lwehadiwe ye-ASIC, ngokuvamile enganele. Kukulo mongo lapho i-KataOS yazalwa khona.
I-Google iphinde ibambisane ne-Antmicro. Inhlangano izolingisa futhi ilungise i-GDB kumadivayisi okuqondiwe kusetshenziswa i-Renode. Ngaphakathi, I-KataOS inamandla okulayisha nokusebenzisa izinhlelo zezinkampani zangaphandle. Ngisho nezinhlelo ezidalwe ngaphandle kohlaka lwe-CAmkES zingasebenza lapho. Izingxenye ezidingekayo ukuze usebenzise lezi zinhlelo zokusebenza azikabi khona kumthombo we-Github. Nokho, i-Google ihlose ukwenza le misebenzi itholakale maduze.
Ngenxa yohlaka lwe-seL4 CAmkES, singase futhi sinikeze izingxenye zesistimu ezichazwe ngokwezibalo nezihlukanisekayo. I-KataOS inikeza inkundla evikeleke ngokuqinisekiswa evikela ubumfihlo bomsebenzisi ngoba ngokunengqondo akunakwenzeka ukuthi izinhlelo zokusebenza zephule ukuvikelwa kwezingxenyekazi zekhompyutha ze-kernel futhi izingxenye zesistimu zivikeleke ngokuqinisekisa. I-KataOS icishe isetshenziswe ngokuphelele ku-Rust, enikeza isiqalo esiqinile sokuphepha kwesofthiwe ngokususa zonke izigaba zeziphazamisi, njengamaphutha owodwa kanye nokuchichima kwebhafa.
I-Google iphinde yenze isithenjwa se-KataOS esibizwa nge-Sparrow. Isizathu sikaSparrow siwukuveza ngokugcwele uhlelo lwendawo ephephile.
Sebenzisa i-KataOS ngenkundla yehadiwe evikelekile, njengoba undlunkulu uhlanganisa impande ephephe ngokusobala yokwethenjwa eyakhiwe nge-OpenTitan ekwakhiweni kwe-RISC-V. Lokhu kwengeza umnyombo wesistimu yokusebenza evikelekile. Nokho, ekukhishweni kokuqala kwe-KataOS, i-Google ihlose ukusebenzisa ukulingisa kwe-QEMU. Uzosebenzisa lokhu kulingisa ukuze usebenzise uhlelo olujwayelekile lwe-64-bit ARM.
Okokugcina Kulabo abanentshisekelo, kufanele bakwazi lokho iphrojekthi ibekwe ngaphakathi GitHub futhi njengamanje inqolobane ihlanganisa izingxenye eziningi ezinkulu ye-KataOS, okuhlanganisa nezinhlaka esizisebenzisela i-Rust (ezifana ne-sel4-sys, ehlinzeka nge-seL4 call APIs), enye iseva yempande ebhalwe nge-Rust (edingekayo ekulawuleni inkumbulo eguquguqukayo yesistimu), kanye nokuguqulwa kwe-kernel ku-seL4 engabuyisa inkumbulo esetshenziswe iseva yempande.
Ungavakashela inqolobane yephrojekthi ku isixhumanisi esilandelayo.