Iphrojekthi ye-seL4 evulekile ye-microkernel ithole i-ACM Software System Award, umklomelo waminyaka yonke onikezwa yi-Association for Computing Machinery (ACM), inhlangano yamazwe ngamazwe ehlonishwa kakhulu emkhakheni wezinhlelo zamakhompiyutha. Umklomelo unikezwa ngezimpumelelo emkhakheni wobufakazi bokusebenza bezibalo, okubonisa ukuthobela ngokugcwele izicaciso ezinikezwe ngolimi oluhlelekile futhi oqaphela ukulungela ukusetshenziswa ezinhlelweni ezibalulekile zenjongo. Iphrojekthi ye-seL4 ikhombisile ukuthi akwenzeki nje kuphela ukuqinisekisa ngokusemthethweni ukwethembeka nokuphepha kwamaphrojekthi ezingeni lezinhlelo zokusebenza zezimboni, kodwa futhi nokufeza lokhu ngaphandle kokudela ukusebenza nokuhlukahluka.
I-ACM Software System Award yethulwa minyaka yonke ukuze kuqashelwe ukuthuthukiswa kwezinhlelo zesofthiwe ezibe nomthelela ocacile embonini, yethula imiqondo emisha noma ukuvula izinhlelo zokusebenza ezintsha zentengiso. Inani lomklomelo lingamadola ayizinkulungwane ezingama-35. Eminyakeni edlule, imiklomelo ye-ACM inikezwe amaphrojekthi we-GCC kanye ne-LLVM, nabasunguli bawo uRichard Stallman noChris Latner. Amanye amaphrojekthi nobuchwepheshe obuphinde baklonyeliswa yi-UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB kanye ne-eclipse. .
Isakhiwo se-seL4 microkernel siyaphawuleka ngokususwa kwezingxenye zokuphatha izinsiza ze-kernel endaweni yomsebenzisi kanye nokusebenzisa izindlela ezifanayo zokulawula ukufinyelela kulezo zinsiza njengezinsiza zomsebenzisi. I-microkernel ayinikezi izinto eziphuma ngaphandle kwebhokisi zezinga eliphezulu zokuphatha amafayela, izinqubo, uxhumo lwenethiwekhi, nokunye okunjalo, esikhundleni salokho inikeza izindlela ezincane kuphela zokulawula ukufinyelela endaweni yekheli lendawo, iziphazamiso, nezinsiza zokucubungula. Izifinyezo ezisezingeni eliphezulu nezishayeli zokusebenzelana nehadiwe zisetshenziswa ngokuhlukene phezu kwe-microkernel ngendlela yemisebenzi yezinga lomsebenzisi. Ukufinyelela kwemisebenzi enjalo ezinsizeni ezitholakala ku-microkernel kuhlelwa ngencazelo yemithetho.
Source: opennet.ru