ສະບັບທີຫ້າຂອງ patches ສໍາລັບ Linux kernel ທີ່ມີການສະຫນັບສະຫນູນພາສາ Rust

Miguel Ojeda, ຜູ້ຂຽນຂອງໂຄງການ Rust-for-Linux, ໄດ້ສະເຫນີສະບັບທີຫ້າຂອງອົງປະກອບສໍາລັບການພັດທະນາໄດເວີອຸປະກອນໃນພາສາ Rust ສໍາລັບການພິຈາລະນາໂດຍຜູ້ພັດທະນາ Linux kernel. ການສະຫນັບສະຫນູນ Rust ແມ່ນພິຈາລະນາເປັນການທົດລອງ, ແຕ່ໄດ້ຖືກລວມເຂົ້າໃນສາຂາຕໍ່ໄປຂອງ linux ແລະໄດ້ຖືກພັດທະນາຢ່າງພຽງພໍເພື່ອເລີ່ມຕົ້ນການເຮັດວຽກໃນການສ້າງຊັ້ນ abstraction ຫຼາຍກວ່າລະບົບຍ່ອຍ kernel, ເຊັ່ນດຽວກັນກັບການຂຽນໄດເວີແລະໂມດູນ. ການພັດທະນາແມ່ນໄດ້ຮັບທຶນຈາກ Google ແລະ ISRG (ກຸ່ມຄົ້ນຄ້ວາຄວາມປອດໄພອິນເຕີເນັດ), ເຊິ່ງເປັນຜູ້ກໍ່ຕັ້ງໂຄງການ Let's Encrypt ແລະສົ່ງເສີມ HTTPS ແລະການພັດທະນາເຕັກໂນໂລຢີເພື່ອປັບປຸງຄວາມປອດໄພຂອງອິນເຕີເນັດ.

ຈື່ໄວ້ວ່າການປ່ຽນແປງທີ່ສະເຫນີເຮັດໃຫ້ມັນສາມາດນໍາໃຊ້ Rust ເປັນພາສາທີສອງສໍາລັບການພັດທະນາໄດເວີແລະໂມດູນ kernel. ການສະຫນັບສະຫນູນ Rust ໄດ້ຖືກນໍາສະເຫນີເປັນທາງເລືອກທີ່ບໍ່ໄດ້ເປີດໃຊ້ໂດຍຄ່າເລີ່ມຕົ້ນແລະບໍ່ໄດ້ສົ່ງຜົນໃຫ້ Rust ຖືກລວມເຂົ້າໃນການກໍ່ສ້າງທີ່ຕ້ອງການສໍາລັບ kernel. ການນໍາໃຊ້ Rust ສໍາລັບການພັດທະນາຄົນຂັບຈະຊ່ວຍໃຫ້ທ່ານສ້າງໄດເວີທີ່ປອດໄພແລະດີກວ່າດ້ວຍຄວາມພະຍາຍາມຫນ້ອຍທີ່ສຸດ, ໂດຍບໍ່ມີບັນຫາເຊັ່ນ: ການເຂົ້າເຖິງຫນ່ວຍຄວາມຈໍາຫຼັງຈາກການປ່ອຍຕົວ, ການປະຕິເສດຕົວຊີ້ null, ແລະ buffer overruns.

Rust ບັງຄັບໃຊ້ຄວາມປອດໄພຂອງຫນ່ວຍຄວາມຈໍາໃນເວລາລວບລວມໂດຍຜ່ານການກວດສອບການອ້າງອິງ, ການເປັນເຈົ້າຂອງວັດຖຸແລະການຕິດຕາມຕະຫຼອດຊີວິດຂອງວັດຖຸ (ຂອບເຂດ), ແລະໂດຍການປະເມີນຄວາມຖືກຕ້ອງຂອງການເຂົ້າເຖິງຫນ່ວຍຄວາມຈໍາໃນເວລາແລ່ນ. Rust ຍັງສະຫນອງການປ້ອງກັນການ overflows integer, ຮຽກຮ້ອງໃຫ້ຄ່າຕົວແປໄດ້ຖືກເລີ່ມຕົ້ນກ່ອນທີ່ຈະນໍາໃຊ້, ມີການຈັດການຄວາມຜິດພາດທີ່ດີກວ່າໃນຫ້ອງສະຫມຸດມາດຕະຖານ, ໃຊ້ແນວຄວາມຄິດຂອງການອ້າງອີງທີ່ບໍ່ປ່ຽນແປງແລະຕົວແປໂດຍຄ່າເລີ່ມຕົ້ນ, ແລະສະຫນອງການພິມຄົງທີ່ທີ່ເຂັ້ມແຂງເພື່ອຫຼຸດຜ່ອນຄວາມຜິດພາດຢ່າງມີເຫດຜົນ.

