Попробуй мне сделать что-нибудь mandatory когда я сам себе кернел конфигуряю и компиляю.

> а других в продаже не будет.

Это будет оооооооой как не скоро. Хинт: есть еще индустриальные эмбедовочные модули, это вообще так по жизни очень консервативные ребята. Потому что вон там вообще какой-нибудь сссаный pic с модемом работал, где ж он хруст возьмет? Ну я и куплю себе какой-нибудь 4G индустриаловочный, полностью документированый по интерфейсу, к тому же, а не так что чей-то блоб в RIL - и вот вам весь интерфейс к нему дескать :)

Балаболка опеннетная, классическая:

> Cranelift Code Generator
> A Bytecode Alliance project
> Cranelift is a low-level retargetable code generator. It translates a target-independent intermediate representation into executable machine code.

https://rustc-dev-guide.rust-lang.org/backend/codegen.html
> rustc uses LLVM for code generation; there is also support for Cranelift

https://github.com/bjorn3/rustc_codegen_cranelift
>  features = ["std", "read_core", "write", "coff", "elf", "macho", "pe"]
> Rust 95.8%  Shell 4.2%

Всегда восхищался умением людей переобуватся в воздухе.

И не говори... За ангину и ОРЗ тоже очень обидно, и за диарею с чесоткой — всех проклятый ковид оттеснил. Прямо как гранж убил хеви метал в начале 90-х.

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

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

этот хотя бы есть на большинстве платформ, а не трех виндовсах и amd64-linoops-5.99.999
Правда, на большей части не работает, но хруст там все равно не соберется.

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

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

Посему все свои нравоучения про то кто что должен делать оставь себе.

Для оптимизаций. Не для базовой инициализации. Подход раста к safety -- весь unsafe прячется в библиотеку. Если где-то его выставляют наружу, но это в качестве исключения и без этого можно обойтись, пускай даже и пожертвовав где-то производительностью или читаемостью кода.

> В данном случае оно так сделано по той причине, что содержимое mutexа
> инициализируется отдельным методом уже после самого mutexа

Я подозреваю, что дело в том, что Mutex в ядре self-referential структура, поэтому его надо припинить, и инициализировать после. И вот здесь ты замучаешься с MaybeUnint выкручиваться, чтобы сокрыть unsafe.

Зато когда оказывается что форсировано initialized память видите ли в некоторых ворклоадах дико тормозит, до хрустиков начинает доползать что они никогда не будут казать сравнимые с сями результаты в бенчах и они на кривой козе делают какие-то ацкие костыли, позволяющие ... то же что делают сишники, только левой пяткой в правое ухо. В результате код состоит из наркоманских костылей чуть более чем полностью и насколько все это безопасТно имхо большой вопрос.

В принципе да. Но статический анализ все же есть. Как и рантайм чекеры типа asan/ubsan и даже kasan для ядра. А вон там новость про лайт версию подобной идеи которая перфоманс не нагибает, проворачивая хитрый фокус с страницами, так что проверки делает в результате по сути железо своим MMU.

Кнопки на клаве стабилизируйте сначала, чудики.