{"id":110721,"date":"2023-10-10T15:10:19","date_gmt":"2023-10-10T13:10:19","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-perepisal-na-yazyke-rust-proshivku-pvmfm-ispolzuemuyu-v-android"},"modified":"2023-10-10T15:10:19","modified_gmt":"2023-10-10T13:10:19","slug":"google-perepisal-na-yazyke-rust-proshivku-pvmfm-ispolzuemuyu-v-android","status":"publish","type":"post","link":"https:\/\/prohoster.info\/nl\/blog\/news\/google-perepisal-na-yazyke-rust-proshivku-pvmfm-ispolzuemuyu-v-android","title":{"rendered":"Google heeft de pvmfm-firmware, gebruikt in Android, herschreven in Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

In het kader van het versterken van de beveiliging van kritisch belangrijke softwarecomponenten van het Android-platform heeft Google de pvmfm-firmware herschreven in de programmeertaal Rust. Deze firmware wordt gebruikt voor het beheer van virtuele machines die worden uitgevoerd door de hypervisor pVM binnen het Android Virtualization Framework. Voorheen was de firmware geschreven in de programmeertaal C en ge\u00efmplementeerd boven de U-Boot bootloader, waarin eerder kwetsbaarheden zijn gevonden die voortkwamen uit problemen met het geheugenbeheer. <\/p>\n

De herschreven firmware in Rust is opgenomen in Android 14, en de universele bibliotheken die tijdens het ontwikkelingsproces van de firmware zijn gemaakt, zijn verpakt als crate-pakketten en aan de Rust-gemeenschap overgedragen. Bijvoorbeeld, het gepubliceerde pakket smccc ter ondersteuning van de ARM-interfaces PSCI (Power State Coordination Interface) en SMCCC (SMC Calling Convention) aanroepen, en het pakket aarch64-paging voor het manipuleren van geheugenpagina-tabellen. Daarnaast is er gewerkt aan het oplossen van fouten en het uitbreiden van de functionaliteit van het bestaande pakket virtio-drivers met de implementatie van VirtIO-stuurprogramma's. Naast het Android-platform worden deze pakketten ook gebruikt in het Oak-project, dat componenten ontwikkelt voor het verzenden, opslaan en verwerken van gegevens in beveiligde omgevingen (TEE, Trusted Execution Environment). <\/p>\n

De pVM-hypervisor krijgt vroeg in de opstartfase de controle en zorgt voor volledige geheugenisolatie virtuele machines<\/a> en hostomgeving, waardoor het niet mogelijk is voor het hostsysteem om toegang te krijgen tot beveiligde virtuele machines waarin gevoelige gegevens worden verwerkt. De pvmfm-firmware (Protected Virtual Machine Firmware) krijgt de controle onmiddellijk na de opstart van de virtuele machine, voert een controle uit op de gevormde omgeving en neemt een beslissing over de noodstop van het opstartproces in geval van problemen met de integriteit, of genereert een opstartcertificaat voor het gast-systeem in het geval de vertrouwensketen wordt bevestigd. <\/p>\n

Herwerking in de programmeertaal Rust maakt een eenvoudigere en veiligere naleving van de 'twee-regels'-principes, zoals toegepast door Google om de veiligheid van systeemcomponenten van Android te waarborgen. Volgens deze regels mag elke toegevoegde code niet meer dan aan twee van de drie voorwaarden voldoen: werken met onbetrouwbare invoergegevens, gebruik van een onveilige programmeertaal (C\/C++) en uitvoeren met verhoogde privileges. Hieruit volgt dat code voor het verwerken van externe gegevens ofwel moet worden teruggebracht tot minimale privileges (ge\u00efsoleerd), ofwel moet worden geschreven in een veilige programmeertaal. Volgens statistieken van Google wordt ongeveer 70% van alle gevaarlijke kwetsbaarheden in Android veroorzaakt door fouten in het omgaan met geheugen. <\/p>\n

Rust is gefocust op veilige geheugenbewerking en kan het risico op kwetsbaarheden verminderen die voortkomen uit problemen zoals toegang tot geheugen na vrijgave en buffer overflow. Veilige geheugenbewerking in Rust wordt tijdens de compilatie gegarandeerd door middel van referentiecontrole, eigendomstracking van objecten en het in aanmerking nemen van de levensduur van objecten (scope), evenals door de validatie van geheugen toegankelijkheid tijdens de uitvoering van de code. Rust biedt ook middelen ter bescherming tegen gehele getal overloop, vereist dat variabelen verplicht worden ge\u00efnitialiseerd voordat ze worden gebruikt, behandelt fouten beter in de standaardbibliotheek, hanteert het concept van onveranderlijke (immutable) referenties en variabelen standaard, en biedt sterke statische typisatie om logische fouten te minimaliseren. <\/p>\n

Een van de moeilijkheden die zich voordoen bij de ontwikkeling van low-level componenten zoals stuurprogramma's in de Rust-taal, is de noodzaak om met ruwe pointers te werken in 'unsafe' modus, aangezien Rust is ontworpen met het oog op het gebruik van geheugen dat binnen het programma is toegewezen. In code die werkt zonder een laag bovenop de hardware, moet men interageren met gedeeld geheugen en MMIO. Momenteel laten de mogelijkheden van Rust voor het werken met ruwe pointers te wensen over, maar de situatie zou moeten verbeteren na de stabilisatie van de ondersteuning voor de macro's offset_of, slice_ptr_get en slice_ptr_len. <\/p>\n

Een van de nadelen is ook de noodzaak van een verbeterde syntaxis voor de toegang tot velden van structuren en arrays via blote pointers zonder het maken van referenties, evenals de beperkingen bij het cre\u00ebren van veilige wrappers voor onveilige operaties, die onbepaald gedrag kunnen veroorzaken en niet door de compiler kunnen worden geverifieerd. Bijvoorbeeld, dergelijke wrappers kunnen niet worden gemaakt voor operaties met paginatabellen in het geheugen, omdat de mapping van pagina's in een deel van een programma invloed kan hebben op andere delen. <\/p>\n

Wat betreft de grootte van de resulterende code, de oude versie van de pVM-firmware nam 220 kB in beslag, terwijl de nieuwe versie 460 kB is. Daarbij zijn er nieuwe mogelijkheden aan de herschreven versie toegevoegd, waardoor sommige andere componenten die tijdens het opstarten werden gebruikt, konden worden weggelaten. Uiteindelijk bleek de totale grootte van alle oude en nieuwe opstartcomponenten vergelijkbaar. Het wordt opgemerkt dat wanneer de grootte belangrijker is dan de prestaties, vergelijkbare resultaten als in de programmeertaal C kunnen worden behaald door extra optimalisatiemodi voor grootte in de compiler in te schakelen, onnodige afhankelijkheden te verwijderen en geen stringformatteringsmiddelen te gebruiken. <\/p>\n

Daarnaast wordt gewerkt aan de implementatie van de mogelijkheid om betrouwbare applicaties (Trusted Application) geschreven in de programmeertaal Rust uit te voeren in het Trusty-besturingssysteem, dat een TEE-omgeving (Trusted Execution Environment) voor Android biedt, die parallel met Android op dezelfde processor in een aparte ge\u00efsoleerde omgeving draait. Trusty wordt gebruikt in Pixel-apparaten en maakt al gebruik van Rust in bibliotheken en systeemcomponenten (de kernel blijft in C).
\n
Bron: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u0412 \u0440\u0430\u043c\u043a\u0430\u0445 \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u043e \u0443\u0441\u0438\u043b\u0435\u043d\u0438\u044e \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u043a\u0440\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0432\u0430\u0436\u043d\u044b\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u044b\u0445 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u043e\u0432 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b Android \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043b\u0430 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust \u043f\u0440\u043e\u0448\u0438\u0432\u043a\u0443 pvmfm, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0443\u044e \u0434\u043b\u044f \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0440\u0430\u0431\u043e\u0442\u044b \u0432\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0445 \u043c\u0430\u0448\u0438\u043d, \u0437\u0430\u043f\u0443\u0441\u043a\u0430\u0435\u043c\u044b\u0445 \u0433\u0438\u043f\u0435\u0440\u0432\u0438\u0437\u043e\u0440\u043e\u043c pVM \u0438\u0437 \u0441\u043e\u0441\u0442\u0430\u0432\u0430 Android Virtualization Framework. \u0420\u0430\u043d\u0435\u0435 \u043f\u0440\u043e\u0448\u0438\u0432\u043a\u0430 \u0431\u044b\u043b\u0430 \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0430 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 \u0421\u0438 \u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u0430 \u043f\u043e\u0432\u0435\u0440\u0445 \u0437\u0430\u0433\u0440\u0443\u0437\u0447\u0438\u043a\u0430 U-Boot, \u0432 \u043a\u043e\u0434\u0435 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0440\u0430\u043d\u0435\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u043b\u0438 \u0443\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u0438, \u0432\u044b\u0437\u0432\u0430\u043d\u043d\u044b\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u043c\u0438 \u043f\u0440\u0438 […]<\/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-110721","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\udd47Google heeft de pvmfm-firmware herschreven in de programmeertaal Rust, die wordt gebruikt in Android | ProHoster","description":"In het kader van het versterken van de beveiliging van kritieke softwarecomponenten van het Android-platform heeft Google de pvmfm-firmware herschreven in de programmeertaal Rust, die wordt gebruikt voor het bedienen van virtuele machines.","canonical_url":"https:\/\/prohoster.info\/nl\/blog\/news\/google-perepisal-na-yazyke-rust-proshivku-pvmfm-ispolzuemuyu-v-android","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"nl_NL","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\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043b \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust \u043f\u0440\u043e\u0448\u0438\u0432\u043a\u0443 pvmfm, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0443\u044e \u0432 Android | ProHoster","og:description":"\u0412 \u0440\u0430\u043c\u043a\u0430\u0445 \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u043e \u0443\u0441\u0438\u043b\u0435\u043d\u0438\u044e \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u043a\u0440\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0432\u0430\u0436\u043d\u044b\u0445 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u044b\u0445 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u043e\u0432 \u043f\u043b\u0430\u0442\u0444\u043e\u0440\u043c\u044b Android \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u043b\u0430 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust \u043f\u0440\u043e\u0448\u0438\u0432\u043a\u0443 pvmfm, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0443\u044e \u0434\u043b\u044f \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u0438 \u0440\u0430\u0431\u043e\u0442\u044b \u0432\u0438\u0440\u0442\u0443\u0430\u043b\u044c\u043d\u044b\u0445 \u043c\u0430\u0448\u0438\u043d.","og:url":"https:\/\/prohoster.info\/nl\/blog\/news\/google-perepisal-na-yazyke-rust-proshivku-pvmfm-ispolzuemuyu-v-android","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-10-10T13:10:19+00:00","article:modified_time":"2023-10-10T13:10:19+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"110721","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":"default","schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2026-02-09 17:11:16","updated":"2026-02-09 17:11:16","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/posts\/110721","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/comments?post=110721"}],"version-history":[{"count":1,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/posts\/110721\/revisions"}],"predecessor-version":[{"id":159314,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/posts\/110721\/revisions\/159314"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/media?parent=110721"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/categories?post=110721"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/nl\/wp-json\/wp\/v2\/tags?post=110721"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}