Rust ဘာသာစကားအတွက် ပံ့ပိုးမှုဖြင့် Linux kernel အတွက် ဖာထေးမှု၏ ဒုတိယထုတ်ဝေမှု

Rust-for-Linux ပရောဂျက်ကို ရေးသားသူ Miguel Ojeda သည် Linux kernel developer များမှ ထည့်သွင်းစဉ်းစားရန်အတွက် Rust ဘာသာစကားတွင် စက်ဒရိုက်ဗာများ တီထွင်ရန်အတွက် အစိတ်အပိုင်းများ၏ မွမ်းမံထားသောဗားရှင်းကို အဆိုပြုခဲ့သည်။ သံချေးတက်ခြင်း ပံ့ပိုးမှုကို စမ်းသပ်သည်ဟု ယူဆသော်လည်း linux-next ဌာနခွဲတွင် ပါဝင်ရန် သဘောတူထားပြီးဖြစ်သည်။ ဗားရှင်းအသစ်သည် ဖာထေးမှု၏ပထမဗားရှင်းကို ဆွေးနွေးနေစဉ်အတွင်း ပြုလုပ်ခဲ့သော မှတ်ချက်များကို ဖယ်ရှားပေးသည်။ Linus Torvalds သည် ဆွေးနွေးမှုတွင် ပါဝင်ခဲ့ပြီး အချို့သော ဘစ်လုပ်ဆောင်ချက်များကို လုပ်ဆောင်ရန်အတွက် ယုတ္တိဗေဒကို ပြောင်းလဲရန် အဆိုပြုထားသည်။

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

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

Patches ဗားရှင်းအသစ်တွင် အသိသာဆုံးပြောင်းလဲမှုများ-

• မန်မိုရီ ခွဲဝေမှုကုဒ်သည် မှတ်ဉာဏ်မရှိခြင်းကဲ့သို့သော အမှားအယွင်းများ ပေါ်ပေါက်လာသောအခါတွင် "ထိတ်လန့်စရာ" အခြေအနေကို ဖန်တီးနိုင်ချေရှိသည်။ ပျက်ကွက်မှုများကို ကိုင်တွယ်ဖြေရှင်းရန် ကုဒ်ကို ပြန်လည်ပြုပြင်ပေးသည့် Rust alloc ဒစ်ဂျစ်တိုက်၏ မူကွဲတစ်ခုပါဝင်သည်၊ သို့သော် အဆုံးစွန်ပန်းတိုင်မှာ kernel အတွက် လိုအပ်သောအင်္ဂါရပ်အားလုံးကို alloc ၏ ပင်မထုတ်ဝေမှုသို့ လွှဲပြောင်းရန်ဖြစ်သည် (အပြောင်းအလဲများကို ပြင်ဆင်ပြီး စံသို့ လွှဲပြောင်းပြီးဖြစ်သည်။ သံချေးတက်၍)။
• ညစဉ်တည်ဆောက်မှုများအစား၊ သင်သည် ယခုအခါ ဘီတာထုတ်ဝေမှုများနှင့် rustc compiler ၏တည်ငြိမ်သောထုတ်လွှတ်မှုများကို Rust ပံ့ပိုးမှုဖြင့် kernel တစ်ခုကိုစုစည်းနိုင်ပါပြီ။ လက်ရှိတွင် rustc 1.54-beta1 ကို ကိုးကားရေးဖွဲ့မှုအဖြစ် အသုံးပြုသော်လည်း 1.54 ထုတ်ဝေမှုကို လကုန်တွင် ထုတ်ဝေပြီးနောက်၊ ၎င်းကို ကိုးကားရေးဖွဲ့မှုအဖြစ် ပံ့ပိုးပေးမည်ဖြစ်သည်။
• Rust အတွက် စံ “#[test]” ရည်ညွှန်းချက်ကို အသုံးပြု၍ စာရေးစစ်ဆေးမှုများအတွက် ပံ့ပိုးမှုနှင့် စာရွက်စာတမ်းစစ်ဆေးမှုများအတွက် doctests များကို အသုံးပြုနိုင်စွမ်းကို ထပ်လောင်းထည့်သွင်းထားသည်။
• ယခင်က ပံ့ပိုးပေးထားသည့် x32_86 နှင့် ARM64 အပြင် ARM64 နှင့် RISCV ဗိသုကာများ အတွက် ပံ့ပိုးမှု ထပ်ထည့်ထားသည်။
• GCC Rust (GCC frontend for Rust) နှင့် rustc_codegen_gcc (GCC အတွက် rustc backend) တို့ကို ပိုမိုကောင်းမွန်အောင် အကောင်အထည်ဖော်ခြင်းဖြင့် ယခုအခါ အခြေခံစစ်ဆေးမှုများအားလုံးကို အောင်မြင်သွားပါပြီ။
• အနီရောင်-အနက်ရောင်သစ်ပင်များ၊ ကိုးကား-ရေတွက်သည့်အရာများ၊ ဖိုင်ဖော်ပြချက်ဖန်တီးမှု၊ လုပ်ဆောင်စရာများ၊ ဖိုင်များနှင့် I/O vector များကဲ့သို့သော C တွင်ရေးထားသော kernel ယန္တရားများ၏ Rust ပရိုဂရမ်များတွင် အသုံးပြုရန်အတွက် abstraction အဆင့်အသစ်ကို အဆိုပြုထားသည်။
• Driver ဖွံ့ဖြိုးတိုးတက်ရေး အစိတ်အပိုင်းများသည် file_operations module၊ module! macro၊ macro မှတ်ပုံတင်ခြင်းနှင့် အခြေခံဒရိုက်ဗာများ (စုံစမ်းစစ်ဆေးခြင်းနှင့် ဖယ်ရှားခြင်း) အတွက် ပိုမိုကောင်းမွန်လာပါသည်။
• Binder သည် ဖြတ်သန်းသွားသော ဖိုင်ဖော်ပြချက်များနှင့် LSM ချိတ်များကို ပံ့ပိုးပေးပါသည်။
• Raspberry Pi ဘုတ်များ ၏ ဟာ့ဒ်ဝဲကျပန်း နံပါတ် ဂျင်နရေတာ အတွက် Rust driver ၏ ပိုမို လုပ်ဆောင်နိုင်သော ဥပမာ bcm2835-rng ကို အဆိုပြုထားသည်။

