CHERIOT, sarudzo yeMS yekuchengetedzwa kwemasisitimu akaiswa
Nyaya ichangobva kubuda iyoyo Microsoft yakavhura zviitiko zvine chekuita neCHERIoT chirongwa (Kugona Hardware Kuwedzera kune RISC-V yeInternet yezvinhu), chinangwa chekuvhara nyaya dzekuchengetedza muC uye C ++ kodhi aripo. CHERIOT inopa mhinduro yekudzivirira iripo C/C++ kodhi mabhesi pasina kuita refactor.
Kudzivirirwa kunoitwa nekushandisa yakagadziridzwa compiler iyo inoshandisa yakakosha yakawedzera seti ye processor mirairo (ISA) yakapihwa ne processor uye inotarisisa ndangariro kupinda padanho rehardware, inosimbisa kurongeka kwebasa nemanongedzo, uye inopa kodhi block block.
About CHERIOT
Iyo purojekiti yakasikwa nekunzwisisa kuti yakaderera-chikamu chimiro chemutauro weC inova sosi yekukanganisa kwendangariro, izvo zvinotungamira kumatambudziko senge buffer mafashama, kupinda mundangariro kwatosunungurwa kare, pointer dereferencing kana kusunungura kaviri.
Kudzidzira kunoratidza kuti kunyange makambani makuru akaita seGoogle neMicrosoft, ane shanduko yakasimba yekuongorora mutemo uye anoshandisa nzira dzechizvino-zvino dzekusimudzira uye maturusi ekuongorora, haagone kuvimbisa kushanda pasina kukanganisa nendangariro (semuenzaniso, ingangoita 70% yekusagadzikana muMicrosoft neGoogle. kukonzerwa nekusachengeteka ndangariro manejimendi).
Dambudziko Inogona kugadziriswa nekushandisa programming mitauro inovimbisa basa rakachengeteka.kana nendangariro kana zvinongedzo zvine zvimwe zvinodzora, semuenzaniso, nekushandisa MiraclePtr (raw_ptr) pachinzvimbo chezvinonongedza zvinongedzo, izvo zvinoita zvimwe zvinodzora kuti uwane nzvimbo dzakasunungurwa dzendangariro.
Asi nzira dzakadaro dzakanyanya kukodzera kodhi itsva y zvinonetsa kugadzirisa zvakare mapurojekiti eC / C ++ aripo, kunyanya kana ivo vachiitirwa kumhanya munzvimbo dzakadzvanywa-zviwanikwa, senge akaiswa masisitimu uye maIoT zvishandiso.
ari CHERIOT hardware zvikamu zvakagadzirirwa se microcontroller zvichibva paRISC-V dhizaini, kushandisa yakachengeteka processor architecture CHERI (Capacity Hardware Extension yeRISC-V), ichipa inodzorwa memory yekuwana modhi.
Maererano ne iwo kuraira kwakamiswa kuvaka (ISA) Yakapihwa muCHERIoT, modhi yehurongwa inovakwa iyo inovimbisa kuchengetedzeka kwekushanda nendangariro padanho rezvinhu zvega, inopa dziviriro kubva mukusvika kune yakatosunungurwa ndangariro, uye inoshandisa yakareruka yekuzviparadzanisa nevamwe system yekuwana ndangariro.
Iyi programmatic yekudzivirira modhi inoratidzira yakananga C/C ++ mutauro modhi, ichiibvumira kuti ishandiswe kuchengetedza iripo maapplication (kudzosera uye kushanda paISA CHERIOT-inoenderana hardware inongodiwa).
Mhinduro yakarongwa inobvumira kuvharira kukanganisa kunokonzera kunze kwemiganhu yechinhu mundangariro, haibvumire chinongedzo chinotsiva (zvese zvinongedzo zvinofanirwa kugadzirwa kubva kune zviripo zvinongedzo), inotarisisa kuwana ndangariro mushure mekusunungura (chero ndangariro kuwana neinongedzo yakaipa kana chinongedzo chinonongedza chinhu chakasunungurwa chinomutsa musiyano).
Semuenzaniso, kushandiswa kweCHERIoT kunobvumira, pasina kuita chero shanduko kune kodhi, kuita otomatiki muganhu wekutarisa, kuronda hupenyu hwenzvimbo dzekurangarira, uye kuve nechokwadi chekutendeseka kweanongedza muzvikamu zvinogadzira data risingavimbike.
Iyo purojekiti inosanganisira yakatarwa yeCHERIoT yekuraira set architecture kuwedzera, kushandiswa kwereferensi kweISA CHERIoT-inoenderana 32-bit RISC-V CPU, uye yakagadziridzwa LLVM turusi.
Finalmente Kana iwe uchifarira kuziva zvakawanda nezvazvo, unofanira kuziva kuti prototype diagrams CPU uye hardware block tsananguro muVerilog inogoverwa pasi peiyo Apache 2.0 rezinesi. Iyo Ibex musimboti weiyo yakadereraRISC purojekiti inoshandiswa sehwaro hweCPU uye iyo CHERIoT ISA kodhi modhi inotsanangurwa mumutauro weSail uye yakagoverwa pasi perezinesi reBSD.
Pamusoro pezvo, prototype yeCHERIoT RTOS chaiyo-nguva yekushandisa system inokurudzirwa, iyo inopa kugona kuparadzanisa macompartments (compartment) kunyangwe pane akaiswa masisitimu ane 256 MB ye RAM.
Iyo kodhi CHERIOT RTOS Yakanyorwa muC ++ uye yakagoverwa pasi peMIT rezenisi. Muchimiro chemakamuri, izvo zvakakosha zveiyo inoshanda sisitimu, senge bootloader, scheduler, uye memory allocation system, inogadzirwa.