ການປ່ອຍພາສາການຂຽນໂປຼແກຼມ Rust 1.74. ການກວດສອບ RustVMM. Rewriting Binder ໃນ Rust

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

ວິທີການຈັດການຫນ່ວຍຄວາມຈໍາຂອງ Rust ຊ່ວຍປະຢັດນັກພັດທະນາຈາກຄວາມຜິດພາດໃນເວລາທີ່ manipulating pointers ແລະປ້ອງກັນບັນຫາທີ່ເກີດຂື້ນເນື່ອງຈາກການຈັດການຫນ່ວຍຄວາມຈໍາລະດັບຕ່ໍາ, ເຊັ່ນ: ການເຂົ້າເຖິງພື້ນທີ່ຫນ່ວຍຄວາມຈໍາຫຼັງຈາກທີ່ມັນໄດ້ຖືກປົດປ່ອຍ, dereferencing null pointers, buffer overruns, ແລະອື່ນໆ. ເພື່ອແຈກຢາຍຫ້ອງສະຫມຸດ, ສະຫນອງການກໍ່ສ້າງແລະການຄຸ້ມຄອງການເພິ່ງພາອາໄສ, ໂຄງການພັດທະນາຜູ້ຈັດການຊຸດສິນຄ້າ. ຄັງເກັບ crates.io ໄດ້ຮັບການສະຫນັບສະຫນູນສໍາລັບການເປັນເຈົ້າພາບຫ້ອງສະຫມຸດ.

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

ນະວັດຕະກໍາຕົ້ນຕໍ:

