ການປ່ອຍ MirageOS 3.6, ແພລະຕະຟອມສໍາລັບການແລ່ນແອັບພລິເຄຊັນຢູ່ເທິງສຸດຂອງ hypervisor

ໄດ້ຈັດຂຶ້ນ ການປ່ອຍໂຄງການ Mirage OS 3.6, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດສ້າງລະບົບປະຕິບັດການສໍາລັບແອັບພລິເຄຊັນດຽວ, ເຊິ່ງແອັບພລິເຄຊັນຖືກສົ່ງເປັນ "unikernel" ດ້ວຍຕົນເອງທີ່ສາມາດດໍາເນີນການໄດ້ໂດຍບໍ່ຕ້ອງໃຊ້ລະບົບປະຕິບັດການ, kernel OS ແຍກຕ່າງຫາກແລະຊັ້ນຕ່າງໆ. ພາສາ OCaml ແມ່ນໃຊ້ເພື່ອພັດທະນາແອັບພລິເຄຊັນ. ລະຫັດໂຄງການ ແຈກຢາຍໂດຍ ພາຍໃຕ້ໃບອະນຸຍາດ ISC ຟຣີ.

ການທໍາງານລະດັບຕ່ໍາທັງຫມົດທີ່ປະກົດຂຶ້ນໃນລະບົບປະຕິບັດການໄດ້ຖືກປະຕິບັດໃນຮູບແບບຂອງຫ້ອງສະຫມຸດທີ່ຕິດກັບຄໍາຮ້ອງສະຫມັກ. ແອັບພລິເຄຊັນສາມາດພັດທະນາໄດ້ໃນທຸກ OS, ຫຼັງຈາກນັ້ນມັນຖືກລວບລວມເຂົ້າໄປໃນ kernel ພິເສດ (ແນວຄວາມຄິດ unikerel), ເຊິ່ງສາມາດດໍາເນີນການໂດຍກົງເທິງ Xen, KVM, BHyve ແລະ VMM (OpenBSD) hypervisors, ຢູ່ເທິງເວທີມືຖື, ເປັນຂະບວນການໃນສະພາບແວດລ້ອມທີ່ສອດຄ່ອງກັບ POSIX, ຫຼືໃນ Amazon Elastic Compute Cloud ແລະ Google Compute Engine cloud ສະພາບແວດລ້ອມ.

ສະພາບແວດລ້ອມທີ່ສ້າງຂຶ້ນບໍ່ໄດ້ປະກອບດ້ວຍສິ່ງທີ່ superfluous ແລະປະຕິສໍາພັນໂດຍກົງກັບ hypervisor ໂດຍບໍ່ມີໄດເວີຫຼືຊັ້ນລະບົບ, ເຊິ່ງອະນຸຍາດໃຫ້ຫຼຸດລົງຢ່າງຫຼວງຫຼາຍໃນຄ່າໃຊ້ຈ່າຍເກີນແລະຄວາມປອດໄພເພີ່ມຂຶ້ນ. ການ​ເຮັດ​ວຽກ​ກັບ MirageOS ມາ​ເຖິງ​ສາມ​ຂັ້ນ​ຕອນ​: ການ​ກະ​ກຽມ​ການ​ຕັ້ງ​ຄ່າ​ທີ່​ມີ​ການ​ລະ​ບຸ​ຕົວ​ທີ່​ໃຊ້​ໃນ​ສະ​ພາບ​ແວດ​ລ້ອມ ແພັກເກດ OPAM, ກໍ່ສ້າງສະພາບແວດລ້ອມແລະເປີດຕົວສະພາບແວດລ້ອມ. ເວລາແລ່ນເພື່ອແລ່ນຢູ່ເທິງສຸດຂອງ Xen ແມ່ນອີງໃສ່ kernel ທີ່ຖືກຖອດອອກ Mini-OS, ແລະສໍາລັບ hypervisors ອື່ນໆແລະລະບົບທີ່ອີງໃສ່ kernel ພຽງແຕ່ 5.

