{"id":108407,"date":"2023-05-07T00:48:15","date_gmt":"2023-05-06T22:48:15","guid":{"rendered":"https:\/\/prohoster.info\/?p=108407"},"modified":"2023-05-09T08:51:41","modified_gmt":"2023-05-09T06:51:41","slug":"proektu-sel4-prisuzhdena-premiya-acm-software-system-award","status":"publish","type":"post","link":"https:\/\/prohoster.info\/et\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"seL4 projekt sai ACM Software System Award auhinna","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Projekt, mis arendab avatud mikro tuuma seL4, p\u00e4lvis ACM Software System Award'i, mille iga-aastaselt annab v\u00e4lja ACM (Association for Computing Machinery), rahvusvaheline autoriteet arvutis\u00fcsteemide valdkonnas. Auhind anti matemaatilisi t\u00f5endeid usaldusv\u00e4\u00e4rsuse kohta, mis n\u00e4itab t\u00e4ielikku vastavust formaalkeeles esitatud spetsifikatsioonidele ja tunnustab valmidust kasutamiseks kriitilistes rakendustes. Projekt seL4 n\u00e4itas, et on v\u00f5imalik t\u00e4ielikult l\u00e4bi viia formaalne kinnitamine usaldusv\u00e4\u00e4rsuse ja ohutuse osas t\u00f6\u00f6stuslike operatsioonis\u00fcsteemide tasemel, saavutades seda ilma j\u00f5udluse ja mitmekesisuse kahjustamiseta. <\/p>\n

ACM Software System Award'i antakse igal aastal v\u00e4lja tarkvaras\u00fcsteemide arendamise eest, mis on olulisel m\u00e4\u00e4ral m\u00f5jutanud t\u00f6\u00f6stust, tutvustades uusi kontseptsioone v\u00f5i 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. <\/p>\n

Mikrokiibi seL4 arhitektuur on t\u00e4helepanuv\u00e4\u00e4rne, kuna osade kernelite ressursside haldamine on viidud kasutajaruumi, rakendades neid samu juurdep\u00e4\u00e4sukontrolli meetodeid, mis on ette n\u00e4htud kasutajaressursside haldamiseks. Mikrokiip ei paku valmis k\u00f5rgema taseme abstraktsioone failide, protsesside, v\u00f5rgu\u00fchenduste jms haldamiseks, vaid pakub ainult minimaalset mehhanismi f\u00fc\u00fcsiliste aadressiruumide, katkestuste ja protsessori ressursside juurdep\u00e4\u00e4su haldamiseks. K\u00f5rgema taseme abstraktsioonid ja draiverid riistvaraga suhtlemiseks rakendatakse eraldi mikrokiibi pinnal kasutatavate \u00fclesannete kujul, mis toimuvad kasutaja tasemel. Aksesne nendel \u00fclesannetel olevate mikrokiibi ressursside valitsemiseks korraldatakse reeglite m\u00e4\u00e4ratlemise kaudu.
\n
Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u041f\u0440\u043e\u0435\u043a\u0442, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u0435 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0440\u043e seL4, \u043f\u043e\u043b\u0443\u0447\u0438\u043b \u043f\u0440\u0435\u043c\u0438\u044e ACM Software System Award, \u0435\u0436\u0435\u0433\u043e\u0434\u043d\u043e \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0430\u0435\u043c\u0443\u044e \u0410\u0441\u0441\u043e\u0446\u0438\u0430\u0446\u0438\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u043a\u0438 (ACM), \u043d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u0430\u0432\u0442\u043e\u0440\u0438\u0442\u0435\u0442\u043d\u043e\u0439 \u043c\u0435\u0436\u0434\u0443\u043d\u0430\u0440\u043e\u0434\u043d\u043e\u0439 \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c. \u041f\u0440\u0435\u043c\u0438\u044f \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0435\u043d\u0430 \u0437\u0430 \u0434\u043e\u0441\u0442\u0438\u0436\u0435\u043d\u0438\u044f \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u043d\u0430\u0434\u0451\u0436\u043d\u043e\u0441\u0442\u0438 \u0440\u0430\u0431\u043e\u0442\u044b, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0443\u0435\u0442 \u043e \u043f\u043e\u043b\u043d\u043e\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u043c \u043d\u0430 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f\u043c \u0438 \u043f\u0440\u0438\u0437\u043d\u0430\u0451\u0442 \u0433\u043e\u0442\u043e\u0432\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u0432 \u043a\u0440\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0432\u0430\u0436\u043d\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f\u0445. \u041f\u0440\u043e\u0435\u043a\u0442 seL4 […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-108407","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Projekt seL4 p\u00e4lvis ACM Software System Award | ProHoster","description":"Projekt, mis arendab avatud mikro tuuma seL4, p\u00e4lvis ACM Software System Award'i, mille iga-aastaselt annab v\u00e4lja ACM (Association for Computing Machinery), rahvusvaheline autoriteet.","canonical_url":"https:\/\/prohoster.info\/et\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"et_EE","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041f\u0440\u043e\u0435\u043a\u0442\u0443 seL4 \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0435\u043d\u0430 \u043f\u0440\u0435\u043c\u0438\u044f ACM Software System Award | ProHoster","og:description":"\u041f\u0440\u043e\u0435\u043a\u0442, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u043e\u0442\u043a\u0440\u044b\u0442\u043e\u0435 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0440\u043e seL4, \u043f\u043e\u043b\u0443\u0447\u0438\u043b \u043f\u0440\u0435\u043c\u0438\u044e ACM Software System Award, \u0435\u0436\u0435\u0433\u043e\u0434\u043d\u043e \u043f\u0440\u0438\u0441\u0443\u0436\u0434\u0430\u0435\u043c\u0443\u044e \u0410\u0441\u0441\u043e\u0446\u0438\u0430\u0446\u0438\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0439 \u0442\u0435\u0445\u043d\u0438\u043a\u0438 (ACM), \u043d\u0430\u0438\u0431\u043e\u043b\u0435\u0435 \u0430\u0432\u0442\u043e\u0440\u0438\u0442\u0435\u0442\u043d\u043e\u0439 \u043c\u0435\u0436\u0434\u0443\u043d\u0430\u0440\u043e\u0434\u043d\u043e\u0439 \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438.","og:url":"https:\/\/prohoster.info\/et\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2023-05-06T22:48:15+00:00","article:modified_time":"2023-05-09T06:51:41+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":[],"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/posts\/108407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/comments?post=108407"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/posts\/108407\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/media?parent=108407"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/categories?post=108407"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/et\/wp-json\/wp\/v2\/tags?post=108407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}