ការចេញផ្សាយភាសាសរសេរកម្មវិធី Rust 1.74 ។ សវនកម្ម RustVMM ។ ការសរសេរ Binder ឡើងវិញនៅក្នុង Rust

ការចេញផ្សាយភាសាកម្មវិធីគោលបំណងទូទៅ Rust 1.74 ដែលបង្កើតឡើងដោយគម្រោង Mozilla ប៉ុន្តែឥឡូវនេះត្រូវបានបង្កើតឡើងក្រោមការឧបត្ថម្ភពីអង្គការមិនរកប្រាក់ចំណេញឯករាជ្យ Rust Foundation ត្រូវបានបោះពុម្ពផ្សាយ។ ភាសាផ្តោតលើសុវត្ថិភាពនៃការចងចាំ និងផ្តល់នូវមធ្យោបាយដើម្បីសម្រេចបាននូវភាពស្របគ្នានៃការងារខ្ពស់ ខណៈពេលដែលជៀសវាងការប្រើប្រាស់ឧបករណ៍ប្រមូលសំរាម និងពេលដំណើរការ (ម៉ោងរត់ត្រូវបានកាត់បន្ថយទៅជាការចាប់ផ្តើមជាមូលដ្ឋាន និងការថែទាំបណ្ណាល័យស្តង់ដារ)។

វិធីសាស្ត្រគ្រប់គ្រងអង្គចងចាំរបស់ Rust ជួយសង្រ្គោះអ្នកអភិវឌ្ឍន៍ពីកំហុសនៅពេលរៀបចំទ្រនិច និងការពារពីបញ្ហាដែលកើតឡើងដោយសារការគ្រប់គ្រងអង្គចងចាំកម្រិតទាប ដូចជាការចូលប្រើតំបន់អង្គចងចាំបន្ទាប់ពីវាត្រូវបានដោះលែង ការពន្យារទ្រនិចចង្អុលទទេ ការដំណើរការលើសចំណុះ។ល។ ដើម្បីចែកចាយបណ្ណាល័យ ផ្តល់ការកសាង និងគ្រប់គ្រងភាពអាស្រ័យ គម្រោងអភិវឌ្ឍកម្មវិធីគ្រប់គ្រងកញ្ចប់ទំនិញ។ ឃ្លាំង crates.io ត្រូវបានគាំទ្រសម្រាប់ការបង្ហោះបណ្ណាល័យ។

សុវត្ថិភាពនៃអង្គចងចាំត្រូវបានផ្តល់ជូននៅក្នុង Rust នៅពេលចងក្រងតាមរយៈការត្រួតពិនិត្យឯកសារយោង ការរក្សាដាននៃភាពជាម្ចាស់វត្ថុ ការតាមដានអាយុកាលរបស់វត្ថុ (វិសាលភាព) និងការវាយតម្លៃភាពត្រឹមត្រូវនៃការចូលប្រើអង្គចងចាំអំឡុងពេលដំណើរការកូដ។ ច្រែះក៏ផ្តល់ការការពារប្រឆាំងនឹងចំនួនគត់លើសចំណុះ ទាមទារការចាប់ផ្តើមចាំបាច់នៃតម្លៃអថេរមុនពេលប្រើ ដោះស្រាយកំហុសបានប្រសើរជាងនៅក្នុងបណ្ណាល័យស្តង់ដារ អនុវត្តគោលគំនិតនៃសេចក្តីយោងដែលមិនអាចផ្លាស់ប្តូរបាន និងអថេរតាមលំនាំដើម ផ្តល់នូវការវាយអក្សរឋិតិវន្តខ្លាំង ដើម្បីកាត់បន្ថយកំហុសឡូជីខល។

ការច្នៃប្រឌិតសំខាន់ៗ៖

