I-CHERIoT, i-MS inketho yokhuseleko kwiinkqubo ezifakwe ngaphakathi
Kutshanje iindaba zavakala ukuba UMicrosoft uvule uphuhliso olunxulumene neprojekthi yeCHERIoT (Ukwandiswa kwe-Hardware yoMmandla kwi-RISC-V ye-Intanethi yezinto), ejoliswe ukuvala imiba yokhuseleko kwi-C kunye ne-C ++ ikhowudi ekhoyo. I-CHERIoT inikezela ngesisombululo sokukhusela iziseko zekhowudi ze-C / C ++ ezikhoyo ngaphandle kokuba ziphinde zenziwe kwakhona.
Ukhuseleko luphunyezwa ngokusebenzisa umqokeleli olungisiweyo esebenzisa iseti ekhethekileyo eyandisiweyo yemiyalelo yeprosesa (ISA) enikezelwa yiprosesa kwaye ijonge ukufikelela kwimemori kwinqanaba le-hardware, iqinisekisa ukuchaneka komsebenzi kunye nezikhombisi, kwaye inikezela ikhowudi yebhloko yokwahlula.
Malunga neCHERIOT
Le projekthi yadalwa ngokuqonda ukuba imo ephantsi yolwimi C iba ngumthombo weempazamo zememori, okukhokelela kwiingxaki ezifana nokuphuphuma kwesikhuseli, Ufikelelo kwinkumbulo esele ikhululwe, isalathisi sisusa ireferensi okanye sikhululo kabini.
Uqheliselo lubonisa ukuba neenkampani ezinkulu ezifana neGoogle kunye neMicrosoft, ezinomgaqo-nkqubo wokuhlaziya utshintsho olungqongqo kwaye zisebenzise iindlela zangoku zophuhliso kunye nezixhobo zokuhlalutya ezizinzileyo, azinakuqinisekisa ukusebenza ngokungenazimpazamo ngememori (umzekelo, malunga ne-70% yobuthathaka kwiMicrosoft kunye neGoogle. zibangelwa lulawulo olungakhuselekanga lwenkumbulo).
Ingxaki Inokusonjululwa ngokusebenzisa iilwimi zenkqubo eziqinisekisa umsebenzi okhuselekileyo.okanye ngememori okanye iikhonkco ezinolawulo olongezelelweyo, umzekelo, ngokusebenzisa i-MiraclePtr (raw_ptr) endaweni yezalathisi eziqhelekileyo, ezenza ulawulo olongezelelweyo ukufikelela kwiindawo zememori ekhululiwe.
Kodwa iindlela ezinjalo zifaneleke ngakumbi ikhowudi entsha y Kunzima ukuphinda usebenze iiprojekthi ezikhoyo zeC/C++, ngakumbi ukuba zijongwe ukuba ziqhube kwiindawo ezinobuncwane, ezifana neenkqubo ezidibeneyo kunye nezixhobo ze-IoT.
Los Izixhobo ze-hardware ze-CHERIoT ziyilwe njenge-microcontroller ngokusekelwe kwi-architecture ye-RISC-V, ukuphumeza i-architecture ekhuselekileyo yeprosesa ye-CHERI (I-Capacity Hardware Extension ye-RISC-V), ukubonelela ngemodeli yokufikelela kwimemori elawulwayo.
Ngenxa ye iseti yoyilo loyilo (YI) Ibonelelwe kwi-CHERIoT, imodeli yeprogram yakhiwe eqinisekisa ukhuseleko lokusebenza kunye nememori kwinqanaba lezinto ezizimeleyo, inika ukhuseleko malunga nokufikelela kwimemori esele ikhululiwe, kwaye isebenzise inkqubo yokuzihlukanisa elula yokufikelela kwimemori.
Le modeli yokhuseleko lwenkqubo izibuko ngokuthe ngqo imodeli yolwimi lweC / C ++, evumela ukuba isetyenziswe ukukhusela izicelo ezikhoyo (ukubuyisela kwakhona kunye nokusebenza kwi-ISA CHERIOT-ehambelana ne-hardware efunekayo kuphela) .
Isisombululo esicetywayo sivumela ukuvala iimpazamo ezibangela ukuphuma kwimida yento kwimemori, ayikuvumeli ukutshintshwa kwesalathisi (zonke izikhombisi kufuneka zenziwe kwizalathisi ezikhoyo), ijonge ukufikelela kwimemori emva kokukhulula (nakuphi na ukufikelela kwimemori ngesalathisi esibi okanye isalathisi esibhekiselele kwinto ekhululiwe iphakamisa okungafaniyo).
Ngokomzekelo, ukusebenzisa i-CHERIoT ivumela, ngaphandle kokwenza naluphi na utshintsho lwekhowudi, ukuphumeza ukujonga imida ngokuzenzekelayo, ukulandelela ixesha lokuphila kweendawo zememori, kunye nokuqinisekisa ukunyaniseka kwezikhombisi kumacandelo aqhuba idatha engathembekanga.
Le projekthi ibandakanya inkcazo yomyalelo weCHERIoT woyilo lwesakhiwo ulwandiso, ukuphunyezwa kwereferensi ye-ISA CHERIoT-ehambelana ne-32-bit RISC-V CPU, kunye nesetyenzisi esilungisiweyo se-LLVM.
Gqibela Ukuba unomdla wokwazi okungakumbi ngayo, kufuneka uyazi ukuba iprototype diagrams I-CPU kunye neenkcazo zebhloko ye-hardware kwi-Verilog zihanjiswa phantsi kwelayisensi ye-Apache 2.0. Undoqo we-Ibex weprojekthi ephantsi yeRISC isetyenziswa njengesiseko se-CPU kunye nemodeli yekhowudi ye-CHERIoT ISA ichazwe ngolwimi lweSail kwaye isasazwe phantsi kwelayisensi ye-BSD.
Ukongezelela, i-prototype ye-CHERIoT RTOS ye-real-time operating system iphakanyisiwe, enika amandla okuhlukanisa amacandelo (i-compartment) nakwiinkqubo ezifakwe kwi-256 MB ye-RAM.
Ikhowudi I-CHERIOT RTOS Ibhalwe kwi-C ++ kwaye ihanjiswa phantsi kwelayisenisi ye-MIT. Ngokwendlela yamacandelo, amacandelo asisiseko enkqubo yokusebenza, enjengomlayishi we-boot, umcwangcisi, kunye nenkqubo yokwabiwa kwememori, ziyilwe.