ပရိုဂရမ်းမင်းဘာသာစကား Rust 1.75 နှင့် unikernel Hermit 0.6.7 ကို ဖြန့်ချိသည်

Mozilla ပရောဂျက်မှ တည်ထောင်ထားသော Rust 1.75 အထွေထွေ-ရည်ရွယ်ချက် ပရိုဂရမ်းမင်းဘာသာစကားကို ထုတ်ဝေခဲ့သော်လည်း ယခုအခါ လွတ်လပ်သော အကျိုးအမြတ်မယူသော အဖွဲ့အစည်း Rust Foundation ၏ ပံ့ပိုးကူညီမှုဖြင့် ထုတ်ဝေလိုက်ပါသည်။ ဘာသာစကားသည် မှတ်ဉာဏ်ဘေးကင်းရေးကို အာရုံစိုက်ပြီး အမှိုက်စုဆောင်းသူနှင့် runtime ကိုအသုံးပြုခြင်းကို ရှောင်ကြဉ်နေစဉ်တွင် မြင့်မားသောအလုပ်အပြိုင်ရရှိရန် နည်းလမ်းများကို ပံ့ပိုးပေးသည် (runtime ကို အခြေခံအစပျိုးခြင်းနှင့် စံစာကြည့်တိုက်ကို ပြုပြင်ထိန်းသိမ်းမှုသို့ လျှော့ချထားသည်)။

Rust ၏ မမ်မိုရီ ကိုင်တွယ်မှုနည်းလမ်းများသည် ညွှန်မှတ်များကို အသုံးချသည့်အခါ ဆော့ဖ်ဝဲရေးသားသူကို အမှားအယွင်းများမှ ကယ်တင်ပြီး အဆင့်နိမ့်မှတ်ဉာဏ် ကိုင်တွယ်မှုတွင် ဖြစ်ပေါ်လာသည့် ပြဿနာများကို ကာကွယ်ရန်၊ ၎င်းကို လွတ်ပြီးသည့်နောက် မမ်မိုရီဧရိယာသို့ ဝင်ရောက်ခြင်း၊ null pointers များကို ဆိုင်းငံ့ထားခြင်း၊ ကြားခံများ ကျော်လွန်ခြင်းများစသည်ဖြင့် ဖြစ်ပေါ်လာသော ပြဿနာများကို ကာကွယ်ပေးပါသည်။ စာကြည့်တိုက်များကို ဖြန့်ဝေရန်၊ တည်ဆောက်မှုများနှင့် မှီခိုအားထားမှုများကို စီမံရန်၊ ပရောဂျက်သည် Cargo package manager ကို တီထွင်သည်။ crates.io repository ကို hosting libraries များအတွက် ပံ့ပိုးထားပါသည်။

ကိုးကားစစ်ဆေးခြင်း၊ အရာဝတ္တုပိုင်ဆိုင်မှုကိုခြေရာခံခြင်း၊ အရာဝတ္တုသက်တမ်းကိုခြေရာခံခြင်း (scopes) ကိုခြေရာခံခြင်းနှင့် ကုဒ်လုပ်ဆောင်နေစဉ်အတွင်း မမ်မိုရီဝင်ရောက်ခြင်း၏မှန်ကန်မှုကို အကဲဖြတ်ခြင်းများမှတစ်ဆင့် Memory safety ကို Rust တွင် ပံ့ပိုးပေးပါသည်။ Rust သည် ကိန်းပြည့်ပြည့်လျှံမှုများကို အကာအကွယ်ပေးသည်၊ အသုံးမပြုမီ ပြောင်းလဲနိုင်သောတန်ဖိုးများကို မဖြစ်မနေစတင်လုပ်ဆောင်ရန် လိုအပ်သည်၊ စံဒစ်ဂျစ်တိုက်တွင် ပိုမိုကောင်းမွန်သော အမှားများကို ကိုင်တွယ်ရန်၊ ပုံသေအားဖြင့် မပြောင်းလဲနိုင်သော ကိုးကားချက်များနှင့် ကိန်းရှင်များ၏ သဘောတရားကို ကျင့်သုံးသည်၊ ယုတ္တိအမှားများကို အနည်းဆုံးဖြစ်စေရန် ခိုင်လုံသောအငြိမ်စာရိုက်ခြင်းကို ပံ့ပိုးပေးပါသည်။

အဓိက တီထွင်ဆန်းသစ်မှုများ-

• "async fn" နှင့် "-> impl Trait" သင်္ကေတများကို သီးသန့်အင်္ဂါရပ်များတွင် အသုံးပြုရန် စွမ်းရည်ကို ထည့်သွင်းထားသည်။ ဥပမာအားဖြင့်၊ “->impl Trait” ကို အသုံးပြု၍ iterator တစ်ခုကို ပြန်ပေးသည့် စရိုက်နည်းလမ်းကို သင်ရေးနိုင်သည်- 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; }

