seL4 open microkernel ပရောဂျက်သည် ကွန်ပျူတာစနစ်နယ်ပယ်တွင် အလေးစားဆုံး နိုင်ငံတကာအဖွဲ့အစည်းဖြစ်သည့် Association for Computing Machinery (ACM) မှ နှစ်စဉ်ပေးအပ်သည့် ACM Software System Award ကို ရရှိခဲ့ပါသည်။ တရားဝင်ဘာသာစကားဖြင့် ပေးထားသည့် သတ်မှတ်ချက်များနှင့်အညီ အပြည့်အဝလိုက်နာမှုကို ညွှန်ပြပြီး မစ်ရှင်အရေးပါသော အပလီကေးရှင်းများတွင် အသုံးပြုရန် အဆင်သင့်ဖြစ်ခြင်းကို အသိအမှတ်ပြုသည့် သင်္ချာဆိုင်ရာ လုပ်ငန်းဆောင်ရွက်မှုဆိုင်ရာ အထောက်အထားနယ်ပယ်တွင် အောင်မြင်မှုများအတွက် ဆုချီးမြှင့်သည်။ seL4 ပရောဂျက်သည် စက်မှုလုပ်ငန်းလည်ပတ်မှုစနစ်အဆင့်ရှိ ပရောဂျက်များအတွက် ယုံကြည်စိတ်ချရမှုနှင့် လုံခြုံမှုကို တရားဝင်အတည်ပြုနိုင်ရုံသာမက စွမ်းဆောင်ရည်နှင့် ဘက်စုံစွမ်းဆောင်နိုင်မှုတို့ကို မထိခိုက်စေဘဲ ၎င်းကိုအောင်မြင်ရန်လည်း ဖြစ်နိုင်ကြောင်း ပြသထားသည်။
ACM Software System Award ကို စက်မှုလုပ်ငန်းအပေါ် အဓိပ္ပါယ်ဖွင့်ဆိုထားသော အကျိုးသက်ရောက်မှုရှိစေသော ဆော့ဖ်ဝဲလ်စနစ်များ၏ ဖွံ့ဖြိုးတိုးတက်မှုကို အသိအမှတ်ပြုရန်၊ သဘောတရားအသစ်များကို မိတ်ဆက်ခြင်း သို့မဟုတ် စီးပွားဖြစ်အသုံးချပရိုဂရမ်အသစ်များကို ဖွင့်လှစ်ခြင်းတို့ကို အသိအမှတ်ပြုရန် နှစ်စဉ်ပေးအပ်သည်။ ဆုငွေပမာဏမှာ အမေရိကန်ဒေါ်လာ ၃၅ဝဝဝ ဖြစ်သည်။ လွန်ခဲ့သောနှစ်များတွင် ACM ဆုများကို GCC နှင့် LLVM ပရောဂျက်များနှင့် ၎င်းတို့၏တည်ထောင်သူ Richard Stallman နှင့် Chris Latner တို့အားပေးအပ်ခဲ့ပါသည်။ ချီးမြှင့်ခံရသော အခြားပရောဂျက်များနှင့် နည်းပညာများမှာ UNIX၊ Java၊ Apache၊ Mosaic၊ WWW၊ Smalltalk၊ PostScript၊ TeX၊ Tcl/Tk၊ RPC၊ Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB နှင့် eclipse .
microkernel seL4 ၏ တည်ဆောက်ပုံသည် သုံးစွဲသူနေရာရှိ kernel အရင်းအမြစ်များကို စီမံခန့်ခွဲရန်အတွက် အစိတ်အပိုင်းများကို ဖယ်ရှားခြင်းနှင့် အသုံးပြုသူအရင်းအမြစ်များအတွက် တူညီသော အရင်းအမြစ်များအတွက် ဝင်ရောက်ထိန်းချုပ်မှုနည်းလမ်းကို အသုံးပြုခြင်းအတွက် မှတ်သားဖွယ်ဖြစ်သည်။ မိုက်ခရိုကာနယ်သည် ဖိုင်များ၊ လုပ်ငန်းစဉ်များ၊ ကွန်ရက်ချိတ်ဆက်မှုများနှင့် အခြားအရာများကို စီမံခန့်ခွဲရန်အတွက် ဘောက်စ်ပြင်ပမှ အဆင့်မြင့် abstractions များကို မပေးဆောင်ဘဲ၊ ၎င်းအစား၊ ၎င်းသည် ရုပ်ပိုင်းဆိုင်ရာလိပ်စာနေရာ၊ အနှောင့်အယှက်များနှင့် ပရိုဆက်ဆာအရင်းအမြစ်များကို ဝင်ရောက်ထိန်းချုပ်ရန်အတွက် အနည်းငယ်မျှသာသော ယန္တရားများကိုသာ ပံ့ပိုးပေးပါသည်။ ဟာ့ဒ်ဝဲနှင့် တုံ့ပြန်ခြင်းအတွက် အဆင့်မြင့် abstractions များနှင့် drivers များကို သုံးစွဲသူအဆင့် လုပ်ငန်းဆောင်တာများပုံစံဖြင့် microkernel ၏ထိပ်တွင် သီးခြားစီ လုပ်ဆောင်ပါသည်။ microkernel မှ ရရှိနိုင်သော အရင်းအမြစ်များသို့ ထိုကဲ့သို့သော လုပ်ငန်းဆောင်တာများကို ဝင်ရောက်ခွင့်အား စည်းမျဉ်းများ၏ အဓိပ္ပါယ်ဖွင့်ဆိုချက်ဖြင့် ဖွဲ့စည်းထားသည်။
source: opennet.ru