Projekti që zhvillon mikrothemelin e hapur seL4 fitoi çmimin ACM Software System Award, i cili jepet çdo vit nga Shoqata e Kompjuterëve (ACM), organizata më autoritative ndërkombëtare në fushën e sistemeve kompjuterike. Çmimi është dhënë për arritjet në fushën e provimit matematikor të besueshmërisë, i cili dëshmon për përputhshmërinë e plotë me specifikimet e caktuara në një gjuhë formale dhe njihet për gatishmërinë e përdorimit në aplikime kritike. Projekti seL4 ka treguar se është e mundur jo vetëm të kryhet një verifikim formal i plotë i besueshmërisë dhe sigurisë për projekte të nivelit të sistemeve operative industriale, por gjithashtu të arrihet kjo pa kompromis në rendiment dhe shumëanshmëri.
Çmimi ACM Software System Award jepet çdo vit për zhvillimin e sistemeve software që kanë një ndikim të rëndësishëm në industri, duke sjellë koncepte të reja ose duke zbuluar fusha të reja të aplikimit komercial. Vlera e çmimit është 35 mijë dollarë amerikanë. Në vitet e kaluara, çmimi ACM është dhënë për projekte si GCC dhe LLVM, si dhe për themeluesit e tyre Richard Stallman dhe Chris Lattner. Çmimi gjithashtu ka nderuar projekte dhe teknologji si UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB dhe Eclipse.
Arkitektura e mikrogrimcës seL4 shquhet për ndarjen e pjesëve për menaxhimin e burimeve të kernels në hapësirën përdoruese dhe përdorimin e të njëjtave mjete ndarjeje për këto burime si për burimet përdoruese. Mikrogrimca nuk ofron abstraksione të gatshme me nivele të larta për menaxhimin e skedarëve, procedurave, lidhjeve rrjetore etj., por ofron vetëm mekanizma minimalë për menaxhimin e qasjes në hapësirën fizike adresuese, interruptet dhe burimet e procesorit. Abstraksionet e nivelit të lartë dhe drejtuesit për ndërveprimin me pajisjet realizohen veçmas mbi mikrogrimcë në formën e detyrave që ekzekutohen në nivelin përdorues. Qasja e këtyre detyrave në burimet ekzistuese të mikrogrimcës organizohet përmes përcaktimit të rregullave.
Burimi: opennet.ru