• បានបន្ថែមសមត្ថភាពក្នុងការកំណត់រចនាសម្ព័ន្ធការត្រួតពិនិត្យ lint តាមរយៈឯកសារ Cargo.toml ជាមួយ manifest កម្មវិធីគ្រប់គ្រងកញ្ចប់។ ដើម្បីកំណត់ការកំណត់ lint ដូចជាកម្រិតឆ្លើយតប (ហាមឃាត់ បដិសេធ ព្រមាន អនុញ្ញាត) ផ្នែកថ្មី “[lints]” និង "[workspace.lints]” ត្រូវបានស្នើឡើង ការផ្លាស់ប្តូរដែលត្រូវយកមកពិចារណានៅពេលធ្វើការសម្រេចចិត្តអំពី ការកសាងឡើងវិញ។ ឧទាហរណ៍ ជំនួសឱ្យការបញ្ជាក់ទង់ “-F”, “-D”, “-W” និង “-A” នៅពេលដំឡើង ឬបន្ថែម “#![forbid(unsafe_code)]” និង “#![deny(cppy :” attributes to the code) :enum_glob_use)]" ឥឡូវនេះអាចប្រើក្នុង Cargo manifest: [lints.rust] unsafe_code = "forbid" [lints.clippy] enum_glob_use = "បដិសេធ"
• កម្មវិធីគ្រប់គ្រងកញ្ចប់ Crate បានបន្ថែមសមត្ថភាពក្នុងការផ្ទៀងផ្ទាត់ភាពត្រឹមត្រូវនៅពេលភ្ជាប់ទៅឃ្លាំង។ ការចែកចាយជាមូលដ្ឋានរួមមានការគាំទ្រសម្រាប់ការដាក់ប៉ារ៉ាម៉ែត្រផ្ទៀងផ្ទាត់នៅក្នុងហាងព័ត៌មានសម្ងាត់លីនុច (ផ្អែកលើ libsecret), macOS (Keychain) និង Windows (កម្មវិធីគ្រប់គ្រងព័ត៌មានសម្ងាត់របស់វីនដូ) ប៉ុន្តែប្រព័ន្ធនេះត្រូវបានបង្កើតឡើងដំបូងជាម៉ូឌុល និងអនុញ្ញាតឱ្យអ្នករៀបចំការងារជាមួយអ្នកផ្តល់សេវាផ្សេងៗសម្រាប់ការរក្សាទុក និង ឧទាហរណ៍ ការបង្កើតសញ្ញាសម្ងាត់ កម្មវិធីជំនួយត្រូវបានរៀបចំសម្រាប់ការប្រើប្រាស់កម្មវិធីគ្រប់គ្រងពាក្យសម្ងាត់ 1Password ។ ការផ្ទៀងផ្ទាត់អាចត្រូវបានទាមទារដោយឃ្លាំងសម្រាប់ប្រតិបត្តិការណាមួយ មិនមែនគ្រាន់តែដើម្បីបញ្ជាក់ថាកញ្ចប់ត្រូវបានបោះពុម្ពផ្សាយនោះទេ។ ~/.cargo/config.toml [ចុះបញ្ជី] global-credential-providers = ["cargo:token", "cargo:libsecret"]
• ការ​គាំទ្រ​សម្រាប់​ការ​ព្យាករ​ប្រភេទ​ត្រឡប់ (impl_trait_projections) ត្រូវ​បាន​ធ្វើ​ឱ្យ​មាន​លំនឹង ដែល​អនុញ្ញាត​ឱ្យ​ខ្លួន​ឯង និង T:: Assoc ត្រូវ​បាន​លើក​ឡើង​ក្នុង​ប្រភេទ​ត្រឡប់​ដូច​ជា "async fn" និង "-> impl Trait" ។ struct Wrapper<'a, T>(&'a T); // ប្រភេទ​ត្រឡប់​ស្រអាប់​ដែល​និយាយ​អំពី `ខ្លួនឯង`: impl Wrapper<'_, ()> { async fn async_fn() -> Self { /* … */ } fn impl_trait() -> impl Iterator { /* … */ } } ចរិតលក្ខណៈ<'a> { ប្រភេទ Assoc; fn new() -> ខ្លួនឯង ::Assoc; } impl លក្ខណៈ<'_> សម្រាប់ () { ប្រភេទ 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_មិនបានធីក
  • std::ffi::OsString::into_encoded_bytes
  • std::ffi::OsStr::from_encoded_bytes_មិនធីក
  • 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]>
• កម្មវិធីចងក្រង ប្រអប់ឧបករណ៍ បណ្ណាល័យស្ដង់ដារ និងកម្មវិធីដែលអាចប្រតិបត្តិបានបានបង្កើនតម្រូវការសម្រាប់វេទិកា Apple ដែលឥឡូវនេះត្រូវការយ៉ាងហោចណាស់ macOS 10.12 Sierra, iOS 10 និង tvOS 10 ដែលបានចេញផ្សាយក្នុងឆ្នាំ 2016 ដើម្បីដំណើរការ។
• កម្រិតទីបីនៃការគាំទ្រត្រូវបានអនុវត្តសម្រាប់វេទិកា i686-pc-windows-gnullvm ។ កម្រិតទីបីពាក់ព័ន្ធនឹងការគាំទ្រជាមូលដ្ឋាន ប៉ុន្តែដោយគ្មានការធ្វើតេស្តស្វ័យប្រវត្តិ ការបោះពុម្ពផ្សាយការស្ថាបនាផ្លូវការ ឬពិនិត្យមើលថាតើកូដអាចត្រូវបានបង្កើតឬអត់។
• កម្រិតទីពីរនៃការគាំទ្រសម្រាប់ loongarch64-unknown-none platform platform ត្រូវបានអនុវត្ត។ កម្រិតទីពីរនៃការគាំទ្រពាក់ព័ន្ធនឹងការធានាការជួបប្រជុំគ្នា។

