I-CHERIoT, inketho ye-MS yokuphepha kwamasistimu ashumekiwe
Lezi zindaba zisanda kuvela lokho I-Microsoft ivule intuthuko ehlobene nephrojekthi ye-CHERIoT (Isandiso se-Hardware Yamandla kuya ku-RISC-V ye-inthanethi Yezinto), okuhloswe ngayo ukuvimba izinkinga zokuphepha kukhodi ye-C ne-C++ ekhona. I-CHERIoT inikezela ngesixazululo sokuvikela izisekelo ezikhona zekhodi ye-C/C++ ngaphandle kokuzenza kabusha.
Ukuvikelwa kusetshenziswa kusetshenziswa inhlanganisela eguquliwe esebenzisa isethi ekhethekile enwetshiwe yemiyalo yephrosesa (ISA) enikezwe iphrosesa futhi iqaphe ukufinyelela kwememori ezingeni lehadiwe, iqinisekisa ukulunga komsebenzi ngezikhombisi, futhi inikeze ukuhlukaniswa kwekhodi yokuvimba.
Mayelana ne-CHERIOT
Le phrojekthi yadalwa ngokuqonda ukuthi imvelo yezinga eliphansi yolimi C iba umthombo wamaphutha enkumbulo, okuholela ezinkingeni ezifana nokuchichima kwe-buffer, ukufinyelela kumemori sekukhululiwe kakade, ukuhoxiswa kwesikhombi noma ukukhulula kabili.
Ukuzijwayeza kubonisa ukuthi ngisho nezinkampani ezinkulu ezifana ne-Google ne-Microsoft, ezinenqubomgomo yokubuyekeza eqinile futhi ezisebenzisa izindlela zesimanje zentuthuko namathuluzi okuhlaziya amile, azikwazi ukuqinisekisa ukusebenza okungenamaphutha ngenkumbulo (isibonelo, cishe u-70% wobungozi ku-Microsoft ne-Google. zibangelwa ukuphathwa kwenkumbulo okungavikelekile).
Inkinga Ingaxazululwa ngokusebenzisa izilimi zokuhlela eziqinisekisa umsebenzi ophephile.noma ngenkumbulo noma izixhumanisi ezinezilawuli ezengeziwe, isibonelo, ngokusebenzisa i-MiraclePtr (raw_ptr) esikhundleni sezinkomba ezivamile, esenza izilawuli ezengeziwe ukuze ufinyelele izindawo zememori ezikhululiwe.
Kodwa izindlela ezinjalo zifaneleka kakhulu ikhodi entsha y Kunzima kakhulu ukuvuselela amaphrojekthi akhona e-C/C++, ikakhulukazi uma kuhloswe ukuthi zisebenze ezindaweni ezinezisetshenziswa, njengezinhlelo ezishumekiwe namadivayisi e-IoT.
I-Los Izingxenye zehadiwe ze-CHERIoT zenzelwe isilawuli esincane ngokusekelwe esakhiweni se-RISC-V, sisebenzisa i-architecture yephrosesa evikelekile i-CHERI (Isandiso se-Capacity Hardware ye-RISC-V), ihlinzeka ngemodeli yokufinyelela inkumbulo elawulwayo.
Ngokusekelwe ku ukufundwa kusethwe ukwakhiwa (ISA) Kuhlinzekwe ku-CHERIoT, imodeli yokuhlela yakhiwe eqinisekisa ukuvikeleka kokusebenza ngenkumbulo ezingeni lezinto ezingazodwana, inikeza isivikelo ekufinyeleleni inkumbulo ekhululiwe kakade, futhi isebenzisa isistimu yokuhlukanisa engasindi ukuze ufinyelele inkumbulo.
Le modeli yokuvikela ewuhlelo ibukisa ngokuqondile imodeli yolimi lwe-C/C++, eyivumela ukuthi isetshenziselwe ukuvikela izinhlelo zokusebenza ezikhona (ukubuyisela futhi nokusebenza ngezingxenyekazi zekhompuyutha ezithobela i-ISA C++ ezidingeka kuphela) .
Isixazululo esihlongozwayo sivumela ukuvimba amaphutha abangela ukuphuma kwemingcele yento kumemori, ayikuvumeli ukushintshwa kwesikhombi (zonke izinkomba kufanele zenziwe kuzikhombi ezikhona), iqapha ukufinyelela kwememori ngemva kokukhulula (noma yikuphi ukufinyelela kwememori ngesikhombisi esibi noma isikhombisi esibhekisela entweni ekhululiwe kuphakamisa okuhlukile).
Isibonelo, ukusebenzisa i-CHERIoT kuvumela, ngaphandle kokwenza noma yiziphi izinguquko zekhodi, ukusebenzisa ukuhlola kwemingcele okuzenzakalelayo, ukulandelela isikhathi sokuphila sezindawo zenkumbulo, nokuqinisekisa ubuqotho bezinkomba ezingxenyeni ezicubungula idatha engathembekile.
Le phrojekthi ihlanganisa ukucaciswa kwesethi yezakhiwo ze-CHERIoT isandiso, ukusetshenziswa kwereferensi ye-ISA CHERIoT-ethobela i-32-bit RISC-V CPU, kanye nesethi yamathuluzi eguquliwe ye-LLVM.
Okokugcina Uma unesifiso sokwazi okwengeziwe ngakho, kufanele wazi ukuthi imidwebo ye-prototype I-CPU nezincazelo ze-hardware block ku-Verilog zisatshalaliswa ngaphansi kwelayisensi ye-Apache 2.0. Ingqikithi ye-Ibex yephrojekthi ephansi yeRISC isetshenziswa njengesisekelo se-CPU futhi imodeli yekhodi ye-CHERIoT ISA ichazwa ngolimi lwe-Sail futhi isatshalaliswa ngaphansi kwelayisensi ye-BSD.
Ukwengeza, kuhlongozwa isistimu yokusebenza yesikhathi sangempela ye-CHERIoT RTOS, enikeza ikhono lokuhlukanisa amakhompathimenti (igumbi) ngisho nasezinhlelweni ezishumekiwe ezino-256 MB we-RAM.
Ikhodi I-CHERIOT RTOS Ibhalwe ngo-C++ futhi isatshalaliswa ngaphansi kwelayisense ye-MIT. Ngendlela yamakhompathimenti, izingxenye eziyisisekelo zesistimu yokusebenza, njenge-boot loader, i-schedule, kanye nesistimu yokwabiwa kwememori, zenzelwe.