Bemutat\u00e1sra ker\u00fclt a CHERIoT 1.0 szoftver- \u00e9s hardverplatform v\u00e9gleges specifik\u00e1ci\u00f3ja (Capability Hardware Extension to RISC-V az Internet of Things sz\u00e1m\u00e1ra), amely meghat\u00e1rozza a parancssor (ISA) kiterjeszt\u00e9s\u00e9t biztons\u00e1gos eszk\u00f6z\u00f6k l\u00e9trehoz\u00e1s\u00e1hoz. A CHERIoT hardveres lehet\u0151s\u00e9geket biztos\u00edt a mem\u00f3ria hozz\u00e1f\u00e9r\u00e9s\u00e9nek nyomon k\u00f6vet\u00e9s\u00e9re, a mutat\u00f3k helyess\u00e9g\u00e9nek ellen\u0151rz\u00e9s\u00e9re \u00e9s a k\u00f3dblokkok elszigetelts\u00e9g\u00e9nek biztos\u00edt\u00e1s\u00e1ra. Ezzel egy id\u0151ben megjelent a CHERIoT ISA referenciaform\u00e1lis modellj\u00e9nek stabil verzi\u00f3ja, amely a Sail nyelven van defini\u00e1lva. A projekt fejleszt\u00e9sei BSD licenc alatt ker\u00fclnek terjeszt\u00e9sre. <\/p>\n
A CHERIoT projektet a Microsoft hozta l\u00e9tre a C \u00e9s C++ nyelveken \u00edrt megl\u00e9v\u0151 k\u00f3dok biztons\u00e1gi probl\u00e9m\u00e1inak megold\u00e1s\u00e1ra, valamint az ilyen k\u00f3dok v\u00e9delm\u00e9re a jelent\u0151s \u00e1tdolgoz\u00e1s n\u00e9lk\u00fcl. A v\u00e9delem egy m\u00f3dos\u00edtott ford\u00edt\u00f3 alkalmaz\u00e1s\u00e1val val\u00f3sul meg, amely kib\u0151v\u00edtett parancssort (ISA) haszn\u00e1l a mutat\u00f3k integrit\u00e1s\u00e1nak biztos\u00edt\u00e1sa, a mem\u00f3riahat\u00e1rok ellen\u0151rz\u00e9se \u00e9s az felszabad\u00edtott mem\u00f3ria el\u00e9r\u00e9s\u00e9nek megakad\u00e1lyoz\u00e1sa \u00e9rdek\u00e9ben. 2023-ban a CHERIoT fejleszt\u00e9seit nyilv\u00e1noss\u00e1gra hozt\u00e1k \u00e9s egy\u00fcttm\u0171k\u00f6d\u00e9si projektt\u00e9 alak\u00edtott\u00e1k, amelyhez m\u00e1s c\u00e9gek is csatlakoztak. <\/p>\n
A CHERIoT hardverelemei egy RISC-V architekt\u00far\u00e1ra alapozott mikrokontroller form\u00e1j\u00e1ban val\u00f3sulnak meg, amely a CHERI (Capability Hardware Extension to RISC-V) v\u00e9dett processzorarchitekt\u00far\u00e1j\u00e1t val\u00f3s\u00edtja meg, mem\u00f3ri\u00e1hoz val\u00f3 hozz\u00e1f\u00e9r\u00e9s ir\u00e1ny\u00edt\u00e1si modellj\u00e9vel, amely \"capability\" alap\u00fa (minden olvas\u00e1si \u00e9s \u00edr\u00e1si m\u0171velet mem\u00f3ri\u00e1ban enged\u00e9lyezett). A CHERIoT \u00e1ltal biztos\u00edtott utas\u00edt\u00e1sk\u00e9szlet (ISA) alapjain egy szoftveres modell k\u00e9sz\u00fclt, amely garant\u00e1lja a mem\u00f3riabiztons\u00e1got az egyes objektumok szintj\u00e9n, \u00f3vva a m\u00e1r felszabad\u00edtott mem\u00f3ria el\u00e9r\u00e9s\u00e9t\u0151l, \u00e9s megval\u00f3s\u00edt egy k\u00f6nny\u0171s\u00faly\u00fa mem\u00f3ri\u00e1hoz val\u00f3 hozz\u00e1f\u00e9r\u00e9s elk\u00fcl\u00f6n\u00edt\u00e9si rendszert. <\/p>\n
A megadott v\u00e9delmi programmodell k\u00f6zvetlen\u00fcl t\u00fckr\u00f6z\u0151dik a C\/C++ nyelvi modellen, ami lehet\u0151v\u00e9 teszi annak alkalmaz\u00e1s\u00e1t megl\u00e9v\u0151 alkalmaz\u00e1sokhoz, amelyekn\u00e9l mind\u00f6ssze \u00fajra kell ford\u00edtani \u00e9s futtatni kell olyan hardveren, amely t\u00e1mogatja az ISA CHERIoT-ot. P\u00e9ld\u00e1ul a CHERIoT alkalmaz\u00e1sa lehet\u0151v\u00e9 teszi a keretek automatikus ellen\u0151rz\u00e9s\u00e9nek, a mem\u00f3ria-ter\u00fcletek \u00e9letciklus\u00e1nak nyomon k\u00f6vet\u00e9s\u00e9t \u00e9s a mutat\u00f3k integrit\u00e1s\u00e1nak biztos\u00edt\u00e1s\u00e1t a megb\u00edzhatatlan adatokat kezel\u0151 komponensekben, a k\u00f3d m\u00f3dos\u00edt\u00e1sa n\u00e9lk\u00fcl. <\/p>\n
A CHERIoT alkalmaz\u00e1s\u00e1val blokkolt probl\u00e9m\u00e1k k\u00f6z\u00e9 tartozik: <\/p>\n
A specifik\u00e1ci\u00f3 \u00e9s a form\u00e1lis modell mellett a projekt egy 32 bites RISC-V CPU Ibex referencia-implement\u00e1ci\u00f3j\u00e1t is fejleszti, amely t\u00e1mogatja az ISA CHERIoT-ot, valamint egy m\u00f3dos\u00edtott LLVM eszk\u00f6zk\u00e9szletet. A CPU protot\u00edpus\u00e1nak s\u00e9m\u00e1i \u00e9s a hardverblokkok le\u00edr\u00e1sai Verilog nyelven, Apache 2.0 licenc alatt terjesztve tal\u00e1lhat\u00f3k. Az Ibex mag alapja a lowRISC projekt magja. A CHERIoT Ibex alapj\u00e1n ICENI chipek t\u00f6meggy\u00e1rt\u00e1sa k\u00e9sz\u00fcl, amelyek \u00e9rt\u00e9kes\u00edt\u00e9se a k\u00f6vetkez\u0151 \u00e9vre v\u00e1rhat\u00f3. Ezen k\u00edv\u00fcl a Microsoft egy Kudu mikrokontroller kifejleszt\u00e9s\u00e9n dolgozik, amely t\u00e1mogatja az ISA CHERIoT-ot. Az Ibex \u00e9s Kudu m\u00e1r teljes m\u00e9rt\u00e9kben t\u00e1mogatj\u00e1k a CHERIoT 1.0 specifik\u00e1ci\u00f3t. A CHERI-kiterjeszt\u00e9sek RISC-V processzorok sz\u00e1m\u00e1ra t\u00f6rt\u00e9n\u0151 standardiz\u00e1l\u00e1s\u00e1n dolgoznak a RISC-V International szervezeten bel\u00fcl. <\/p>\n
Tov\u00e1bb\u00e1, egy FPGA alap\u00fa platform emul\u00e1tor \u00e9s egy Docker kont\u00e9ner is fejleszt\u00e9s alatt \u00e1ll a fejleszt\u0151k sz\u00e1m\u00e1ra, el\u0151re telep\u00edtett eszk\u00f6zk\u00e9szlettel \u00e9s a CPU Ibex szimul\u00e1torral, amelyet Verilator seg\u00edts\u00e9g\u00e9vel val\u00f3s\u00edtottak meg. A CHERIoT alapj\u00e1n egy val\u00f3s idej\u0171 oper\u00e1ci\u00f3s rendszer protot\u00edpusa is elk\u00e9sz\u00fclt, a CHERIoT RTOS, amely lehet\u0151v\u00e9 teszi a compartmentek (compartment) elszigetel\u00e9s\u00e9t m\u00e9g 256 MB RAM-mal rendelkez\u0151 be\u00e1gyazott rendszereken is. A CHERIoT RTOS k\u00f3dja C++ nyelven \u00edr\u00f3dott \u00e9s MIT licenc alatt terjesztik. Az oper\u00e1ci\u00f3s rendszer alapvet\u0151 komponensei, mint p\u00e9ld\u00e1ul bootloader, \u00fctemez\u0151 \u00e9s mem\u00f3riaeloszt\u00f3, compartmentk\u00e9nt vannak kialak\u00edtva. <\/p>\n