{"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\/hu\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","title":{"rendered":"A seL4 projekt megkapta az ACM Software System Award d\u00edjat.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

A projekt, amely az open source seL4 mikrokernel fejleszt\u00e9s\u00e9n dolgozik, elnyerte az ACM Software System Award d\u00edjat, amelyet \u00e9vente adom\u00e1nyoz az ACM, a sz\u00e1m\u00edt\u00f3g\u00e9pes rendszerek ter\u00fclet\u00e9n legtekint\u00e9lyesebb nemzetk\u00f6zi szervezet. A d\u00edjat a megb\u00edzhat\u00f3s\u00e1g matematikai bizony\u00edt\u00e1s\u00e1ra tett eredm\u00e9nyek\u00e9rt \u00edt\u00e9lt\u00e9k oda, amelyek a form\u00e1lis nyelven megfogalmazott specifik\u00e1ci\u00f3knak val\u00f3 teljes megfelel\u00e9st igazolj\u00e1k, \u00e9s elismerik a kritikus alkalmaz\u00e1sokban val\u00f3 haszn\u00e1latra val\u00f3 k\u00e9szenl\u00e9tet. A seL4 projekt bemutatta, hogy nemcsak teljes k\u00f6r\u0171 form\u00e1lis verifik\u00e1ci\u00f3t lehet v\u00e9gezni ipari oper\u00e1ci\u00f3s rendszerek szintj\u00e9n, hanem ezt teljes\u00edtm\u00e9ny \u00e9s univerzalit\u00e1s rov\u00e1s\u00e1ra is lehet tenni. <\/p>\n

Az ACM Software System Award d\u00edjat \u00e9vente a szoftverrendszerek fejleszt\u00e9s\u00e9\u00e9rt adj\u00e1k \u00e1t, amelyek meghat\u00e1roz\u00f3 hat\u00e1st gyakoroltak az ipar\u00e1gra, \u00faj koncepci\u00f3kat hoztak be a gyakorlatba, vagy \u00faj kereskedelmi alkalmaz\u00e1si ter\u00fcleteket t\u00e1rt\u00e1k fel. A d\u00edj \u00f6sszege 35 ezer amerikai doll\u00e1r. Az elm\u00falt \u00e9vekben az ACM d\u00edjat kaptak a GCC \u00e9s LLVM projekteket, valamint azok alap\u00edt\u00f3i, Richard Stallman \u00e9s Chris Lattner. Emellett olyan projekteket \u00e9s technol\u00f3gi\u00e1kat is d\u00edjaztak, mint az UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl\/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB \u00e9s Eclipse. <\/p>\n

A seL4 mikrokernel architekt\u00far\u00e1ja figyelemre m\u00e9lt\u00f3, mivel a kernel er\u0151forr\u00e1s-kezel\u0151 r\u00e9szeit a felhaszn\u00e1l\u00f3i t\u00e9rbe helyezi, \u00e9s ugyanazokat a hozz\u00e1f\u00e9r\u00e9s-vez\u00e9rl\u00e9si eszk\u00f6z\u00f6ket alkalmazza e forr\u00e1sokhoz, mint a felhaszn\u00e1l\u00f3i er\u0151forr\u00e1sokhoz. A mikrokernel nem ny\u00fajt k\u00e9szen \u00e1ll\u00f3, magas szint\u0171 absztrakci\u00f3kat a f\u00e1jlok, folyamatok, h\u00e1l\u00f3zati kapcsolatok stb. kezel\u00e9s\u00e9re, hanem csup\u00e1n minim\u00e1lis mechanizmusokat biztos\u00edt a fizikai c\u00edmz\u00e9si t\u00e9rhez, megszak\u00edt\u00e1sokhoz \u00e9s a CPU er\u0151forr\u00e1sokhoz val\u00f3 hozz\u00e1f\u00e9r\u00e9s kezel\u00e9s\u00e9re. A magas szint\u0171 absztrakci\u00f3k \u00e9s az eszk\u00f6z\u00f6kkel val\u00f3 interakci\u00f3ra szolg\u00e1l\u00f3 driverek k\u00fcl\u00f6n feladatok form\u00e1j\u00e1ban val\u00f3sulnak meg a mikrokernel felett, amelyek felhaszn\u00e1l\u00f3i szinten futnak. Az ilyen feladatok hozz\u00e1f\u00e9r\u00e9s\u00e9t a mikrokernel er\u0151forr\u00e1saihoz a szab\u00e1lyok meghat\u00e1roz\u00e1sa r\u00e9v\u00e9n szervezik.
\n
Forr\u00e1s: 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\udd47A seL4 projektnek oda\u00edt\u00e9lt\u00e9k az ACM Software System Award d\u00edjat | ProHoster","description":"A seL4 ny\u00edlt mikrokernel fejleszt\u00e9s\u00e9vel foglalkoz\u00f3 projekt elnyerte az ACM Software System Award d\u00edjat, amelyet \u00e9vente \u00edt\u00e9l oda az ACM, a sz\u00e1m\u00edt\u00e1stechnika ter\u00fclet\u00e9nek legtekint\u00e9lyesebb nemzetk\u00f6zi szervezete.","canonical_url":"https:\/\/prohoster.info\/hu\/blog\/news\/proektu-sel4-prisuzhdena-premiya-acm-software-system-award","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"hu_HU","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\/hu\/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\/hu\/wp-json\/wp\/v2\/posts\/108407","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/comments?post=108407"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts\/108407\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/media?parent=108407"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/categories?post=108407"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/tags?post=108407"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}