SeL4 microkernel imatsimikiziridwa ndi masamu pamapangidwe a RISC-V

RISC-V Foundation lipoti za kutsimikizira ntchito ya microkernel seL4 pamakina omwe ali ndi mapangidwe a RISC-V malangizo. Kutsimikizira kumatsikira ku umboni wa masamu kudalirika kwa ntchito ya seL4, yomwe imasonyeza kutsata kwathunthu ndi zomwe zafotokozedwa m'chinenero chovomerezeka. Umboni wodalirika amakulolani kugwiritsa ntchito seL4 mu machitidwe ofunikira kwambiri ozikidwa pa RISC-V RV64 processors omwe amafunikira kuchuluka kwa kudalirika ndikutsimikizira kusakhalapo kwa zolephera. Opanga mapulogalamu omwe akuyenda pamwamba pa seL4 kernel akhoza kukhala ndi chidaliro chonse kuti ngati pali kulephera mu gawo limodzi la dongosolo, kulephera kumeneku sikungafalikire ku dongosolo lonselo ndipo, makamaka, zigawo zake zovuta.

SeL4 microkernel poyamba idatsimikiziridwa kuti ndi 32-bit ARM processors, ndipo pambuyo pake 64-bit x86 processors. Zikudziwika kuti kuphatikiza kwa zomangamanga zotseguka za RISC-V ndi microkernel yotseguka ya seL4 idzakwaniritsa chitetezo chatsopano, popeza zigawo za hardware zingathenso kutsimikiziridwa mokwanira m'tsogolomu, zomwe sizingatheke kukwaniritsa zomangamanga za hardware.

Potsimikizira seL4, zimaganiziridwa kuti zidazo zimagwira ntchito monga momwe zafotokozedwera ndipo ndondomekoyi ikufotokoza bwino za khalidwe la dongosolo, koma kwenikweni zidazo sizikhala ndi zolakwika, zomwe zimasonyezedwa momveka bwino ndi mavuto omwe amabwera nthawi zonse pamakina opangira zongopeka. malangizo. Tsegulani nsanja za Hardware zimapangitsa kuti zikhale zosavuta kuphatikiza zosintha zokhudzana ndi chitetezo - mwachitsanzo, kuletsa kutulutsa konse komwe kungatheke, komwe kumakhala kothandiza kwambiri kuchotsa vutoli mu hardware kuposa kuyesa kupeza ma workaround mu mapulogalamu.

Kumbukirani kuti kamangidwe ka seL4 chodabwitsa kusuntha magawo a kasamalidwe ka zinthu za kernel m'malo ogwiritsa ntchito ndikugwiritsa ntchito njira zomwezo zowongolera zopezera zinthu monga za ogwiritsa ntchito. Microkernel samapereka zotsalira zopangidwa kale zokonzekera mafayilo, njira, maulumikizidwe a intaneti, ndi zina zotero; m'malo mwake, imapereka njira zochepa zoyendetsera malo adilesi, zosokoneza, ndi purosesa. Zolemba zapamwamba kwambiri ndi madalaivala olumikizirana ndi ma Hardware amayikidwa padera pamwamba pa ma microkernel mu mawonekedwe a ntchito zogwiritsa ntchito. Kupezeka kwa ntchito zoterezi kuzinthu zomwe zimapezeka ku microkernel zimakonzedwa kudzera mu kutanthauzira kwa malamulo.

RISC-V imapereka makina otseguka komanso osinthika owongolera makina omwe amalola kuti ma microprocessors amangidwe kuti agwiritse ntchito mosasamala popanda kufunikira malipiro kapena zingwe zogwiritsidwa ntchito. RISC-V imakupatsani mwayi wopanga ma SoC ndi mapurosesa otseguka. Pakadali pano kutengera zomwe RISC-V imafotokozedwera ndi makampani ndi madera osiyanasiyana omwe ali ndi zilolezo zaulere zosiyanasiyana (BSD, MIT, Apache 2.0) ikukula mitundu khumi ndi iwiri ya ma microprocessor cores, SoCs ndi tchipisi topangidwa kale. Thandizo la RISC-V lakhalapo kuyambira kutulutsidwa kwa Glibc 2.27, binutils 2.30, gcc 7, ndi Linux kernel 4.15.

Source: opennet.ru