เป„เบกเป‚เบ„เบฃเป€เบ„เบ™ seL4 เบ–เบทเบเบเบงเบ”เบชเบญเบšเบ—เบฒเบ‡เบ„เบฐเบ™เบดเบ”เบชเบฒเบ”เบชเบณเบฅเบฑเบšเบชเบฐเบ–เบฒเบ›เบฑเบ”เบ•เบฐเบเบฐเบเบณ RISC-V

เบกเบนเบ™เบ™เบดเบ—เบด RISC-V เบฅเบฒเบเบ‡เบฒเบ™ เบเปˆเบฝเบงเบเบฑเบšเบเบฒเบ™เบเบงเบ”เบชเบญเบšเบเบฒเบ™เป€เบฎเบฑเบ”เบงเบฝเบเบ‚เบญเบ‡ microkernel เป„เบ”เป‰ seL4 เบเปˆเบฝเบงเบเบฑเบšเบฅเบฐเบšเบปเบšเบ—เบตเปˆเบกเบตเบชเบฐเบ–เบฒเบ›เบฑเบ”เบ•เบฐเบเบฐเบเปเบฒเบŠเบธเบ”เบ„เปเบฒเปเบ™เบฐเบ™เปเบฒ RISC-V. เบเบฒเบ™เบเบงเบ”เบชเบญเบšเบกเบฒเบฅเบปเบ‡เบเบฑเบš เบซเบผเบฑเบเบ–เบฒเบ™เบ—เบฒเบ‡เบ„เบฐเบ™เบดเบ”เบชเบฒเบ” เบ„เบงเบฒเบกเบซเบ™เป‰เบฒเป€เบŠเบทเปˆเบญเบ–เบทเบ‚เบญเบ‡เบเบฒเบ™เบ”เปเบฒเป€เบ™เบตเบ™เบ‡เบฒเบ™ seL4, เป€เบŠเบดเปˆเบ‡เบŠเบตเป‰เปƒเบซเป‰เป€เบซเบฑเบ™เป€เบ–เบดเบ‡เบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”เบ•เบฒเบกเบ‚เปเป‰เบเปเบฒเบ™เบปเบ”เบ—เบตเปˆเบฅเบฐเบšเบธเป„เบงเป‰เปƒเบ™เบžเบฒเบชเบฒเบ—เบตเปˆเป€เบ›เบฑเบ™เบ—เบฒเบ‡เบเบฒเบ™. เบซเบผเบฑเบเบ–เบฒเบ™เบ„เบงเบฒเบกเบซเบ™เป‰เบฒเป€เบŠเบทเปˆเบญเบ–เบท เบญเบฐเบ™เบธเบเบฒเบ”เปƒเบซเป‰เบ—เปˆเบฒเบ™เบ™เปเบฒเปƒเบŠเป‰ seL4 เปƒเบ™เบฅเบฐเบšเบปเบšเบžเบฒเบฅเบฐเบเบดเบ”เบ—เบตเปˆเบชเปเบฒเบ„เบฑเบ™เป‚เบ”เบเบญเบตเบ‡เปƒเบชเปˆเป‚เบ›เป€เบŠเบ”เป€เบŠเบต RISC-V RV64 เบ—เบตเปˆเบ•เป‰เบญเบ‡เบเบฒเบ™เบฅเบฐเบ”เบฑเบšเบ„เบงเบฒเบกเบซเบ™เป‰เบฒเป€เบŠเบทเปˆเบญเบ–เบทเบ—เบตเปˆเป€เบžเบตเปˆเบกเบ‚เบถเป‰เบ™เปเบฅเบฐเบเบฒเบ™เบฎเบฑเบšเบ›เบฐเบเบฑเบ™เบเบฒเบ™เบ‚เบฒเบ”เบ„เบงเบฒเบกเบฅเบปเป‰เบกเป€เบซเบฅเบง. เบ™เบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒเบŠเปเปเบงเบ—เบตเปˆเป€เบฎเบฑเบ”เบงเบฝเบเบขเบนเปˆเป€เบ—เบดเบ‡เบชเบธเบ”เบ‚เบญเบ‡เปเบเปˆเบ™ seL4 เบชเบฒเบกเบฒเบ”เบซเบกเบฑเป‰เบ™เปƒเบˆเป„เบ”เป‰เบขเปˆเบฒเบ‡เบชเบปเบกเบšเบนเบ™เบงเปˆเบฒเบ–เป‰เบฒเบกเบตเบ„เบงเบฒเบกเบฅเบปเป‰เบกเป€เบซเบผเบงเปƒเบ™เบชเปˆเบงเบ™เบซเบ™เบถเปˆเบ‡เบ‚เบญเบ‡เบฅเบฐเบšเบปเบš, เบ„เบงเบฒเบกเบฅเบปเป‰เบกเป€เบซเบผเบงเบ™เบตเป‰เบˆเบฐเบšเปเปˆเปเบœเปˆเบฅเบฒเบกเป„เบ›เบชเบนเปˆเบชเปˆเบงเบ™เบ—เบตเปˆเป€เบซเบผเบทเบญเบ‚เบญเบ‡เบฅเบฐเบšเบปเบšเปเบฅเบฐ, เป‚เบ”เบเบชเบฐเป€เบžเบฒเบฐ, เบžเบฒเบเบชเปˆเบงเบ™เบ—เบตเปˆเบชเปเบฒเบ„เบฑเบ™เบ‚เบญเบ‡เบกเบฑเบ™.