ເຖິງວ່າຈະມີຄວາມຈິງທີ່ວ່າແອັບພລິເຄຊັນແລະຫ້ອງສະຫມຸດຖືກສ້າງຂື້ນໃນພາສາ OCaml ລະດັບສູງ, ສະພາບແວດລ້ອມຜົນໄດ້ຮັບສະແດງໃຫ້ເຫັນເຖິງການປະຕິບັດທີ່ດີແລະຂະຫນາດຫນ້ອຍ (ຕົວຢ່າງ, ເຄື່ອງແມ່ຂ່າຍ DNS ໃຊ້ເວລາພຽງແຕ່ 200 KB). ການຮັກສາສະພາບແວດລ້ອມຍັງງ່າຍດາຍ, ເພາະວ່າຖ້າມັນຈໍາເປັນຕ້ອງປັບປຸງໂຄງການຫຼືປ່ຽນການຕັ້ງຄ່າ, ມັນພຽງພໍທີ່ຈະສ້າງແລະເປີດຕົວສະພາບແວດລ້ອມໃຫມ່. ສະຫນັບສະຫນູນ ຫໍສະໝຸດຫຼາຍສິບແຫ່ງ ໃນພາສາ OCaml ເພື່ອປະຕິບັດການດໍາເນີນງານເຄືອຂ່າຍ (DNS, SSH, OpenFlow, HTTP, XMPP, ແລະອື່ນໆ), ເຮັດວຽກກັບການເກັບຮັກສາແລະສະຫນອງການປະມວນຜົນຂໍ້ມູນຂະຫນານ.

ການປ່ຽນແປງຕົ້ນຕໍໃນການປ່ອຍໃຫມ່ແມ່ນກ່ຽວຂ້ອງກັບການສະຫນອງການສະຫນັບສະຫນູນລັກສະນະໃຫມ່ທີ່ສະເຫນີໃນຊຸດເຄື່ອງມື Solo5 0.6.0 (ສະພາບແວດລ້ອມ sandbox ສໍາລັບແລ່ນ unikerel):

• ເພີ່ມຄວາມສາມາດໃນການແລ່ນ unikernel MirageOS ໃນສະພາບແວດລ້ອມທີ່ໂດດດ່ຽວ spt (“ຂະບວນການ sandboxed”) ສະໜອງໃຫ້ໂດຍຊຸດເຄື່ອງມື ພຽງແຕ່ 5. ເມື່ອໃຊ້ spt backend, MirageOS kernels ດໍາເນີນການໃນຂະບວນການຜູ້ໃຊ້ Linux ທີ່ຈະໃຊ້ການໂດດດ່ຽວຫນ້ອຍທີ່ສຸດໂດຍອີງໃສ່ seccomp-BPF;
• ການ​ສະ​ຫນັບ​ສະ​ຫນູນ​ປະ​ຕິ​ບັດ​ ຄໍາຮ້ອງສະຫມັກ manifest ຈາກໂຄງການ Solo5, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດກໍານົດອະແດບເຕີເຄືອຂ່າຍຫຼາຍອັນແລະອຸປະກອນການເກັບຮັກສາທີ່ຕິດກັບ unikernel ໃນການໂດດດ່ຽວໂດຍອີງໃສ່ hvt, spt ແລະ muen backends (ການນໍາໃຊ້ສໍາລັບ genode ແລະ virtio backends ປະຈຸບັນຈໍາກັດຢູ່ໃນອຸປະກອນດຽວ);
• ການປົກປ້ອງ backends ໂດຍອີງໃສ່ Solo5 (hvt, spt) ໄດ້ຮັບຄວາມເຂັ້ມແຂງ, ຕົວຢ່າງ, ການກໍ່ສ້າງໃນໂຫມດ SSP (Stack Smashing Protection) ໄດ້ຖືກສະຫນອງໃຫ້.

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