• ညွှန်ကိန်းများနှင့် ဆက်စပ်သော byte အော့ဖ်ဆက်များကို တွက်ချက်ရန်အတွက် API ကို ထပ်ထည့်ထားသည်။ ပွိုင့်များ (“*const T” နှင့် “*mut T” တို့နှင့် အလုပ်လုပ်သောအခါ)၊ ယခင်က၊ ၎င်းအတွက် “::add(1)” ကဲ့သို့သော တည်ဆောက်မှုကို အသုံးပြုနိုင်ပြီး “size_of::()” အရွယ်အစားနှင့် သက်ဆိုင်သည့် bytes အရေအတွက်ကို ပေါင်းထည့်နိုင်သည်။ API အသစ်သည် ဤလုပ်ဆောင်ချက်ကို ရိုးရှင်းစေပြီး အမျိုးအစားများကို "*const u8" သို့မဟုတ် "*mut u8" သို့ ဦးစွာမချဘဲ byte offsets များကို စီမံခန့်ခွဲနိုင်စေပါသည်။
  • pointer::byte_add
  • ညွှန်ပြချက်-:byte_offset
  • ညွှန်ပြချက်-:byte_offset_from
  • ညွှန်ပြချက်-:byte_sub
  • ညွှန်ပြချက်-:wrapping_byte_add
  • ညွှန်ပြချက်-:wrapping_byte_offset
  • ညွှန်ပြချက်-:wrapping_byte_sub
• rustc compiler ၏ စွမ်းဆောင်ရည်ကို မြှင့်တင်ရန် ဆက်လက်လုပ်ဆောင်ခဲ့သည်။ Post-link အဆင့်တွင် လုပ်ဆောင်ပြီး ကြိုတင်ပြင်ဆင်ထားသော လုပ်ဆောင်ချက်ပရိုဖိုင်မှ အချက်အလက်များကို အသုံးပြုသည့် BOLT optimizer ကို ပေါင်းထည့်ထားသည်။ BOLT ကိုအသုံးပြုခြင်းသည် ပရိုဆက်ဆာ cache ကိုပိုမိုထိရောက်စွာအသုံးပြုရန်အတွက် librustc_driver.so စာကြည့်တိုက်ကုဒ်၏အပြင်အဆင်ကိုပြောင်းလဲခြင်းဖြင့် compiler လည်ပတ်မှုကို 2% ခန့်မြန်ဆန်စေသည်။

  LLVM တွင် ပိုမိုကောင်းမွန်အောင်ပြုလုပ်ခြင်း အရည်အသွေးကို မြှင့်တင်ရန် "-Ccodegen-units=1" ရွေးချယ်မှုဖြင့် rustc compiler ကို တည်ဆောက်ခြင်း ပါဝင်သည်။ လုပ်ဆောင်ခဲ့သော စမ်းသပ်မှုများသည် “-Ccodegen-units=1” တည်ဆောက်မှုတွင် ခန့်မှန်းခြေ 1.5% ဖြင့် စွမ်းဆောင်ရည် မြင့်တက်လာသည်ကို ပြသသည်။ ထပ်လောင်း ပိုမိုကောင်းမွန်အောင်ပြုလုပ်ခြင်းများကို x86_64-unknown-linux-gnu ပလပ်ဖောင်းအတွက်သာ ပုံမှန်အားဖြင့် ဖွင့်ထားသည်။

  Rust တွင်ရေးသားထားသော Android ပလပ်ဖောင်းအစိတ်အပိုင်းများ၏တည်ဆောက်ချိန်ကိုလျှော့ချရန်အတွက်ယခင်ဖော်ပြထားသောပိုမိုကောင်းမွန်အောင်လုပ်ဆောင်မှုများကို Google မှစမ်းသပ်ခဲ့သည်။ Android ကိုတည်ဆောက်သောအခါ “-C codegen-units=1” ကိုအသုံးပြုခြင်းဖြင့် toolkit ၏အရွယ်အစားကို 5.5% လျှော့ချနိုင်ပြီး ၎င်း၏စွမ်းဆောင်ရည်ကို 1.8% တိုးမြှင့်နိုင်စေကာ toolkit ၏တည်ဆောက်ချိန်သည် နှစ်ဆနီးပါးတိုးလာသည်။

  လင့်ခ်အချိန် အမှိုက်စုဆောင်းခြင်း (“--gc-sections”) ကို ဖွင့်ခြင်းဖြင့် စွမ်းဆောင်ရည် 1.9% အထိ ချိတ်ဆက်မှု အချိန်ပိုကောင်းအောင် လုပ်ဆောင်ခြင်း (LTO) 7.7% အထိ နှင့် ပရိုဖိုင်-အခြေခံ ပိုမိုကောင်းမွန်အောင် လုပ်ဆောင်မှုများ (PGO) 19.8% အထိ ရရှိစေခဲ့သည်။ နောက်ဆုံးတွင်၊ တည်ဆောက်မှုအမြန်နှုန်း 24.7% အထိ တိုးမြှင့်နိုင်စေသည့် BOLT utility ကို အသုံးပြု၍ ပိုမိုကောင်းမွန်အောင်ပြုလုပ်ခြင်းများကို အသုံးချခဲ့သော်လည်း toolkit ၏အရွယ်အစားသည် 10.9% တိုးလာသည်။

  

