Google dia nanambara ny fahitana ny fivoarana mifandraika amin'ny tetikasa KataOS, mikendry ny hamorona rafitra fiasana azo antoka ho an'ny hardware tafiditra. Ny singa rafitra KataOS dia nosoratana tamin'ny Rust ary mihazakazaka eo an-tampon'ny microkernel seL4, izay nanomezana porofo ara-matematika momba ny fahamendrehana amin'ny rafitra RISC-V, izay manondro fa ny fehezan-dalàna dia mifanaraka tanteraka amin'ny fepetra voafaritra amin'ny fiteny ofisialy. Ny kaody tetikasa dia misokatra eo ambanin'ny lisansa Apache 2.0.
Ny rafitra dia manome fanohanana ireo sehatra mifototra amin'ny maritrano RISC-V sy ARM64. Mba hanahafana ny fiasan'ny seL4 sy ny tontolo iainana KataOS eo an-tampon'ny fitaovana, dia ampiasaina mandritra ny dingana fampandrosoana ny rafitra Renode. Amin'ny maha-fampiharana reference azy dia aroso ny komplex software sy hardware Sparrow, manambatra ny KataOS miaraka amin'ny chips azo antoka miorina amin'ny sehatra OpenTitan. Ny vahaolana natolotra dia ahafahanao manambatra kernel rafitra fiasa voamarina ara-lojika miaraka amin'ireo singa hardware azo itokisana (RoT, Root of Trust), namboarina tamin'ny alàlan'ny sehatra OpenTitan sy ny maritrano RISC-V. Ho fanampin'ny kaody KataOS, nokasaina hanokatra ny singa Sparrow hafa rehetra, anisan'izany ny singa fitaovana, amin'ny ho avy.
Ny sehatra dia novolavolaina miaraka amin'ny maso amin'ny fampiharana amin'ny chips manokana natao hampandehanana ny fampiharana amin'ny fianarana milina sy ny fanodinana fampahalalana tsiambaratelo, izay mitaky fiarovana manokana sy fanamafisana ny tsy fisian'ny tsy fahombiazana. Ohatra amin'ny fampiharana toy izany dia ahitana rafitra manodinkodina ny sarin'olona sy firaketana feo. Ny fampiasana ny fanamarinana azo itokisana ataon'ny KataOS dia miantoka fa raha tsy mahomby ny ampahany iray amin'ny rafitra, dia tsy hiparitaka amin'ny rafitra hafa ny tsy fahombiazana ary indrindra indrindra amin'ny kernel sy ny ampahany manan-danja.
Ny maritrano seL4 dia misongadina amin'ny fifindran'ny ampahany amin'ny fitantanana ny loharanon-karena kernel ao amin'ny habaka mpampiasa sy ny fampiharana ireo fitaovana fanaraha-maso ny fidirana ho an'ny loharano toy ny ho an'ny loharanon'ny mpampiasa. Ny microkernel dia tsy manome abstractions avo lenta efa vita ho an'ny fitantanana ny rakitra, ny fizotrany, ny fifandraisana amin'ny tambajotra, sy ny toy izany; fa kosa, dia manome mekanika kely fotsiny amin'ny fanaraha-maso ny fidirana amin'ny habaka adiresy ara-batana, ny fiatoana ary ny loharanon'ny processeur. Ny abstractions avo lenta sy ny mpamily amin'ny fifandraisana amin'ny fitaovana dia ampiharina misaraka eo an-tampon'ny microkernel amin'ny endrika asa amin'ny mpampiasa. Ny fidirana amin'ny asa toy izany amin'ny loharanon'ny microkernel dia voalamina amin'ny alàlan'ny famaritana ny fitsipika.
Ho fiarovana fanampiny, ny singa rehetra afa-tsy ny microkernel dia novolavolaina tany amin'ny Rust amin'ny fampiasana teknika fandaharana azo antoka izay manamaivana ny hadisoana fitadidiana izay miteraka olana toy ny fidirana amin'ny fitadidiana aorian'ny fanafahana, ny tsy fahampian'ny pointer tsy misy dikany ary ny fihoaram-pefy. Mpitondra fampiharana ao amin'ny tontolo seL4, serivisy rafitra, rafitra ho an'ny fampivoarana fampiharana, API ho an'ny fidirana amin'ny antson'ny rafitra, mpitantana ny fizotrany, mekanika ho an'ny fizarana fahatsiarovana mavitrika, sns. Ny fivoriambe voamarina dia mampiasa ny fitaovana CAmkES, novolavolain'ny tetikasa seL4. Ny singa ho an'ny CAmkES dia azo noforonina ao amin'ny Rust.
Ny harafesina dia manery ny fiarovana ny fitadidiana amin'ny fotoana fanangonana amin'ny alàlan'ny fanamarinana reference, ny fananana zavatra ary ny fanaraha-maso mandritra ny androm-piainana (scopes), ary amin'ny fanombanana ny fahamarinan'ny fidirana amin'ny fitadidiana amin'ny fotoana fandehanana. Ny harafesina koa dia manome fiarovana amin'ny fihoaran'ny integer, mitaky ny sanda miovaova hatomboka alohan'ny hampiasana azy, mampiasa ny foto-kevitry ny references sy variables tsy azo ovaina amin'ny alàlan'ny default, ary manolotra fanoratana static mahery mba hampihenana ny lesoka lojika.
Source: opennet.ru