Ny tetikasa seL4 open microkernel dia nahazo ny ACM Software System Award, loka isan-taona nomen'ny Association for Computing Machinery (ACM), fikambanana iraisam-pirenena hajaina indrindra eo amin'ny sehatry ny informatika. Ny loka dia omena amin'ny zava-bita eo amin'ny sehatry ny porofo matematika momba ny asa, izay manondro ny fanarahana tanteraka ny fepetra omena amin'ny fiteny ofisialy ary manaiky ny fahavononana hampiasaina amin'ny fampiharana mitsikera iraka. Ny tetikasa seL4 dia naneho fa tsy vitan'ny hoe azo atao ny manamarina amin'ny fomba ofisialy ny fahamendrehana sy ny fiarovana amin'ny tetikasa amin'ny ambaratongan'ny rafitra fiasa indostrialy, fa koa ny fanatanterahana izany tsy misy fanaovana sorona ny fahombiazany sy ny fahaiza-manaony.
Ny ACM Software System Award dia atolotra isan-taona mba hamantarana ny fivoaran'ny rafitra rindrambaiko izay nisy fiantraikany voafaritra teo amin'ny indostria, fampidirana hevitra vaovao na fanokafana fampiharana ara-barotra vaovao. Ny sandan'ny loka dia 35 arivo dolara amerikana. Tao anatin'ny taona vitsivitsy izay, nomena ny loka ACM ho an'ny tetikasa GCC sy LLVM, ary Richard Stallman sy Chris Latner, mpanorina azy. Tetikasa sy teknolojia hafa notolorana koa ny UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB ary eclipse .
Ny maritrano amin'ny microkernel seL4 dia misongadina amin'ny fanesorana ny ampahany amin'ny fitantanana ny loharanon-karena kernel ao amin'ny habaka mpampiasa ary amin'ny fampiharana ny fomba fanaraha-maso ny fidirana amin'ny loharano toy ny loharanon'ny mpampiasa. Ny microkernel dia tsy manome abstractions avo lenta ivelan'ny boaty ho an'ny fitantanana ny rakitra, ny fizotrany, ny fifandraisana amin'ny tambajotra, sy ny toy izany, fa tsy manome afa-tsy rafitra faran'izay kely indrindra amin'ny fanaraha-maso ny fidirana amin'ny habaka adiresy ara-batana, ny fiatoana ary ny loharanon'ny processeur. Ny abstractions avo lenta sy ny mpamily amin'ny fifandraisana amin'ny fitaovana dia ampiharina misaraka eo an-tampon'ny microkernel amin'ny endrika asa amin'ny mpampiasa. Ny fidirana amin'ny asa toy izany amin'ny loharanon-karena misy amin'ny microkernel dia voalamina amin'ny alΓ lan'ny famaritana ny fitsipika.
Source: opennet.ru