Rust ဘာသာစကားအတွက် ပံ့ပိုးမှုဖြင့် Linux kernel အတွက် အဋ္ဌမမြောက် ဖာထေးမှုဗားရှင်း

Rust-for-Linux ပရောဂျက်ကိုရေးသားသူ Miguel Ojeda သည် Linux kernel developer များမှ ထည့်သွင်းစဉ်းစားရန်အတွက် Rust ဘာသာစကားတွင် စက်ပစ္စည်းဒရိုက်ဗာများဖန်တီးရန်အတွက် v8 အစိတ်အပိုင်းများကို ထုတ်ဝေရန် အဆိုပြုခဲ့သည်။ ၎င်းသည် ဗားရှင်းနံပါတ်မပါဘဲ ထုတ်ဝေသည့် ပထမဗားရှင်းကို ထည့်သွင်းစဉ်းစားကာ ပြုပြင်ထားသော ဗားရှင်းဖြစ်သည်။ သံချေးတက်ခြင်းကို စမ်းသပ်သည်ဟု ယူဆသော်လည်း linux-next ဌာနခွဲတွင် ထည့်သွင်းထားပြီးဖြစ်သည်၊ 5.20/6.0 ၏ ဆောင်းဦးထွက်ရှိမှုတွင် ပေါင်းစည်းထားသည်ဟု ဆိုကာ၊ kernel subsystems များပေါ်တွင် abstraction layers များဖန်တီးခြင်းအပြင် drivers များရေးသားခြင်းအတွက် လုံလောက်သောရင့်ကျက်သည် နှင့် modules များ။ တီထွင်မှုကို Google နှင့် ISRG (Internet Security Research Group) တို့မှ ရန်ပုံငွေပံ့ပိုးထားပြီး Let's Encrypt ပရောဂျက်ကို တည်ထောင်သူဖြစ်ပြီး HTTPS နှင့် အင်တာနက်လုံခြုံရေးကို မြှင့်တင်ရန် နည်းပညာများ ဖွံ့ဖြိုးတိုးတက်မှုကို မြှင့်တင်ပေးပါသည်။

ဗားရှင်းအသစ်တွင်-