• API ၏ အစိတ်အပိုင်းအသစ်ကို တည်ငြိမ်သောအမျိုးအစားသို့ ရွှေ့ထားပြီး၊ နည်းလမ်းများနှင့် စရိုက်လက္ခဏာများကို အကောင်အထည်ဖော်ရာတွင် တည်ငြိမ်အောင်ပြုလုပ်ထားသည်-
  • ပြည်တော်သာ*::from_ptr
  • FileTimes
  • FileTimesExt
  • ဖိုင်-:set_modified
  • ဖိုင်-:set_times
  • IpAddr::to_canonical
  • Ipv6Addr::to_canonical
  • ရွေးချယ်မှု-:as_slice
  • ရွေးချယ်မှု-:as_mut_slice
  • pointer::byte_add
  • ညွှန်ပြချက်-:byte_offset
  • ညွှန်ပြချက်-:byte_offset_from
  • ညွှန်ပြချက်-:byte_sub
  • ညွှန်ပြချက်-:wrapping_byte_add
  • ညွှန်ပြချက်-:wrapping_byte_offset
  • ညွှန်ပြချက်-:wrapping_byte_sub
• ကိန်းသေများအစား မည်သည့်အကြောင်းအရာတွင်မဆို ၎င်းကိုအသုံးပြုရန် ဖြစ်နိုင်ခြေကို ဆုံးဖြတ်ပေးသည့် "const" attribute ကို လုပ်ဆောင်ချက်များတွင် အသုံးပြုသည်-
  • Ipv6Addr::to_ipv4_mapped
  • Uninit::assume_init_read ဖြစ်နိုင်ပါတယ်။
  • Uninit::သုညဖြစ်နိုင်သည်။
  • mem :: ခွဲခြားဆက်ဆံသည်။
  • mem :: သုည
• ပံ့ပိုးမှုတတိယအဆင့်ကို csky-unknown-linux-gnuabiv2hf၊ i586-unknown-netbsd နှင့် mipsel-unknown-netbsd ပလပ်ဖောင်းများအတွက် အကောင်အထည်ဖော်ခဲ့သည်။ တတိယအဆင့်တွင် အခြေခံပံ့ပိုးမှုပါဝင်သော်လည်း အလိုအလျောက်စမ်းသပ်ခြင်းမရှိဘဲ၊ တရားဝင်တည်ဆောက်မှုများကို ထုတ်ပြန်ခြင်း သို့မဟုတ် ကုဒ်ကိုတည်ဆောက်နိုင်သည်ရှိမရှိ စစ်ဆေးခြင်းမပြုဘဲဖြစ်သည်။

ထို့အပြင်၊ Rust ဘာသာစကားဖြင့် ရေးသားထားသော အထူးပြု kernel (unikernel) ကို တီထွင်ထားသည့် Hermit ပရောဂျက်၏ ဗားရှင်းအသစ်ကို မှတ်သားနိုင်ပြီး၊ အပိုအလွှာများမပါဘဲ ကိုယ်တိုင်ပါရှိသော အပလီကေးရှင်းများတည်ဆောက်ခြင်းအတွက် ကိရိယာများကို ပံ့ပိုးပေးသည့် Hermit ပရောဂျက်၏ ဗားရှင်းအသစ်ကို မှတ်သားနိုင်ပါသည်။ နှင့် operating system မရှိဘဲ။ တည်ဆောက်သောအခါတွင်၊ အပလီကေးရှင်းသည် OS kernel နှင့် system libraries တို့နှင့် ချိတ်ဆက်ခြင်းမပြုဘဲ လိုအပ်သောလုပ်ဆောင်နိုင်စွမ်းအားလုံးကို သီးခြားအကောင်အထည်ဖော်ပေးသည့် စာကြည့်တိုက်တစ်ခုနှင့် တည်ငြိမ်စွာချိတ်ဆက်ထားသည်။ ပရောဂျက်ကုဒ်ကို Apache 2.0 နှင့် MIT လိုင်စင်များအောက်တွင် ဖြန့်ဝေထားသည်။ စည်းဝေးပွဲသည် Rust၊ Go၊ Fortran၊ C နှင့် C++ ဖြင့် ရေးသားထားသော အပလီကေးရှင်းများကို သီးသန့်လုပ်ဆောင်ခြင်းအတွက် ပံ့ပိုးထားသည်။ အဆိုပါပရောဂျက်သည် QEMU နှင့် KVM ကို အသုံးပြု၍ Hermit ကိုဖွင့်ရန်ခွင့်ပြုသည့် ၎င်း၏ကိုယ်ပိုင် bootloader ကိုတီထွင်နေပါသည်။

source: opennet.ru