ສະບັບທີສີ່ຂອງ 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 1.58.0 ເປັນການລວບລວມຂໍ້ມູນອ້າງອີງໄດ້ຖືກເຮັດ. ໃນບັນດາການປ່ຽນແປງທີ່ຈໍາເປັນສໍາລັບໂຄງການ, ເຊິ່ງຍັງບໍ່ໄດ້ລວມຢູ່ໃນຊຸດເຄື່ອງມື Rust ຕົ້ນຕໍ, ທຸງ “-Zsymbol-mangling-version=v0” (ຄາດວ່າຈະຢູ່ໃນ Rust 1.59.0) ແລະຮູບແບບ “maybe_uninit_extra” (ຄາດວ່າຈະຢູ່ໃນ Rust 1.60.0. .XNUMX) ສັງເກດເຫັນ..
• ເພີ່ມການກວດສອບອັດຕະໂນມັດສໍາລັບການມີເຄື່ອງມື Rust ທີ່ເຫມາະສົມແລະຂະຫຍາຍຄວາມສາມາດໃນການທົດສອບການສະຫນັບສະຫນູນ Rust ໃນລະບົບ.
• ບົດຄັດຫຍໍ້ໃໝ່ໄດ້ຖືກສະເໜີໃຫ້ເຂົ້າເຖິງຕາຕະລາງຕົວລະບຸອຸປະກອນ (“IdArray” ແລະ “IdTable”) ຈາກລະຫັດ Rust.
• ເພີ່ມຊັ້ນຂໍ້ມູນເພື່ອເຂົ້າເຖິງຟັງຊັນທີ່ກ່ຽວຂ້ອງກັບໂມງຈັບເວລາ (ກອບໂມງ).
• ໄດເວີແພລະຕະຟອມໃນປັດຈຸບັນຖືກກໍານົດໂດຍຜ່ານການປະຕິບັດລັກສະນະ.
• ມີການເພີ່ມມະຫາພາກໃໝ່ເພື່ອເຮັດໃຫ້ການລົງທະບຽນໄດເວີຂອງແພລດຟອມງ່າຍຂຶ້ນ, ແລະໄດ້ມີການສະເໜີແມ່ແບບໄດເວີທົ່ວໄປໃໝ່.
• ເພີ່ມມາໂຄສຳລັບໂຄງສ້າງ "dev_*".
• ເພີ່ມວິທີການ "{read,write}*_relaxed" ສໍາລັບປະເພດ IoMem.
• ເອົາຄຸນສົມບັດ FileOpener ອອກເພື່ອເຮັດໃຫ້ການດໍາເນີນການໄຟລ໌ງ່າຍຂຶ້ນ.
• ພາລາມິເຕີ "ໂມດູນນີ້" ໄດ້ຖືກເພີ່ມເຂົ້າໃນການໂຕ້ຖຽງທີ່ຜ່ານເມື່ອລົງທະບຽນຄົນຂັບ.
• ແມ່ແບບມາດຕະຖານສໍາລັບການສ້າງໂມດູນ kernel ໃນພາສາ Rust ແມ່ນສະເຫນີ.

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