Esht\u00eb prezantuar wersioni p\u00ebrfundimtar i specifikimit t\u00eb platform\u00ebs software-hardware CHERIoT 1.0 (Capability Hardware Extension to RISC-V p\u00ebr Internetin e Things), q\u00eb p\u00ebrcakton zgjerimin e setit t\u00eb komandave (ISA) p\u00ebr krijimin e pajisjeve t\u00eb sigurta. CHERIoT ofron mund\u00ebsi harduerike p\u00ebr ndjekjen e qasjes n\u00eb memorje, verifikimin e sakt\u00ebsis\u00eb n\u00eb pun\u00ebn me treguesit dhe sigurimin e izolimit t\u00eb blloqeve t\u00eb kodit. Nj\u00ebkoh\u00ebsisht, \u00ebsht\u00eb publikuar nj\u00eb version stabil i modelit formal referues CHERIoT ISA, i p\u00ebrcaktuar n\u00eb gjuh\u00ebn Sail. Zhvillimet e projektit shp\u00ebrndahen n\u00ebn licenc\u00ebn BSD. <\/p>\n
Projekti CHERIoT u krijua nga kompania Microsoft p\u00ebr t\u00eb adresuar problemet e siguris\u00eb n\u00eb kodin ekzistues n\u00eb gjuh\u00ebt C dhe C++ dhe p\u00ebr t\u00eb mbrojtur k\u00ebt\u00eb kod pa pasur nevoj\u00eb p\u00ebr ristrukturim. Mbrojtja realizohet p\u00ebrmes p\u00ebrdorimit t\u00eb nj\u00eb kompilatori t\u00eb modifikuar q\u00eb p\u00ebrdor nj\u00eb set t\u00eb zgjeruar t\u00eb komandeve procesorike (ISA) p\u00ebr t\u00eb siguruar integritetin e treguesve, kontrollin e kufijve gjat\u00eb pun\u00ebs me memorjen dhe parandalimin e qasjes n\u00eb memorjen e \u00e7liruar. N\u00eb vitin 2023, zhvillimet e CHERIoT u hap\u00ebn dhe u transformuan n\u00eb nj\u00eb projekt t\u00eb p\u00ebrbashk\u00ebt, n\u00eb t\u00eb cilin u bashkuan edhe kompani t\u00eb tjera. <\/p>\n
Komponent\u00ebt hardware t\u00eb CHERIoT jan\u00eb t\u00eb strukturuar si nj\u00eb mikroprocesor bazuar n\u00eb arkitektur\u00ebn RISC-V, duke realizuar nj\u00eb arkitektur\u00eb procesori t\u00eb mbrojtur CHERI (Capability Hardware Extension to RISC-V) me nj\u00eb model menyre t\u00eb kontrolluar p\u00ebr qasjen n\u00eb memorie t\u00eb bazuar n\u00eb \"capability\" (\u00e7do operacion i leximit dhe shkrimit n\u00eb memorie autorizohet). N\u00eb baz\u00eb t\u00eb arkitektur\u00ebs s\u00eb setit t\u00eb komandave (ISA) t\u00eb ofruar n\u00eb CHERIoT, \u00ebsht\u00eb nd\u00ebrtuar nj\u00eb model software q\u00eb garanton sigurin\u00eb e pun\u00ebs me memorien n\u00eb nivelin e objekteve t\u00eb ve\u00e7anta, duke ofruar mbrojtje nga qasja n\u00eb memorien tashm\u00eb t\u00eb liruar dhe duke realizuar nj\u00eb sistem t\u00eb leht\u00eb izolimi p\u00ebr qasjen n\u00eb memorie. <\/p>\n
Ky model software i mbrojtjes reflektohet drejtp\u00ebrdrejt n\u00eb modelin gjuh\u00ebsor C\/C++, q\u00eb lejon aplikimin e tij p\u00ebr aplikacione ekzistuese, p\u00ebr mbrojtjen e t\u00eb cilave k\u00ebrkohet vet\u00ebm rikompilimi dhe funksionimi n\u00eb pajisjet q\u00eb mb\u00ebshtetin ISA CHERIoT. P\u00ebr shembull, p\u00ebrdorimi i CHERIoT lejon realizimin e kontrollit automatik t\u00eb kufijve, ndjekjen e koh\u00ebzgjatjes s\u00eb zonave t\u00eb memorjes dhe sigurimin e integritetit t\u00eb treguesve n\u00eb komponent\u00ebt q\u00eb p\u00ebrpunojn\u00eb t\u00eb dh\u00ebna t\u00eb pa besueshme, pa pasur nevoj\u00eb p\u00ebr ndryshime n\u00eb kod. <\/p>\n
Mes problemeve q\u00eb bllokohen p\u00ebrmes CHERIoT: <\/p>\n
P\u00ebrve\u00e7 specifikimit dhe modelit formal, projekti zhvillon nj\u00eb zbatim referenc\u00eb t\u00eb CPU 32-bit RISC-V Ibex me mb\u00ebshtetje p\u00ebr ISA CHERIoT dhe mjet t\u00eb modifikuar LLVM. Skemat e prototipit t\u00eb CPU dhe p\u00ebrshkrimet e bllok\u00ebve hardware n\u00eb Verilog shp\u00ebrndahen n\u00ebn licenc\u00ebn Apache 2.0. Si baz\u00eb p\u00ebr CPU \u00ebsht\u00eb marr\u00eb b\u00ebrthama Ibex nga projekti lowRISC. N\u00eb baz\u00eb t\u00eb b\u00ebrtham\u00ebs CHERIoT Ibex, jan\u00eb p\u00ebrgatitur p\u00ebr prodhim masiv \u00e7ipat ICENI, sh\u00ebrbimi i t\u00eb cil\u00ebve \u00ebsht\u00eb planifikuar p\u00ebr vitin e ardhsh\u00ebm. Ve\u00e7mas, kompania Microsoft po zhvillon mikroprocesorin Kudu me mb\u00ebshtetje p\u00ebr ISA CHERIoT. Ibex dhe Kudu tashm\u00eb mb\u00ebshtesin plot\u00ebsisht specifikimin CHERIoT 1.0. Po punohet p\u00ebr standardizimin e zgjerimeve CHERI p\u00ebr procesor\u00ebt RISC-V n\u00eb organizat\u00ebn RISC-V International. <\/p>\n
P\u00ebr m\u00eb tep\u00ebr, zhvillohet nj\u00eb emulator i platform\u00ebs bazuar n\u00eb FPGA dhe nj\u00eb kontenier Docker p\u00ebr zhvilluesit me mjete t\u00eb parakonfiguruara dhe simulatorin e CPU Ibex, i implementuar p\u00ebrmes Verilator. P\u00ebr m\u00eb tep\u00ebr, n\u00eb baz\u00eb t\u00eb CHERIoT \u00ebsht\u00eb p\u00ebrgatitur nj\u00eb prototip i sistemit operativ n\u00eb koh\u00eb reale CHERIoT RTOS, q\u00eb ofron mund\u00ebsin\u00eb e izolimit t\u00eb kompartmenteve (compartment) madje edhe n\u00eb sisteme t\u00eb integruara me 256 MB RAM. Kodi i CHERIoT RTOS \u00ebsht\u00eb shkruar n\u00eb C++ dhe shp\u00ebrndahet n\u00ebn licenc\u00ebn MIT. Komponent\u00ebt themelor\u00eb t\u00eb OS jan\u00eb formatuar si kompartment\u00eb, si\u00e7 jan\u00eb bootloaderi, planifikuesi dhe sistemi i shp\u00ebrndarjes s\u00eb memories. <\/p>\n