ປ່ອຍ Muen 1.0, microkernel ແຫຼ່ງເປີດສໍາລັບການກໍ່ສ້າງລະບົບທີ່ເຊື່ອຖືໄດ້ສູງ

ຫຼັງຈາກແປດປີຂອງການພັດທະນາ, ໂຄງການ Muen 1.0 ໄດ້ຖືກປ່ອຍອອກມາ, ການພັດທະນາແກ່ນ Separation, ການຂາດຄວາມຜິດພາດຂອງລະຫັດແຫຼ່ງທີ່ໄດ້ຮັບການຢືນຢັນໂດຍໃຊ້ວິທີການທາງຄະນິດສາດຂອງການກວດສອບຄວາມຫນ້າເຊື່ອຖືຢ່າງເປັນທາງການ. kernel ສາມາດໃຊ້ໄດ້ສໍາລັບສະຖາປັດຕະຍະ x86_64 ແລະສາມາດຖືກນໍາໃຊ້ໃນລະບົບພາລະກິດທີ່ສໍາຄັນທີ່ຕ້ອງການລະດັບຄວາມຫນ້າເຊື່ອຖືທີ່ເພີ່ມຂຶ້ນແລະການຮັບປະກັນວ່າບໍ່ມີຄວາມຜິດພາດ. ລະຫັດແຫຼ່ງຂອງໂຄງການແມ່ນຂຽນເປັນພາສາ Ada ແລະພາສາທີ່ຢືນຢັນໄດ້ຂອງມັນ SPARK 2014. ລະຫັດແມ່ນແຈກຢາຍພາຍໃຕ້ໃບອະນຸຍາດ GPLv3.

kernel ແຍກແມ່ນ microkernel ທີ່ສະຫນອງສະພາບແວດລ້ອມສໍາລັບການປະຕິບັດຂອງອົງປະກອບທີ່ໂດດດ່ຽວຈາກກັນແລະກັນ, ປະຕິສໍາພັນຂອງທີ່ຖືກຄວບຄຸມຢ່າງເຂັ້ມງວດໂດຍກົດລະບຽບທີ່ກໍານົດໄວ້. ການໂດດດ່ຽວແມ່ນອີງໃສ່ການນໍາໃຊ້ການຂະຫຍາຍ virtualization Intel VT-x ແລະປະກອບມີກົນໄກຄວາມປອດໄພເພື່ອສະກັດອົງການຈັດຕັ້ງຂອງຊ່ອງທາງການສື່ສານທີ່ລັບ. kernel ການແບ່ງສ່ວນແມ່ນຫນ້ອຍແລະຄົງທີ່ຫຼາຍກ່ວາ microkernels ອື່ນໆ, ເຊິ່ງຫຼຸດຜ່ອນຈໍານວນຂອງສະຖານະການທີ່ສາມາດເຮັດໃຫ້ເກີດຄວາມລົ້ມເຫຼວ.

kernel ແລ່ນຢູ່ໃນໂຫມດຮາກ VMX, ຄ້າຍຄືກັນກັບ hypervisor, ແລະອົງປະກອບອື່ນໆທັງຫມົດດໍາເນີນການໃນຮູບແບບທີ່ບໍ່ແມ່ນຮາກ VMX, ຄ້າຍຄືກັນກັບລະບົບແຂກ. ການເຂົ້າເຖິງອຸປະກອນແມ່ນເຮັດໂດຍໃຊ້ Intel VT-d DMA extensions ແລະ interrupt remapping, ເຊິ່ງເຮັດໃຫ້ມັນເປັນໄປໄດ້ທີ່ຈະປະຕິບັດການຜູກມັດທີ່ປອດໄພຂອງອຸປະກອນ PCI ກັບອົງປະກອບທີ່ເຮັດວຽກພາຍໃຕ້ Muen.

ຄວາມສາມາດຂອງ Muen ລວມມີການສະຫນັບສະຫນູນລະບົບຫຼາຍຫຼັກ, ຫນ້າຫນ່ວຍຄວາມຈໍາທີ່ຊ້ອນກັນ (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), ແລະຕາຕະລາງຄຸນລັກສະນະຂອງຫນ້າຫນ່ວຍຄວາມຈໍາ (PAT, Page Attribute Table). Muen ຍັງສະຫນອງການກໍານົດເວລາຮອບ-robin ຄົງທີ່ໂດຍອີງໃສ່ເຄື່ອງຈັບເວລາລ່ວງຫນ້າ Intel VMX, ເວລາແລ່ນທີ່ຫນາແຫນ້ນທີ່ບໍ່ມີຜົນກະທົບຕໍ່ການປະຕິບັດ, ລະບົບການກວດສອບອຸປະຕິເຫດ, ກົນໄກການມອບຫມາຍຊັບພະຍາກອນແບບຄົງທີ່ຕາມກົດລະບຽບ, ລະບົບການຈັດການເຫດການ, ແລະຊ່ອງທາງຄວາມຈໍາທີ່ໃຊ້ຮ່ວມກັນສໍາລັບ ການສື່ສານພາຍໃນອົງປະກອບທີ່ເຮັດວຽກ.

