ກອບສໍາລັບການຂຽນໄດເວີທີ່ປອດໄພສໍາລັບ Linux kernel ໃນ Rust

Josh Triplett, ຜູ້ທີ່ເຮັດວຽກຢູ່ Intel ແລະຢູ່ໃນຄະນະກໍາມະການທີ່ເບິ່ງແຍງການພັດທະນາ Crates.io, ເວົ້າຢູ່ໃນກອງປະຊຸມສຸດຍອດເຕັກໂນໂລຢີ Open Source. ແນະ ນຳ ກຸ່ມເຮັດວຽກເພື່ອແນໃສ່ນໍາເອົາພາສາ Rust ໄປສູ່ຄວາມສະເຫມີພາບກັບພາສາ C ໃນຂົງເຂດການຂຽນໂປຼແກຼມລະບົບ.

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

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

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

Greg Kroah-Hartman, ຜູ້ທີ່ຮັບຜິດຊອບໃນການຮັກສາສາຂາທີ່ຫມັ້ນຄົງຂອງ Linux kernel, ໄດ້ສະແດງຄວາມພ້ອມທີ່ຈະເພີ່ມກອບສໍາລັບການພັດທະນາໄດເວີໃນພາສາ Rust ກັບ kernel ຖ້າມັນມີຂໍ້ໄດ້ປຽບຢ່າງແທ້ຈິງຕໍ່ C, ຕົວຢ່າງ, ມັນຈະສະຫນອງຄວາມປອດໄພ. ການຜູກມັດໃນໄລຍະ Kernel API. ນອກຈາກນັ້ນ, Greg ພິຈາລະນາກອບນີ້ພຽງແຕ່ເປັນທາງເລືອກ, ບໍ່ມີການເຄື່ອນໄຫວໂດຍຄ່າເລີ່ມຕົ້ນ, ເພື່ອບໍ່ໃຫ້ Rust ເປັນການກໍ່ສ້າງຂຶ້ນກັບແກ່ນ.

ມັນໄດ້ຫັນອອກວ່າທີມງານຈໍານວນຫນຶ່ງກໍາລັງເຮັດວຽກຢູ່ໃນທິດທາງນີ້. ຕົວຢ່າງ, ນັກພັດທະນາຈາກບໍລິສັດ "ປາໃນຖັງ" ກະກຽມ ຊຸດເຄື່ອງມືສໍາລັບການຂຽນໂມດູນທີ່ສາມາດໂຫຼດໄດ້ສໍາລັບ Linux kernel ໃນພາສາ Rust, ນໍາໃຊ້ຊຸດຂອງຊັ້ນທີ່ບໍ່ມີຕົວຕົນໃນໄລຍະການໂຕ້ຕອບແລະໂຄງສ້າງ kernel ເພື່ອເພີ່ມຄວາມປອດໄພ. ຊັ້ນຂໍ້ມູນຖືກສ້າງຂື້ນໂດຍອັດຕະໂນມັດໂດຍອີງໃສ່ໄຟລ໌ສ່ວນຫົວ kernel ທີ່ມີຢູ່ໂດຍໃຊ້ປະໂຫຍດ ຜູກມັດ. Clang ຖືກນໍາໃຊ້ເພື່ອສ້າງຊັ້ນ. ນອກເຫນືອໄປຈາກ interlayers, ໂມດູນປະກອບໃຊ້ຊຸດ staticlib.

ຂະ ໜານ ກຳ ລັງພັດທະນາ ໂຄງການອື່ນໄດ້ສຸມໃສ່ການພັດທະນາໄດເວີສໍາລັບລະບົບຝັງຕົວແລະອຸປະກອນ IoT, ເຊິ່ງຍັງໃຊ້ bindgen ເພື່ອສ້າງຊັ້ນຕ່າງໆໂດຍອີງໃສ່ໄຟລ໌ຫົວຂອງແກ່ນ. ກອບຊ່ວຍໃຫ້ທ່ານປັບປຸງຄວາມປອດໄພຂອງໄດເວີໂດຍບໍ່ມີການປ່ຽນແປງ kernel - ແທນທີ່ຈະສ້າງລະດັບຄວາມໂດດດ່ຽວເພີ່ມເຕີມສໍາລັບຄົນຂັບໃນ kernel, ມັນຖືກສະເຫນີໃຫ້ສະກັດບັນຫາໃນຂັ້ນຕອນການລວບລວມ, ການນໍາໃຊ້ພາສາ Rust ທີ່ປອດໄພກວ່າ. ສົມມຸດວ່າວິທີການດັ່ງກ່າວອາດຈະເປັນຄວາມຕ້ອງການຂອງຜູ້ຜະລິດອຸປະກອນທີ່ພັດທະນາຜູ້ຂັບຂີ່ທີ່ເປັນເຈົ້າຂອງຢ່າງຮີບດ່ວນໂດຍບໍ່ມີການດໍາເນີນການກວດສອບທີ່ເຫມາະສົມ.

ບໍ່ແມ່ນການທໍາງານທີ່ຕັ້ງໄວ້ທັງໝົດຍັງບໍ່ທັນໄດ້ປະຕິບັດເທື່ອ, ແຕ່ກອບແມ່ນຂ້ອນຂ້າງເຫມາະສົມສໍາລັບການເຮັດວຽກ ແລະຖືກນໍາໃຊ້ເພື່ອຂຽນໄດເວີທີ່ເຮັດວຽກສໍາລັບ LAN9512 USB Ethernet controller ທີ່ສະຫນອງໃນກະດານ Raspberry Pi 3. ໄດເວີ smsc95xx ທີ່ມີຢູ່ແລ້ວ, ຂຽນໂດຍໃນ ພາສາ C. ມັນໄດ້ຖືກສັງເກດເຫັນວ່າຂະຫນາດຂອງໂມດູນແລະ overhead ຈາກອົງປະກອບ runtime ໃນເວລາທີ່ການພັດທະນາໄດເວີໃນ Rust ແມ່ນບໍ່ສໍາຄັນ, ເຊິ່ງອະນຸຍາດໃຫ້ກອບສໍາລັບອຸປະກອນທີ່ມີຊັບພະຍາກອນຈໍາກັດ.

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