{"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\/es\/blog\/news\/google-perepisal-na-yazyke-rust-proshivku-pvmfm-ispolzuemuyu-v-android","title":{"rendered":"Google reescribi\u00f3 el firmware pvmfm, utilizado en Android, en el lenguaje Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

En el marco de los esfuerzos para fortalecer la seguridad de los componentes de software cr\u00edticos de la plataforma Android, Google ha reescrito en Rust el firmware pvmfm, utilizado para organizar el funcionamiento de m\u00e1quinas virtuales iniciadas por el hipervisor pVM dentro del Android Virtualization Framework. Anteriormente, el firmware estaba escrito en C y se implementaba sobre el cargador U-Boot, en cuyo c\u00f3digo se hab\u00edan encontrado anteriormente vulnerabilidades causadas por problemas de manejo de memoria. <\/p>\n

El firmware reescrito en Rust est\u00e1 incluido en Android 14, y las bibliotecas universales creadas durante el desarrollo del firmware se han expresado en forma de paquetes crate y se han transferido a la comunidad Rust. Por ejemplo, se ha publicado el paquete smccc para soportar las interfaces ARM PSCI (Power State Coordination Interface) y las llamadas SMCCC (SMC Calling Convention), y el paquete aarch64-paging para manipular tablas de p\u00e1ginas de memoria. Tambi\u00e9n se ha trabajado en la correcci\u00f3n de errores y la expansi\u00f3n de la funcionalidad del paquete existente virtio-drivers con la implementaci\u00f3n de controladores VirtIO. Adem\u00e1s de la plataforma Android, los paquetes mencionados se utilizan en el proyecto Oak, que desarrolla componentes para la transmisi\u00f3n, almacenamiento y procesamiento de datos en entornos seguros (TEE, Trusted Execution Environment). <\/p>\n

El hipervisor pVM obtiene el control en una etapa temprana del arranque y garantiza el aislamiento completo de la memoria m\u00e1quinas virtuales<\/a> y del entorno host, evitando que el sistema host acceda a las m\u00e1quinas virtuales protegidas, donde se procesan datos confidenciales. El firmware pvmfm (Protected Virtual Machine Firmware) obtiene el control inmediatamente despu\u00e9s de que se inicia la m\u00e1quina virtual, realiza una verificaci\u00f3n del entorno formado y toma una decisi\u00f3n sobre la interrupci\u00f3n de emergencia del arranque en caso de detectar problemas de integridad o genera un certificado de arranque para el sistema hu\u00e9sped si se confirma la cadena de confianza. <\/p>\n

La reescritura en Rust permite lograr un cumplimiento m\u00e1s sencillo y seguro de la \"regla de dos\" utilizada por Google para mantener la seguridad de los componentes del sistema Android. De acuerdo con esta regla, cualquier c\u00f3digo a\u00f1adido no debe cumplir m\u00e1s de dos de las tres condiciones: trabajar con datos de entrada no verificados, utilizar un lenguaje de programaci\u00f3n inseguro (C\/C++) y ejecutarse con privilegios elevados. De esta regla se deduce que el c\u00f3digo para procesar datos externos debe estar o bien reducido a privilegios m\u00ednimos (aislado), o bien ser escrito en un lenguaje de programaci\u00f3n seguro. Seg\u00fan las estad\u00edsticas de Google, alrededor del 70% de todas las vulnerabilidades peligrosas identificadas en Android son causadas por errores en el manejo de la memoria. <\/p>\n

Rust se centra en el manejo seguro de la memoria y permite reducir el riesgo de apariciones de vulnerabilidades provocadas por problemas como el acceso a \u00e1reas de memoria despu\u00e9s de su liberaci\u00f3n y el desbordamiento de b\u00fafer. El manejo seguro de la memoria en Rust se garantiza durante la compilaci\u00f3n a trav\u00e9s de la verificaci\u00f3n de referencias, el seguimiento de la propiedad de los objetos y el control del tiempo de vida de los objetos (\u00e1reas de visibilidad), as\u00ed como mediante la evaluaci\u00f3n de la correcci\u00f3n del acceso a la memoria durante la ejecuci\u00f3n del c\u00f3digo. Rust tambi\u00e9n proporciona herramientas para proteger contra desbordamientos num\u00e9ricos, requiere la inicializaci\u00f3n obligatoria de los valores de las variables antes de su uso, maneja mejor los errores en la biblioteca est\u00e1ndar, aplica la concepci\u00f3n de inmutabilidad (immutable) de referencias y variables por defecto, y ofrece una fuerte tipificaci\u00f3n est\u00e1tica para minimizar errores l\u00f3gicos. <\/p>\n

Entre las dificultades que surgen al desarrollar componentes de bajo nivel en el lenguaje Rust, como controladores, se menciona la necesidad de trabajar con punteros desnudos en modo unsafe, dado que Rust est\u00e1 dise\u00f1ado con la atenci\u00f3n en el uso de la memoria asignada en el programa, y en c\u00f3digo que opera sin capas sobre el hardware, se debe acceder a la memoria compartida y a MMIO. Actualmente, las capacidades de Rust para trabajar con punteros desnudos dejan mucho que desear, pero la situaci\u00f3n deber\u00eda cambiar tras la estabilizaci\u00f3n del soporte para los macros offset_of, slice_ptr_get y slice_ptr_len. <\/p>\n

Entre las desventajas, merece la pena mencionar la necesidad de una sintaxis mejorada para acceder a los campos de estructuras e \u00edndices de matrices a trav\u00e9s de punteros desnudos sin crear referencias, as\u00ed como las limitaciones en la creaci\u00f3n de envolturas seguras sobre operaciones inseguras que pueden provocar comportamientos indeterminados y que no pueden ser verificadas por el compilador. Por ejemplo, tal envoltura no se puede crear para las operaciones con tablas de p\u00e1ginas de memoria, ya que el mapeo de p\u00e1ginas en una parte del programa puede influir en otras partes. <\/p>\n

En cuanto al tama\u00f1o del c\u00f3digo resultante, la antigua versi\u00f3n del firmware pVM ocupaba 220 kB, mientras que la nueva ocupa 460 kB; sin embargo, en la versi\u00f3n reescrita se a\u00f1adieron nuevas funcionalidades que permitieron eliminar algunos de los otros componentes utilizados durante el arranque. Como resultado, el tama\u00f1o total de todos los componentes de arranque antiguos y nuevos fue comparable. Se observa que cuando el tama\u00f1o es m\u00e1s importante que el rendimiento, se pueden lograr resultados comparables al lenguaje C al incluir modos adicionales de optimizaci\u00f3n de tama\u00f1o en el compilador, eliminar dependencias innecesarias y evitar el uso de herramientas de formateo de cadenas. <\/p>\n

Adem\u00e1s, se menciona la continuaci\u00f3n del trabajo en la implementaci\u00f3n de la posibilidad de ejecutar aplicaciones confiables (Trusted Application) escritas en Rust en el sistema operativo Trusty, que proporciona un entorno de ejecuci\u00f3n confiable (Trusted Execution Environment) para Android, funcionando en paralelo con Android en el mismo procesador en un entorno aislado separado. Trusty se utiliza en dispositivos Pixel y ya emplea Rust en bibliotecas y componentes del sistema (el n\u00facleo permanece en C).
\n
Fuente: 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\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 reescribi\u00f3 en Rust el firmware pvmfm, utilizado en Android | ProHoster","description":"En el marco del trabajo para fortalecer la seguridad de los componentes de software cr\u00edticos de la plataforma Android, la compa\u00f1\u00eda Google reescribi\u00f3 en Rust el firmware pvmfm, utilizado para organizar el funcionamiento de m\u00e1quinas virtuales.","canonical_url":"https:\/\/prohoster.info\/es\/blog\/news\/google-perepisal-na-yazyke-rust-proshivku-pvmfm-ispolzuemuyu-v-android","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"es_ES","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\/es\/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\/es\/wp-json\/wp\/v2\/posts\/110721","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/comments?post=110721"}],"version-history":[{"count":1,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/posts\/110721\/revisions"}],"predecessor-version":[{"id":159314,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/posts\/110721\/revisions\/159314"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/media?parent=110721"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/categories?post=110721"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/tags?post=110721"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}