ມັນສະຫນັບສະຫນູນອົງປະກອບທີ່ແລ່ນດ້ວຍລະຫັດເຄື່ອງ 64-bit, 32- ຫຼື 64-bit virtual machines, ຄໍາຮ້ອງສະຫມັກ 64-bit ໃນພາສາ Ada ແລະ SPARK 2014, Linux virtual machines ແລະ "unikernels" ດ້ວຍຕົນເອງໂດຍອີງໃສ່ MirageOS ຢູ່ເທິງ Muen.

ນະວັດຕະກໍາຕົ້ນຕໍທີ່ນໍາສະເຫນີໃນການປ່ອຍ Muen 1.0:

• ເອກະສານໄດ້ຖືກເຜີຍແຜ່ໂດຍມີຂໍ້ມູນສະເພາະສໍາລັບ kernel (ອຸປະກອນແລະສະຖາປັດຕະ), ລະບົບ (ນະໂຍບາຍລະບົບ, Tau0 ແລະເຄື່ອງມື) ແລະອົງປະກອບ, ເຊິ່ງບັນທຶກທຸກດ້ານຂອງໂຄງການ.
• ຊຸດເຄື່ອງມື Tau0 (Muen System Composer) ໄດ້ຖືກເພີ່ມ, ເຊິ່ງລວມມີຊຸດຂອງອົງປະກອບທີ່ຜ່ານການຢັ້ງຢືນທີ່ກຽມພ້ອມສໍາລັບການປະກອບຮູບພາບຂອງລະບົບແລະການພັດທະນາການບໍລິການມາດຕະຖານທີ່ດໍາເນີນການຢູ່ເທິງ Muen. ອົງປະກອບທີ່ສະຫນອງໃຫ້ລວມມີໄດເວີ AHCI (SATA), Device Manager (DM), boot loader, ຜູ້ຈັດການລະບົບ, virtual terminal, ແລະອື່ນໆ.
• ໄດເວີ muenblock Linux (ການຈັດຕັ້ງປະຕິບັດອຸປະກອນບລັອກທີ່ແລ່ນຢູ່ເທິງສຸດຂອງຄວາມຊົງຈຳທີ່ແບ່ງປັນ Muen) ໄດ້ຖືກປ່ຽນໄປໃຊ້ blockdev 2.0 API.
• ປະຕິບັດເຄື່ອງມືສໍາລັບການຄຸ້ມຄອງວົງຈອນຊີວິດຂອງອົງປະກອບພື້ນເມືອງ.
• ຮູບພາບລະບົບໄດ້ຖືກປ່ຽນໄປໃຊ້ SBS (Signed Block Stream) ແລະ CSL (Command Stream Loader) ເພື່ອປົກປ້ອງຄວາມສົມບູນ.
• ໄດເວີ AHCI-DRV ທີ່ຖືກຢືນຢັນໄດ້ຖືກປະຕິບັດ, ຂຽນໃນພາສາ SPARK 2014 ແລະຊ່ວຍໃຫ້ທ່ານສາມາດເຊື່ອມຕໍ່ໄດທີ່ສະຫນັບສະຫນູນການໂຕ້ຕອບ ATA ຫຼືການແບ່ງສ່ວນດິສແຕ່ລະຄົນກັບອົງປະກອບຕ່າງໆ.
• ປັບປຸງການຮອງຮັບ unikernel ຈາກໂຄງການ MirageOS ແລະ Solo5.
• ຊຸດເຄື່ອງມືພາສາ Ada ໄດ້ຖືກປັບປຸງສໍາລັບການປ່ອຍ GNAT Community 2021.
• ລະບົບການເຊື່ອມໂຍງຢ່າງຕໍ່ເນື່ອງໄດ້ຖືກໂອນຈາກ emulator Bochs ໄປຫາ QEMU/KVM ສະພາບແວດລ້ອມທີ່ຊ້ອນກັນ.
• ຮູບພາບອົງປະກອບ Linux ໃຊ້ kernel Linux 5.4.66.

ແຫຼ່ງຂໍ້ມູນ: opennet.ru