เป„เบกเป‚เบ„เบฃเป€เบ„เบ™ seL4 เป„เบ”เป‰เบ–เบทเบเบเบงเบ”เบชเบญเบšเปƒเบ™เป€เบšเบทเป‰เบญเบ‡เบ•เบปเป‰เบ™เบชเปเบฒเบฅเบฑเบšเป‚เบ›เป€เบŠเบ”เป€เบŠเบต 32-bit ARM, เปเบฅเบฐเบ•เปเปˆเบกเบฒเบชเปเบฒเบฅเบฑเบšเป‚เบ›เป€เบŠเบ”เป€เบŠเบต 64-bit x86. เบกเบฑเบ™เป„เบ”เป‰เบ–เบทเบเบชเบฑเบ‡เป€เบเบ”เป€เบซเบฑเบ™เบงเปˆเบฒเบเบฒเบ™เบ›เบฐเบชเบปเบกเบ›เบฐเบชเบฒเบ™เบ‚เบญเบ‡เบชเบฐเบ–เบฒเบ›เบฑเบ”เบ•เบฐเบเบฐเบเปเบฒเบฎเบฒเบ”เปเบง RISC-V เป€เบ›เบตเบ”เบเบฑเบš microkernel seL4 เป€เบ›เบตเบ”เบˆเบฐเบšเบฑเบ™เบฅเบธเบฅเบฐเบ”เบฑเบšเบ„เบงเบฒเบกเบ›เบญเบ”เป„เบžเปƒเบซเบกเปˆ, เป€เบ™เบทเปˆเบญเบ‡เบˆเบฒเบเบงเปˆเบฒเบญเบปเบ‡เบ›เบฐเบเบญเบšเบ‚เบญเบ‡เบฎเบฒเบ”เปเบงเบเบฑเบ‡เบชเบฒเบกเบฒเบ”เบเบงเบ”เบชเบญเบšเป„เบ”เป‰เบขเปˆเบฒเบ‡เป€เบ•เบฑเบกเบ—เบตเปˆเปƒเบ™เบญเบฐเบ™เบฒเบ„เบปเบ”, เป€เบŠเบดเปˆเบ‡เป€เบ›เบฑเบ™เป„เบ›เบšเปเปˆเป„เบ”เป‰เบ—เบตเปˆเบˆเบฐเบšเบฑเบ™เบฅเบธเป„เบ”เป‰เบชเปเบฒเบฅเบฑเบšเบชเบฐเบ–เบฒเบ›เบฑเบ”เบ•เบฐเบเบฐเบเปเบฒเบฎเบฒเบ”เปเบงเบ—เบตเปˆเป€เบ›เบฑเบ™เป€เบˆเบปเป‰เบฒเบ‚เบญเบ‡.

