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

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

ໃນ​ສະ​ບັບ​ໃຫມ່​:

• ຊຸດເຄື່ອງມືແລະຕົວແປຂອງຫ້ອງສະຫມຸດຈັດສັນ, ໂດຍບໍ່ມີການສ້າງສະຖານະ "ຕົກໃຈ" ທີ່ເປັນໄປໄດ້ເມື່ອມີຂໍ້ຜິດພາດເກີດຂື້ນ, ໄດ້ຖືກປັບປຸງສໍາລັບການປ່ອຍ Rust 1.62. ເມື່ອປຽບທຽບກັບຮຸ່ນທີ່ໃຊ້ໃນເມື່ອກ່ອນ, ຊຸດເຄື່ອງມື Rust ໄດ້ສະຫນັບສະຫນູນສະຖຽນລະພາບສໍາລັບການເຮັດວຽກ const_fn_trait_bound ທີ່ໃຊ້ໃນ kernel patches.
• ລະຫັດການຜູກມັດຖືກແຍກອອກເປັນຊຸດ crate ແຍກຕ່າງຫາກ "bindings", ເຊິ່ງເຮັດໃຫ້ງ່າຍດາຍການກໍ່ສ້າງໃຫມ່ຖ້າຫາກວ່າການປ່ຽນແປງແມ່ນເຮັດພຽງແຕ່ກັບຊຸດຕົ້ນຕໍ "kernel".
• ການປະຕິບັດມະຫາພາກ "concat_idents!" ຂຽນຄືນໃຫມ່ໃນຮູບແບບຂອງ macro ຂັ້ນຕອນທີ່ບໍ່ຕິດກັບການເຮັດວຽກຂອງ concat_idents ແລະອະນຸຍາດໃຫ້ນໍາໃຊ້ການອ້າງອີງເຖິງຕົວແປທ້ອງຖິ່ນ.
• ມະຫາພາກ "static_assert!" ໄດ້ຖືກຂຽນຄືນໃຫມ່, ອະນຸຍາດໃຫ້ໃຊ້ "core:: assert!()" ໃນສະພາບການໃດນຶ່ງແທນທີ່ຈະເປັນຄ່າຄົງທີ່.
• Macro "build_error!" ປັບ​ໃຫ້​ເຫມາະ​ສົມ​ກັບ​ການ​ເຮັດ​ວຽກ​ໃນ​ເວ​ລາ​ທີ່​ຮູບ​ແບບ “RUST_BUILD_ASSERT_{WARN, ALLOW}” ຖືກ​ຕັ້ງ​ໄວ້​ສໍາ​ລັບ​ໂມ​ດູນ​.
• ເພີ່ມໄຟລ໌ແຍກຕ່າງຫາກດ້ວຍການຕັ້ງຄ່າ “kernel/configs/rust.config”.
• ໄຟລ໌ “*.i” ທີ່ປະມວນຜົນໃນການທົດແທນມະຫາພາກໄດ້ຖືກປ່ຽນຊື່ເປັນ “*.rsi”.
• ການສະຫນັບສະຫນູນການກໍ່ສ້າງອົງປະກອບ Rust ທີ່ມີລະດັບການເພີ່ມປະສິດທິພາບທີ່ແຕກຕ່າງຈາກທີ່ໃຊ້ສໍາລັບລະຫັດ C ໄດ້ຖືກຢຸດເຊົາ.
• ເພີ່ມໂມດູນ fs, ເຊິ່ງສະຫນອງການຜູກມັດສໍາລັບການເຮັດວຽກກັບລະບົບໄຟລ໌. ຕົວຢ່າງຂອງລະບົບໄຟລ໌ທີ່ງ່າຍດາຍທີ່ຂຽນໃນ Rust ແມ່ນສະຫນອງໃຫ້.
• ເພີ່ມໂມດູນ workqueue ສໍາລັບການເຮັດວຽກກັບແຖວລະບົບ (ສະຫນອງການຜູກມັດໃນໄລຍະ work_struct ແລະ workqueue_struct kernel ໂຄງສ້າງ).
• ການພັດທະນາຂອງໂມດູນ kasync ສືບຕໍ່ດ້ວຍການຈັດຕັ້ງປະຕິບັດວິທີການຂຽນໂປລແກລມ asynchronous (async). ເພີ່ມຕົວຢ່າງຂອງເຄື່ອງແມ່ຂ່າຍ TCP ລະດັບຫຼັກທີ່ຂຽນໃນ Rust.
• ເພີ່ມຄວາມສາມາດໃນການຈັດການກັບການຂັດຂວາງໃນພາສາ Rust ໂດຍໃຊ້ປະເພດ [Threaded]Handler ແລະ [Threaded]Registration`.
• ເພີ່ມຂະບວນການ macro "#[vtable]" ເພື່ອເຮັດໃຫ້ມັນງ່າຍຕໍ່ການເຮັດວຽກກັບຕາຕະລາງຂອງຕົວຊີ້ຟັງຊັນ, ເຊັ່ນໂຄງສ້າງ file_operations.
• ເພີ່ມການຈັດຕັ້ງປະຕິບັດລາຍການເຊື່ອມຕໍ່ແບບສອງທິດທາງ "unsafe_list::List".
• ເພີ່ມການສະຫນັບສະຫນູນເບື້ອງຕົ້ນສໍາລັບ RCU (Read-copy-update) ແລະປະເພດ Guard ເພື່ອກວດເບິ່ງວ່າການອ່ານ lock ຖືກຜູກມັດກັບກະທູ້ໃນປະຈຸບັນ.
• ເພີ່ມໜ້າວຽກ::spawn() ຟັງຊັນເພື່ອສ້າງ ແລະເລີ່ມກະທູ້ kernel ໂດຍອັດຕະໂນມັດ. ນອກຈາກນີ້ຍັງໄດ້ເພີ່ມວິທີການ Task::wake_up() .
• ເພີ່ມໂມດູນການຊັກຊ້າທີ່ອະນຸຍາດໃຫ້ທ່ານໃຊ້ການຊັກຊ້າ (wrapper over msleep()).

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

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

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