ສະບັບໃຫມ່ຂອງ patches ຍັງສືບຕໍ່ລົບລ້າງຄໍາເຫັນທີ່ໄດ້ເຮັດໃນລະຫວ່າງການສົນທະນາຂອງສະບັບທໍາອິດ, ທີສອງ, ທີສາມແລະສີ່ຂອງ patches. ໃນ​ສະ​ບັບ​ໃຫມ່​:

• ການທົດສອບອົງປະກອບສໍາລັບການສະຫນັບສະຫນູນ Rust ໄດ້ຖືກເພີ່ມເຂົ້າໃນລະບົບການເຊື່ອມໂຍງຢ່າງຕໍ່ເນື່ອງໂດຍອີງໃສ່ bot ສະຫນັບສະຫນູນ Intel 0DAY/LKP ແລະການພິມເຜີຍແຜ່ບົດລາຍງານການທົດສອບໄດ້ເລີ່ມຕົ້ນ. ພວກເຮົາກໍາລັງກະກຽມທີ່ຈະປະສົມປະສານການສະຫນັບສະຫນູນ Rust ເຂົ້າໄປໃນລະບົບການທົດສອບອັດຕະໂນມັດ KernelCI. ການທົດສອບໂດຍອີງໃສ່ GitHub CI ໄດ້ຖືກໂອນໄປຫາການນໍາໃຊ້ບັນຈຸ.
• ໂມດູນແກ່ນ Rust ໄດ້ຖືກປົດປ່ອຍຈາກຄວາມຕ້ອງການທີ່ຈະກໍານົດຄຸນລັກສະນະ crate “#![no_std]” ແລະ “#![feature(…)]”.
• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບເປົ້າຫມາຍການປະກອບດຽວ (.o, .s, .ll ແລະ .i).
• ຂໍ້ແນະນໍາລະຫັດກໍານົດກົດລະບຽບສໍາລັບການແຍກຄໍາເຫັນ (“//”) ແລະລະຫັດເອກະສານ (“///”).
• ສະຄຣິບ is_rust_module.sh ໄດ້ເຮັດວຽກຄືນໃໝ່ແລ້ວ.
• ເພີ່ມການສະຫນັບສະຫນູນສໍາລັບການ synchronization static (global sharevariable) primitives ອີງໃສ່ການປະຕິບັດ "CONFIG_CONSTRUCTORS".
• ການ​ຄຸ້ມ​ຄອງ Lock ແມ່ນ​ງ່າຍ​ດາຍ​: ກອງ​ແລະ GuardMut ແມ່ນ​ລວມ​ແລະ​ຫນຶ່ງ​ປະ​ເພດ parameterized​.
• ມັນເປັນໄປໄດ້ທີ່ຈະກໍານົດຕົວກໍານົດການເພີ່ມເຕີມໃນເວລາທີ່ລົງທະບຽນອຸປະກອນ.
• ເພີ່ມ "RwSemaphore" abstraction, ເຊິ່ງເຮັດຫນ້າທີ່ເປັນ wrapper ໃນໄລຍະໂຄງສ້າງ C rw_semaphore.
• ເພື່ອໃຊ້ mmap, ໂມດູນ mm ໃໝ່ ແລະ VMA abstraction ໄດ້ຖືກເພີ່ມ (wrapper ຢູ່ເທິງໂຄງສ້າງ vm_area_struct).
• ໄດເວີ GPIO PL061 ໄດ້ຖືກປ່ຽນໄປໃຊ້ “dev_*!” macro.
• ການທໍາຄວາມສະອາດທົ່ວໄປຂອງລະຫັດໄດ້ຖືກປະຕິບັດ.

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