ការចេញផ្សាយភាសាសរសេរកម្មវិធី Rust 1.75 និង unikernel Hermit 0.6.7

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

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

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

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

• បានបន្ថែមសមត្ថភាពក្នុងការប្រើ "async fn" និងសញ្ញា "-> impl Trait" នៅក្នុងលក្ខណៈឯកជន។ ឧទាហរណ៍ ដោយប្រើ “-> impl Trait” អ្នកអាចសរសេរវិធីសាស្ត្រ trait ដែលត្រឡប់អ្នកសរសេរឡើងវិញ៖ trait Container { fn items(&self) -> impl Iterator; } impl កុងតឺន័រសម្រាប់ MyContainer { fn items(&self) -> impl Iterator { self.items.iter(.cloned() } }

  អ្នកក៏អាចបង្កើតលក្ខណៈដោយប្រើ "async fn": trait HttpService { async fn fetch(&self, url: Url) -> HtmlBody; // នឹងត្រូវបានពង្រីកទៅ៖ // fn fetch(&self, url: Url) -> impl Future; }

• បានបន្ថែម API សម្រាប់ការគណនាបៃអុហ្វសិតទាក់ទងទៅនឹងទ្រនិច។ នៅពេលធ្វើការជាមួយទ្រនិចទទេ (“*const T” និង “*mut T”) ប្រតិបត្តិការអាចត្រូវបានទាមទារដើម្បីបន្ថែមអុហ្វសិតទៅទ្រនិច។ ពីមុនសម្រាប់នេះ វាអាចប្រើសំណង់ដូចជា “::add(1)” ដោយបន្ថែមចំនួនបៃដែលត្រូវនឹងទំហំ “size_of::()”។ API ថ្មីជួយសម្រួលប្រតិបត្តិការនេះ និងធ្វើឱ្យវាអាចរៀបចំបៃអុហ្វសិតដោយមិនចាំបាច់បញ្ជូនប្រភេទទៅជា "*const u8" ឬ "*mut u8" ជាមុនសិន។
  • ទ្រនិច៖:byte_add
  • ទ្រនិច៖:byte_offset
  • ទ្រនិច៖:byte_offset_from
  • ទ្រនិច៖:byte_sub
  • ទ្រនិច៖:wrapping_byte_add
  • ទ្រនិច៖:wrapping_byte_offset
  • ទ្រនិច៖:wrapping_byte_sub
• ការងារបន្តដើម្បីបង្កើនការអនុវត្តរបស់ rustc compiler ។ បានបន្ថែមកម្មវិធីបង្កើនប្រសិទ្ធភាព BOLT ដែលដំណើរការក្នុងដំណាក់កាលក្រោយតំណ និងប្រើប្រាស់ព័ត៌មានពីទម្រង់ប្រតិបត្តិដែលបានរៀបចំទុកជាមុន។ ការប្រើប្រាស់ BOLT អនុញ្ញាតឱ្យអ្នកបង្កើនល្បឿនដំណើរការកម្មវិធីចងក្រងប្រហែល 2% ដោយផ្លាស់ប្តូរប្លង់នៃកូដបណ្ណាល័យ librustc_driver.so សម្រាប់ការប្រើប្រាស់កាន់តែមានប្រសិទ្ធភាពនៃឃ្លាំងសម្ងាត់ខួរក្បាល។

  រួមបញ្ចូលការកសាងកម្មវិធីចងក្រង rustc ជាមួយនឹងជម្រើស "-Ccodegen-units=1" ដើម្បីបង្កើនគុណភាពនៃការបង្កើនប្រសិទ្ធភាពនៅក្នុង LLVM ។ ការធ្វើតេស្តដែលបានអនុវត្តបង្ហាញពីការកើនឡើងនៃការអនុវត្តនៅក្នុងករណីនៃ "-Ccodegen-units=1" សាងសង់ប្រហែល 1.5% ។ ការបង្កើនប្រសិទ្ធភាពបន្ថែមត្រូវបានបើកតាមលំនាំដើមសម្រាប់តែវេទិកា x86_64-unknown-linux-gnu ប៉ុណ្ណោះ។

  ការបង្កើនប្រសិទ្ធភាពដែលបានរៀបរាប់ខាងលើត្រូវបានសាកល្បងដោយ Google ដើម្បីកាត់បន្ថយពេលវេលាដែលត្រូវការដើម្បីបង្កើតសមាសធាតុវេទិកា។ Androidសរសេរជាភាសា Rust។ ដោយប្រើ "-C codegen-units=1" នៅពេលបង្កើត Android អនុញ្ញាតឱ្យយើងកាត់បន្ថយទំហំនៃឧបករណ៍ចំនួន 5.5% និងបង្កើនផលិតភាពរបស់វាចំនួន 1.8% ខណៈពេលដែលពេលវេលាសម្រាប់ការដំឡើងឧបករណ៍ខ្លួនវាស្ទើរតែទ្វេដង។

  ការបើកដំណើរការការប្រមូលសំរាមតាមពេលវេលាតំណ (“--gc-sections”) បាននាំមកនូវការបង្កើនប្រសិទ្ធភាពការងាររហូតដល់ 1.9% ដែលអនុញ្ញាតឱ្យបង្កើនប្រសិទ្ធភាពពេលវេលាភ្ជាប់ (LTO) ដល់ទៅ 7.7% និងការបង្កើនប្រសិទ្ធភាពផ្អែកលើទម្រង់ (PGO) រហូតដល់ 19.8% ។ នៅក្នុងវគ្គចុងក្រោយ ការបង្កើនប្រសិទ្ធភាពត្រូវបានអនុវត្តដោយប្រើឧបករណ៍ប្រើប្រាស់ BOLT ដែលអនុញ្ញាតឱ្យបង្កើនល្បឿនសាងសង់ដល់ 24.7% ប៉ុន្តែទំហំនៃកញ្ចប់ឧបករណ៍បានកើនឡើង 10.9% ។

  
• ផ្នែកថ្មីនៃ API ត្រូវបានផ្លាស់ទីទៅប្រភេទនៃស្ថេរភាព រួមទាំងវិធីសាស្រ្ត និងការអនុវត្តលក្ខណៈត្រូវបានធ្វើឱ្យមានស្ថេរភាព៖
  • អាតូម*::from_ptr
  • FileTimes
  • FileTimesExt
  • ឯកសារ៖:set_modified
  • ឯកសារ៖:set_times
  • IpAddr::to_canonical
  • Ipv6Addr::to_canonical
  • ជម្រើស៖៖ as_slice
  • ជម្រើស៖៖ as_mut_slice
  • ទ្រនិច៖:byte_add
  • ទ្រនិច៖:byte_offset
  • ទ្រនិច៖:byte_offset_from
  • ទ្រនិច៖:byte_sub
  • ទ្រនិច៖:wrapping_byte_add
  • ទ្រនិច៖:wrapping_byte_offset
  • ទ្រនិច៖:wrapping_byte_sub
• គុណលក្ខណៈ "const" ដែលកំណត់លទ្ធភាពនៃការប្រើប្រាស់វានៅក្នុងបរិបទណាមួយជំនួសឱ្យថេរ ត្រូវបានប្រើក្នុងមុខងារ៖
  • Ipv6Addr::to_ipv4_mapped
  • ប្រហែលជាUninit:: assume_init_read
  • ប្រហែលជាUninit::សូន្យ
  • mem :: រើសអើង
  • mem :: សូន្យ
• កម្រិតទីបីនៃការគាំទ្រត្រូវបានអនុវត្តសម្រាប់វេទិកា csky-unknown-linux-gnuabiv2hf, i586-unknown-netbsd និង mipsel-unknown-netbsd platforms ។ កម្រិតទីបីពាក់ព័ន្ធនឹងការគាំទ្រជាមូលដ្ឋាន ប៉ុន្តែដោយគ្មានការធ្វើតេស្តស្វ័យប្រវត្តិ ការបោះពុម្ពផ្សាយការស្ថាបនាផ្លូវការ ឬពិនិត្យមើលថាតើកូដអាចត្រូវបានបង្កើតឬអត់។

លើសពីនេះ កំណែថ្មីនៃគម្រោង Hermit ក៏គួរឱ្យកត់សម្គាល់ផងដែរ។ វាបង្កើតខឺណែលឯកទេស (unikernel) ដែលសរសេរជាភាសា Rust ដែលផ្តល់នូវឧបករណ៍សម្រាប់បង្កើតកម្មវិធីដែលមានដោយខ្លួនឯង ដែលមានសមត្ថភាពដំណើរការលើ hypervisor ឬផ្នែករឹងទទេដោយគ្មានស្រទាប់បន្ថែម ឬប្រព័ន្ធប្រតិបត្តិការ។ ក្នុងអំឡុងពេលបង្កើត កម្មវិធីត្រូវបានភ្ជាប់ទៅបណ្ណាល័យឋិតិវន្តដែលអនុវត្តមុខងារចាំបាច់ទាំងអស់ដោយឯករាជ្យ ដោយមិនត្រូវបានភ្ជាប់ទៅនឹងខឺណែលប្រព័ន្ធប្រតិបត្តិការ ឬបណ្ណាល័យប្រព័ន្ធឡើយ។ កូដរបស់គម្រោងនេះត្រូវបានចែកចាយក្រោមអាជ្ញាប័ណ្ណ Apache 2.0 និង MIT។ វាគាំទ្រការបង្កើតកម្មវិធីឯករាជ្យដែលសរសេរជាភាសា Rust, Go, Fortran, C និង C++។ គម្រោងនេះក៏កំពុងបង្កើត bootloader ផ្ទាល់ខ្លួនផងដែរ ដែលអនុញ្ញាតឱ្យ Hermit ត្រូវបានបើកដំណើរការដោយប្រើ QEMU និង... KVM.

ប្រភព: opennet.ru