Ua hōʻoia makemakika ka seL4 microkernel no ka hoʻolālā RISC-V

RISC-V Foundation hōʻike ʻia e pili ana i ka hōʻoia ʻana i ka hana o ka microkernel seL4 ma nā ʻōnaehana me ka hoʻonohonoho hoʻonohonoho hoʻonohonoho RISC-V. Hele mai ka hōʻoia i ka hōʻoia makemakika ka hilinaʻi o ka hana seL4, e hōʻike ana i ka hoʻokō piha ʻana i nā kikoʻī i kuhikuhi ʻia ma ka ʻōlelo maʻamau. Hōʻoia o ka hilinaʻi hiki iā ʻoe ke hoʻohana seL4 i nā ʻōnaehana koʻikoʻi e pili ana i nā kaʻina hana RISC-V RV64 e koi ana i kahi kiʻekiʻe o ka hilinaʻi a hōʻoia i ka nele o nā hemahema. Hiki i nā mea hoʻomohala o nā polokalamu e holo ana ma luna o ka kernel seL4 ke hilinaʻi loa inā loaʻa kahi hemahema ma kahi ʻāpana o ka ʻōnaehana, ʻaʻole e laha kēia hemahema i ke koena o ka ʻōnaehana a, ʻo ia hoʻi, nā ʻāpana koʻikoʻi.

Ua hōʻoia mua ʻia ka microkernel seL4 no nā kaʻina hana 32-bit ARM, a ma hope no nā mea hana 64-bit x86. Hoʻomaopopo ʻia ʻo ka hui pū ʻana o ka wehe ʻana o ka RISC-V hardware architecture me ka open seL4 microkernel e hoʻokō i kahi pae hou o ka palekana, no ka mea hiki ke hōʻoia piha ʻia nā ʻāpana hāmeʻa i ka wā e hiki mai ana, ʻaʻole hiki ke hoʻokō ʻia no nā hale kūkulu hale ponoʻī.

I ka hōʻoia ʻana i ka seL4, manaʻo ʻia ua hana nā mea hana e like me ka mea i ʻōlelo ʻia a wehewehe piha ka kikoʻī i ka ʻano o ka ʻōnaehana, akā ʻoiaʻiʻo, ʻaʻole kaʻawale nā ​​mea hana mai nā hewa, i hōʻike maopopo ʻia e nā pilikia e kū pinepine ana i ke ʻano o ka hoʻokō speculative. kuhikuhi. E maʻalahi ka hoʻohui ʻana i nā hoʻololi e pili ana i ka palekana - no ka laʻana, e pale i nā leaka ʻaoʻao ʻaoʻao āpau, kahi e ʻoi aku ka maikaʻi o ka hoʻopau ʻana i ka pilikia ma ka ʻenehana ma mua o ka hoʻāʻo ʻana e ʻimi i nā workarounds i ka lako polokalamu.

E hoʻomanaʻo i ka hoʻolālā seL4 kupaianaha ka hoʻoneʻe ʻana i nā ʻāpana no ka mālama ʻana i nā kumuwaiwai kernel i loko o ka lumi hoʻohana a me ka hoʻohana ʻana i nā ala hoʻokele hoʻokahi no nā kumuwaiwai e like me nā kumuwaiwai mea hoʻohana. ʻAʻole hāʻawi ka microkernel i nā abstractions kiʻekiʻe i mākaukau no ka hoʻokele ʻana i nā faila, nā kaʻina hana, nā pilina pūnaewele, a me nā mea like; akā, hāʻawi ia i nā mīkini liʻiliʻi wale nō no ka hoʻokele ʻana i ke komo ʻana i ka wahi kikoʻī kino, nā mea hoʻopau, a me nā kumuwaiwai. Hoʻokomo ʻokoʻa ʻia nā abstractions kiʻekiʻe a me nā mea hoʻokele no ka launa pū ʻana me nā lako lako ma luna o ka microkernel ma ke ʻano o nā hana pae hoʻohana. Hoʻonohonoho ʻia ka loaʻa ʻana o ia mau hana i nā kumuwaiwai i loaʻa i ka microkernel ma o ka wehewehe ʻana o nā lula.

Hāʻawi ʻo RISC-V i kahi ʻōnaehana aʻoaʻo mīkini hāmama a maʻalahi e hiki ai i nā microprocessors ke kūkulu ʻia no nā noi ʻokoʻa me ka ʻole e koi i nā aliʻi a i ʻole nā ​​kaula i hoʻopili ʻia e hoʻohana. ʻAe ʻo RISC-V iā ʻoe e hana i nā SoC a me nā kaʻina hana. I kēia manawa e pili ana i ka RISC-V kikoʻī e nā hui like ʻole a me nā kaiāulu ma lalo o nā laikini manuahi like ʻole (BSD, MIT, Apache 2.0) ke ulu nei he ʻumi mau ʻano like ʻole o nā cores microprocessor, SoCs a i hana mua ʻia nā chips. Aia ke kākoʻo RISC-V mai ka hoʻokuʻu ʻana o Glibc 2.27, binutils 2.30, gcc 7, a me ka Linux kernel 4.15.

Source: opennet.ru