{"id":147300,"date":"2025-11-04T23:11:54","date_gmt":"2025-11-04T21:11:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/programmno-apparatnaya-platforma-cheriot-1-0-dlya-povysheniya-bezopasnosti-koda-na-yazyke-si"},"modified":"2025-11-04T23:11:54","modified_gmt":"2025-11-04T21:11:54","slug":"programmno-apparatnaya-platforma-cheriot-1-0-dlya-povysheniya-bezopasnosti-koda-na-yazyke-si","status":"publish","type":"post","link":"https:\/\/prohoster.info\/et\/blog\/novosti-interneta\/programmno-apparatnaya-platforma-cheriot-1-0-dlya-povysheniya-bezopasnosti-koda-na-yazyke-si","title":{"rendered":"CHERIoT 1.0 riist- ja tarkvaraplatvorm C-koodi turvalisuse suurendamiseks.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Esitatud on CHERIoT 1.0 tarkvara-hardware platvormi l\u00f5plik spetsifikatsioon (Capability Hardware Extension to RISC-V for Internet of Things), mis m\u00e4\u00e4ratleb k\u00e4su komplekti (ISA) laiendamise kaitstud seadmete loomiseks. CHERIoT pakub riistvaralisi v\u00f5imalusi m\u00e4lu juurdep\u00e4\u00e4su j\u00e4lgimiseks, pointerite \u00f5iguse kontrollimiseks ja koodiplokkide isoleerimise tagamiseks. Samuti on avaldatud stabiilne versioon CHERIoT ISA formaalsest mudelist, mis on m\u00e4\u00e4ratletud keeles Sail. <\/p>\n
CHERIoT projekt loodi Microsofti poolt, et lahendada olemasoleva C ja C++ koodi turvaprobleeme ning kaitsta sarnast koodi ilma selle \u00fcmberkirjutamiseta. Kaitse toimub muudetud kompilaatori kaudu, mis kasutab laiemat protsessori k\u00e4su komplekti (ISA), et tagada pointerite terviklikkus, m\u00e4lu piiride kontroll ja vabastatud m\u00e4lu juurde p\u00e4\u00e4semise v\u00e4ltimine. 2023. aastal avati CHERIoTi arendused ning need muudeti koost\u00f6\u00f6projektiks, kuhu liitusid ka teised ettev\u00f5tted. <\/p>\n
CHERIoT-i riistvarakomponendid on kujundatud RISC-V arhitektuuri p\u00f5hjal mikrokontrollerina, mis rakendab kaitstud protsessori arhitektuuri CHERI (Capability Hardware Extension to RISC-V) koos m\u00e4luhaldusmudeliga, mis tugineb \"capability\"-le (igal m\u00e4lu lugemise ja kirjutamise operatsioonil on volitus). CHERIoT-i pakutava k\u00e4suarsenali (ISA) p\u00f5hjal on loodud tarkvaramudeli, mis tagab objekti tasemel m\u00e4lukaitse, ennetades juurdep\u00e4\u00e4su juba vabastatud m\u00e4lule ning rakendades kerget m\u00e4lus juurdep\u00e4\u00e4su isolatsioonis\u00fcsteemi. <\/p>\n
T\u00e4psemalt peegeldab antud kaitse tarkvaraline mudel C\/C++ keelmudelit, mis v\u00f5imaldab seda rakendada olemasolevates rakendustes, mille kaitsmiseks on vajalik vaid taaskompileerimine ja k\u00e4ivitamine seadmetes, mis toetavad CHERIoT ISA-d. N\u00e4iteks v\u00f5imaldab CHERIoT automaatset piiride kontrollimist, eluea j\u00e4lgimist m\u00e4lu aladel ja pointerite terviklikkuse tagamist usaldusv\u00e4\u00e4rsete andmete t\u00f6\u00f6tlemise komponentides, ilma koodis muudatusi tegemata. <\/p>\n
Lisaks spetsifikatsioonile ja formaalsele mudelile arendab projekt standardset teostust 32-bitise RISC-V CPU Ibex, mis toetab CHERIoT ISA-d, ja muudetud t\u00f6\u00f6riistade komplekti LLVM. CPU prototiibi skeemid ja riistvarakomponentide kirjeldused Verilog keeles on avatud Apache 2.0 litsentsi alusel. CPU aluseks on Ibex tuum lowRISC projektist. CHERIoT Ibex p\u00f5hjal valmistatakse massiliselt tootmiseks ICENI kiipe, mille m\u00fc\u00fcgi algus on planeeritud j\u00e4rgmiseks aastaks. Eraldi arendab Microsoft Kudu mikrokontrollerit, mis toetab CHERIoT ISA-d. Ibex ja Kudu toetavad juba t\u00e4ielikult CHERIoT 1.0 spetsifikatsiooni. T\u00f6\u00f6 CHERI laienduste standardimise nimel RISC-V protsessoritele toimub RISC-V International organisatsioonis. <\/p>\n
Lisaks arendatakse FPGA baasil platvormi emulaatorit ja Docker konteinerit arendajatele, millel on eelnevalt installitud t\u00f6\u00f6riistade komplekt ja Ibex CPU simulaator, mis on teostatud Verilator abil. Samuti on CHERIoT-i baasil loodud reaalajas operatsioonis\u00fcsteemi protot\u00fc\u00fcp CHERIoT RTOS, mis v\u00f5imaldab compartmentide isolatsiooni isegi 256 MB RAM-ga sisseehitatud s\u00fcsteemides. CHERIoT RTOS-i kood on kirjutatud C++ keeles ja on avatud MIT litsentsi alusel. OS-i p\u00f5hilised komponendid nagu laadija, planeerija ja m\u00e4lu jaotuss\u00fcsteem on kujundatud compartmentidena. <\/p>\n
Kompartiment CHERIoT RTOS-is on isoleeritud koodikombinatsioon ja globaalsete muutujate kogum, mis meenutab jagatud teeki, kuid erinevalt viimasest v\u00f5ib see muuta oma olekut (mutable) ja k\u00e4ivituda eraldi turvakontekstis. \u00dckski v\u00e4line kood ei saa edasi anda kontrolli kompartimendis olevale koodile ega p\u00e4\u00e4seda objektidele ligi, v\u00e4lja arvatud \u00fchendus spetsiaalselt m\u00e4\u00e4ratletud sisenemispunktide kaudu ja objektide kasutamine, mis on selgelt edastatud teise kompartimendi kutsumise ajal. Kompartimendis oleva koodi ja globaalsete objektide puhul tagatakse terviklikkus ja konfidentsiaalsus. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"