Projekt, mis arendab avatud mikro tuuma seL4, pĂ€lvis ACM Software System Award'i, mille iga-aastaselt annab vĂ€lja ACM (Association for Computing Machinery), rahvusvaheline autoriteet arvutisĂŒsteemide valdkonnas. Auhind anti matemaatilisi tĂ”endeid usaldusvÀÀrsuse kohta, mis nĂ€itab tĂ€ielikku vastavust formaalkeeles esitatud spetsifikatsioonidele ja tunnustab valmidust kasutamiseks kriitilistes rakendustes. Projekt seL4 nĂ€itas, et on vĂ”imalik tĂ€ielikult lĂ€bi viia formaalne kinnitamine usaldusvÀÀrsuse ja ohutuse osas tööstuslike operatsioonisĂŒsteemide tasemel, saavutades seda ilma jĂ”udluse ja mitmekesisuse kahjustamiseta.
ACM Software System Award'i antakse igal aastal vĂ€lja tarkvarasĂŒsteemide arendamise eest, mis on olulisel mÀÀral mĂ”jutanud tööstust, tutvustades uusi kontseptsioone vĂ”i avades uusi kaubanduslikke rakendusi. Auhinna suurus on 35 tuhat USA dollarit. Varasematel aastatel on ACM auhindu antud projektidele GCC ja LLVM ning nende asutajatele Richard Stallmanile ja Chris Latnerile. Au on saanud ka sellised projektid ja tehnoloogiad nagu UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB ja Eclipse.
Mikrokiibi seL4 arhitektuur on tĂ€helepanuvÀÀrne, kuna osade kernelite ressursside haldamine on viidud kasutajaruumi, rakendades neid samu juurdepÀÀsukontrolli meetodeid, mis on ette nĂ€htud kasutajaressursside haldamiseks. Mikrokiip ei paku valmis kĂ”rgema taseme abstraktsioone failide, protsesside, vĂ”rguĂŒhenduste jms haldamiseks, vaid pakub ainult minimaalset mehhanismi fĂŒĂŒsiliste aadressiruumide, katkestuste ja protsessori ressursside juurdepÀÀsu haldamiseks. KĂ”rgema taseme abstraktsioonid ja draiverid riistvaraga suhtlemiseks rakendatakse eraldi mikrokiibi pinnal kasutatavate ĂŒlesannete kujul, mis toimuvad kasutaja tasemel. Aksesne nendel ĂŒlesannetel olevate mikrokiibi ressursside valitsemiseks korraldatakse reeglite mÀÀratlemise kaudu.
Allikas: opennet.ru