เป€เบกเบทเปˆเบญเบเบงเบ”เบชเบญเบš seL4, เบกเบฑเบ™เบชเบปเบกเบกเบธเบ”เบงเปˆเบฒเบญเบธเบ›เบฐเบเบญเบ™เป€เบฎเบฑเบ”เบงเบฝเบเบ•เบฒเบกเบ—เบตเปˆเบฅเบฐเบšเบธเป„เบงเป‰เปเบฅเบฐเบ‚เปเป‰เบเปเบฒเบ™เบปเบ”เป„เบ”เป‰เบญเบฐเบ—เบดเบšเบฒเบเบขเปˆเบฒเบ‡เป€เบ•เบฑเบกเบชเปˆเบงเบ™เบเปˆเบฝเบงเบเบฑเบšเบžเบถเบ”เบ•เบดเบเปเบฒเบ‚เบญเบ‡เบฅเบฐเบšเบปเบš, เปเบ•เปˆเปƒเบ™เบ„เบงเบฒเบกเป€เบ›เบฑเบ™เบˆเบดเบ‡เปเบฅเป‰เบงเบญเบธเบ›เบฐเบเบญเบ™เปเบกเปˆเบ™เบšเปเปˆเบกเบตเบ„เบงเบฒเบกเบœเบดเบ”เบžเบฒเบ”, เป€เบŠเบดเปˆเบ‡เบชเบฐเปเบ”เบ‡เปƒเบซเป‰เป€เบซเบฑเบ™เบขเปˆเบฒเบ‡เบŠเบฑเบ”เป€เบˆเบ™เป‚เบ”เบเบšเบฑเบ™เบซเบฒเบ—เบตเปˆเป€เบเบตเบ”เบ‚เบทเป‰เบ™เป€เบฅเบทเป‰เบญเบเป†เปƒเบ™เบเบปเบ™เป„เบเบเบฒเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”เบเบฒเบ™เบ„เบฒเบ”เป€เบ”เบปเบฒเบ‚เบญเบ‡. เบ„เปเบฒเปเบ™เบฐเบ™เปเบฒ. เปเบžเบฅเบฐเบ•เบฐเบŸเบญเบกเบฎเบฒเบ”เปเบงเบ—เบตเปˆเป€เบ›เบตเบ”เป€เบฎเบฑเบ”เปƒเบซเป‰เบกเบฑเบ™เบ‡เปˆเบฒเบเบ•เปเปˆเบเบฒเบ™เบ›เบฐเบชเบปเบกเบ›เบฐเบชเบฒเบ™เบเบฒเบ™เบ›เปˆเบฝเบ™เปเบ›เบ‡เบ—เบตเปˆเบเปˆเบฝเบงเบ‚เป‰เบญเบ‡เบเบฑเบšเบ„เบงเบฒเบกเบ›เบญเบ”เป„เบž - เบ•เบปเบงเบขเปˆเบฒเบ‡เป€เบŠเบฑเปˆเบ™เบเบฒเบ™เบชเบฐเบเบฑเบ”เบเบฑเป‰เบ™เบเบฒเบ™เบฎเบปเปˆเบงเป„เบซเบผเบ‚เบญเบ‡เบŠเปˆเบญเบ‡เบ—เบฒเบ‡เบ‚เป‰เบฒเบ‡เบ„เบฝเบ‡เบ—เบตเปˆเป€เบ›เบฑเบ™เป„เบ›เป„เบ”เป‰, เบšเปˆเบญเบ™เบ—เบตเปˆเบกเบฑเบ™เบกเบตเบ›เบฐเบชเบดเบ”เบ—เบดเบžเบฒเบšเบซเบผเบฒเบเบ—เบตเปˆเบˆเบฐเบเปเบฒเบˆเบฑเบ”เบšเบฑเบ™เบซเบฒเปƒเบ™เบฎเบฒเบ”เปเบงเบซเบผเบฒเบเบเบงเปˆเบฒเบเบฒเบ™เบžเบฐเบเบฒเบเบฒเบกเบŠเบญเบเบซเบฒเบเบฒเบ™เปเบเป‰เป„เบ‚เปƒเบ™เบŠเบญเบšเปเบง.

