Rust ແມ່ນລວມຢູ່ໃນພາສາຕົ້ນຕໍສໍາລັບການພັດທະນາເວທີ Android

Google ໄດ້ປະກາດການລວມເອົາພາສາການຂຽນໂປລແກລມ Rust ໃນບັນດາພາສາທີ່ອະນຸຍາດໃຫ້ພັດທະນາແພລະຕະຟອມ Android. ຕົວລວບລວມພາສາ Rust ໄດ້ຖືກລວມເຂົ້າໃນ Android ແຫຼ່ງຕົ້ນໄມ້ໃນປີ 2019, ແຕ່ການຮອງຮັບພາສານີ້ຍັງຄົງຢູ່ໃນການທົດລອງ. ບາງສ່ວນຂອງອົງປະກອບ Rust ທໍາອິດທີ່ວາງແຜນສໍາລັບ Android ປະກອບມີການປະຕິບັດໃຫມ່ຂອງກົນໄກການສື່ສານລະຫວ່າງ Binder ແລະ stack Bluetooth.

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

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

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

ເພື່ອຮັບປະກັນຄວາມປອດໄພຂອງລະຫັດ C ແລະ C++, Android ໃຊ້ການແຍກ sandbox, ການວິເຄາະຄົງທີ່, ແລະການທົດສອບ fuzzing. ຄວາມສາມາດຂອງການໂດດດ່ຽວ sandbox ແມ່ນຈໍາກັດແລະໄດ້ບັນລຸຂອບເຂດຈໍາກັດຂອງຄວາມສາມາດຂອງເຂົາເຈົ້າ (ການແຍກສ່ວນເພີ່ມເຕີມເຂົ້າໄປໃນຂະບວນການແມ່ນ impractical ຈາກຈຸດຂອງການບໍລິໂພກຊັບພະຍາກອນ). ຂໍ້ຈໍາກັດຂອງການນໍາໃຊ້ sandbox ປະກອບມີຄ່າໃຊ້ຈ່າຍຄ່າໃຊ້ຈ່າຍຂະຫນາດໃຫຍ່ແລະການບໍລິໂພກຫນ່ວຍຄວາມຈໍາເພີ່ມຂຶ້ນທີ່ເກີດຈາກຄວາມຕ້ອງການທີ່ຈະ spawn ຂະບວນການໃຫມ່, ເຊັ່ນດຽວກັນກັບການຊັກຊ້າເພີ່ມເຕີມທີ່ກ່ຽວຂ້ອງກັບການນໍາໃຊ້ IPC.

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

ສໍາລັບຂະບວນການຂອງລະບົບໃນ Android, Google ປະຕິບັດຕາມ "ກົດລະບຽບຂອງສອງ", ອີງຕາມການເພີ່ມລະຫັດໃດໆຈະຕ້ອງຕອບສະຫນອງບໍ່ເກີນສອງໃນສາມເງື່ອນໄຂ: ການເຮັດວຽກກັບຂໍ້ມູນການປ້ອນຂໍ້ມູນທີ່ບໍ່ຖືກຕ້ອງ, ການນໍາໃຊ້ພາສາການຂຽນໂປຼແກຼມທີ່ບໍ່ປອດໄພ (C/C++), ແລະ ແລ່ນໂດຍບໍ່ມີການແຍກ sandbox ທີ່ເຄັ່ງຄັດ (ມີສິດທິພິເສດສູງ). ກົດລະບຽບນີ້ຫມາຍຄວາມວ່າລະຫັດສໍາລັບການປະມວນຜົນຂໍ້ມູນພາຍນອກຈະຕ້ອງຖືກຫຼຸດລົງເປັນສິດທິພິເສດຫນ້ອຍ (ໂດດດ່ຽວ) ຫຼືຂຽນເປັນພາສາການຂຽນໂປຼແກຼມທີ່ປອດໄພ.

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

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