Google ya sanar da gano abubuwan ci gaba da suka shafi aikin KataOS, da nufin ƙirƙirar amintaccen tsarin aiki don na'urorin da aka haɗa. An rubuta sassan tsarin KataOS a cikin Rust kuma suna gudana a saman seL4 microkernel, wanda aka ba da tabbacin ilimin lissafi akan tsarin RISC-V, yana nuna cewa lambar ta cika cikakkun ƙayyadaddun ƙayyadaddun da aka ƙayyade a cikin harshe na yau da kullum. Lambar aikin tana buɗe ƙarƙashin lasisin Apache 2.0.
Tsarin yana ba da tallafi ga dandamali dangane da gine-ginen RISC-V da ARM64. Don daidaita aikin seL4 da yanayin KataOS a saman kayan aikin, ana amfani da tsarin Renode yayin aiwatar da haɓakawa. A matsayin aiwatar da tunani, ana ba da shawarar software na Sparrow da hadaddun kayan masarufi, haɗa KataOS tare da amintattun kwakwalwan kwamfuta dangane da dandalin OpenTitan. Maganin da aka gabatar yana ba ku damar haɗa kernel ɗin tsarin aiki mai ma'ana tare da amintattun kayan aikin kayan aiki (RoT, Tushen Amincewa), wanda aka gina ta amfani da dandamali na OpenTitan da gine-ginen RISC-V. Baya ga lambar KataOS, an shirya buɗe duk sauran abubuwan Sparrow, gami da bangaren kayan masarufi, a nan gaba.
Ana haɓaka dandalin tare da sanya ido a cikin kwakwalwan kwamfuta na musamman da aka tsara don gudanar da aikace-aikacen don koyon injin da sarrafa bayanan sirri, waɗanda ke buƙatar matakin kariya na musamman da tabbatar da rashin gazawa. Misalan irin waɗannan aikace-aikacen sun haɗa da tsarin da ke sarrafa hotunan mutane da rikodin murya. Amfani da KataOS na tabbatar da aminci yana tabbatar da cewa idan wani ɓangare na tsarin ya gaza, gazawar ba za ta yada zuwa sauran tsarin ba kuma, musamman, ga kernel da sassa masu mahimmanci.
Gine-ginen seL4 sananne ne don motsi sassa don sarrafa albarkatun kernel zuwa sararin mai amfani da amfani da kayan aikin sarrafa dama iri ɗaya don irin albarkatun kamar na albarkatun mai amfani. Microkernel baya samar da shirye-shiryen babban matakin abstractions don sarrafa fayiloli, matakai, haɗin yanar gizo, da makamantansu; maimakon haka, yana ba da mafi ƙarancin hanyoyin sarrafa damar shiga sararin adireshin jiki, katsewa, da albarkatun sarrafawa. Ana aiwatar da abstractions masu girma da direbobi don hulɗa tare da kayan aiki daban a saman microkernel a cikin nau'ikan ayyuka masu amfani. Samun damar irin waɗannan ayyuka zuwa albarkatun da ke samuwa ga microkernel an tsara su ta hanyar ma'anar dokoki.
Don ƙarin kariya, duk abubuwan da aka haɗa banda microkernel an haɓaka su ta asali a cikin Tsatsa ta amfani da amintattun dabarun shirye-shirye waɗanda ke rage kurakuran ƙwaƙwalwar ajiya waɗanda ke haifar da matsaloli kamar samun damar ƙwaƙwalwar ajiya bayan yantar da su, ɓarna mai nuni da ɓarna da ɓarna. Loader na aikace-aikacen a cikin yanayin seL4, sabis na tsarin, tsarin haɓaka aikace-aikacen, API don samun damar kiran tsarin, mai sarrafa tsari, tsarin raba ƙwaƙwalwar ajiya mai ƙarfi, da sauransu an rubuta su cikin Rust. Tabbataccen taro yana amfani da kayan aikin CAmkES, wanda aikin seL4 ya haɓaka. Hakanan ana iya ƙirƙirar abubuwan da aka haɗa don CAmkES a cikin Rust.
Tsatsa yana tilasta amincin ƙwaƙwalwar ajiya a lokacin tattara lokaci ta hanyar duba tunani, ikon mallakar abu da bin diddigin abu na rayuwa (scopes), da kuma kimanta daidaitattun hanyoyin samun ƙwaƙwalwar ajiya a lokacin aiki. Tsatsa kuma yana ba da kariya daga ambaliya mai lamba, yana buƙatar ƙididdige ƙididdiga masu canzawa kafin amfani da su, yana amfani da manufar nassoshi da masu canji ta hanyar tsohuwa, kuma yana ba da ƙarfi mai ƙarfi don rage kurakurai masu ma'ana.
source: budenet.ru