ໂຄງການ seL4 open microkernel ໄດ້ຮັບລາງວັນ ACM Software System Award, ເປັນລາງວັນປະຈໍາປີທີ່ມອບໃຫ້ໂດຍສະມາຄົມສໍາລັບເຄື່ອງຈັກຄອມພິວເຕີ້ (ACM), ອົງການຈັດຕັ້ງສາກົນທີ່ເຄົາລົບທີ່ສຸດໃນຂົງເຂດລະບົບຄອມພິວເຕີ. ລາງວັນແມ່ນມອບໃຫ້ສໍາລັບຜົນສໍາເລັດໃນພາກສະຫນາມຂອງຫຼັກຖານສະແດງທາງຄະນິດສາດຂອງການດໍາເນີນງານ, ເຊິ່ງຊີ້ໃຫ້ເຫັນເຖິງການປະຕິບັດຢ່າງເຕັມທີ່ກັບຂໍ້ກໍານົດທີ່ລະບຸໄວ້ໃນພາສາທີ່ເປັນທາງການແລະຮັບຮູ້ຄວາມພ້ອມສໍາລັບການນໍາໃຊ້ໃນຄໍາຮ້ອງສະຫມັກທີ່ສໍາຄັນ. ໂຄງການ seL4 ໄດ້ສະແດງໃຫ້ເຫັນວ່າມັນບໍ່ພຽງແຕ່ສາມາດກວດສອບຄວາມຫນ້າເຊື່ອຖືແລະຄວາມປອດໄພຢ່າງເປັນທາງການຢ່າງເຕັມທີ່ສໍາລັບໂຄງການໃນລະດັບຂອງລະບົບປະຕິບັດການອຸດສາຫະກໍາ, ແຕ່ຍັງເພື່ອບັນລຸເປົ້າຫມາຍນີ້ໂດຍບໍ່ມີການເສຍສະລະການປະຕິບັດແລະ versatility.
ລາງວັນລະບົບຊອບແວ ACM ໄດ້ຖືກນໍາສະເຫນີປະຈໍາປີເພື່ອຮັບຮູ້ການພັດທະນາລະບົບຊອບແວທີ່ມີຜົນກະທົບທີ່ກໍານົດໃນອຸດສາຫະກໍາ, ແນະນໍາແນວຄວາມຄິດໃຫມ່ຫຼືເປີດຄໍາຮ້ອງສະຫມັກທາງການຄ້າໃຫມ່. ຈໍານວນລາງວັນແມ່ນ 35 ພັນໂດລາສະຫະລັດ. ໃນຊຸມປີທີ່ຜ່ານມາ, ລາງວັນ ACM ໄດ້ຖືກມອບໃຫ້ໂຄງການ GCC ແລະ LLVM, ແລະຜູ້ກໍ່ຕັ້ງ Richard Stallman ແລະ Chris Latner. ໂຄງການແລະເຕັກໂນໂລຢີອື່ນໆທີ່ໄດ້ຮັບຮາງວັນແມ່ນ UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB ແລະ eclipse .
ສະຖາປັດຕະຍະກໍາຂອງ microkernel seL4 ແມ່ນສັງເກດເຫັນສໍາລັບການໂຍກຍ້າຍຂອງພາກສ່ວນສໍາລັບການຄຸ້ມຄອງຊັບພະຍາກອນ kernel ໃນພື້ນທີ່ຜູ້ໃຊ້ແລະການນໍາໃຊ້ວິທີການດຽວກັນຂອງການຄວບຄຸມການເຂົ້າເຖິງຊັບພະຍາກອນເຊັ່ນ: ສໍາລັບຊັບພະຍາກອນຜູ້ໃຊ້. microkernel ບໍ່ໄດ້ສະຫນອງການບໍ່ມີຕົວຕົນໃນລະດັບສູງອອກຈາກກ່ອງສໍາລັບການຈັດການໄຟລ໌, ຂະບວນການ, ການເຊື່ອມຕໍ່ເຄືອຂ່າຍ, ແລະອື່ນໆ, ແທນທີ່ຈະ, ມັນສະຫນອງພຽງແຕ່ກົນໄກຫນ້ອຍທີ່ສຸດສໍາລັບການຄວບຄຸມການເຂົ້າເຖິງພື້ນທີ່ທີ່ຢູ່ທາງດ້ານຮ່າງກາຍ, ການຂັດຂວາງແລະຊັບພະຍາກອນຂອງໂປເຊດເຊີ. abstractions ລະດັບສູງແລະໄດເວີສໍາລັບການພົວພັນກັບຮາດແວແມ່ນປະຕິບັດແຍກຕ່າງຫາກຢູ່ເທິງສຸດຂອງ microkernel ໃນຮູບແບບຂອງວຽກງານລະດັບຜູ້ໃຊ້. ການເຂົ້າເຖິງຂອງວຽກງານດັ່ງກ່າວກັບຊັບພະຍາກອນທີ່ມີ microkernel ໄດ້ຖືກຈັດຕັ້ງໂດຍຜ່ານຄໍານິຍາມຂອງກົດລະບຽບ.
ແຫຼ່ງຂໍ້ມູນ: opennet.ru