A Google bejelentette a KataOS projekthez kapcsol\u00f3d\u00f3 munk\u00e1latainak megnyit\u00e1s\u00e1t, amely egy biztons\u00e1gos oper\u00e1ci\u00f3s rendszer l\u00e9trehoz\u00e1s\u00e1ra \u00f6sszpontos\u00edt be\u00e1gyazott hardverek sz\u00e1m\u00e1ra. A KataOS rendszerszem\u00e9ly\u00e9nek komponensei Rust nyelven \u00edr\u00f3dtak, \u00e9s az seL4 mikrokernelre \u00e9p\u00fclnek, amelynek megb\u00edzhat\u00f3s\u00e1g\u00e1r\u00f3l matematikai bizony\u00edt\u00e9kok \u00e1llnak rendelkez\u00e9sre RISC-V rendszereken, igazolva ezzel, hogy a k\u00f3d megfelel a form\u00e1lis nyelvben megadott specifik\u00e1ci\u00f3knak. A projekt k\u00f3dja Apache 2.0 licenc alatt nyitott. <\/p>\n
A rendszer t\u00e1mogatja a RISC-V \u00e9s ARM64 architekt\u00far\u00e1kra \u00e9p\u00fcl\u0151 platformokat. A seL4 \u00e9s a KataOS hardver k\u00f6rnyezet feletti m\u0171k\u00f6d\u00e9s\u00e9nek szimul\u00e1l\u00e1s\u00e1ra fejleszt\u00e9si folyamat sor\u00e1n a Renode keretrendszert haszn\u00e1lj\u00e1k. Referencia megval\u00f3s\u00edt\u00e1sk\u00e9nt a Sparrow hardver-szoftver komplexumot javasolt\u00e1k, amely a KataOS-t \u00f6sszekapcsolja az OpenTitan platformra \u00e9p\u00fcl\u0151 biztons\u00e1gos chipekkel. A javasolt megold\u00e1s lehet\u0151v\u00e9 teszi a logikailag hiteles\u00edtett oper\u00e1ci\u00f3s rendszer kernel\u00e9nek \u00f6tv\u00f6z\u00e9s\u00e9t a bizalmi hardver komponensekkel (RoT, Root of Trust), amelyeket az OpenTitan platform \u00e9s RISC-V architekt\u00fara felhaszn\u00e1l\u00e1s\u00e1val \u00e9p\u00edtettek. A KataOS k\u00f3dj\u00e1n k\u00edv\u00fcl a Sparrow \u00f6sszes t\u00f6bbi komponens\u00e9t, bele\u00e9rtve a hardver elemet, a k\u00e9s\u0151bbiekben tervezik megnyitni. <\/p>\n
A platform olyan specializ\u00e1lt chipek alkalmaz\u00e1s\u00e1ra \u00f6sszpontos\u00edt, amelyek g\u00e9pi tanul\u00e1si \u00e9s \u00e9rz\u00e9keny inform\u00e1ci\u00f3k feldolgoz\u00e1s\u00e1ra k\u00e9sz\u00fcltek, amelyek k\u00fcl\u00f6nleges v\u00e9delmi szintet \u00e9s meghib\u00e1sod\u00e1s-mentess\u00e9g igazol\u00e1s\u00e1t ig\u00e9nylik. P\u00e9ldak\u00e9nt eml\u00edtj\u00fck azokat a rendszereket, amelyek k\u00e9pek \u00e9s hangfelv\u00e9telek manipul\u00e1l\u00e1s\u00e1val foglalkoznak. A KataOS megb\u00edzhat\u00f3s\u00e1g-ellen\u0151rz\u00e9s\u00e9nek haszn\u00e1lata garant\u00e1lja, hogy ha a rendszer egy r\u00e9sz\u00e9ben meghib\u00e1sod\u00e1s t\u00f6rt\u00e9nik, az ne terjedjen \u00e1t a rendszer t\u00f6bbi r\u00e9sz\u00e9re, k\u00fcl\u00f6n\u00f6sen a kernelre \u00e9s a kritikus r\u00e9szekre. <\/p>\n
A seL4 architekt\u00far\u00e1 figyelemre m\u00e9lt\u00f3, hogy a kernelforr\u00e1skezel\u00e9si r\u00e9szeit felhaszn\u00e1l\u00f3i t\u00e9rbe helyezik, \u00e9s ugyanazokat a hozz\u00e1f\u00e9r\u00e9si korl\u00e1toz\u00e1si eszk\u00f6z\u00f6ket alkalmazz\u00e1k a felhaszn\u00e1l\u00f3i er\u0151forr\u00e1sokhoz. A mikrokern nem biztos\u00edt k\u00e9sz, magas szint\u0171 absztrakci\u00f3kat f\u00e1jlok, folyamatok, h\u00e1l\u00f3zati kapcsolatok kezel\u00e9s\u00e9re, helyette csak minim\u00e1lis mechanizmusokat ad a fizikai c\u00edmz\u00e9si t\u00e9r, megszak\u00edt\u00e1sok \u00e9s a processzor er\u0151forr\u00e1saihoz val\u00f3 hozz\u00e1f\u00e9r\u00e9s kezel\u00e9s\u00e9re. A magas szint\u0171 absztrakci\u00f3k \u00e9s az eszk\u00f6z\u00f6kkel val\u00f3 interakci\u00f3s illeszt\u0151k k\u00fcl\u00f6n, a mikrokern felett val\u00f3sulnak meg feladatok form\u00e1j\u00e1ban, amelyeket felhaszn\u00e1l\u00f3i szinten hajtanak v\u00e9gre. Az ilyen feladatok hozz\u00e1f\u00e9r\u00e9s\u00e9t a mikrokern er\u0151forr\u00e1saihoz szab\u00e1lyok meghat\u00e1roz\u00e1s\u00e1val szervezik. <\/p>\n
A tov\u00e1bbi v\u00e9delem \u00e9rdek\u00e9ben az \u00f6sszes, a mikrokern kiv\u00e9tel\u00e9vel l\u00e9tez\u0151 komponens eredetileg Rust nyelven fejl\u0151dik, a mem\u00f3ri\u00e1val val\u00f3 munka hib\u00e1it minimaliz\u00e1l\u00f3 biztons\u00e1gos programoz\u00e1si technik\u00e1k alkalmaz\u00e1s\u00e1val, amelyek olyan probl\u00e9m\u00e1khoz vezethetnek, mint a mem\u00f3riater\u00fclet el\u00e9rhet\u0151s\u00e9ge felszabadul\u00e1s ut\u00e1n, null pointer derefer\u00e1l\u00e1s \u00e9s pufferhat\u00e1rok t\u00fall\u00e9p\u00e9se. Rust nyelven k\u00e9sz\u00fclt t\u00f6bbek k\u00f6z\u00f6tt a seL4 k\u00f6rnyezet\u00e9ben fut\u00f3 alkalmaz\u00e1sbet\u00f6lt\u0151, rendszerszolg\u00e1ltat\u00e1sok, alkalmaz\u00e1sfejleszt\u00e9si keretrendszer, API a rendszerh\u00edv\u00e1sok el\u00e9rhet\u0151s\u00e9g\u00e9hez, folyamatkezel\u0151, dinamikus mem\u00f3riaeloszt\u00e1si mechanizmus stb. A verifik\u00e1lt buildhez a seL4 projekt fejleszti a CAmkES eszk\u00f6zk\u00e9szletet. A CAmkES komponensek Rust nyelven is k\u00e9sz\u00edthet\u0151k. <\/p>\n
A mem\u00f3ria biztons\u00e1gos kezel\u00e9se a Rust-ban a ford\u00edt\u00e1s sor\u00e1n biztos\u00edtott a hivatkoz\u00e1sok ellen\u0151rz\u00e9s\u00e9n, az objektumok tulajdonjog\u00e1nak nyomon k\u00f6vet\u00e9s\u00e9n \u00e9s az objektumok \u00e9letciklus\u00e1nak (l\u00e1that\u00f3s\u00e1gi ter\u00fcletek) figyelembev\u00e9tel\u00e9n kereszt\u00fcl, valamint a mem\u00f3riahelyes hozz\u00e1f\u00e9r\u00e9s helyess\u00e9g\u00e9nek \u00e9rt\u00e9kel\u00e9s\u00e9n a k\u00f3d futtat\u00e1sa alatt. A Rust emellett eszk\u00f6z\u00f6ket biztos\u00edt a sz\u00e1m\u00e9rt\u00e9kek t\u00falcsordul\u00e1s\u00e1nak v\u00e9delm\u00e9re, megk\u00f6veteli a v\u00e1ltoz\u00f3k k\u00f6telez\u0151 inicializ\u00e1l\u00e1s\u00e1t haszn\u00e1lat el\u0151tt, alkalmazza az alap\u00e9rtelmezett v\u00e1ltoz\u00f3k \u00e9s hivatkoz\u00e1sok v\u00e1ltozatlans\u00e1g\u00e1nak (immutable) fogalm\u00e1t, valamint er\u0151s statikus t\u00edpust biztos\u00edt a logikai hib\u00e1k minimaliz\u00e1l\u00e1s\u00e1hoz. \u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043e\u0431\u044a\u044f\u0432\u0438\u043b\u0430 \u043e\u0431 \u043e\u0442\u043a\u0440\u044b\u0442\u0438\u0438 \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043e\u043a, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c KataOS, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043d\u0430 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439 \u0434\u043b\u044f \u0432\u0441\u0442\u0440\u0430\u0438\u0432\u0430\u0435\u043c\u043e\u0433\u043e \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f. \u0421\u0438\u0441\u0442\u0435\u043c\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b KataOS \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u044b \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust \u0438 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u044e\u0442\u0441\u044f \u043f\u043e\u0432\u0435\u0440\u0445 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0440\u0430 seL4, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043d\u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0445 RISC-V \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u043d\u0430\u0434\u0451\u0436\u043d\u043e\u0441\u0442\u0438, \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0443\u044e\u0449\u0435\u0435 \u043e \u043f\u043e\u043b\u043d\u043e\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u043a\u043e\u0434\u0430 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f\u043c, \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. \u041a\u043e\u0434 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u043e\u0442\u043a\u0440\u044b\u0442 \u043f\u043e\u0434 \u043b\u0438\u0446\u0435\u043d\u0437\u0438\u0435\u0439 […]<\/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-105309","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 megnyitotta a KataOS biztons\u00e1gos oper\u00e1ci\u00f3s rendszer k\u00f3dj\u00e1t | ProHoster","description":"A Google bejelentette a KataOS projekt fejleszt\u00e9seinek nyilv\u00e1noss\u00e1gra hozatal\u00e1t, amelynek c\u00e9lja egy biztons\u00e1gos oper\u00e1ci\u00f3s rendszer l\u00e9trehoz\u00e1sa be\u00e1gyazott eszk\u00f6z\u00f6k sz\u00e1m\u00e1ra.","canonical_url":"https:\/\/prohoster.info\/hu\/blog\/news\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","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 \u043e\u0442\u043a\u0440\u044b\u043b \u043a\u043e\u0434 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b KataOS | ProHoster","og:description":"\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043e\u0431\u044a\u044f\u0432\u0438\u043b\u0430 \u043e\u0431 \u043e\u0442\u043a\u0440\u044b\u0442\u0438\u0438 \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043e\u043a, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c KataOS, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043d\u0430 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439 \u0434\u043b\u044f \u0432\u0441\u0442\u0440\u0430\u0438\u0432\u0430\u0435\u043c\u043e\u0433\u043e \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f.","og:url":"https:\/\/prohoster.info\/hu\/blog\/news\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","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":"2022-10-15T13:37:02+00:00","article:modified_time":"2022-10-15T13:37:02+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\/105309","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=105309"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts\/105309\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/media?parent=105309"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/categories?post=105309"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/tags?post=105309"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n
Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"