Microsoft ກໍາລັງພັດທະນາພາສາການຂຽນໂປຼແກຼມໃຫມ່ໂດຍອີງໃສ່ Rust

Microsoft ເປັນສ່ວນຫນຶ່ງຂອງໂຄງການທົດລອງ Verona ພັດທະນາ ພາສາການຂຽນໂປລແກລມໃຫມ່ໂດຍອີງໃສ່ພາສາ Rust ແລະສຸມໃສ່ການພັດທະນາຄໍາຮ້ອງສະຫມັກທີ່ປອດໄພທີ່ບໍ່ຂຶ້ນກັບບັນຫາຄວາມປອດໄພປົກກະຕິ. ແຫຼ່ງບົດເລື່ອງຂອງການພັດທະນາໃນປະຈຸບັນທີ່ກ່ຽວຂ້ອງກັບໂຄງການແມ່ນໄດ້ວາງແຜນໄວ້ໃນອະນາຄົດອັນໃກ້ນີ້ ເປີດ ອະນຸຍາດພາຍໃຕ້ Apache 2.0.

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

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

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