เบˆเบทเปˆเป„เบงเป‰เบงเปˆเบฒเบชเบฐเบ–เบฒเบ›เบฑเบ”เบ•เบฐเบเบฐเบเปเบฒ seL4 เป‚เบ”เบ”เป€เบ”เบฑเปˆเบ™ เบเบฒเบ™เป€เบ„เบทเปˆเบญเบ™เบเป‰เบฒเบเบžเบฒเบเบชเปˆเบงเบ™เบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เบ„เบธเป‰เบกเบ„เบญเบ‡เบŠเบฑเบšเบžเบฐเบเบฒเบเบญเบ™ kernel เป€เบ‚เบปเป‰เบฒเป„เบ›เปƒเบ™เบžเบทเป‰เบ™เบ—เบตเปˆเบ‚เบญเบ‡เบœเบนเป‰เปƒเบŠเป‰เปเบฅเบฐเบ™เปเบฒเปƒเบŠเป‰เบงเบดเบ—เบตเบเบฒเบ™เบ„เบงเบšเบ„เบธเบกเบเบฒเบ™เป€เบ‚เบปเป‰เบฒเป€เบ–เบดเบ‡เบ”เบฝเบงเบเบฑเบ™เบชเปเบฒเบฅเบฑเบšเบŠเบฑเบšเบžเบฐเบเบฒเบเบญเบ™เป€เบŠเบฑเปˆเบ™: เบชเปเบฒเบฅเบฑเบšเบŠเบฑเบšเบžเบฐเบเบฒเบเบญเบ™เบ‚เบญเบ‡เบœเบนเป‰เปƒเบŠเป‰. microkernel เบšเปเปˆเป„เบ”เป‰เบชเบฐเบซเบ™เบญเบ‡ abstractions เบฅเบฐเบ”เบฑเบšเบชเบนเบ‡เบ—เบตเปˆเบเบฝเบกเบžเป‰เบญเบกเบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เบˆเบฑเบ”เบเบฒเบ™เป„เบŸเบฅเปŒ, เบ‚เบฐเบšเบงเบ™เบเบฒเบ™, เบเบฒเบ™เป€เบŠเบทเปˆเบญเบกเบ•เปเปˆเป€เบ„เบทเบญเบ‚เปˆเบฒเบ, เปเบฅเบฐเบญเบทเปˆเบ™เป†; เปเบ—เบ™เบ—เบตเปˆเบˆเบฐ, เบกเบฑเบ™เบชเบฐเบซเบ™เบญเบ‡เบเบปเบ™เป„เบเบซเบ™เป‰เบญเบเบ—เบตเปˆเบชเบธเบ”เบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เบ„เบงเบšเบ„เบธเบกเบเบฒเบ™เป€เบ‚เบปเป‰เบฒเป€เบ–เบดเบ‡เบžเบทเป‰เบ™เบ—เบตเปˆเบ—เบตเปˆเบขเบนเปˆเบ—เบฒเบ‡เบ”เป‰เบฒเบ™เบฎเปˆเบฒเบ‡เบเบฒเบ, เบเบฒเบ™เบ‚เบฑเบ”เบ‚เบงเบฒเบ‡เปเบฅเบฐเบŠเบฑเบšเบžเบฐเบเบฒเบเบญเบ™เบ‚เบญเบ‡เป‚เบ›เป€เบŠเบ”เป€เบŠเบต. abstractions เบฅเบฐเบ”เบฑเบšเบชเบนเบ‡เปเบฅเบฐเป„เบ”เป€เบงเบตเบชเปเบฒเบฅเบฑเบšเบเบฒเบ™เบžเบปเบงเบžเบฑเบ™เบเบฑเบšเบฎเบฒเบ”เปเบงเปเบกเปˆเบ™เบ›เบฐเบ•เบดเบšเบฑเบ”เปเบเบเบ•เปˆเบฒเบ‡เบซเบฒเบเบขเบนเปˆเป€เบ—เบดเบ‡เบชเบธเบ”เบ‚เบญเบ‡ microkernel เปƒเบ™เบฎเบนเบšเปเบšเบšเบ‚เบญเบ‡เบงเบฝเบเบ‡เบฒเบ™เบฅเบฐเบ”เบฑเบšเบœเบนเป‰เปƒเบŠเป‰. เบเบฒเบ™เป€เบ‚เบปเป‰เบฒเป€เบ–เบดเบ‡เบ‚เบญเบ‡เบงเบฝเบเบ‡เบฒเบ™เบ”เบฑเปˆเบ‡เบเปˆเบฒเบงเบเบฑเบšเบŠเบฑเบšเบžเบฐเบเบฒเบเบญเบ™เบ—เบตเปˆเบกเบตเปƒเบซเป‰ microkernel เป„เบ”เป‰เบ–เบทเบเบˆเบฑเบ”เบ•เบฑเป‰เบ‡เป‚เบ”เบเบœเปˆเบฒเบ™เบ„เปเบฒเบ™เบดเบเบฒเบกเบ‚เบญเบ‡เบเบปเบ”เบฅเบฐเบšเบฝเบš.

