ການສະຫນັບສະຫນູນ Rust ສໍາລັບ Linux kernel ປະເຊີນກັບການວິພາກວິຈານຈາກ Torvalds

Linus Torvalds ໄດ້ທົບທວນຄືນ patches ທີ່ປະຕິບັດຄວາມສາມາດໃນການສ້າງໄດເວີໃນພາສາ Rust ສໍາລັບ Linux kernel, ແລະເຮັດໃຫ້ບາງຄໍາເຫັນທີ່ສໍາຄັນ.

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

ບັນຫາອີກອັນຫນຶ່ງແມ່ນຄວາມພະຍາຍາມທີ່ຈະໃຊ້ຈຸດລອຍຫຼືປະເພດ 128-bit, ເຊິ່ງບໍ່ສາມາດຍອມຮັບໄດ້ສໍາລັບສະພາບແວດລ້ອມເຊັ່ນ Linux kernel. ນີ້ໄດ້ກາຍເປັນບັນຫາທີ່ຮ້າຍແຮງກວ່າເກົ່າ, ເນື່ອງຈາກວ່າໃນປັດຈຸບັນຫ້ອງສະຫມຸດ Rust ຫຼັກແມ່ນ indivisible ແລະເປັນຕົວແທນຂອງ blob ຂະຫນາດໃຫຍ່ຫນຶ່ງ - ບໍ່ມີວິທີທີ່ຈະຮ້ອງຂໍພຽງແຕ່ບາງສ່ວນຂອງຄຸນນະສົມບັດ, ປ້ອງກັນການນໍາໃຊ້ຫນຶ່ງຫຼືການທໍາງານທີ່ມີບັນຫາ. ການແກ້ໄຂບັນຫາອາດຈະຮຽກຮ້ອງໃຫ້ມີການປ່ຽນແປງຂອງ rust compiler ແລະຫ້ອງສະຫມຸດ, ເຖິງແມ່ນວ່າໃນປັດຈຸບັນທີມງານຍັງບໍ່ທັນມີຍຸດທະສາດສໍາລັບວິທີການປະຕິບັດ modularization ຂອງຫ້ອງສະຫມຸດພາສາ.

ນອກຈາກນັ້ນ, Torvalds ສັງເກດເຫັນວ່າຕົວຢ່າງຄົນຂັບທີ່ສະຫນອງໃຫ້ແມ່ນບໍ່ມີປະໂຫຍດແລະແນະນໍາໃຫ້ພວກເຮົາໃຊ້ເປັນຕົວຢ່າງບາງຕົວຂັບຂີ່ທີ່ແກ້ໄຂບັນຫາທີ່ແທ້ຈິງຫນຶ່ງ.

ປັບປຸງໃຫ້ທັນ: Google ໄດ້ປະກາດການມີສ່ວນຮ່ວມໃນການລິເລີ່ມເພື່ອຊຸກຍູ້ການສະຫນັບສະຫນູນ Rust ເຂົ້າໄປໃນ Linux kernel ແລະໄດ້ໃຫ້ເຫດຜົນດ້ານວິຊາການສໍາລັບການແນະນໍາ Rust ເພື່ອຕໍ່ສູ້ກັບບັນຫາທີ່ເກີດຂື້ນຈາກຄວາມຜິດພາດຂອງຫນ່ວຍຄວາມຈໍາ. Google ເຊື່ອວ່າ Rust ພ້ອມທີ່ຈະເຂົ້າຮ່ວມ C ເປັນພາສາສໍາລັບການພັດທະນາອົງປະກອບຂອງ Linux kernel. ບົດຄວາມຍັງໃຫ້ຕົວຢ່າງຂອງການໃຊ້ພາສາ Rust ເພື່ອພັດທະນາໄດເວີຂອງແກ່ນ, ໃນສະພາບການຂອງການນໍາໃຊ້ໃນເວທີ Android (Rust ຖືກຮັບຮູ້ວ່າເປັນພາສາທີ່ສະຫນັບສະຫນູນຢ່າງເປັນທາງການສໍາລັບການພັດທະນາ Android).

ມັນໄດ້ຖືກສັງເກດເຫັນວ່າ Google ໄດ້ກະກຽມຕົວແບບເບື້ອງຕົ້ນຂອງໄດເວີທີ່ຂຽນໄວ້ໃນ Rust ສໍາລັບກົນໄກການສື່ສານລະຫວ່າງ Binder, ເຊິ່ງຈະຊ່ວຍໃຫ້ມີການປຽບທຽບລາຍລະອຽດຂອງການປະຕິບັດແລະຄວາມປອດໄພຂອງການປະຕິບັດ Binder ໃນ C ແລະ Rust. ໃນຮູບແບບປະຈຸບັນ, ການເຮັດວຽກຍັງບໍ່ທັນສົມບູນ, ແຕ່ສໍາລັບເກືອບທັງຫມົດ abstractions ພື້ນຖານຂອງການເຮັດວຽກຂອງແກ່ນທີ່ຈໍາເປັນສໍາລັບ Binder ເຮັດວຽກ, ຊັ້ນຕ່າງໆໄດ້ຖືກກະກຽມສໍາລັບການນໍາໃຊ້ abstractions ເຫຼົ່ານີ້ຢູ່ໃນລະຫັດ Rust.

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