"Rrust ແມ່ນອະນາຄົດຂອງການຂຽນໂປລແກລມລະບົບ, C ແມ່ນຕົວປະກອບໃຫມ່" - ຄໍາເວົ້າຂອງວິສະວະກອນຊັ້ນນໍາຂອງ Intel

ຢູ່ທີ່ Open Source Technology Summi (OSTS) ທີ່ຜ່ານມາ Josh Triplettວິສະວະກອນອາວຸໂສຂອງ Intel ກ່າວວ່າບໍລິສັດຂອງລາວມີຄວາມສົນໃຈໃນ Rust ບັນລຸ "ຄວາມສະເຫມີພາບ" ກັບພາສາ C ທີ່ຍັງຄອບງໍາລະບົບແລະການພັດທະນາລະດັບຕໍ່າໃນອະນາຄົດອັນໃກ້ນີ້. ໃນ​ຄຳ​ປາ​ໄສ​ຂອງ​ເພິ່ນ ພາຍໃຕ້ຫົວຂໍ້ "Intel ແລະ Rust: ອະນາຄົດຂອງການຂຽນໂປລແກລມລະບົບ," ລາວຍັງໄດ້ເວົ້າກ່ຽວກັບປະຫວັດສາດຂອງການຂຽນໂປລແກລມລະບົບ, ວິທີການ C ກາຍເປັນພາສາການຂຽນໂປລແກລມລະບົບໃນຕອນຕົ້ນ, ຄຸນລັກສະນະໃດແດ່ຂອງ Rust ໃຫ້ມັນມີປະໂຫຍດຫຼາຍກວ່າ C, ແລະວິທີການທີ່ມັນສົມບູນ. ແທນ C ໃນພາກສະຫນາມຂອງການຂຽນໂປລແກລມນີ້.

ການຂຽນໂປລແກລມລະບົບແມ່ນການພັດທະນາແລະການຄຸ້ມຄອງຊອບແວທີ່ເຮັດຫນ້າທີ່ເປັນແພລະຕະຟອມສ້າງຄໍາຮ້ອງສະຫມັກຂອງແອັບພລິເຄຊັນ, ຮັບປະກັນການພົວພັນກັບໂປເຊດເຊີ, RAM, ອຸປະກອນປ້ອນ / ຜົນຜະລິດແລະອຸປະກອນເຄືອຂ່າຍ. ຊອບແວລະບົບສ້າງຕົວຫຍໍ້ພິເສດໃນຮູບແບບຂອງການໂຕ້ຕອບທີ່ຊ່ວຍສ້າງຊອບແວຄໍາຮ້ອງສະຫມັກໂດຍບໍ່ມີການ delving ເຂົ້າໄປໃນລາຍລະອຽດຂອງວິທີການຂອງຮາດແວຕົວມັນເອງເຮັດວຽກ.

Triplett ຕົນເອງໄດ້ກໍານົດການຂຽນໂປລແກລມລະບົບເປັນ "ສິ່ງໃດກໍ່ຕາມທີ່ບໍ່ແມ່ນຄໍາຮ້ອງສະຫມັກ." ມັນປະກອບມີສິ່ງຕ່າງໆເຊັ່ນ BIOS, ເຟີມແວ, bootloaders ແລະ kernels ລະບົບປະຕິບັດການ, ປະເພດຕ່າງໆຂອງລະຫັດລະດັບຕ່ໍາທີ່ຖືກຝັງໄວ້, ແລະການປະຕິບັດເຄື່ອງ virtual. ຫນ້າສົນໃຈ, Triplett ເຊື່ອວ່າຕົວທ່ອງເວັບຍັງເປັນຊອບແວລະບົບ, ນັບຕັ້ງແຕ່ຕົວທ່ອງເວັບໄດ້ກາຍເປັນຫຼາຍກ່ວາ "ພຽງແຕ່ໂຄງການ", ກາຍເປັນ "ເວທີສໍາລັບເວັບໄຊທ໌ແລະຄໍາຮ້ອງສະຫມັກເວັບ."