RISC-V เบชเบฐเบซเบ™เบญเบ‡เบฅเบฐเบšเบปเบšเบ„เปเบฒเปเบ™เบฐเบ™เปเบฒเป€เบ„เบทเปˆเบญเบ‡เบˆเบฑเบเบ—เบตเปˆเป€เบ›เบตเบ”เปเบฅเบฐเบกเบตเบ„เบงเบฒเบกเบเบทเบ”เบซเบเบธเปˆเบ™เบ—เบตเปˆเบญเบฐเบ™เบธเบเบฒเบ”เปƒเบซเป‰ microprocessors เบ–เบทเบเบชเป‰เบฒเบ‡เบ‚เบถเป‰เบ™เบชเปเบฒเบฅเบฑเบšเบ„เปเบฒเบฎเป‰เบญเบ‡เบชเบฐเบซเบกเบฑเบเบ—เบตเปˆเบ•เบปเบ™เป€เบญเบ‡เบกเบฑเบเป‚เบ”เบเบšเปเปˆเบˆเปเบฒเป€เบ›เบฑเบ™เบ•เป‰เบญเบ‡เบกเบตเบ„เปˆเบฒเบžเบฒเบเบซเบผเบงเบ‡เบซเบผเบทเบชเบฒเบเบ—เบตเปˆเบ•เบดเบ”เบเบฑเบšเบเบฒเบ™เบ™เปเบฒเปƒเบŠเป‰. RISC-V เบญเบฐเบ™เบธเบเบฒเบ”เปƒเบซเป‰เบ—เปˆเบฒเบ™เบชเป‰เบฒเบ‡ SoCs เปเบฅเบฐเป‚เบ›เป€เบŠเบ”เป€เบŠเบตเบ—เบตเปˆเป€เบ›เบตเบ”เบขเปˆเบฒเบ‡เบชเบปเบกเบšเบนเบ™. เบ›เบฐเบˆเบธเบšเบฑเบ™เป‚เบ”เบเบญเบตเบ‡เปƒเบชเปˆเบ‚เปเป‰เบกเบนเบ™เบˆเปเบฒเป€เบžเบฒเบฐเบ‚เบญเบ‡ RISC-V เป‚เบ”เบเบšเปเบฅเบดเบชเบฑเบ” เปเบฅเบฐเบŠเบธเบกเบŠเบปเบ™เบ•เปˆเบฒเบ‡เป†เบžเบฒเบเปƒเบ•เป‰เปƒเบšเบญเบฐเบ™เบธเบเบฒเบ”เบŸเบฃเบตเบ•เปˆเบฒเบ‡เป† (BSD, MIT, Apache 2.0) เบเบณ เบฅเบฑเบ‡เบžเบฑเบ”เบ—เบฐเบ™เบฒ เบซเบฅเบฒเบเบชเบดเบšเบ•เบปเบงเปเบ›เบ‚เบญเบ‡เปเบเบ™ microprocessor, SoCs เปเบฅเบฐเบŠเบดเบšเบ—เบตเปˆเบœเบฐเบฅเบดเบ”เปเบฅเป‰เบง. เบเบฒเบ™เบชเบฐเบซเบ™เบฑเบšเบชเบฐเบซเบ™เบนเบ™ RISC-V เปเบกเปˆเบ™เบกเบตเบกเบฒเบ•เบฑเป‰เบ‡เปเบ•เปˆเบเบฒเบ™เป€เบ›เบตเบ”เบ•เบปเบงเบ‚เบญเบ‡ Glibc 2.27, binutils 2.30, gcc 7, เปเบฅเบฐ Linux kernel 4.15.

เปเบซเบผเปˆเบ‡เบ‚เปเป‰เบกเบนเบ™: opennet.ru

เป€เบžเบตเปˆเบกเบ„เบงเบฒเบกเบ„เบดเบ”เป€เบซเบฑเบ™