Proyék mikrokernel kabuka seL4 parantos nampi Penghargaan Sistem Perangkat Lunak ACM, pangajén taunan anu dipasihkeun ku Asosiasi Mesin Komputasi (ACM), organisasi internasional anu paling terhormat dina widang sistem komputer. Panghargaan dirumuskeun pikeun prestasi dina widang bukti operasi matematik, anu nunjukkeun patuh pinuh ku spésifikasi anu dirumuskeun dina basa formal sareng ngakuan kesiapan pikeun dianggo dina aplikasi kritis-misi. Proyék seL4 parantos nunjukkeun yén henteu ngan ukur tiasa sacara resmi pariksa réliabilitas sareng kaamanan pikeun proyék-proyék dina tingkat sistem operasi industri, tapi ogé pikeun ngahontal ieu tanpa ngorbankeun kinerja sareng versatility.
ACM Software System Award dibere taunan pikeun mikawanoh ngembangkeun sistem software nu geus miboga dampak watesan dina industri, ngawanohkeun konsép anyar atawa muka nepi aplikasi komérsial anyar. Jumlah pangajén nyaéta 35 rébu dolar AS. Dina taun-taun katukang, panghargaan ACM parantos dipasihkeun ka proyék GCC sareng LLVM, sareng pendirina Richard Stallman sareng Chris Latner. Proyék sareng téknologi sanés anu ogé dilélér nyaéta UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB and eclipse .
Arsitéktur mikrokernel seL4 kasohor pikeun ngaleungitkeun bagian pikeun ngatur sumber kernel dina rohangan pangguna sareng pikeun nerapkeun cara anu sami pikeun kontrol aksés pikeun sumber daya sapertos sumberdaya pangguna. Mikrokernel teu nyadiakeun kaluar-of-the-box abstraksi tingkat luhur pikeun ngatur file, prosés, sambungan jaringan, jeung sajabana, malah nyadiakeun ngan mékanisme minimal keur ngadalikeun aksés ka spasi alamat fisik, interrupts, sarta sumberdaya processor. Abstraksi tingkat luhur sareng supir pikeun berinteraksi sareng hardware dilaksanakeun sacara misah di luhur mikrokernel dina bentuk tugas tingkat pangguna. Aksés tugas sapertos kitu kana sumber daya anu aya pikeun mikrokernel dikelompokeun ngaliwatan definisi aturan.
sumber: opennet.ru