Поддръжката на Rust за ядрото на Linux е изправена пред критики от Torvalds

Линус Торвалдс прегледа пачовете, които имплементират възможността за създаване на драйвери на езика Rust за ядрото на Linux, и направи някои критични коментари.

Най-големите оплаквания бяха причинени от потенциалната възможност за паника () в ситуации на грешка, например в ситуация на ниска памет, когато операциите за динамично разпределение на паметта, включително в рамките на ядрото, може да се провалят. Торвалдс заяви, че такъв подход в ядрото е принципно неприемлив и ако тази точка не бъде разбрана, той може напълно да разкрие всеки код, който се опитва да използва такъв подход. От друга страна, разработчикът на корекцията се съгласи с този проблем и го смята за разрешим.

Друг проблем бяха опитите за използване на типове с плаваща запетая или 128-битови типове, които не са приемливи за среди като ядрото на Linux. Това се оказа по-сериозен проблем, тъй като в момента основната библиотека на Rust е неделима и представлява едно голямо петно ​​– няма как да се изискват само някои от функциите, предотвратявайки използването на една или друга проблемна функционалност. Решаването на проблема може да изисква промени в компилатора и библиотеките на rust, въпреки че в момента екипът все още няма стратегия за това как да приложи модуларизация на езиковите библиотеки.

Освен това Торвалдс отбеляза, че предоставеният пример за драйвер е безполезен и ни посъветва да използваме като пример драйвер, който решава един от истинските проблеми.

Актуализация: Google обяви участието си в инициативата за въвеждане на поддръжка на Rust в ядрото на Linux и предостави технически причини за въвеждането на Rust за борба с проблеми, произтичащи от грешки в паметта. Google вярва, че Rust е готов да се присъедини към C като език за разработване на компоненти на ядрото на Linux. Статията предоставя също примери за използване на езика Rust за разработване на драйвери на ядрото в контекста на използването им в платформата Android (Rust е признат за официално поддържан език за разработка на Android).

Отбелязва се, че Google е подготвил първоначален прототип на драйвер, написан на Rust за междупроцесния комуникационен механизъм Binder, който ще позволи подробно сравнение на производителността и сигурността на реализациите на Binder в C и Rust. В настоящата си форма работата все още не е завършена, но за почти всички основни абстракции на функционалността на ядрото, необходими за работата на Binder, са подготвени слоеве за използване на тези абстракции в кода на Rust.

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