RISC-V yakasimbisa seL4 microkernel pane yavo RV64 processor

RISC-V Foundation yakazivisa kuti yakasimbisa mashandiro anoita microkernel seL4 mumasisitimu ane iwo kuraira kwakamiswa kuvaka RISC-V. Mairi nzira yekuongorora yakaderedzwa kusvika kune humbowo hwesvomhu hwekuvimbika kweL4, iyo inoratidza kutevedzera kuzere nezvinotsanangurwa mumutauro wakarongeka.

Kuvimbika kuyedzwa kunoita kuti seL4 ishandiswe mumishini yakaoma masisitimu akavakirwa paRISC-V processor RV64, iyo inoda mwero wepamusoro wekuvimbika uye haivimbise kutadza.

Vagadziri veSoftware vanomhanya pamusoro pe seL4 kernel vanogona kuva nechivimbo chakazara kuti kana zvikaitika kukundikana mune chimwe chikamu chehurongwa, kukundikana uku hakuzopararira kune iyo yese sisitimu uye, kunyanya, kune ayo akakosha zvikamu.

Nezve seL4

Iyo seL4 yekuvakisa inozivikanwa pakubvisa zvikamu kugadzirisa kernel zviwanikwa munzvimbo yemushandisi uye shandisa nzira imwechete yekudzora yekuwana zviwanikwa senge zviwanikwa zvevashandisi.

Iyo microkernel haipe zvinorehwa zvemhando yepamusoro yakatogadzirirwa kubata mafaera, maitiro, kubatana kwenetiweki, nezvimwe, asi panzvimbo pazvo chete inopa mashoma nzira dzekudzora kupinda kune yepanyama kero nzvimbo, inokanganisa, uye processor zviwanikwa.

Zvikwiriso zvepamusoro-soro uye madhiraivha ekudyidzana nekombuta anoitwa zvakasiyana pane iyo microkernel muchimiro chemabasa anoitwa padanho revashandisi.

Iko kuwana kwemabasa akadaro kune zviwanikwa zviripo mu microkernel zvakarongeka kuburikidza nedudziro yemitemo.

RISC-V inopa yakavhurika uye inochinja sisitimu yemirairo yemuchina iyo inobvumidza kugadzira microprocessors yekushandisa zvisirizvo, pasina kuda kubviswa uye pasina kuisa mamiriro ekushandisa.

RISC-V inokutendera iwe kuti ugadzire akazara akazara maSoC nema processor. Parizvino, pahwaro hwerisosi yeRISC-V, makambani akati wandei nenharaunda dziri pasi pemarezinesi emahara akasiyana (BSD, MIT, Apache 2.0) arikugadzira akasiyana siyana gumi nemaviri eakagadzirwa microprocessor cores, SoCs uye machipisi.

RISC-V rutsigiro ruripo kubva kuburitswa kweGlibc 2.27, binutils 2.30, gcc 7, uye iyo Linux 4.15 kernel.

Nezve iyo seL4 microkernel kuyedzwa

Pakutanga, iyo microkernel seL4 yakasimbiswa ye32-bit ARM processoruye gare gare kune x86 64-bit processor.

Izvo zvinoonekwa kuti kusanganiswa kweRISC-V yakavhurika Hardware dhizaini neakavhurika microkernel seL4 ichawana nhanho nyowani yekuchengetekasezvo zvigadzirwa zvehurmware mune ramangwana zvinogona zvakare kuverengerwa zvizere, izvo zvisingaite kuzadzikiswa kweyezvivakwa Hardware zvivakwa.

Kana isu tichitarisa seL4, isu tinofanirwa kufunga kuti Hardware iri kushanda nemazvo (ndokuti, sezvakatsanangurwa). Izvo zvinofungidzira kuti pane kusanzwisisika kududzirwa pakutanga, izvo zvisiri izvo kune ese Hardware. 

Asi kunyangwe iko kutsanangurwa kwakadai kuripo, uye kuri kwepamutemo (ndokuti, kunyorerwa muchimiro chemasvomhu chinotsigira kufunga kwemasvomhu nezvezvayo zvivakwa), tinoziva sei kuti inotora hunhu hwehardware? 

Chokwadi ndechekuti tinogona kuve nechokwadi chekuti hazvisi. Hardware haina kumbosiyana nesoftware nekuti ese ari maviri ngoro.

Asi kuve neakavhurika ISA kune zvakanakira izvo zvinopfuura kungoita zvemubhadharo. Imwe ndeyekuti inobvumidza yakavhurwa sosi Hardware kuitisa.

Kana uchitarisa seL4, zvinofungidzirwa kuti michina inoshanda sezvakaratidzwa uye iyo tsananguro inonyatsotsanangura hunhu hwechisimba, asi zvirizvo midziyo haina kukanganisa, iyo inonyatsoratidzwa nematambudziko anogara achisimuka mune ekufungidzira ekuuraya mashandiro .

Vhura mapuratifomu ehurdware kurerutsa kusangana kweshanduko zvine chekuita nekuchengetedzeka, semuenzaniso, kuvharira nzira dzese dzinobvinza kuburikidza nevechitatu-bato chiteshi, uko kuri kushanda zvakanyanya kubvisa dambudziko nehurongwa pane kuyedza kutsvaga mhinduro nesoftware.

Chekupedzisira, kana iwe uchida kuziva zvakawanda nezvazvo, unogona kutarisa chinyorwa mune inotevera chinongedzo.