В ядрото на Linux 6.18 е приета реализация на Binder IPC за Android, написана на Rust

В кода на ядрото на Linux, на базата на което се формира версия 6.18, е приета реализация на механизма за междупроцесно взаимодействие Binder, написан на езика Rust. Binder се използва в Android за организиране на взаимодействието между процесите и за отдалеченото извикване на методи (един Android процес може да извика метод или функция в друг Android процес, използвайки Binder за идентификация, извикване и предаване на аргументи между процесите). Кодът на Binder беше пренаписан на Rust в рамките на проект за укрепване на безопасността, популяризиране на техниките за безопасно програмиране и повишаване на ефективността при откритията на проблеми, свързани с паметта в Android (около 70% от всички опасни уязвимости, открити в Android, са причинени от грешки при работа с паметта).

Използването на Rust позволи решаване на някои проблеми, с които се сблъскваха разработчиците на Binder, включително грешки, свързани с преброяване на референции, блокировки и проверка на граници, а също така значително намалява сложността при обработка на грешки. Реализацията на Binder на Rust е функционално аналогична на оригиналната версия на C, преминава всички тестове на AOSP (Android Open-Source Project) и може да се използва за създаване на работни редакции на Android фърмуер. Въпреки напредналите възможности и поддръжката на обекти със сложна семантика на притежание, драйверът на Rust се оказа по-малък от версията на C — 5.5 спрямо 5.8 хиляди реда код.

В описанието на комита авторът споменава следните мотиви за пренаписването на Binder:

• Binder, който се развива вече 15 години, и за това време неговата функционалност и сложност значително нараснаха — проектът се намира на границата на всички компоненти на Android и обхваща множество задачи, извън пределите на IPC:
  • коректен анализ и преобразуване на съдържанието на транзакции, които могат да съдържат няколко обекта от различни типове (например указатели, файлови дескриптори), взаимодействат помежду си;
  • контрол на размера на пуловете на нишки в потребителското пространство и осигуряване на назначаването на транзакции на нишки по такъв начин, че да се избегнат взаимни блокировки при изчерпването на нишките в пула;
  • проследяване на броя на референции на обекти, съвместно използвани от няколко процеса, коректно пренасочвайки промените в броя на референциите между процесите;
  • обработка на множество сценарии за възникване на грешки и комбиниране на 13 различни блокировки, 7 броячи на линкове и атомарни променливи. В същото време, тези задачи трябва да се изпълняват максимално бързо и точно.
• В стария код се е натрупал значителен технически дълг, който усложнява както откритията на грешки, така и по-нататъшното разработване. Например, в ядрото се срещат големи функции с повече от хиляда реда код, съмнителни методи за обработка на грешки и объркани структури.
• Binder е критически компонент с оглед на сигурността в Android, тъй като елементите на платформата, работещи в изолирани sandbox среди, като процеса на рендериране в Chrome и SW Codec, имат пряк достъп до него, а уязвимост в Binder ще позволи заобикаляне на изолацията. Високата сложност в комбинация с техническия дълг значително усложняват поддържане на високото ниво на сигурност в Binder.

Източник: opennet.ru