ໃນອະດີດ, ໂປລແກລມລະບົບສ່ວນໃຫຍ່, ລວມທັງ BIOS, bootloaders ແລະ firmware, ຖືກຂຽນເປັນພາສາປະກອບ. ໃນຊຸມປີ 1960, ການທົດລອງເລີ່ມໃຫ້ການຊ່ວຍເຫຼືອດ້ານຮາດແວສໍາລັບພາສາລະດັບສູງ, ນໍາໄປສູ່ການສ້າງພາສາເຊັ່ນ PL/S, BLISS, BCPL, ແລະ ALGOL 68.

ຫຼັງຈາກນັ້ນ, ໃນຊຸມປີ 1970, Dennis Ritchie ໄດ້ສ້າງພາສາການຂຽນໂປລແກລມ C ສໍາລັບລະບົບປະຕິບັດການ Unix. ສ້າງຂຶ້ນໃນພາສາການຂຽນໂປລແກລມ B, ເຊິ່ງບໍ່ມີແມ້ແຕ່ສະຫນັບສະຫນູນການພິມ, C ແມ່ນເຕັມໄປດ້ວຍຫນ້າທີ່ທີ່ມີປະສິດທິພາບສູງທີ່ເຫມາະສົມທີ່ສຸດສໍາລັບການຂຽນລະບົບປະຕິບັດການແລະໄດເວີ. ອົງປະກອບຈໍານວນຫນຶ່ງຂອງ UNIX, ລວມທັງ kernel ຂອງມັນ, ໃນທີ່ສຸດໄດ້ຖືກຂຽນຄືນໃຫມ່ໃນ C. ຕໍ່ມາ, ຫຼາຍໆໂຄງການລະບົບອື່ນໆ, ລວມທັງຖານຂໍ້ມູນ Oracle, ລະຫັດແຫຼ່ງ Windows, ແລະລະບົບປະຕິບັດການ Linux, ຍັງຖືກຂຽນໄວ້ໃນ C.

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

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

ອັນທີສອງ, ພາສາຕ້ອງສະຫນັບສະຫນູນລັກສະນະເກົ່າ, ຊຶ່ງຫມາຍຄວາມວ່າໃນປະຫວັດສາດຂອງການຫັນເປັນ C, ນັກພັດທະນາຕ້ອງແນ່ໃຈວ່າມັນບໍ່ມີປະໂຫຍດຫນ້ອຍກວ່າພາສາປະກອບ. Triplett ອະທິບາຍວ່າ: "ພາສາໃຫມ່ບໍ່ພຽງແຕ່ຈະດີກວ່າ, ມັນຍັງຕ້ອງດີຄືກັນ." ນອກເຫນືອຈາກການໄວຂຶ້ນແລະສະຫນັບສະຫນູນປະເພດຂໍ້ມູນໃດໆທີ່ພາສາປະກອບສາມາດນໍາໃຊ້ໄດ້, C ຍັງມີສິ່ງທີ່ Triplett ເອີ້ນວ່າ "escape hatch" - ຄື, ມັນສະຫນັບສະຫນູນການໃສ່ລະຫັດພາສາ assembly ພາຍໃນຕົວຂອງມັນເອງ.

Triplett ເຊື່ອວ່າປະຈຸບັນ C ໄດ້ກາຍເປັນພາສາທີ່ປະກອບເປັນພາສາທີ່ຫຼາຍປີກ່ອນຫນ້ານີ້. "C ແມ່ນຜູ້ປະກອບໃຫມ່," ລາວປະກາດ. ໃນປັດຈຸບັນນັກພັດທະນາກໍາລັງຊອກຫາພາສາລະດັບສູງໃຫມ່ທີ່ຈະບໍ່ພຽງແຕ່ແກ້ໄຂບັນຫາທີ່ສະສົມຢູ່ໃນ C ທີ່ບໍ່ສາມາດແກ້ໄຂໄດ້, ແຕ່ຍັງສະເຫນີລັກສະນະໃຫມ່ທີ່ຫນ້າຕື່ນເຕັ້ນ. ພາສາດັ່ງກ່າວຕ້ອງມີຄວາມດຶງດູດພໍທີ່ຈະໃຫ້ນັກພັດທະນາປ່ຽນໄປໃຊ້ມັນ, ຕ້ອງມີຄວາມປອດໄພ, ສະຫນອງການຈັດການຄວາມຊົງຈໍາອັດຕະໂນມັດ, ແລະອື່ນໆອີກ.

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

ການປຽບທຽບຂອງ Rust ແລະ C

