{"id":146042,"date":"2025-10-21T23:12:38","date_gmt":"2025-10-21T21:12:38","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/v-yadro-linux-6-18-prinyata-realizacziya-binder-ipc-dlya-android-napisannaya-na-rust"},"modified":"2025-10-21T23:12:38","modified_gmt":"2025-10-21T21:12:38","slug":"v-yadro-linux-6-18-prinyata-realizacziya-binder-ipc-dlya-android-napisannaya-na-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/v-yadro-linux-6-18-prinyata-realizacziya-binder-ipc-dlya-android-napisannaya-na-rust","title":{"rendered":"Nel kernel Linux 6.18 \u00e8 stata accettata l'implementazione di Binder IPC per Android, scritta in Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Nella base di codice del kernel Linux, da cui viene sviluppata la release 6.18, \u00e8 stata adottata l'implementazione del meccanismo di comunicazione interprocesso Binder, scritta in linguaggio Rust. Binder \u00e8 utilizzato in Android per gestire l'interazione tra processi e la chiamata remota di metodi (un processo Android pu\u00f2 invocare un metodo o una funzione in un altro processo Android, utilizzando Binder per identificare, chiamare e trasferire argomenti tra processi). Il codice di Binder \u00e8 stato riscritto in Rust nell'ambito di un progetto volto a rafforzare la sicurezza, promuovere pratiche di programmazione sicura e migliorare l'efficacia nella rilevazione di problemi di gestione della memoria in Android (circa il 70% di tutte le vulnerabilit\u00e0 critiche identificate in Android \u00e8 causato da errori nella gestione della memoria). <\/p>\n
L'uso di Rust ha risolto alcuni problemi affrontati dagli sviluppatori di Binder, inclusi errori legati al conteggio dei riferimenti, blocchi e verifica dei confini, e ha notevolmente ridotto la complessit\u00e0 della gestione degli errori. L'implementazione di Binder in Rust \u00e8 funzionalmente equivalente alla versione originale in C e supera tutti i test AOSP (Android Open-Source Project) ed \u00e8 utilizzabile per creare versioni funzionanti dei firmware Android. Nonostante le avanzate capacit\u00e0 e il supporto per oggetti con una semantica di propriet\u00e0 complessa, il driver in Rust \u00e8 risultato pi\u00f9 snello rispetto alla variante in C \u2014 5.5 contro 5.8 mila righe di codice. <\/p>\n
Nella descrizione del commit, l'autore menziona i seguenti motivi per la riscrittura di Binder: <\/p>\n
\n
Binder esiste da 15 anni e nel corso di questo tempo la sua funzionalit\u00e0 e complessit\u00e0 sono aumentate notevolmente \u2014 il progetto si colloca all'incrocio di tutti i componenti di Android e copre molteplici compiti che vanno oltre l'IPC:\n
\n
analisi e trasformazione corretta dei contenuti delle transazioni, che possono contenere pi\u00f9 oggetti di diversi tipi (ad esempio puntatori, descrittori di file), che interagiscono tra loro;\n
controllo della dimensione dei pool di thread nello spazio utente e garanzia di assegnazione delle transazioni ai thread in modo da evitare deadlock esaurendo i thread nel pool;\n
monitoraggio dei contatori di riferimenti di oggetti condivisi da pi\u00f9 processi, trasferendo correttamente le modifiche ai contatori di riferimenti tra processi;\n
elaborazione di numerosi scenari di errore e combinazione di 13 diverse chiusure, 7 contatori di collegamenti e variabili atomiche. Deve eseguire tali compiti il pi\u00f9 rapidamente e correttamente possibile. <\/ul>\n
Nel codice legacy si \u00e8 accumulato un notevole debito tecnico, che ha complicato sia la ricerca di errori che lo sviluppo successivo. Ad esempio, nel core si possono trovare funzioni grandi pi\u00f9 di mille righe di codice, metodi di gestione degli errori discutibili e strutture intricate.\n
Il Binder \u00e8 un componente critico dal punto di vista della sicurezza di Android, poich\u00e9 gli elementi della piattaforma che operano in ambienti sandbox isolati, come il processo di rendering in Chrome e SW Codec, hanno accesso diretto ad esso; una vulnerabilit\u00e0 nel Binder permetterebbe di eludere l'isolamento. L'alta complessit\u00e0, unita al debito tecnico, rende molto difficile mantenere un alto livello di sicurezza nel Binder. <\/ul>\n