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

На проведения на тези дни конференция Open-Source Summit 2022 в секцията със въпроси и отговори Линус Торвалдс спомена за възможността за бърза интеграция в ядрото на Linux на компоненти за разработка на драйвери на устройства на езика Rust. Не е изключено, че патчовете с поддръжка на Rust ще бъдат приети в следващото отваряне за промени, формирано от ядрото 5.20, предвидено за края на септември.

Заявката за включване на промените в ядрото все още не е изпратена на Торвалдс, но наборът от патчове е преминал допълнително преглед, освободен е от основните бележки, вече от доста време се тества в клон linux-next и е доведен до състояние, годно за създаване на слоеве на абстракция над подсистемите на ядрото, написването на драйвери и модули. Поддръжката на Rust се представя като опция, която по подразбиране не е активна и не води до включване на Rust в списъка на задължителните сборъчни зависимости на ядрото.

Предложените промени дават възможност на Rust да се използва като втори език за разработка на драйвери и модули на ядрото. Използването на Rust за разработка на драйвери ще позволи с минимални усилия да се създават безопасни и по-качествени драйвери, освободени от проблеми, като достъп до област от паметта след нейното освобождаване, разименуване на нулеви указатели и излизане извън границите на буфера.

Безопасността на работата с паметта в Rust се осигурява по време на компилация чрез проверка на указателите, проследяване на собствеността на обектите и отчитане на времето на живот на обектите (обхват), както и чрез оценка на коректността на достъпа до паметта по време на изпълнение на кода. Rust предлага също така средства за защита от аритметични препълвания, изисква задължителна инициализация на стойностите на променливите преди употреба, по-добро управление на грешки в стандартната библиотека, прилага концепцията за неизменяемост (immutable) на указателите и променливите по подразбиране и предлага силна статична типизация за минимизиране на логическите грешки.

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

Купете надежден хостинг за сайтове с защита от DDoS, VPS VDS сървъри 🔥 Купете надежден хостинг за сайтове с защита от DDoS, VPS VDS сървъри | ProHoster