CHERIoT, ikhtiyaarka MS ee amniga nidaamyada ku-xidhan
Warkaas ayaa goor dhow soo baxay Microsoft waxay furtay horumarka la xidhiidha mashruuca CHERIoT (Kordhinta Awooda Hardware ilaa RISC-V ee Internetka Waxyaabaha), loogu talagalay in lagu xannibo arrimaha amniga ee C iyo C++ code jira. CHERIoT waxay bixisaa xal si loo ilaaliyo saldhigyada code C/C++ ee jira iyada oo aan dib loo soo celin.
Ilaalinta waxaa lagu fuliyaa iyadoo la isticmaalayo iskuduwe la beddelay kaas oo adeegsada hab gaar ah oo la dheereeyey oo tilmaamo processor-ku bixiyo (ISA) oo uu bixiyo processor-ku oo la socda gelitaanka xusuusta ee heerka hardware, ku xaqiijiya saxnaanta shaqada ee tilmaamayaasha, oo bixisa go'doominta koodka.
Ku saabsan CHERIOT
Mashruuca waxaa la abuuray iyadoo la fahamsan yahay in dabeecadda heerka hoose ee luqadda C waxay noqotaa isha khaladaadka xusuusta, taas oo u horseedda dhibaatooyin sida qulqulka qulqulka, Helitaanka xusuusta oo hore loo xoreeyay, tilmaan-qaadista ama xoraynta labanlaab.
Dhaqanku wuxuu muujinayaa in xitaa shirkadaha waaweyn sida Google iyo Microsoft, kuwaas oo leh siyaasad dib-u-eegis adag oo isbeddel ah oo adeegsada hababka horumarinta casriga ah iyo aaladaha falanqaynta, aysan dammaanad qaadi karin khalad la'aanta ku shaqeynta xusuusta (tusaale, qiyaastii 70% dayacanka Microsoft iyo Google waxaa keena maaraynta xusuusta oo aan sugnayn).
Dhibaatada Waxaa lagu xalin karaa iyadoo la isticmaalayo luuqadaha barnaamijka ee dammaanad qaadaya shaqo ammaan ah.ama xusuusta ama isku xirka leh kontaroolo dheeri ah, tusaale ahaan, adoo isticmaalaya MiraclePtr (raw_ptr) halkii aad ka isticmaali lahayd tilmaamo caadi ah, kaas oo sameeya kontaroolo dheeri ah si loo galo meelaha xusuusta xorta ah.
Laakiin hababka noocan oo kale ah ayaa aad ugu haboon code cusub y aad bay u dhib badan tahay in dib loo shaqeeyo mashaariicda C/C++ ee jira, gaar ahaan haddii loogu talagalay inay ku shaqeeyaan deegaanno kheyraadku xaddidan yahay, sida nidaamyada ku-xidhan iyo aaladaha IoT.
ka Qaybaha qalabka CHERIoT waxaa loo nashqadeeyay sidii microcontroller oo ku salaysan qaab dhismeedka RISC-V, hirgelinta naqshadaha processor-ka sugan ee CHERI (Capacity Hardware Extension for RISC-V), siinta moodeel gelitaanka xusuusta la kontoroolo.
Ku saleysan tilmaamaha qaab dhismeedka (WAA) Waxaa lagu bixiyaa CHERIoT, qaab barnaamijeed ayaa la dhisay kaas oo dammaanad qaadaya amniga la shaqaynta xusuusta ee heerka shayada gaarka ah, waxay siisaa ka-hortagga helitaanka xusuusta hore loo xoreeyay, oo fulisa nidaam gooni-gooni ah oo fudud oo gelitaanka xusuusta.
Qaabkan ilaalinta barnaamijku waxa uu si toos ah u milicsanayaa qaabka luqadda C/C++, taas oo u oggolaanaysa in loo isticmaalo si loo ilaaliyo codsiyada jira (ku-soo-ururinta iyo ku shaqaynta ISA CHERIoT-qalabka u hoggaansan oo keliya ayaa loo baahan yahay) .
Xalka la soo jeediyay wuxuu ogolaanayaa in la xannibo khaladaadka keena xuduudaha shay ee xusuusta, ma ogola in la beddelo tilmaame (dhammaan tilmaamayaasha waa in laga soo saaraa tilmaamayaasha jira), waxay kormeeraan gelitaanka xusuusta ka dib marka la sii daayo (meel kasta oo xusuusta ah ee tilmaame xun ama tilmaame tixraacaya shay la furay ayaa kor u qaadaya wax ka reeban).
Tusaale ahaan, adeegsiga CHERIoT waxay ogolaataa, iyada oo aan la samaynin wax isbeddel ah, si loo hirgeliyo hubinta xuduudaha tooska ah, la socoshada cimriga meelaha xusuusta, iyo in la hubiyo daacadnimada tilmaamayaasha qaybaha ka shaqeeya xogta aan la isku halayn karin.
Mashruuca waxaa ka mid ah qeexitaan loogu talagalay qaab dhismeedka habraaca CHERIoT ee tilmaamaha fidinta, tixraaca hirgelinta ISA CHERIoT-ku-dhaqanka 32-bit RISC-V CPU, iyo qalab LLVM ah oo la beddelay.
Finalmente Haddii aad xiisaynayso inaad waxbadan ka ogaato, waa inaad ogaataa in jaantusyada prototype Sharaxaadaha CPU iyo qalabka qalabka ee Verilog waxaa lagu qaybiyaa shatiga Apache 2.0. Xudunta Ibex ee mashruuca lowRISC waxa loo istcimaalay aasaaska CPU iyo qaabka koodhka CHERIoT ISA waxaa lagu qeexay luqadda Sail waxaana lagu qaybiyaa shatiga BSD.
Intaa waxaa dheer, nooc ah CHERIoT RTOS nidaamka hawlgalka waqtiga-dhabta ah ayaa la soo jeediyay, kaas oo siiya awoodda lagu go'doomiyo qolalka (qol) xitaa nidaamyada kuxiran ee leh 256 MB ee RAM.
Koodhka CHERIOT RTOS Waxay ku qoran tahay C++ waxaana lagu qaybiyaa shatiga MIT. Qaabka qolalka, qaybaha aasaasiga ah ee nidaamka hawlgalka, sida bootloader, jadwaleeyaha, iyo nidaamka qoondaynta xusuusta, ayaa loo qaabeeyey.