• ເພີ່ມຄວາມສາມາດໃນການຕັ້ງຄ່າການກວດສອບ lint ຜ່ານໄຟລ໌ Cargo.toml ດ້ວຍ manifest ຜູ້ຈັດການຊຸດ. ເພື່ອກໍານົດການຕັ້ງຄ່າ lint, ເຊັ່ນ: ລະດັບການຕອບສະຫນອງ (ຫ້າມ, ປະຕິເສດ, ເຕືອນ, ອະນຸຍາດ), ພາກສ່ວນໃຫມ່ "[lints]" ແລະ "[workspace.lints]" ໄດ້ຖືກສະເຫນີ, ການປ່ຽນແປງທີ່ໄດ້ຖືກພິຈາລະນາໃນເວລາທີ່ການຕັດສິນໃຈກ່ຽວກັບ. ການກໍ່ສ້າງຄືນໃຫມ່. ຕົວຢ່າງ, ແທນທີ່ຈະລະບຸທຸງ “-F”, “-D”, “-W” ແລະ “-A” ເມື່ອປະກອບ ຫຼືເພີ່ມ “#![forbid(unsafe_code)]” ແລະ “#![deny(clippy :” attributes to the code) :enum_glob_use)]" ດຽວນີ້ສາມາດໃຊ້ໃນ Cargo manifest: [lints.rust] unsafe_code = "forbid" [lints.clippy] enum_glob_use = "ປະຕິເສດ"
• ຜູ້ຈັດການຊຸດ Crate ໄດ້ເພີ່ມຄວາມສາມາດໃນການກວດສອບຄວາມຖືກຕ້ອງໃນເວລາທີ່ເຊື່ອມຕໍ່ກັບບ່ອນເກັບມ້ຽນ. ການແຈກຢາຍພື້ນຖານປະກອບມີການສະຫນັບສະຫນູນການວາງຕົວກໍານົດການຢືນຢັນໃນຮ້ານຂໍ້ມູນປະຈໍາ Linux (ອີງໃສ່ libsecret), macOS (Keychain) ແລະ Windows (Windows Credential Manager), ແຕ່ລະບົບໄດ້ຖືກສ້າງຂື້ນໃນເບື້ອງຕົ້ນແບບໂມດູລາແລະຊ່ວຍໃຫ້ທ່ານສາມາດຈັດຕັ້ງການເຮັດວຽກກັບຜູ້ໃຫ້ບໍລິການຕ່າງໆສໍາລັບການເກັບຮັກສາແລະ. ການສ້າງ tokens, ສໍາລັບຕົວຢ່າງ, plugin ໄດ້ຖືກກະກຽມສໍາລັບການນໍາໃຊ້ຕົວຈັດການລະຫັດຜ່ານ 1Password. ການພິສູດຢືນຢັນອາດຈະຕ້ອງການໂດຍ repository ສໍາລັບການດໍາເນີນງານໃດຫນຶ່ງ, ບໍ່ພຽງແຕ່ເພື່ອຢືນຢັນວ່າ packages ໄດ້ຖືກຈັດພີມມາ. ~/.cargo/config.toml [registry] global-credential-providers = ["cargo:token", "cargo:libsecret"]
• ສະຫນັບສະຫນູນການຄາດການປະເພດຜົນຕອບແທນ (impl_trait_projections) ໄດ້ຖືກເຮັດໃຫ້ຄົງທີ່, ອະນຸຍາດໃຫ້ຕົນເອງແລະ T::Assoc ຖືກກ່າວເຖິງໃນປະເພດຜົນຕອບແທນເຊັ່ນ "async fn" ແລະ "-> impl Trait". ໂຄງສ້າງ Wrapper<'a, T>(&'a T); // ປະເພດການສົ່ງຄືນແບບ opaque ທີ່ກ່າວເຖິງ `ຕົນເອງ`: impl Wrapper<'_, ()> { async fn async_fn() -> ຕົນເອງ { /* … */ } fn impl_trait() -> impl Iterator { /* … */ } } ລັກສະນະລັກສະນະ<'a> { ປະເພດ Assoc; fn new() -> ຕົນເອງ::Assoc; } impl Trait<'_> for () { type Assoc = (); fn new() {} } // ປະເພດການສົ່ງຄືນແບບບໍ່ຊ້ຳທີ່ກ່າວເຖິງປະເພດທີ່ກ່ຽວຂ້ອງ: impl<'a, T: Trait<'a>> Wrapper<'a, T> { async fn mk_assoc() -> T::Assoc { /* … */ } fn a_few_assocs() -> impl Iterator { /* … */ } }
• ພາກສ່ວນໃຫມ່ຂອງ API ໄດ້ຖືກຍ້າຍໄປຢູ່ໃນປະເພດຂອງຄວາມຫມັ້ນຄົງ, ລວມທັງວິທີການແລະການຈັດຕັ້ງປະຕິບັດລັກສະນະຕ່າງໆແມ່ນມີຄວາມຫມັ້ນຄົງ:
• ຄຸນລັກສະນະ "const", ເຊິ່ງກໍານົດຄວາມເປັນໄປໄດ້ຂອງການນໍາໃຊ້ມັນໃນສະພາບການໃດກໍ່ຕາມແທນທີ່ຈະເປັນຄ່າຄົງທີ່, ຖືກນໍາໃຊ້ໃນຫນ້າທີ່:
  • ຫຼັກ::mem::transmute_copy
  • str::is_ascii
  • [u8]::is_ascii
  • ຫຼັກ ::num::ອີ່ມຕົວ
  • impl ຈາກສໍາລັບ std::process::Stdio
  • impl ຈາກສໍາລັບ std::process::Stdio
  • impl ຈາກສໍາລັບ std::process::Child{Stdin, Stdout, Stderr}
  • impl ຈາກສໍາລັບ std::process::Child{Stdin, Stdout, Stderr}
  • std::ffi::OsString::from_encoded_bytes_unchecked
  • std::ffi::OsString::into_encoded_bytes
  • std::ffi::OsStr::from_encoded_bytes_unchecked
  • std::ffi::OsStr::as_encoded_bytes
  • std::io::ຜິດພາດ::ອື່ນໆ
  • impl TryFrom ສໍາລັບ u16
  • impl ຈາກ<&[T; N]>ສໍາລັບ Vec
  • impl ຈາກ<&mut [T; N]>ສໍາລັບ Vec
  • impl ຈາກ<[T; N]> ສໍາລັບ Arc<[T]>
  • impl ຈາກ<[T; N]> ສໍາລັບ Rc<[T]>
• ໂປຣແກຣມ compiler, ເຄື່ອງມື, ຫ້ອງສະໝຸດມາດຕະຖານ ແລະ ແອັບພລິເຄຊັນທີ່ສ້າງຂຶ້ນໄດ້ມີຄວາມຕ້ອງການເພີ່ມຂຶ້ນສຳລັບແພລດຟອມ Apple, ຕອນນີ້ຕ້ອງການຢ່າງໜ້ອຍ macOS 10.12 Sierra, iOS 10, ແລະ tvOS 10 ທີ່ປ່ອຍອອກມາໃນປີ 2016 ເພື່ອແລ່ນ.
• ການສະຫນັບສະຫນູນລະດັບທີສາມໄດ້ຖືກປະຕິບັດສໍາລັບເວທີ i686-pc-windows-gnullvm. ລະດັບທີສາມກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນພື້ນຖານ, ແຕ່ບໍ່ມີການທົດສອບອັດຕະໂນມັດ, ການພິມເຜີຍແຜ່ການກໍ່ສ້າງຢ່າງເປັນທາງການ, ແລະການກວດສອບຄວາມສາມາດໃນການສ້າງລະຫັດ.
• ລະດັບທີສອງຂອງການສະຫນັບສະຫນູນສໍາລັບ loongarch64-unknown-none ເວທີເປົ້າຫມາຍໄດ້ຖືກປະຕິບັດ. ລະດັບການສະຫນັບສະຫນູນທີສອງກ່ຽວຂ້ອງກັບການຮັບປະກັນການປະກອບ.

ນອກຈາກນັ້ນ, ສອງເຫດການທີ່ກ່ຽວຂ້ອງກັບພາສາ Rust ສາມາດສັງເກດໄດ້:

• OSTIF (Open Source Technology Improvement Fund), ສ້າງຂຶ້ນເພື່ອເສີມສ້າງຄວາມປອດໄພຂອງໂຄງການແຫຼ່ງເປີດ, ໄດ້ເຜີຍແຜ່ຜົນຂອງການກວດສອບໂຄງການ RustVMM, ເຊິ່ງສະຫນອງອົງປະກອບສໍາລັບການສ້າງ hypervisors ສະເພາະຫນ້າວຽກແລະ virtual machine monitors (VMMs). ບໍລິສັດເຊັ່ນ Intel, Alibaba, Amazon, Google, Linaro ແລະ Red Hat ແມ່ນເຂົ້າຮ່ວມໃນການພັດທະນາໂຄງການ. Intel Cloud Hypervisor ແລະ Dragonball hypervisors ກໍາລັງຖືກພັດທະນາໂດຍອີງໃສ່ RustVMM. ການກວດສອບໄດ້ຢືນຢັນຄຸນນະພາບສູງຂອງພື້ນຖານລະຫັດແລະການນໍາໃຊ້ເຕັກນິກໃນຖາປັດຕະຍະແລະການປະຕິບັດເພື່ອບັນລຸຄວາມປອດໄພສູງສຸດ. ໃນລະຫວ່າງການກວດສອບ, 6 ບັນຫາໄດ້ຖືກລະບຸວ່າບໍ່ມີຜົນກະທົບໂດຍກົງຕໍ່ຄວາມປອດໄພ.
• ກູໂກໄດ້ນໍາສະເຫນີການຈັດຕັ້ງປະຕິບັດໃຫມ່ຂອງກົນໄກການສື່ສານລະຫວ່າງ Binder, ຂຽນໃຫມ່ໃນພາສາ Rust, ໃຫ້ກັບລາຍຊື່ຜູ້ພັດທະນາ Linux kernel. ການເຮັດວຽກຄືນໃຫມ່ໄດ້ຖືກປະຕິບັດເປັນສ່ວນຫນຶ່ງຂອງໂຄງການເພື່ອເສີມສ້າງຄວາມປອດໄພ, ສົ່ງເສີມເຕັກນິກການຂຽນໂປຼແກຼມທີ່ປອດໄພແລະເພີ່ມປະສິດທິພາບການກໍານົດບັນຫາໃນເວລາທີ່ເຮັດວຽກກັບຫນ່ວຍຄວາມຈໍາໃນ Android (ປະມານ 70% ຂອງຊ່ອງໂຫວ່ອັນຕະລາຍທັງຫມົດທີ່ລະບຸໄວ້ໃນ Android ແມ່ນເກີດຈາກຄວາມຜິດພາດໃນເວລາທີ່ເຮັດວຽກກັບຫນ່ວຍຄວາມຈໍາ. ). ການປະຕິບັດຂອງ Binder ໃນ Rust ໄດ້ບັນລຸຄວາມສະເຫມີພາບໃນການເຮັດວຽກກັບສະບັບຕົ້ນສະບັບໃນພາສາ C, ຜ່ານການທົດສອບ AOSP (Android Open-Source Project) ທັງຫມົດແລະສາມາດນໍາໃຊ້ເພື່ອສ້າງສະບັບເຮັດວຽກຂອງ firmware. ການປະຕິບັດທັງສອງປະຕິບັດແມ່ນປະມານຢູ່ໃນລະດັບດຽວກັນ ( deviations ພາຍໃນ -1.96% ແລະ +1.38%).

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