{"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\/sk\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"Projektu seL4 bola udelen\u00e1 cena ACM Software System Award","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Projekt rozv\u00edjaj\u00faci otvoren\u00e9 mikrojadro seL4 z\u00edskal ocenenie ACM Software System Award, ktor\u00e9 ka\u017edoro\u010dne ude\u013euje Asoci\u00e1cia v\u00fdpo\u010dtovej techniky (ACM), najuzn\u00e1vanej\u0161ia medzin\u00e1rodn\u00e1 organiz\u00e1cia v oblasti po\u010d\u00edta\u010dov\u00fdch syst\u00e9mov. Ocenenie bolo udelen\u00e9 za \u00faspechy v oblasti matematick\u00e9ho d\u00f4kazu spo\u013eahlivosti, ktor\u00fd potvrdzuje pln\u00fa zhodu s predp\u00edsan\u00fdmi form\u00e1lnymi \u0161pecifik\u00e1ciami a uzn\u00e1va pripravenos\u0165 na pou\u017eitie v kritick\u00fdch aplik\u00e1ci\u00e1ch. Projekt seL4 preuk\u00e1zal, \u017ee je mo\u017en\u00e9 nielen \u00faplne vykona\u0165 form\u00e1lnu verifik\u00e1ciu spo\u013eahlivosti a bezpe\u010dnosti pre projekty na \u00farovni priemyseln\u00fdch opera\u010dn\u00fdch syst\u00e9mov, ale aj dosiahnu\u0165 to bez straty v\u00fdkonu a univerz\u00e1lnosti. <\/p>\n

Ocenenie ACM Software System Award sa ka\u017edoro\u010dne ude\u013euje za v\u00fdvoj softv\u00e9rov\u00fdch syst\u00e9mov, ktor\u00e9 mali rozhoduj\u00faci vplyv na odvetvie, zaviedli nov\u00e9 koncepcie alebo odhalili nov\u00e9 oblasti komer\u010dn\u00e9ho vyu\u017eitia. V\u00fd\u0161ka ocenenia je 35 tis\u00edc dol\u00e1rov. V predch\u00e1dzaj\u00facich rokoch boli ocenenia ACM udelen\u00e9 projektom GCC a LLVM, ako aj ich zakladate\u013eom Richardovi Stallmanovi a Chrisovi Lattnerovi. Ocenen\u00edm boli tie\u017e priznane projekty a technol\u00f3gie ako UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl\/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB a Eclipse. <\/p>\n

Architekt\u00fara mikrojadra seL4 sa vyzna\u010duje presunom \u010dast\u00ed na spr\u00e1vu zdrojov jadra do priestoru pou\u017e\u00edvate\u013ea a vyu\u017e\u00edvan\u00edm pre tieto zdroje rovnak\u00fdch pr\u00edstupov\u00fdch mechanizmov ako pre pou\u017e\u00edvate\u013esk\u00e9 zdroje. Mikrojadro neposkytuje hotov\u00e9 vysok\u00farov\u0148ov\u00e9 abstrakcie pre spr\u00e1vu s\u00faborov, procesov, sie\u0165ov\u00fdch pripojen\u00ed a pod., namiesto toho poskytuje iba minim\u00e1lne mechanizmy pre spr\u00e1vu pr\u00edstupu k fyzik\u00e1lnemu adresn\u00e9mu priestoru, preru\u0161enia a procecorov\u00fdch zdrojov. Vysok\u00farov\u0148ov\u00e9 abstrakcie a ovl\u00e1da\u010de na interakciu s hardv\u00e9rom s\u00fa implementovan\u00e9 samostatne nad mikrojadrom vo forme \u00faloh, ktor\u00e9 sa vykon\u00e1vaj\u00fa na pou\u017e\u00edvate\u013eskej \u00farovni. Pr\u00edstup t\u00fdchto \u00faloh k zdrojom mikrojadra je organizovan\u00fd prostredn\u00edctvom defin\u00edcie pravidiel.
\n
Zdroj: 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\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 z\u00edskal ocenenie ACM Software System Award | ProHoster","description":"Projekt, ktor\u00fd sa zaober\u00e1 rozvojom otvoren\u00e9ho mikrojaadra seL4, z\u00edskal ocenenie ACM Software System Award, ktor\u00e9 ka\u017edoro\u010dne ude\u013euje Asocia\u010dn\u00e1 v\u00fdpo\u010dtovej techniky (ACM), najuzn\u00e1vanej\u0161ia medzin\u00e1rodn\u00e1 organiz\u00e1cia v tomto odbore.","canonical_url":"https:\/\/prohoster.info\/sk\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sk_SK","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\/sk\/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\/sk\/wp-json\/wp\/v2\/posts\/108407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/comments?post=108407"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts\/108407\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/media?parent=108407"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/categories?post=108407"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/tags?post=108407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}