ထို့အပြင်၊ kernel တွင် Rust အသုံးပြုမှုနှင့်ပတ်သက်သော အချို့သောကုမ္ပဏီများ၏ ပရောဂျက်များကို ဖော်ပြထားပါသည်။

• Microsoft သည် Rust ပံ့ပိုးမှုအား Linux kernel တွင် ပေါင်းစည်းရန် အလုပ်တွင်ပါဝင်ရန် စိတ်ဝင်စားကြောင်း ဖော်ပြခဲ့ပြီး လာမည့်လများအတွင်း Rust ရှိ Hyper-V အတွက် ယာဉ်မောင်းအကောင်အထည်ဖော်မှုများကို ပံ့ပိုးပေးရန် အဆင်သင့်ဖြစ်နေပြီဖြစ်သည်။
• ARM သည် ARM-based စနစ်များအတွက် Rust အထောက်အပံ့ကို မြှင့်တင်ရန် လုပ်ဆောင်နေသည်။ Rust ပရောဂျက်သည် 64-bit ARM စနစ်များကို Tier 1 ပလပ်ဖောင်းဖြစ်စေမည့် အပြောင်းအလဲများကို အဆိုပြုထားပြီးဖြစ်သည်။
• Google သည် Rust for Linux ပရောဂျက်အတွက် တိုက်ရိုက်ပံ့ပိုးမှုပေးသည်၊ Rust ရှိ Binder အပြန်အလှန်လုပ်ဆောင်မှုဆက်သွယ်ရေးယန္တရားကိုအကောင်အထည်ဖော်မှုအသစ်ကို ဖန်တီးနေပြီး Rust တွင် အမျိုးမျိုးသောဒရိုက်ဗာများကို ပြန်လည်လုပ်ဆောင်နိုင်ခြေကို စဉ်းစားနေသည်။ ISRG (Internet Security Research Group) မှတဆင့် Google သည် Rust အထောက်အပံ့ကို Linux kernel တွင် ပေါင်းစည်းရန် အလုပ်အတွက် ရန်ပုံငွေ ပံ့ပိုးပေးပါသည်။
• IBM သည် PowerPC စနစ်များအတွက် Rust အတွက် kernel ပံ့ပိုးမှုကို အကောင်အထည်ဖော်ခဲ့သည်။
• LSE (Systems Research Laboratory) ဓာတ်ခွဲခန်းသည် Rust တွင် SPI driver ကို တီထွင်ခဲ့သည်။

source: opennet.ru