{"id":111367,"date":"2023-11-08T03:10:14","date_gmt":"2023-11-08T01:10:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem"},"modified":"2023-11-08T03:10:14","modified_gmt":"2023-11-08T01:10:14","slug":"google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","status":"publish","type":"post","link":"https:\/\/prohoster.info\/hu\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","title":{"rendered":"A Google bemutatta az Open Se Cura projektet a v\u00e9dett szoftver-hardver rendszerek l\u00e9trehoz\u00e1s\u00e1ra","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

A Google bemutatta az Open Se Cura program- \u00e9s hardverkomplexumot, amely a g\u00e9pi tanul\u00e1ssal \u00e9s mesters\u00e9ges intelligenci\u00e1val kapcsolatos biztons\u00e1gos chipek egyszer\u0171s\u00edtett l\u00e9trehoz\u00e1s\u00e1ra \u00f6sszpontos\u00edt. A projekt mag\u00e1ban foglalja a CantripOS oper\u00e1ci\u00f3s rendszert \u00e9s a ny\u00edlt OpenTitan platformra, valamint RISC-V architekt\u00far\u00e1n alapul\u00f3 processzormagot. Az Open Se Cura \u00e9s a CantripOS fejleszt\u00e9se sor\u00e1n a projekteket Sparrow \u00e9s KataOS n\u00e9ven ismert\u00e9k, de m\u00e1s projektek k\u00f6z\u00f6tti \u00e1tfed\u00e9sek elker\u00fcl\u00e9se \u00e9rdek\u00e9ben v\u00e9g\u00fcl \u00faj neveket kaptak. A projekt anyagai, bele\u00e9rtve a rendszer-szolg\u00e1ltat\u00e1sok forr\u00e1sk\u00f3djait \u00e9s az RTL s\u00e9ma (Register Transfer Level) terveket, az Apache 2.0 licenc alatt ker\u00fclnek terjeszt\u00e9sre. <\/p>\n

A CantripOS oper\u00e1ci\u00f3s rendszer a seL4 mikrokernelen alapul, amely f\u00f6l\u00f6tt egy Rust nyelven \u00edrt rendszerk\u00f6rnyezet fut. RISC-V rendszereken a seL4 mikrokernel felett matematikai bizony\u00edt\u00e9k \u00e1ll rendelkez\u00e9sre a megb\u00edzhat\u00f3s\u00e1gr\u00f3l, amely a k\u00f3d teljes megfelel\u0151s\u00e9g\u00e9t tan\u00fas\u00edtja a form\u00e1lis nyelven meghat\u00e1rozott specifik\u00e1ci\u00f3knak. A seL4 architekt\u00far\u00e1ja figyelemre m\u00e9lt\u00f3, mert a kernel er\u0151forr\u00e1skezel\u00e9s\u00e9nek egyes r\u00e9szeit a felhaszn\u00e1l\u00f3i t\u00e9rbe helyezi, \u00e9s ugyanazokat a hozz\u00e1f\u00e9r\u00e9s-ellen\u0151rz\u00e9si eszk\u00f6z\u00f6ket alkalmazza az er\u0151forr\u00e1sok kezel\u00e9s\u00e9re, mint a felhaszn\u00e1l\u00f3i er\u0151forr\u00e1sok eset\u00e9ben. <\/p>\n

A mikrokernel nem biztos\u00edt k\u00e9sz, magas szint\u0171 absztrakci\u00f3kat a f\u00e1jlok, folyamatok, h\u00e1l\u00f3zati kapcsolatok stb. kezel\u00e9s\u00e9re; ehelyett csak minim\u00e1lis mechanizmusokat biztos\u00edt a fizikai c\u00edmterek, megszak\u00edt\u00e1sok \u00e9s a processzor er\u0151forr\u00e1sainak hozz\u00e1f\u00e9r\u00e9s\u00e9nek kezel\u00e9s\u00e9re. A magas szint\u0171 absztrakci\u00f3kat \u00e9s a hardverrel val\u00f3 interakci\u00f3hoz sz\u00fcks\u00e9ges meghajt\u00f3kat k\u00fcl\u00f6n feladatok form\u00e1j\u00e1ban val\u00f3s\u00edtj\u00e1k meg a mikrokernelen, a felhaszn\u00e1l\u00f3i szinten fut\u00f3 feladatok l\u00e1tj\u00e1k el ezeket. E feladatok mikrokernel er\u0151forr\u00e1saihoz val\u00f3 hozz\u00e1f\u00e9r\u00e9se el\u0151\u00edr\u00e1sok meghat\u00e1roz\u00e1s\u00e1val t\u00f6rt\u00e9nik. <\/p>\n

Az oper\u00e1ci\u00f3s rendszer \u00f6sszes komponense, kiv\u00e9ve a mikrokernelt, eredetileg Rust nyelven \u00edr\u00f3dott, biztons\u00e1gos programoz\u00e1si technik\u00e1k alkalmaz\u00e1s\u00e1val, amelyek minimaliz\u00e1lj\u00e1k a mem\u00f3ria probl\u00e9m\u00e1k el\u0151fordul\u00e1s\u00e1t. A Rust nyelven k\u00e9sz\u00fclt t\u00f6bbek k\u00f6z\u00f6tt az seL4 k\u00f6rnyezet\u00e9ben fut\u00f3 alkalmaz\u00e1sbet\u00f6lt\u0151, rendszer-szolg\u00e1ltat\u00e1sok, alkalmaz\u00e1sfejleszt\u0151 keretrendszer, API a rendszerh\u00edv\u00e1sokhoz, folyamatkezel\u0151 \u00e9s dinamikus mem\u00f3riaeloszt\u00e1si mechanizmus. <\/p>\n

A verifik\u00e1lt \u00f6sszegy\u0171jt\u00e9shez a seL4 projekt \u00e1ltal fejlesztett CAmkES eszk\u00f6zk\u00e9szletet haszn\u00e1lj\u00e1k. A v\u00e9gs\u0151 alkalmaz\u00e1sok fejleszt\u00e9s\u00e9hez, amelyeket a rendszer szolg\u00e1ltat\u00e1sai dinamikusan t\u00f6lthetnek be, az AmbiML SDK-t javasolj\u00e1k, m\u00edg a g\u00e9pi tanul\u00e1si modellek v\u00e9grehajt\u00e1s\u00e1hoz az IREE (Intermediate Representation Execution Environment) eszk\u00f6zk\u00e9szletet alkalmazz\u00e1k. A Rust alap\u00fa komponensek \u00e9s rendszer szolg\u00e1ltat\u00e1sok a Cantrip keretrendszer haszn\u00e1lat\u00e1val k\u00e9sz\u00fcltek. <\/p>\n

A platform alkalmaz\u00e1si ter\u00fcletei k\u00f6z\u00e9 tartoznak a speci\u00e1lis chipek, amelyek k\u00fcl\u00f6nleges v\u00e9delmi \u00e9s hiba\u00e9rz\u00e9kel\u00e9si szintet ig\u00e9nyelnek. P\u00e9ld\u00e1ul a platform haszn\u00e1lhat\u00f3 olyan g\u00e9pi tanul\u00e1ssal kapcsolatos term\u00e9kekben, amelyek \u00e9rz\u00e9keny adatok feldolgoz\u00e1s\u00e1val foglalkoznak, mint p\u00e9ld\u00e1ul az arcfelismer\u0151 \u00e9s hangfelismer\u0151 rendszerek. A logikailag verifik\u00e1lt oper\u00e1ci\u00f3s rendszer magj\u00e1nak megb\u00edzhat\u00f3 hardver komponensekkel (RoT, Root of Trust) val\u00f3 kombin\u00e1l\u00e1sa biztos\u00edtja, hogy ha a rendszer egy r\u00e9sz\u00e9ben hiba l\u00e9p fel, az a t\u00f6bbi r\u00e9szre, \u00edgy a magra \u00e9s a kritikus r\u00e9szekre sem terjed ki. <\/p>\n

A Google mellett a lowRISC nonprofit szervezet is r\u00e9szt vett az eszk\u00f6zk\u00e9szlet \u00e9s az infrastrukt\u00fara elemeinek fejleszt\u00e9s\u00e9ben, amely a RISC-V architekt\u00far\u00e1ra \u00e9p\u00fcl\u0151 szabad mikroporcesszor fejleszt\u00e9s\u00e9t ir\u00e1ny\u00edtja, valamint az Antmicro \u00e9s VeriSilicon c\u00e9gek. A lowRISC \u00e1ltal fejlesztett processzort megb\u00edzhat\u00f3 hardver komponensek (RoT, Root of Trust) alapj\u00e1ul haszn\u00e1lt\u00e1k. Az Antmicro a Renode szimul\u00e1tor\u00e1t biztos\u00edtotta a projekt sz\u00e1m\u00e1ra, amely lehet\u0151v\u00e9 teszi a CantripOS \u00e9s a seL4 mikrokernel tesztel\u00e9s\u00e9t val\u00f3s hardver n\u00e9lk\u00fcl. A VeriSilicon pedig tapasztalatait osztotta meg a chipek l\u00e9trehoz\u00e1s\u00e1ban \u00e9s a BSP (Board Support Package) fejleszt\u00e9s\u00e9ben.
\n
Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e-\u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0439 \u043a\u043e\u043c\u043f\u043b\u0435\u043a\u0441 Open Se Cura, \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u044b\u0445 \u0447\u0438\u043f\u043e\u0432, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0445 \u0434\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043c\u0430\u0448\u0438\u043d\u043d\u044b\u043c \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435\u043c \u0438 \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442\u043e\u043c. \u041f\u0440\u043e\u0435\u043a\u0442 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442 \u0432 \u0441\u0435\u0431\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443 CantripOS \u0438 \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u043e\u0435 \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0435\u043d\u0438\u0435, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u043d\u0430 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u0435 OpenTitan \u0438 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u043d\u043e\u043c \u044f\u0434\u0440\u0435 \u043d\u0430 \u0431\u0430\u0437\u0435 \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u044b RISC-V. \u0412 \u0445\u043e\u0434\u0435 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 Open Se Cura \u0438 CantripOS \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u043b\u0438\u0441\u044c […]<\/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-111367","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 Google bemutatta az Open Se Cura projektet, amely v\u00e9dett szoftver-hardware rendszerek l\u00e9trehoz\u00e1s\u00e1ra ir\u00e1nyul | ProHoster","description":"A Google bemutatta az Open Se Cura szoftver-hardware komplexumot, amely a v\u00e9dett chipek l\u00e9trehoz\u00e1s\u00e1nak egyszer\u0171s\u00edt\u00e9s\u00e9re \u00f6sszpontos\u00edt, amelyek g\u00e9pi tanul\u00e1ssal \u00e9s mesters\u00e9ges intelligenci\u00e1val kapcsolatos feladatok megold\u00e1s\u00e1ra szolg\u00e1lnak.","canonical_url":"https:\/\/prohoster.info\/hu\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","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\udd47Google \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b \u043f\u0440\u043e\u0435\u043a\u0442 Open Se Cura \u0434\u043b\u044f \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e-\u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c | ProHoster","og:description":"\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e-\u0430\u043f\u043f\u0430\u0440\u0430\u0442\u043d\u044b\u0439 \u043a\u043e\u043c\u043f\u043b\u0435\u043a\u0441 Open Se Cura, \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 \u0443\u043f\u0440\u043e\u0449\u0435\u043d\u0438\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u044b\u0445 \u0447\u0438\u043f\u043e\u0432, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0445 \u0434\u043b\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043c\u0430\u0448\u0438\u043d\u043d\u044b\u043c \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0435\u043c \u0438 \u0438\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c.","og:url":"https:\/\/prohoster.info\/hu\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","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-11-08T01:10:14+00:00","article:modified_time":"2023-11-08T01:10:14+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\/111367","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=111367"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts\/111367\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/media?parent=111367"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/categories?post=111367"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/tags?post=111367"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}