ກັບຄືນໄປບ່ອນໃນປີ 2006, Graydon Hoare, ພະນັກງານ Mozilla, ເລີ່ມຂຽນ Rust ເປັນໂຄງການສ່ວນບຸກຄົນ. ແລະໃນປີ 2009, Mozilla ໄດ້ເລີ່ມຕົ້ນສະຫນັບສະຫນູນການພັດທະນາຂອງ Rust ສໍາລັບຄວາມຕ້ອງການຂອງຕົນເອງ, ແລະຍັງໄດ້ຂະຫຍາຍທີມງານເພື່ອພັດທະນາພາສາຕື່ມອີກ.

ຫນຶ່ງໃນເຫດຜົນທີ່ Mozilla ມີຄວາມສົນໃຈໃນພາສາໃຫມ່ແມ່ນວ່າ Firefox ໄດ້ຖືກຂຽນໄວ້ໃນລະຫັດ C++ ຫຼາຍກວ່າ 4 ລ້ານເສັ້ນແລະມີຈຸດອ່ອນທີ່ສໍາຄັນຈໍານວນຫນຶ່ງ. Rust ຖືກສ້າງຂຶ້ນດ້ວຍຄວາມປອດໄພແລະຄວາມສອດຄ່ອງຢູ່ໃນໃຈ, ເຮັດໃຫ້ມັນເປັນທາງເລືອກທີ່ເຫມາະສົມສໍາລັບການຂຽນຄືນໃຫມ່ຂອງອົງປະກອບຂອງ Firefox ຫຼາຍໆອັນເປັນສ່ວນຫນຶ່ງຂອງໂຄງການ Quantum ເພື່ອອອກແບບໂຄງສ້າງຂອງຕົວທ່ອງເວັບຄືນໃຫມ່. Mozilla ຍັງໃຊ້ Rust ເພື່ອພັດທະນາ Servo, ເຄື່ອງຈັກການສະແດງຜົນ HTML ທີ່ຈະປ່ຽນແທນເຄື່ອງຈັກການສະແດງຜົນ Firefox ໃນປະຈຸບັນ. ບໍລິສັດອື່ນໆຈໍານວນຫຼາຍໄດ້ເລີ່ມຕົ້ນການນໍາໃຊ້ Rust ສໍາລັບໂຄງການຂອງພວກເຂົາ, ລວມທັງ Microsoft, Google, Facebook, Amazon, Dropbox, Fastly, Chef, Baidu ແລະອື່ນໆຈໍານວນຫຼາຍ.

Rust ແກ້ໄຂບັນຫາທີ່ສໍາຄັນທີ່ສຸດຂອງພາສາ C. ມັນສະຫນອງການຈັດການຫນ່ວຍຄວາມຈໍາອັດຕະໂນມັດເພື່ອໃຫ້ນັກພັດທະນາບໍ່ຈໍາເປັນຕ້ອງຈັດສັນດ້ວຍຕົນເອງແລະຫຼັງຈາກນັ້ນບໍ່ເສຍຄ່າສໍາລັບທຸກໆວັດຖຸໃນແອັບພລິເຄຊັນ. ສິ່ງທີ່ເຮັດໃຫ້ Rust ແຕກຕ່າງຈາກພາສາທີ່ທັນສະໄຫມອື່ນໆແມ່ນວ່າມັນບໍ່ມີຕົວເກັບຂີ້ເຫຍື້ອທີ່ອັດຕະໂນມັດເອົາວັດຖຸທີ່ບໍ່ໄດ້ໃຊ້ອອກຈາກຫນ່ວຍຄວາມຈໍາ, ແລະມັນບໍ່ມີສະພາບແວດລ້ອມ runtime ທີ່ຈໍາເປັນເພື່ອເຮັດໃຫ້ມັນເຮັດວຽກເຊັ່ນ Java Runtime Environment ສໍາລັບ Java. ແທນທີ່ຈະ, Rust ມີແນວຄວາມຄິດຂອງການເປັນເຈົ້າຂອງ, ການກູ້ຢືມ, ການອ້າງອີງ, ແລະຕະຫຼອດຊີວິດ. "Rrust ມີລະບົບສໍາລັບການປະກາດການໂທໄປຫາວັດຖຸເພື່ອຊີ້ບອກວ່າເຈົ້າຂອງກໍາລັງໃຊ້ມັນຫຼືພຽງແຕ່ກູ້ຢືມມັນ. ຖ້າທ່ານພຽງແຕ່ຢືມວັດຖຸຫນຶ່ງ, compiler ຈະຕິດຕາມເລື່ອງນີ້ແລະໃຫ້ແນ່ໃຈວ່າຕົ້ນສະບັບຍັງຄົງຢູ່ຕາບໃດທີ່ທ່ານອ້າງເຖິງມັນ. Rust ຍັງຈະຮັບປະກັນວ່າວັດຖຸຖືກໂຍກຍ້າຍອອກຈາກຫນ່ວຍຄວາມຈໍາທັນທີທີ່ການນໍາໃຊ້ມັນສໍາເລັດ, ໃສ່ສາຍທີ່ສອດຄ້ອງກັນເຂົ້າໄປໃນລະຫັດໃນເວລາລວບລວມໂດຍບໍ່ມີເວລາເພີ່ມເຕີມ, "Triplett ເວົ້າ.