លើសពីនេះទៀត ព្រឹត្តិការណ៍ពីរដែលទាក់ទងនឹងភាសា Rust អាចត្រូវបានកត់សម្គាល់៖

• OSTIF (មូលនិធិកែលម្អបច្ចេកវិទ្យាប្រភពបើកចំហ) ដែលត្រូវបានបង្កើតឡើងដើម្បីពង្រឹងសុវត្ថិភាពនៃគម្រោងប្រភពបើកចំហបានបោះពុម្ពផ្សាយលទ្ធផលនៃការធ្វើសវនកម្មនៃគម្រោង RustVMM ដែលផ្តល់នូវសមាសធាតុសម្រាប់បង្កើតឧបករណ៍ត្រួតពិនិត្យពិសេសជាក់លាក់ភារកិច្ច និងម៉ូនីទ័រម៉ាស៊ីននិម្មិត (VMMs) ។ ក្រុមហ៊ុនដូចជា Intel, Alibaba, Amazon, Google, Linaro និង Red Hat កំពុងចូលរួមក្នុងការអភិវឌ្ឍន៍គម្រោងនេះ។ Intel Cloud Hypervisor និង Dragonball hypervisors កំពុងត្រូវបានបង្កើតឡើងដោយផ្អែកលើ RustVMM ។ សវនកម្មបានបញ្ជាក់ពីគុណភាពខ្ពស់នៃមូលដ្ឋានកូដ និងការប្រើប្រាស់បច្ចេកទេសក្នុងស្ថាបត្យកម្ម និងការអនុវត្តក្នុងគោលបំណងសម្រេចបាននូវសុវត្ថិភាពអតិបរមា។ ក្នុងអំឡុងពេលធ្វើសវនកម្ម បញ្ហាចំនួន 6 ត្រូវបានកំណត់ថាមិនមានផលប៉ះពាល់ផ្ទាល់ដល់សុវត្ថិភាព។
• Google បានណែនាំការអនុវត្តថ្មីនៃយន្តការទំនាក់ទំនងអន្តរដំណើរការ Binder ដែលត្រូវបានសរសេរឡើងវិញជាភាសា Rust ទៅកាន់បញ្ជីសំបុត្ររួមរបស់អ្នកអភិវឌ្ឍន៍ខឺណែលលីនុច។ ការងារឡើងវិញត្រូវបានអនុវត្តជាផ្នែកនៃគម្រោងពង្រឹងសុវត្ថិភាព លើកកម្ពស់បច្ចេកទេសសរសេរកម្មវិធីប្រកបដោយសុវត្ថិភាព និងបង្កើនប្រសិទ្ធភាពនៃការកំណត់អត្តសញ្ញាណបញ្ហានៅពេលធ្វើការជាមួយអង្គចងចាំក្នុងប្រព័ន្ធប្រតិបត្តិការ Android (ប្រហែល 70% នៃភាពងាយរងគ្រោះគ្រោះថ្នាក់ទាំងអស់ដែលបានកំណត់នៅក្នុង Android គឺបណ្តាលមកពីកំហុសនៅពេលធ្វើការជាមួយអង្គចងចាំ។ ) ការអនុវត្ត Binder in Rust ទទួលបានភាពស្មើគ្នានៃមុខងារជាមួយនឹងកំណែដើមជាភាសា C ឆ្លងកាត់ការសាកល្បង AOSP (Android Open-Source Project) ទាំងអស់ ហើយអាចប្រើដើម្បីបង្កើតកម្មវិធីបង្កប់ដែលដំណើរការបាន។ ការអនុវត្តនៃការអនុវត្តទាំងពីរគឺប្រហែលនៅកម្រិតដូចគ្នា (គម្លាតក្នុងរង្វង់ -1.96% និង +1.38%) ។

ប្រភព: opennet.ru