Ekwenyere na seL4 microkernel na mgbakọ na mwepụ maka nhazi ụlọ RISC-V

RISC-V Foundation kọrọ banyere nyochaa ọrụ nke microkernel seL4 na sistemụ nwere ụkpụrụ ụkpụrụ RISC-V. Nyocha na-agbadata ihe akaebe mgbakọ na mwepụ ntụkwasị obi nke ọrụ seL4, nke na-egosi nnabata zuru oke na nkọwapụta akọwapụtara n'asụsụ nkịtị. Ihe akaebe nke ntụkwasị obi na-enye gị ohere iji seL4 na sistemụ ozi dị oke egwu dabere na ndị nrụpụta RISC-V RV64 nke chọrọ ọkwa ntụkwasị obi dị elu ma kwe nkwa enweghị ọdịda. Ndị na-emepụta ngwanrọ na-agba ọsọ n'elu seL4 kernel nwere ike inwe obi ike zuru oke na ọ bụrụ na enwere ọdịda n'otu akụkụ nke usoro ahụ, ọdịda a agaghị agbasa na usoro ndị ọzọ na, karịsịa, akụkụ ya dị oke egwu.

Achọpụtara na mbụ seL4 microkernel maka ndị nrụpụta 32-bit ARM, ma emesịa maka ndị nrụpụta 64-bit x86. Achọpụtara na nchikota nke ihe owuwu ngwaike RISC-V mepere emepe na seL4 microkernel mepere emepe ga-enweta ọkwa nchekwa ọhụrụ, ebe ọ bụ na akụrụngwa akụrụngwa nwekwara ike kwenye n'ụzọ zuru oke n'ọdịnihu, nke na-agaghị ekwe omume nweta maka ụlọ ọrụ akụrụngwa.

Mgbe ị na-enyocha sel4, a na-eche na ngwá ọrụ ahụ na-arụ ọrụ dị ka ekwuru na nkọwapụta ahụ na-akọwa n'ụzọ zuru ezu omume nke usoro ahụ, ma n'eziokwu, ngwá ọrụ adịghị efu njehie, nke a na-egosipụta n'ụzọ doro anya site na nsogbu ndị na-apụta mgbe nile na usoro nke igbu egbu nke speculative. ntuziaka. Mepee nyiwe ngwaike na-eme ka ọ dịkwuo mfe ijikọ mgbanwe ndị metụtara nchekwa - dịka ọmụmaatụ, igbochi ọwa ọwa niile nwere ike ime, ebe ọ na-arụ ọrụ nke ọma iji kpochapụ nsogbu ahụ na ngwaike karịa ịnwa ịchọta ihe mgbagwoju anya na ngwanrọ.

Cheta na seL4 architecture dị ịrịba ama na-ebugharị akụkụ maka ijikwa akụrụngwa kernel n'ime oghere onye ọrụ yana itinye otu njikwa ohere maka akụrụngwa dịka akụrụngwa onye ọrụ. Microkernel anaghị enye abstractions dị elu emebere emebere maka ijikwa faịlụ, usoro, njikọ netwọkụ na ihe ndị ọzọ; kama, ọ na-enye naanị obere usoro maka ịchịkwa ohere ịnweta oghere adreesị anụ ahụ, nkwụsịtụ na akụrụngwa nhazi. A na-emejuputa abstractions dị elu na ndị ọkwọ ụgbọ ala maka imekọrịta ihe na ngwaike iche iche n'elu microkernel n'ụdị ọrụ ọkwa onye ọrụ. A na-ahazi ohere nke ọrụ ndị dị otú ahụ na ihe onwunwe dị na microkernel site na nkọwa nke iwu.

RISC-V na-enye usoro nkuzi igwe mepere emepe ma na-agbanwe agbanwe nke na-enye ohere ka e wuo microprocessors maka ngwa aka ike na-achọghị royalties ma ọ bụ eriri agbakwunyere iji. RISC-V na-enye gị ohere ịmepụta SoCs na processors mepere emepe kpamkpam. Ugbu a dabere na nkọwapụta RISC-V nke ụlọ ọrụ dị iche iche na obodo dị n'okpuru ikikere efu dị iche iche (BSD, MIT, Apache 2.0) na-eto eto ọtụtụ iri na abuo dị iche iche nke microprocessor cores, SoCs ma mepụtala ibe. Nkwado RISC-V adịla kemgbe ewepụtara Glibc 2.27, binutils 2.30, gcc 7, na Linux kernel 4.15.

isi: opennet.ru