Rust в ядре Linux

[locutus]

2 вопроса:

Как решили проблему с числами с плавающей точкой (в ядре они не поддерживаются, слишком дорогая смена контекста)? Как решили проблему с различными неявными паниками, например при нехватке памяти?

[ilammy]

Работать с FPU в ядре можно. С оплатой отключения прерываний и сохранения/восстановления контекста FPU по месту использования. В архитектурно-специфичном коде, который уверен, что этот FPU вообще существует.

Сейчас Rust-код собирается с soft-float, эмулируя типы с плавающей точкой, а все функции-переходники превращены в паникующие заглушки. Сама паника превращается в BUG() — который по-хорошему никогда не должен происходить.

Нехватка памяти никак пока не обрабатывается, там всё та же паника. Обработчики для этого поставить можно, но сейчас там тупо заглушка с паникой.

[locutus]

Спасибо за пояснение!

[slepnoga]

ЧИСО.

[tbl]

Поясните, починили ли проблему, связанную с тем, что компилятор может неконтролируемо для разработчика порождать инструкции выделения памяти в куче?

Upd: на предыдущие вопросы ответ увидел.

[defuz]

Это где компилятор Rust выделят память неконтролируемо для разработчика?

[google_fan]

Да и вообще про "инструкции выделения памяти в куче" интересно было бы послушать.

[EddyEm]

Если вместо С ядро перепишут на этой дряни, то точно наступит линуксокапец, так ожидаемый проприетастами, и придется сваливать на BSD. ​

[charypopper]

серьезно, а в чем негатив такой у вас? я на го пишу, и смотрю в сторону раст, как на более надежный, но сложный яп, пока не решился надо ли вникать или нет

[sysbooter]

вот именно ваш ответ сразу же говорит о том, что вы совсем не в теме программирования ядер надежных систем. руки прочь от ядру линукс!

[sysbooter]

Совершенно верно. Ручонки шаловливые у кого-то чешутся чтобы завалить линукс. Наверняка мелкомягкие с яблочниками и АНБ работают в этом направлении активно, через своих агентов-вредителей, внедренных в сообщество.

[jt3k]

Странно читать это, после того как Линус Торвальдс разнёс этих коммитеров в репу ядра в пух и прах https://m.habr.com/ru/company/selectel/blog/552142/

[acmnu]

Ну уж в пух и прах. Указал на две явные проблемы, про которые вроде как все и так знают и пытаются исправить. Похоже вы не застали те времена, когда Торвальдс мог такие трехэтажные перлы выдавать, что зачитаешься.

В целом судя по LKLM Rust в ядре однозначно быть ибо в этом заинтересованы почти все, кто должны, а кто не особо заинтересован (как Торвальдс) категорично не отрицают возможность.

[jt3k]

Сначала вышла эта статья, а затем Линус разнёс авторов в пух и прах. Как тех антипрививочников чуть позже.

И как вы определили, что я не застал те времена? :-/

Вот когда они разнесут торвальдса, тогда поговорим :-)

[sysbooter]

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

[Bwana]

Сначала нужно, чтобы этот руст обзавелся комитетом в ISO/IEC и этот комитет выпустил стандарт. Стандарт должен устаканиться хотя бы в начальной версиию И уж только после этого стоит этот руст воспринимать серьезно.

[DarkEld3r]

Срочно выкидываем джаву из продакшена, ведь она не стандартизирована!!!11

[Viilture]

Java потихоньку из продакшена выкидывается. С каждым годом она менее популярна.

[sysbooter]

нечего расту делать в ядре. Си проверен и надежен практически во всех аспектах.

[sysbooter]

не трогайте то что хорошо отлажено и работает, и развивается нормально. руки прочь от ядра линукс, одной из немногих действительно хорошо продуманных, надежных, адекватных и качественных разработок. не надо уничтожать хорошее под предлогом якобы лучшего. в данном случае и к данному случаю применима пословица: "лучшее" - враг хорошему.