ການຂາດ runtime ພື້ນເມືອງຍັງສາມາດຖືວ່າເປັນລັກສະນະໃນທາງບວກຂອງ Rust. Triplett ເຊື່ອວ່າພາສາທີ່ມັນດໍາເນີນການແມ່ນຍາກທີ່ຈະໃຊ້ເປັນເຄື່ອງມືການຂຽນໂປຼແກຼມລະບົບ. ໃນຂະນະທີ່ລາວອະທິບາຍວ່າ: "ທ່ານຕ້ອງເລີ່ມຕົ້ນ runtime ນີ້ກ່ອນທີ່ທ່ານຈະສາມາດໂທຫາລະຫັດໃດໆ, ທ່ານຕ້ອງໃຊ້ runtime ນີ້ເພື່ອໂທຫາຫນ້າທີ່, ແລະ runtime ຕົວຂອງມັນເອງອາດຈະແລ່ນລະຫັດເພີ່ມເຕີມຢູ່ຫລັງຂອງທ່ານໃນເວລາທີ່ບໍ່ຄາດຄິດ."

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

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

Triplett ມີຄວາມຕັ້ງໃຈທີ່ຈະສ້າງກຸ່ມເຮັດວຽກພິເສດທີ່ຈະສຸມໃສ່ການນໍາສະເຫນີລັກສະນະທີ່ຈໍາເປັນເຂົ້າໄປໃນ Rust ເພື່ອໃຫ້ສາມາດເທົ່າທຽມກັນຢ່າງເຕັມສ່ວນ, surpass ແລະທົດແທນ C ໃນພາກສະຫນາມຂອງການຂຽນໂປລແກລມລະບົບ. IN ກະທູ້ກ່ຽວກັບ Redditໂດຍອຸທິດຕົນຕໍ່ຄໍາເວົ້າຂອງລາວ, ທ່ານກ່າວວ່າ "ກຸ່ມ FFI / C Parity ແມ່ນຢູ່ໃນຂະບວນການສ້າງແລະຍັງບໍ່ທັນໄດ້ເລີ່ມເຮັດວຽກ," ສໍາລັບຕອນນີ້ລາວພ້ອມທີ່ຈະຕອບຄໍາຖາມໃດໆ, ແລະໃນອະນາຄົດລາວຈະເຜີຍແຜ່ແຜນການທັນທີທັນໃດ. ສໍາລັບການພັດທະນາ Rust ເປັນສ່ວນຫນຶ່ງຂອງການລິເລີ່ມຂອງລາວສໍາລັບທຸກພາກສ່ວນທີ່ສົນໃຈ.

ມັນສາມາດສົມມຸດໄດ້ວ່າກຸ່ມ FFI/C Parity ທໍາອິດຈະສຸມໃສ່ການປັບປຸງການສະຫນັບສະຫນູນຫຼາຍກະທູ້ໃນ Rust, ແນະນໍາການສະຫນັບສະຫນູນສໍາລັບ BFLOAT16, ຮູບແບບຈຸດລອຍທີ່ປາກົດຢູ່ໃນໂປເຊດເຊີ Intel Xeon Scalable ໃຫມ່, ເຊັ່ນດຽວກັນກັບການປະກອບສະຖຽນລະພາບ. ການໃສ່ລະຫັດ.

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