SeL4 mikrokernel irekia garatzen ari den proiektuak ACM Software System Award saria jaso zuen, urtero Informatikako Makineriaren Elkarteak (ACM), sistema informatikoen alorreko nazioarteko erakunde autoritarioenak, ematen duena. Saria funtzionamenduaren fidagarritasunaren froga matematikoaren alorrean egindako lorpenengatik ematen da, hizkuntza formal batean zehaztutako zehaztapenak guztiz betetzen direla frogatzen duena eta misio kritikoko aplikazioetan erabiltzeko prest dagoela aitortzen duena. SeL4 proiektuak erakutsi du posible dela sistema eragile industrialen mailako diseinuen fidagarritasuna eta segurtasuna guztiz formalki egiaztatzea ez ezik, errendimendua eta aldakortasuna arriskuan jarri gabe ere.
ACM Software System Saria urtero ematen da industrian eragin nabarmena izan duten software-sistemen garapena aitortzeko, kontzeptu berriak sartuz edo merkataritza-aplikazio-eremu berriak irekiz. Sariaren zenbatekoa 35 mila AEBetako dolar da. Azken urteetan, ACM sariak GCC eta LLVM proiektuei eta Richard Stallman eta Chris Latner sortzaileei eman zaizkie. Sariak UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB eta Eclipse bezalako proiektu eta teknologiak ere aintzatetsi ditu. .
SeL4 mikronukleoaren arkitektura nabarmena da nukleoaren baliabideak kudeatzeko piezak erabiltzaileen espaziora mugitzeagatik eta sarbide-kontrolerako tresna berberak erabiltzeagatik, hala nola, erabiltzailearen baliabideetarako. Mikrokernelak ez du prestatutako goi-mailako abstrakziorik eskaintzen fitxategiak, prozesuak, sare-konexioak eta antzekoak kudeatzeko; horren ordez, helbide-espazio fisikorako, etenetarako eta prozesadore-baliabideetarako sarbidea kontrolatzeko mekanismo minimoak eskaintzen ditu. Hardwarearekin elkarreragiteko goi-mailako abstrakzioak eta kontrolatzaileak mikrokernelaren gainean bereizita inplementatzen dira erabiltzaile-mailako zereginen moduan. Mikrokernelak eskura dituen baliabideetara horrelako zereginen sarbidea arauen definizioaren bidez antolatzen da.
Iturria: opennet.ru