Google компаниясы KataOS операциялык тутумун ишке киргизгенин жарыялады, анын максаты орнотулган түзмөктөрдүн коопсуздук тутумун камсыз кылуу. Азыр айлана-чөйрөдөн маалыматты чогултуучу жана иштеткен көбүрөөк акылдуу аппараттар пайда болууда. Google'дун айтымында, бул түзмөктөр коопсуздук маселелерине көбүрөөк дуушар болушат.
Ошентип, орнотулган аппараттык камсыздоо үчүн бекем корголгон система болгон жөнөкөй чечимге муктаждык бар. Эгер сиз бизди курчап турган түзмөктөр маалыматтарды коопсуз сактаарын математикалык жактан далилдей албасаңыз, анда бул түйшүк. Себеби, алар чогулткан маалыматтар тышкы чабуулдарга дуушар болушу мүмкүн. Бул сүрөттөр, үн жазуулары, видеолор жана башка маалыматтар зыяндуу программа тарабынан уурдалышы мүмкүн дегенди билдирет. Бул Google KataOS киргизүүгө туура келген себеби болуп саналат.
Маалыматтарга ылайык, seL4 KataOS үчүн микро ядро катары тандалган. Бул коопсуз, купуя жана жеткиликтүү экени далилденген. Бүтүндүктүн деңгээли жогору жана колдонуучулар коргоого ишене алышат. seL4 CAmkES негизинин аркасында, KataOS ошондой эле аныкталган жана талданган система компоненттерин бере алат. KataOS ишенимдүү коопсуз системасын камсыз кылат. Бул колдонуучунун купуялыгын коргойт, анткени тиркемелер ядронун аппараттык коргоосун буза албайт. Мындан тышкары, системанын модулдары коопсуз экендиги текшерилген. Мындан тышкары, KataOS дээрлик толугу менен Rust боюнча ишке ашырылат. Бул бирден-бир мүчүлүштүктөр жана буфердик толуп кетүү сыяктуу каталардын бардык түрлөрүн жок кылган тил.
GitHub сайтында Google'дун KataOSтун алгачкы ачык булактуу версиясы пайда болду, анда KataOSтун негизги модулдарынын көбү камтылган:
- Rust үчүн алкактар (мисалы, sel4 syscall API менен камсыз кылган sel4 syscall)
- Rust тилинде жазылган альтернативдүү rootserver (динамикалык тутумдун эс тутумун башкаруу үчүн зарыл)
- Rootserver колдонгон эстутумду кайтаруу үчүн sel4 өзөгүн өзгөртүү.
Google ошондой эле Antmicro менен иштейт. Бул мамилелер GDB мүчүлүштүктөрүн оңдоого жана максаттуу жабдык үчүн Renode аркылуу эмуляцияга мүмкүндүк берет. Ички, KataOS ошондой эле динамикалык жүктөө жана үчүнчү жактын тиркемелерин ишке жөндөмдүү. Ал тургай, CAmkES алкагынан тышкары курулган программаларды иштетет. Учурда Githubдагы код бул колдонмолорду иштетүү үчүн керектүү модулдарды камтыбайт. Бирок, Google жакынкы келечекте бул операцияларды чыгарууга үмүттөнөт.
Google ошондой эле Sparrow деп аталган KataOS үчүн маалымдама ишке киргизди. Таранчыны түзүүнүн себеби - коопсуз чөйрө системасын толугу менен көрсөтүү. Бул коопсуз аппараттык платформа менен KataOS колдонот. Sparrow RISC-V архитектурасында OpenTitan менен курулган ишенимдин бекем корголгон тамырын камтыйт. Бул операциялык системанын коопсуз ядросуна кошумча болуп саналат. Бирок, KataOSтун алгачкы чыгарылышында Google QEMU эмуляциясын колдонууга ниеттенүүдө. Ал бул эмуляцияны стандарттуу 64 биттик ARM системасын иштетүү үчүн колдонот.
Сиз Украинага орус баскынчыларына каршы күрөшүүгө жардам бере аласыз. Мунун эң жакшы жолу - Украинанын Куралдуу күчтөрүнө каражат берүү Savelife же расмий баракчасы аркылуу NBU.
Ошондой эле кызыктуу: