Rust 1.53 ຖືກປ່ອຍອອກມາແລ້ວ. Google ຈະໃຫ້ທຶນສະໜັບສະໜູນ Rust Core Linux

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

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

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

• ສໍາລັບ arrays, ລັກສະນະ IntoIterator ໄດ້ຖືກປະຕິບັດ, ເຊິ່ງຊ່ວຍໃຫ້ທ່ານສາມາດຈັດລໍາດັບຂອງອົງປະກອບ array ໂດຍຄ່າ: ສໍາລັບ i ໃນ [1, 2, 3] { .. }

  ມັນຍັງສາມາດຜ່ານ arrays ໄປຫາວິທີການທີ່ຍອມຮັບ iterators, ຕົວຢ່າງ: ໃຫ້ set = BTreeSet::from_iter([1, 2, 3]); ສໍາລັບ (a, b) ໃນ some_iterator.chain([1]).zip([1, 2, 3]) { .. }

  ກ່ອນຫນ້ານີ້, IntoIterator ໄດ້ຖືກປະຕິບັດພຽງແຕ່ສໍາລັບການອ້າງອິງ array, i.e. to iterate over values ​​ຕ້ອງການໃຊ້ການອ້າງອີງ (“&[1, 2, 3]”) ຫຼື “[1, 2, 3].iter()”. ການປະຕິບັດຂອງ IntoIterator ສໍາລັບ arrays ຖືກຂັດຂວາງໂດຍບັນຫາຄວາມເຂົ້າກັນໄດ້ທີ່ເກີດຈາກການແປງ compiler ກ່ອນຫນ້ານີ້ຈາກ array.into_iter() ເປັນ (&array).into_iter(). ບັນຫາເຫຼົ່ານີ້ໄດ້ຮັບການແກ້ໄຂດ້ວຍການແກ້ໄຂ - ຄອມພີວເຊີຈະສືບຕໍ່ປ່ຽນ array.into_iter() ເປັນ (&array).into_iter() ຄືກັບວ່າບໍ່ມີການຈັດຕັ້ງປະຕິບັດລັກສະນະ IntoIterator, ແຕ່ວ່າພຽງແຕ່ເມື່ອໂທຫາວິທີການໂດຍໃຊ້ ".into_iter(. )" syntax ແລະໂດຍບໍ່ມີການສໍາຜັດກັບການໂທໃນຮູບແບບ "in [1, 2, 3]", "iter.zip([1, 2, 3])", "IntoIterator::into_iter([1, 2, 3]] )".

• ມັນເປັນໄປໄດ້ທີ່ຈະລະບຸການສະແດງອອກ "|" (ການດໍາເນີນງານຕາມເຫດຜົນ OR) ໃນສ່ວນໃດນຶ່ງຂອງແມ່ແບບ, ຕົວຢ່າງ, ແທນທີ່ຈະເປັນ “Some(1) | Some(2)" ຕອນນີ້ທ່ານສາມາດຂຽນ "Some(1 | 2)": match results { Ok(Some(1 | 2)) => {.. } Err(MyError { kind: FileNotFound | PermissionDenied, .. }) => { .. } _ => { .. } }
• ການນໍາໃຊ້ຕົວອັກສອນທີ່ບໍ່ແມ່ນ ASCII ໃນຕົວລະບຸແມ່ນອະນຸຍາດ, ລວມທັງຕົວອັກສອນແຫ່ງຊາດທີ່ກໍານົດໄວ້ໃນຂໍ້ກໍານົດຂອງ Unicode UAX 31, ແຕ່ບໍ່ລວມເອົາຕົວອັກສອນ emoji. ຖ້າທ່ານໃຊ້ຕົວອັກສອນທີ່ແຕກຕ່າງກັນແຕ່ຄ້າຍຄືກັນ, compiler ຈະອອກຄໍາເຕືອນ. const BLÅHAJ: &str = "🦈" ; struct 人 { 名字: String, } ໃຫ້ α = 1; letｓos = 2; ຄຳເຕືອນ: ຄູ່ຕົວລະບຸຖືວ່າສັບສົນລະຫວ່າງ 'ｓ' ແລະ 's'
• ສ່ວນໃຫມ່ຂອງ APIs ໄດ້ຖືກໂອນໄປຫາປະເພດຄວາມຫມັ້ນຄົງ, ລວມທັງຄວາມຫມັ້ນຄົງດັ່ງຕໍ່ໄປນີ້:
  • array::from_ref
  • array::from_mut
  • AtomicBool::fetch_update
  • AtomicPtr::fetch_update
  • BTreeSet::ຮັກສາ
  • BTreeMap::ຮັກສາ
  • BufReader::seek_relative
  • cmp::min_by
  • cmp::min_by_key
  • cmp::max_by
  • cmp::max_by_key
  • DebugStruct::finish_non_exhaustive
  • ໄລຍະເວລາ::ZERO
  • ໄລຍະເວລາ::MAX
  • ໄລຍະເວລາ::is_zero
  • ໄລຍະເວລາ::saturating_add
  • ໄລຍະເວລາ::saturating_sub
  • ໄລຍະເວລາ::saturating_mul
  • f32::is_subnormal
  • f64::is_subnormal
  • IntoIterator ສໍາລັບ arrays
  • {integer}::BITS
  • io::ຜິດພາດ::ບໍ່ຮອງຮັບ
  • NonZero*::leading_zeros
  • NonZero*::trailing_zeros
  • ທາງເລືອກ:: ໃສ່
  • ການສັ່ງຊື້::is_eq
  • ການສັ່ງຊື້::is_ne
  • ການສັ່ງຊື້::is_lt
  • ການສັ່ງຊື້::is_gt
  • ກຳລັງສັ່ງຊື້::is_le
  • ການສັ່ງຊື້::is_ge
  • OsStr::make_ascii_ຕົວພິມນ້ອຍ
  • OsStr::make_ascii_ຕົວພິມໃຫຍ່
  • OsStr::to_ascii_ຕົວພິມນ້ອຍ
  • OsStr::to_ascii_ຕົວພິມໃຫຍ່
  • OsStr::is_ascii
  • OsStr::eq_ignore_ascii_case
  • ສາມາດເບິ່ງໄດ້::peek_mut
  • Rc::increment_strong_count
  • Rc::decrement_strong_count
  • slice::IterMut::as_slice
  • AsRef<[T]> ສໍາລັບ slice::IterMut
  • impl SliceIndex ສໍາລັບ (Bound , ຜູກມັດ )
  • Vec::extend_from_within
• ລະດັບທີສາມຂອງການສະຫນັບສະຫນູນສໍາລັບເວທີ wasm64-unknown-unknown ໄດ້ຖືກປະຕິບັດ. ລະດັບທີສາມກ່ຽວຂ້ອງກັບການສະຫນັບສະຫນູນພື້ນຖານ, ແຕ່ບໍ່ມີການທົດສອບອັດຕະໂນມັດ, ການເຜີຍແຜ່ການກໍ່ສ້າງຢ່າງເປັນທາງການ, ຫຼືກວດເບິ່ງວ່າລະຫັດສາມາດສ້າງໄດ້.
• ຜູ້ຈັດການຊຸດສິນຄ້າໄດ້ຖືກຍ້າຍໄປໃຊ້ຊື່ "ຕົ້ນຕໍ" ສໍາລັບສາຂາຕົ້ນຕໍຂອງບ່ອນເກັບມ້ຽນ Git (HEAD) ໂດຍຄ່າເລີ່ມຕົ້ນ. Dependencies host ໃນ repositories ທີ່ໃຊ້ຊື່ main ແທນ master ອີກຕໍ່ໄປ ບໍ່ຕ້ອງມີສາຂາ = "main" ທີ່ຈະ configured.
• ໃນ compiler, ຂໍ້ກໍານົດສໍາລັບສະບັບຕໍາ່ສຸດທີ່ຂອງ LLVM ໄດ້ຖືກຍົກຂຶ້ນມາເປັນ LLVM 10.

Дополнительно можно отметить предоставление финансирования работы по развитию интеграции в ядро Linux средств для разработки компонентов на языке Rust. Работа будет вестись в рамках проекта Prossimo под эгидой организации ISRG (Internet Security Research Group), которая является учредителем проекта Let’s Encrypt и способствует продвижению HTTPS и развитию технологий для повышения защищённости интернета. Средства будут предоставлены компанией Google, которая оплатит работу Мигеля Охеда (Miguel Ojeda), автора проекта Rust-for-Linux. Ранее ISRG и Google уже профинансировали создание альтернативного HTTP-бэкенда для утилиты curl и разработку нового TLS-модуля для http-сервера Apache.

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

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

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