Txoj haujlwm tsim kho qhib seL4 microkernel tau txais ACM Software System Award, muab khoom plig txhua xyoo los ntawm Lub Koom Haum rau Kev Siv Tshuab (ACM), lub koom haum tshaj lij thoob ntiaj teb hauv kev siv tshuab computer. Qhov khoom plig tau txais txiaj ntsig rau kev ua tiav hauv kev ua lej pov thawj ntawm kev ntseeg siab ntawm kev ua haujlwm, uas ua rau pom kev ua raws li cov lus qhia tshwj xeeb uas tau teev tseg hauv hom lus raug cai thiab lees paub kev npaj rau kev siv hauv lub hom phiaj tseem ceeb. Lub seL4 qhov project tau qhia tias nws tsis yog tsuas yog ua tau kom tiav cov ntaub ntawv pov thawj kev ntseeg siab thiab kev ruaj ntseg rau kev lag luam kev lag luam-theem tsim, tab sis kuj ua tiav qhov no yam tsis muaj kev cuam tshuam kev ua tau zoo thiab ntau yam.
ACM Software System Award tau nthuav tawm txhua xyoo kom paub txog kev txhim kho cov software uas tau muaj kev cuam tshuam rau kev lag luam, qhia cov tswv yim tshiab lossis qhib thaj chaw tshiab ntawm daim ntawv thov kev lag luam. Tus nqi ntawm qhov khoom plig yog 35 txhiab US dollars. Hauv xyoo dhau los, ACM khoom plig tau muab rau GCC thiab LLVM cov haujlwm, thiab lawv tus tsim Richard Stallman thiab Chris Latner. Qhov khoom plig kuj lees paub cov haujlwm thiab thev naus laus zis xws li UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Ua, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB thiab dab noj hnub. .
Lub seL4 microkernel architecture yog qhov tseem ceeb rau kev txav mus los rau kev tswj cov khoom siv kernel rau hauv cov neeg siv qhov chaw thiab siv tib qho kev tswj xyuas cov cuab yeej rau cov peev txheej xws li cov neeg siv khoom. Lub microkernel tsis muab cov kev npaj ua tiav qib siab rau kev tswj cov ntaub ntawv, txheej txheem, kev sib txuas hauv network, thiab lwm yam; hloov, nws tsuas yog muab cov txheej txheem me me rau kev tswj kev nkag mus rau qhov chaw nyob hauv lub cev, cuam tshuam, thiab cov khoom siv processor. High-theem abstractions thiab tsav tsheb rau kev cuam tshuam nrog kho vajtse yog siv cais nyob rau sab saum toj ntawm lub microkernel nyob rau hauv daim ntawv ntawm cov neeg siv-theem ua hauj lwm. Kev nkag mus rau cov haujlwm zoo li no rau cov peev txheej uas muaj rau microkernel tau teeb tsa los ntawm kev txhais cov cai.
Tau qhov twg los: opennet.ru