• အမှားအယွင်းများ ပေါ်ပေါက်လာသောအခါတွင် ဖြစ်နိုင်ခြေရှိသော "ထိတ်လန့်စရာ" အခြေအနေကို မျိုးဆက်မမီဘဲ Rust 1.62 ထုတ်ဝေမှုအတွက် ကိရိယာတန်ဆာပလာအစုံနှင့် အစုအဝေးစာကြည့်တိုက်၏ မူကွဲတစ်မျိုးကို အပ်ဒိတ်လုပ်ထားသည်။ ယခင်အသုံးပြုထားသောဗားရှင်းနှင့် နှိုင်းယှဉ်ပါက၊ Rust toolkit သည် kernel ဖာထေးမှုများတွင် အသုံးပြုသည့် const_fn_trait_bound လုပ်ဆောင်နိုင်စွမ်းအတွက် တည်ငြိမ်စေသည်။
• စည်းနှောင်ကုဒ်ကို ပင်မပက်ကေ့ဂျ် “kernel” တွင်သာ အပြောင်းအလဲများပြုလုပ်ပါက ပြန်လည်တည်ဆောက်ရာတွင် ရိုးရှင်းလွယ်ကူစေသည့် သီးခြားသေတ္တာအထုပ် “bindings” အဖြစ် ခွဲခြားထားသည်။
• မက်ခရို “concat_idents!” ကို အကောင်အထည်ဖော်ခြင်း။ concat_idents လုပ်ဆောင်ချက်နှင့် ဆက်စပ်မှုမရှိသော လုပ်ထုံးလုပ်နည်း မက်ခရိုပုံစံဖြင့် ပြန်လည်ရေးသားပြီး ဒေသဆိုင်ရာ ကိန်းရှင်များကို ကိုးကားအသုံးပြုမှုကို ခွင့်ပြုသည်။
• ကိန်းသေများအစား မည်သည့်အကြောင်းအရာတွင်မဆို "core::assert!()" ကို အသုံးပြုခွင့်ပေးထားသော "static_asssert!" မက်ခရိုကို ပြန်လည်ရေးသားထားပါသည်။
• Macro "build_error!" မော်ဂျူးများအတွက် “RUST_BUILD_ASSERT_{WARN, ALLOW}” မုဒ်ကို သတ်မှတ်သောအခါတွင် အဆင်ပြေအောင် လုပ်ဆောင်ပါ။
• ဆက်တင်များ “kernel/configs/rust.config” ဖြင့် သီးခြားဖိုင်တစ်ခုကို ပေါင်းထည့်ခဲ့သည်။
• မက်ခရိုအစားထိုးမှုများတွင် လုပ်ဆောင်ခဲ့သော “*.i” ဖိုင်များကို “*.rsi” ဟု အမည်ပြောင်းထားသည်။
• C ကုဒ်အတွက် အသုံးပြုသည့်အရာများနှင့် ကွဲပြားသော ပိုမိုကောင်းမွန်အောင်လုပ်ဆောင်မှုအဆင့်များဖြင့် Rust အစိတ်အပိုင်းများကို တည်ဆောက်ခြင်းအတွက် ပံ့ပိုးမှုအား ရပ်ဆိုင်းလိုက်ပါပြီ။
• ဖိုင်စနစ်များနှင့် လုပ်ဆောင်ရန်အတွက် ချိတ်ဆက်မှုများကို ပံ့ပိုးပေးသည့် fs module ကို ထည့်သွင်းထားသည်။ Rust တွင် ရေးထားသော ရိုးရှင်းသော ဖိုင်စနစ်၏ ဥပမာတစ်ခုကို ပေးထားသည်။
• စနစ်တန်းစီများနှင့် အလုပ်လုပ်ရန်အတွက် တွဲထည့်ထားသော workqueue module (work_struct နှင့် workqueue_struct kernel တည်ဆောက်ပုံများ) ကို ပေါင်းစပ်ထားသည်။
• asynchronous programming method (async) ကို အကောင်အထည်ဖော်ခြင်းဖြင့် kasync module ၏တိုးတက်မှုကို ဆက်လက်လုပ်ဆောင်ခဲ့ပါသည်။ Rust တွင်ရေးထားသော core-level TCP server ၏ ဥပမာတစ်ခုကို ထပ်ထည့်ထားသည်။
• [Threaded]Handler အမျိုးအစားများနှင့် [Threaded]Registration` အမျိုးအစားများကို အသုံးပြု၍ Rust ဘာသာစကားတွင် အနှောင့်အယှက်များကို ကိုင်တွယ်ရန် စွမ်းရည်ကို ထည့်သွင်းထားသည်။
• file_operations ဖွဲ့စည်းတည်ဆောက်ပုံကဲ့သို့သော function pointers ဇယားများနှင့်ပိုမိုလွယ်ကူစေရန်အတွက် procedural macro "#[vtable]" ကို ထည့်သွင်းထားသည်။
• "unsafe_list::List" ၏ နှစ်သွယ်ချိတ်ဆက်ထားသောစာရင်းများကို ထည့်သွင်းအကောင်အထည်ဖော်ခြင်း။
• RCU (Read-copy-update) နှင့် Read lock သည် လက်ရှိ thread နှင့် ချိတ်ဆက်ထားခြင်း ရှိမရှိ စစ်ဆေးရန် ကနဦး ပံ့ပိုးမှု ထပ်ထည့်ထားသည်။
• Added Task::spawn() function သည် kernel thread များကို ဖန်တီးပြီး အလိုအလျောက်စတင်ရန်။ Task::wake_up() method ကိုလည်း ထည့်သွင်းထားပါတယ်။
• နှောင့်နှေးမှုများ (msleep()) ကို အသုံးပြုရန် ခွင့်ပြုသည့် နှောင့်နှေးမှု မော်ဂျူးကို ထည့်သွင်းထားသည်။

အဆိုပြုထားသောပြောင်းလဲမှုများသည် ယာဉ်မောင်းနှင့် kernel module များဖန်တီးရန်အတွက် ဒုတိယဘာသာစကားအဖြစ် Rust ကိုအသုံးပြုရန် ဖြစ်နိုင်ချေရှိသည်။ Rust ပံ့ပိုးမှုကို ပုံသေအားဖြင့် ဖွင့်မထားသော ရွေးချယ်မှုတစ်ခုအနေဖြင့် တင်ပြထားပြီး kernel အတွက် လိုအပ်သော တည်ဆောက်မှုမှီခိုမှုတစ်ခုအဖြစ် Rust ပါဝင်ခြင်းကို မဖြစ်ပေါ်စေပါ။ ယာဉ်မောင်းဖွံ့ဖြိုးတိုးတက်မှုအတွက် Rust ကိုအသုံးပြုခြင်းဖြင့် သင့်အား လွတ်ကင်းပြီးနောက် မှတ်ဉာဏ်ဝင်ရောက်ခွင့်၊ null pointer dereferences နှင့် buffer overruns ကဲ့သို့သော ပြဿနာများမှ ကင်းဝေးပြီး အနည်းငယ်သာ အားစိုက်ထုတ်ခြင်းဖြင့် ပိုမိုဘေးကင်းပြီး ပိုမိုကောင်းမွန်သော ယာဉ်မောင်းများကို ဖန်တီးနိုင်မည်ဖြစ်သည်။

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

source: opennet.ru