Projekti i hapur i mikrokernelit seL4 ka marrĂ« çmimin ACM Software System Award, njĂ« çmim vjetor i dhĂ«nĂ« nga Shoqata pĂ«r Makineri Kompjuterike (ACM), organizata mĂ« e respektuar ndĂ«rkombĂ«tare nĂ« fushĂ«n e sistemeve kompjuterike. Ămimi jepet pĂ«r arritjet nĂ« fushĂ«n e provĂ«s matematikore tĂ« funksionimit, e cila tregon pĂ«rputhshmĂ«ri tĂ« plotĂ« me specifikimet e dhĂ«na nĂ« njĂ« gjuhĂ« zyrtare dhe njeh gatishmĂ«rinĂ« pĂ«r pĂ«rdorim nĂ« aplikacionet kritike tĂ« misionit. Projekti seL4 ka treguar se jo vetĂ«m qĂ« Ă«shtĂ« e mundur tĂ« verifikohet plotĂ«sisht zyrtarisht besueshmĂ«ria dhe siguria pĂ«r projektet nĂ« nivelin e sistemeve operative industriale, por edhe tĂ« arrihet kjo pa sakrifikuar performancĂ«n dhe shkathtĂ«sinĂ«.
Ămimi i Sistemit tĂ« Softuerit ACM prezantohet çdo vit pĂ«r tĂ« njohur zhvillimin e sistemeve softuerike qĂ« kanĂ« pasur njĂ« ndikim pĂ«rcaktues nĂ« industri, duke prezantuar koncepte tĂ« reja ose duke hapur aplikacione tĂ« reja komerciale. Shuma e çmimit Ă«shtĂ« 35 mijĂ« dollarĂ« amerikanĂ«. NĂ« vitet e kaluara, çmimet ACM u janĂ« dhĂ«nĂ« projekteve GCC dhe LLVM, dhe themeluesve tĂ« tyre Richard Stallman dhe Chris Latner. Projekte dhe teknologji tĂ« tjera qĂ« u shpĂ«rblyen gjithashtu ishin 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 mikrokernelit seL4 është e dukshme për heqjen e pjesëve për menaxhimin e burimeve të kernelit në hapësirën e përdoruesit dhe për aplikimin e të njëjtave mjete të kontrollit të aksesit për burime të tilla si për burimet e përdoruesit. Mikrokerneli nuk ofron abstraksione të nivelit të lartë jashtë kutisë për menaxhimin e skedarëve, proceseve, lidhjeve të rrjetit dhe të ngjashme, në vend të kësaj ai siguron vetëm mekanizma minimalë për kontrollin e aksesit në hapësirën fizike të adresave, ndërprerjet dhe burimet e procesorit. Abstraksionet e nivelit të lartë dhe drejtuesit për ndërveprim me harduerin zbatohen veçmas në krye të mikrokernelit në formën e detyrave të nivelit të përdoruesit. Qasja e detyrave të tilla në burimet në dispozicion të mikrokernelit organizohet përmes përcaktimit të rregullave.
Burimi: opennet.ru
