Родитель засыпал навсегда: чего Rust не делает за вас в ядре ОС

#Родитель #Rust #Linux #Довольно #Язык

Я пишу ядро операционной системы на Rust. Не потому что собираюсь заменить Linux, а потому что мне интересно, что получится, если закладывать безопасность в архитектуру с нуля, а не встраивать в готовое. Довольно быстро выяснилась вещь, о которой в разговорах про Rust в системном программировании говорят реже, чем стоило бы. Язык закрывает один класс ошибок и оставляет другой нетронутым. И второй класс ловится куда хуже первого. Расскажу про конкретный баг, который я ловил дольше всего. Читать далее

Я пишу ядро операционной системы на Rust. Не потому что собираюсь заменить Linux, а потому что мне интересно, что получится, если закладывать безопасность в архитектуру с нуля, а не встраивать в готовое.

Довольно быстро выяснилась вещь, о которой в разговорах про Rust в системном программировании говорят реже, чем стоило бы. Язык закрывает один класс ошибок и оставляет другой нетронутым. И второй класс ловится куда хуже первого.

Расскажу про конкретный баг, который я ловил дольше всего.

Симптом

Похожие статьи

Выбор платформы виртуализации для малых инсталляций Хабр
Хабр

Выбор платформы виртуализации для малых инсталляций

Сегодня даже для небольшого бизнеса или образовательного учреждения «сервер» редко представляет собой одну физическую машину. Чаще в эту сущность упаковывают понятийно сразу несколько сервисов: файлов...

Хабр
TechCrunch
TechCrunch

Ford on track to complete $2B factory overhaul for Fathom EV truck

Ford expects to begin prototype builds of the Fathom EV in the first quarter of 2027.

TechCrunch
Почему кросс-постинг в соцсети оказался задачей про state, idempotency и битую кириллицу Хабр
Хабр

Почему кросс-постинг в соцсети оказался задачей про state, idempotency и битую кириллицу

В какой-то момент у меня появилась задача от маркетинга автоматизировать кросс-постинг статей в соц.сети и, в принципе, задача довольно понятная и здравая. Запрос был такой - сделать короткий анонс из...

Хабр
Instagram сменил логотип впервые за 10 лет РБК
РБК

Instagram сменил логотип впервые за 10 лет

У Instagram* (принадлежит компании Meta, признана экстремистской и запрещена в России) сменился логотип впервые за 10 лет.

РБК
ИИ-помощник Google Gemini научили работать с десятками сторонних сервисов Ferra.ru
Ferra.ru

ИИ-помощник Google Gemini научили работать с десятками сторонних сервисов

Google обновила ИИ-помощника Gemini. Теперь он сможет взаимодействовать с большим количеством внешних приложений и сайтов.

Ferra.ru
Москвач
Москвач

🧑🏼‍💼 Завтра предприниматели получат кэшбэк до 100% от Альфа-Банка в O′STIN

🧑🏼‍💼 Завтра предприниматели получат кэшбэк до 100% от Альфа-Банка в O′STIN Достаточно открыть приложение для бизнеса или Альфа-Бизнес Онлайн, найти раздел Альфа-Выгодно и покрутить там колесо — оно по...

Москвач