{"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\/cs\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"Projekt seL4 z\u00edskal ocen\u011bn\u00ed ACM Software System Award","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Projekt vyv\u00edjej\u00edc\u00ed otev\u0159en\u00e9 mikroj\u00e1dro seL4 z\u00edskal cenu ACM Software System Award, kterou ka\u017edoro\u010dn\u011b ud\u011bluje Asociace v\u00fdpo\u010detn\u00ed techniky (ACM), nejuzn\u00e1van\u011bj\u0161\u00ed mezin\u00e1rodn\u00ed organizace v oblasti po\u010d\u00edta\u010dov\u00fdch syst\u00e9m\u016f. Cena byla ud\u011blena za \u00fasp\u011bchy v oblasti matematick\u00e9ho d\u016fkazu spolehlivosti, kter\u00fd potvrzuje plnou shodu se specifikacemi stanoven\u00fdmi v form\u00e1ln\u00edm jazyce a uzn\u00e1v\u00e1 p\u0159ipravenost k vyu\u017eit\u00ed v kriticky d\u016fle\u017eit\u00fdch aplikac\u00edch. Projekt seL4 uk\u00e1zal, \u017ee je mo\u017en\u00e9 nejen pln\u011b prov\u00e9st form\u00e1ln\u00ed verifikaci spolehlivosti a bezpe\u010dnosti pro projekty \u00farovn\u011b pr\u016fmyslov\u00fdch opera\u010dn\u00edch syst\u00e9m\u016f, ale tak\u00e9 dos\u00e1hnout toho bez ztr\u00e1ty v\u00fdkonu a versatility. <\/p>\n

Cena ACM Software System Award se ka\u017edoro\u010dn\u011b ud\u011bluje za v\u00fdvoj softwarov\u00fdch syst\u00e9m\u016f, kter\u00e9 m\u011bly z\u00e1sadn\u00ed vliv na odv\u011btv\u00ed, p\u0159inesly nov\u00e9 koncepty nebo odhalily nov\u00e9 oblasti komer\u010dn\u00edho vyu\u017eit\u00ed. V\u00fd\u0161e ceny je 35 tis\u00edc dolar\u016f USA. V minul\u00fdch letech byly ceny ACM ud\u011bleny projekt\u016fm GCC a LLVM, a jejich zakladatel\u016fm Richardu Stallmanovi a Chrisu Latnerovi. Cenu tak\u00e9 z\u00edskaly projekty a technologie, jako jsou 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

Architektura mikroj\u00e1dra seL4 je pozoruhodn\u00e1 t\u00edm, \u017ee odd\u011bluje \u010d\u00e1sti pro spr\u00e1vu prost\u0159edk\u016f j\u00e1dra do prostoru u\u017eivatele a aplikuje na tyto prost\u0159edky stejn\u00e1 p\u0159\u00edstupov\u00e1 omezen\u00ed jako na u\u017eivatelsk\u00e9 prost\u0159edky. Mikroj\u00e1dro neposkytuje hotov\u00e9 vysoce\u00farov\u0148ov\u00e9 abstrakce pro spr\u00e1vu soubor\u016f, proces\u016f, s\u00ed\u0165ov\u00fdch p\u0159ipojen\u00ed atd., m\u00edsto toho poskytuje pouze minim\u00e1ln\u00ed mechanismy pro spr\u00e1vu p\u0159\u00edstupu k fyzick\u00e9mu adresn\u00edmu prostoru, p\u0159eru\u0161en\u00edm a prost\u0159edk\u016fm procesoru. Vysoce\u00farov\u0148ov\u00e9 abstrakce a ovlada\u010de pro interakci s hardwarem jsou implementov\u00e1ny samostatn\u011b nad mikroj\u00e1dr\u00e9m ve form\u011b \u00faloh prov\u00e1d\u011bn\u00fdch na u\u017eivatelsk\u00e9 \u00farovni. P\u0159\u00edstup t\u011bchto \u00faloh k prost\u0159edk\u016fm, kter\u00e9 m\u00e1 mikroj\u00e1dro k dispozici, je organizov\u00e1n prost\u0159ednictv\u00edm stanoven\u00ed pravidel.
\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\udd47Projektu seL4 byla ud\u011blena cena ACM Software System Award | ProHoster","description":"Projekt vyv\u00edjej\u00edc\u00ed otev\u0159en\u00e9 mikroj\u00e1dro seL4 z\u00edskal cenu ACM Software System Award, kterou ka\u017edoro\u010dn\u011b ud\u011bluje Asociace v\u00fdpo\u010detn\u00ed techniky (ACM), nejuzn\u00e1van\u011bj\u0161\u00ed mezin\u00e1rodn\u00ed organizace v oblasti.","canonical_url":"https:\/\/prohoster.info\/cs\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"cs_CZ","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\/cs\/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\/cs\/wp-json\/wp\/v2\/posts\/108407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/comments?post=108407"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/108407\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/media?parent=108407"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/categories?post=108407"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/tags?post=108407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}