RISC-V ဖောင်ဒေးရှင်း microkernel ၏လုပ်ဆောင်ချက်ကိုစစ်ဆေးခြင်းအကြောင်း RISC-V ညွှန်ကြားချက်အစုံဗိသုကာစနစ်များပေါ်တွင်။ စိစစ်ရေးဆင်းလာသည်။ တရားဝင်ဘာသာစကားတွင် သတ်မှတ်ထားသည့် သတ်မှတ်ချက်များနှင့်အညီ အပြည့်အဝလိုက်နာမှုကို ညွှန်ပြသည့် seL4 လည်ပတ်မှု၏ ယုံကြည်စိတ်ချရမှု။ ယုံကြည်စိတ်ချရမှုအထောက်အထား RISC-V RV4 ပရိုဆက်ဆာများအပေါ် အခြေခံထားသော mission-critical systems တွင် seL64 သည် ယုံကြည်စိတ်ချရမှုအဆင့် တိုးမြင့်လာပြီး ကျရှုံးမှုများမရှိခြင်းကို အာမခံပါသည်။ seL4 kernel ၏ထိပ်တွင်လည်ပတ်နေသော software developer များသည် system ၏အစိတ်အပိုင်းတစ်ခုတွင်ချို့ယွင်းမှုရှိပါက၊ ဤချို့ယွင်းချက်သည် system ၏ကျန်သောအစိတ်အပိုင်းများသို့ပျံ့နှံ့မည်မဟုတ်ကြောင်းနှင့်အထူးသဖြင့်၎င်း၏အရေးကြီးသောအစိတ်အပိုင်းများဖြစ်ကြောင်းလုံးဝယုံကြည်စိတ်ချနိုင်သည်။
seL4 မိုက်ခရိုကာနယ်ကို 32-bit ARM ပရိုဆက်ဆာများအတွက် ကနဦးစစ်ဆေးခဲ့ပြီး နောက်ပိုင်းတွင် 64-bit x86 ပရိုဆက်ဆာများအတွက် ဖြစ်သည်။ open seL4 microkernel နှင့် open RISC-V ဟာ့ဒ်ဝဲဗိသုကာ၏ပေါင်းစပ်မှုသည် ဟာ့ဒ်ဝဲအစိတ်အပိုင်းများကို အပြည့်အဝစစ်ဆေးနိုင်ပြီး၊ မူပိုင်ဟာ့ဒ်ဝဲဗိသုကာများအတွက် အောင်မြင်ရန်မဖြစ်နိုင်သောကြောင့် အနာဂတ်တွင် ဟာ့ဒ်ဝဲအစိတ်အပိုင်းများကို အပြည့်အဝစစ်ဆေးနိုင်သောကြောင့်ဖြစ်သည်။
seL4 ကိုစစ်ဆေးသောအခါတွင်၊ စက်ကိရိယာများသည်ဖော်ပြထားသည့်အတိုင်းအလုပ်လုပ်ပြီးသတ်မှတ်ချက်များသည်စနစ်၏အပြုအမူကိုအပြည့်အဝဖော်ပြသည်ဟုယူဆရသော်လည်းလက်တွေ့တွင်စက်ပစ္စည်းသည်အမှားအယွင်းများနှင့်ကင်းစင်ခြင်းမရှိပါ၊ ၎င်းသည်ပုံမှန်ပေါ်ပေါက်လာသောမှန်းဆလုပ်ဆောင်မှုယန္တရားတွင်ပုံမှန်ပေါ်ပေါက်လာသောပြဿနာများဖြင့်ရှင်းလင်းစွာပြသထားသည်။ ညွှန်ကြားချက်များ။ ဟာ့ဒ်ဝဲပလပ်ဖောင်းများသည် လုံခြုံရေးဆိုင်ရာပြောင်းလဲမှုများကို ပေါင်းစပ်ရန် ပိုမိုလွယ်ကူစေသည် - ဥပမာ၊ ဖြစ်နိုင်ချေရှိသော ဘေးထွက်ချန်နယ်ပေါက်ကြားမှုများအားလုံးကို ပိတ်ဆို့ရန်၊ ဆော့ဖ်ဝဲလ်တွင် ဖြေရှင်းရန်ကြိုးစားခြင်းထက် ဟာ့ဒ်ဝဲရှိ ပြဿနာကို ဖယ်ရှားရန် ပိုမိုထိရောက်ပါသည်။
seL4 ဗိသုကာကိုသတိရပါ။ kernel အရင်းအမြစ်များကို အသုံးပြုသူနေရာသို့ စီမံခန့်ခွဲခြင်းအတွက် အစိတ်အပိုင်းများကို ရွှေ့ခြင်းနှင့် အသုံးပြုသူအရင်းအမြစ်များအတွက် တူညီသောဝင်ရောက်ခွင့်ထိန်းချုပ်ခြင်းနည်းလမ်းများကို အသုံးပြုခြင်း။ မိုက်ခရိုကာနယ်သည် ဖိုင်များ၊ လုပ်ငန်းစဉ်များ၊ ကွန်ရက်ချိတ်ဆက်မှုများနှင့် အခြားအရာများကို စီမံခန့်ခွဲရန်အတွက် အဆင်သင့်လုပ်ထားသည့် အဆင့်မြင့် abstractions များကို ပံ့ပိုးပေးခြင်းမရှိပါ၊ ယင်းအစား၊ ၎င်းသည် ရုပ်ပိုင်းဆိုင်ရာလိပ်စာနေရာ၊ အနှောင့်အယှက်များနှင့် ပရိုဆက်ဆာအရင်းအမြစ်များကို ဝင်ရောက်ထိန်းချုပ်ရန်အတွက် အနည်းငယ်မျှသာသော ယန္တရားများကိုသာ ထောက်ပံ့ပေးသည်။ ဟာ့ဒ်ဝဲနှင့် တုံ့ပြန်ခြင်းအတွက် အဆင့်မြင့် abstractions များနှင့် drivers များကို သုံးစွဲသူအဆင့် လုပ်ငန်းဆောင်တာများပုံစံဖြင့် microkernel ၏ထိပ်တွင် သီးခြားစီ လုပ်ဆောင်ပါသည်။ microkernel မှ ရရှိနိုင်သော အရင်းအမြစ်များသို့ ထိုကဲ့သို့သော လုပ်ငန်းဆောင်တာများကို စည်းမျဉ်းများ၏ အဓိပ္ပါယ်ဖွင့်ဆိုချက်ဖြင့် ဖွဲ့စည်းထားပါသည်။
RISC-V သည် အဖွင့်နှင့် လိုက်လျောညီထွေရှိသော စက်ညွှန်ကြားချက်စနစ်ကို ပံ့ပိုးပေးသည့် မိုက်ခရိုပရိုဆက်ဆာများကို အသုံးပြုရန်အတွက် အခကြေးငွေများ သို့မဟုတ် ကြိုးများ မလိုအပ်ဘဲ မတရားသော အပလီကေးရှင်းများအတွက် တည်ဆောက်ခွင့်ပြုသည်။ RISC-V သည် သင့်အား လုံးဝဖွင့်ထားသော SoC များနှင့် ပရိုဆက်ဆာများကို ဖန်တီးနိုင်စေပါသည်။ အမျိုးမျိုးသောအခမဲ့လိုင်စင်များ (BSD၊ MIT၊ Apache 2.0) အောက်တွင် မတူညီသောကုမ္ပဏီများနှင့် အသိုင်းအဝိုင်းများမှ RISC-V သတ်မှတ်ချက်အပေါ် အခြေခံထားသည်။ မိုက်ခရိုပရိုဆက်ဆာ cores၊ SoCs နှင့် ထုတ်လုပ်ပြီးသော ချစ်ပ်များ ဒါဇင်များစွာသောမျိုးကွဲများ။ RISC-V အထောက်အပံ့သည် Glibc 2.27၊ binutils 2.30၊ gcc 7 နှင့် Linux kernel 4.15 တို့ကို ထုတ်ဝေပြီးကတည်းက ရှိနေပါသည်။
source: opennet.ru