Rust в ядре

Интересно как будет после написания всех unsafe врапперов, можно ли будет писать полностью safe модули

Ждём комменты, что пора делать собственный васяникс.

И какой там раст будет использоваться? Стабильный? Найтли?

Стабильный? Найтли?

Vaporware edition.

Интересно конечно будет посмотреть.

пока что в linux-next

Т.е. Линусу на аппрув ещё не посылали. Ниачом. Но растродрочеры могут делать ставочки.

Ставлю 10 скора, что Линус дропнет

Ничего не понятно. Описание коммита ни слова, ни ссылки не содержит зачем это вообще затевается.

Нашёл только эту переписку: https://lwn.net/ml/linux-kernel/CAKwvOdmuYc8rW_H4aQG4DsJzho=F+djd68fp7mzmBp3-wY

Что такое linux-next?

Следующая нерелизнутая ветка.

Vaporwave edition.

fixed

Скорее всего, взлетит. С++ не взяли, потому что не умеет в zero-runtime. А Раст хоть с голого железа заводится.

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

С++ не взяли, потому что не умеет в zero-runtime

Умеет. C++ не взяли, потому что Линус сказал, что C++ – лютое говно.

 С++ не взяли, потому что не умеет в zero-runtime.

https://pograph.wordpress.com/2009/04/05/porting-cpp-code-to-linux-kernel/

А, чо, ково позвать? new и delete лень писать свои прост :) не сложнее однако чем использовать c++ в какой-нибудь эм-беде, где «все мало». Много враперов всяких отсутствующих запчастей и идиотских вскукареков про «оверхед».

Ну разве что его очень ограниченное подмножество. Которое с каждым новым стандартом в процентном соотношении становится всё меньше)

потому что не умеет в zero-runtime.

Что еще расскажешь? Байты занулять научился уже, системный программист?

Ставлю 10 скора, что Линус дропнет

Ставлю 500, что он утвердит.

И если, что Линус Торвальдс подключился к обсуждению начальной реализации поддержки Rust в ядре Linux (12.07.2020)

Я б райзнул, да всего 103 скора, олл-инн, чего уж там.

Подключился к обсуждению - ничего еще не значит

А что, new и delete уже напрямую у ядра память выделяют? Пошёл в игнор, токсичное хамло. Всё равно от тебя толку никакого.

О сколько нам открытий чудных \\ Готовят просвещенья дух…

https://en.cppreference.com/w/cpp/language/new

https://en.cppreference.com/w/cpp/memory/new/operator_new

Тяжело, когда из источников информации только методичка и собственные фантазии.

Эта поделка же и половину архитектур линукса не поддерживает скорее всего.

А что, new и delete уже напрямую у ядра память выделяют?

Да как угодно они выделяет. Но это уровень знаний идёт после битовых операций.

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

низкоуровневый матан

мультимедийного кодека

системный код

токсичное хамло

озлобленному старичью

нувыпонели

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

https://doc.rust-lang.org/nightly/rustc/platform-support.html

Единственное что использовать всё-таки не стоит и что требует особого асмоёбства для запиливания поддержки это, если я правильно помню, исключения?

Помню что BeOS/Haiku в ведре их не юзала а вот почему именно – забыл.

Удваиваю.

«Линус не согласился и выразил опасение» (c)

Обычно версии от «не лезут в стек» и «тормозят» до тупого карго-отрицалова в духе «они само зло» :)

Конечно, проще газануть в лужу и жидко обделаться.

Ну кому как не тебе это знать. Сравни эту жалкую раздутую пустышками таблицу (CPU*OS*FLOAT) для раста с тем, что поддерживает GCC:

• aarch64
• alpha
• arc
• arm
• avr
• bfin
• c6x
• cr16
• cris
• csky
• epiphany
• fr30
• frv
• gcn
• h8300
• i386
• ia64
• iq2000
• lm32
• m32c
• m32r
• m68k
• mcore
• mep
• microblaze
• mips
• mmix
• mn10300
• moxie
• msp430
• nds32
• nios2
• nvptx
• pa
• pdp11
• powerpcspe
• pru
• riscv
• rl78
• rs6000
• rx
• s390
• sh
• sparc
• stormy16
• tilegx
• tilepro
• v850
• vax
• visium
• xtensa

И на чём работает линукс:

• alpha
• arc
• arm
• arm64
• csky
• h8300
• hexagon
• ia64
• m68k
• microblaze
• mips
• nds32
• nios2
• openrisc
• parisc
• powerpc
• riscv
• s390
• sh
• sparc
• um
• x86
• xtensa

И научись уже молчать, если не знаешь.

ia64

Не. Там лялекс уже не работает. Ты бы обновил список. Он у тебя протухший.

А трясти древним VAX и орать, что мол Rust там не работает А ДОЛЖЕН ИНАЧЕ НЕ СЧИТАЕТСЯ, это просто какой-то кретинизм.

У меня? Это мастер Торвальдса.

https://www.phoronix.com/scan.php?page=news_item&px=Linux-5.4-Drops-IA64-SGI-Altix

Из GCC его тоже выпилили.

Ну да, «системный» язык он же под каждую платформу должен быть свой. Выбирать что-то старое лишь бы придраться – вот он кретинизм.

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

В документации и в их мастере он ещё есть ($GCC_REPO/gcc/config/ia64). Это не я эти списки составлял.

Я не очень понимаю, как из моего «эти платформы сдохли и неактуальны» ты сделал такой вывод.

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

Неактуальные платформы убирают, если никто их не поддерживает. Раз кто-то впрягся, то кому-то надо. Ну и даже если убрать совсем непопулярные из списка, он всё равно останется больше чем список для ядра, который больше списка для раста. Так что без фронта на GCC или условной компиляции он в ядро пройти просто не может.

Да, было бы весело. Хотя, учитывая как редко здесь даже голосовалки новые публикуются… Не то что на кывте: захотел – создал голосовалку и кинул ссылку в свой камент.

«Линус не согласился и выразил опасение» (c)

Ну так приведи весь текст из которого вырвал фразу:

Линус не согласился и выразил опасение, что тогда начальная поддержка Rust окажется не протестированной на сборку и имеет риск завязнуть в своём болоте, в котором небольшая группа заинтересованных в проекте разработчиков проверяет работу кода только в своих специфичных условиях и добавляет неправильные вещи, так как они остаются спрятанными и не всплывают при тестировании ядра в других окружениях.

По мнению Линуса первый драйвер Rust должен быть предложен в простом формате, при котором сбои будут очевидны и просты для обнаружения. Для упрощения тестирования он рекомендовал поступить как при проверке версий Си-компилятора и поддерживаемых флагов - проверять наличие в системе компилятора Rust и включать его поддержку в случае, если он установлен.

Можно ещё добавить план выхода в основную ветку:

https://lore.kernel.org/rust-for-linux/CANiq72njpL4RGK2C+p_OuXTNn9SOUBEfzaN6QCNj82zYWyr85Q@mail.gmail.com/T/

Подтверждаю, создал с неделю назад голосование про варез,причем аналогичное было то ли в 14,то ли в 15, и нормально его подтвердили, а мое нет, Жберт что-то про тов.майоров отшутился,и все

-2 прилетело, но день ты мне все равно сделал) Вопрос к leave, а почему Шаману -2 за ответ на некорректное сообщение не прилетело? Где справедливость? Я за тебя как за лучшего модера голосовал,между прочим! Ну ладно, за тебя, Альфу и Жберта, но за тебя первым!

Ну так приведи весь текст из которого вырвал фразу

Зачем? я же по факту прав, хотя и рофлю :)

Я Шамана про тотализатор спрашивал. Он ответил «НЕТЪ!»

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

Нашел кого спросить. Да и будут они сами это делать? А вот если все продумать, ну то есть какой-то минимальный скор для участия, определенные условия, на что можно ставить (к примеру, когда %distrname% перейдет на очередное потеринго-поделие, или когда выйдет 15 слака) и на что нельзя (например, когда забаниться %username%, или кто с кем спал,и в какой роли?), то может, что и выйдет. Но это надо прям до мелочей все продумывать. Хотя, пока писал, подумал, наверное не будут они этим заниматься, это всю систему скора/звезд переделывать,не,без вменяемой мотивации не будут

Ну, он в каком-то своем «инфополе» (или его мучают любые другие «инфополя»), просто там была скородрочерская тема, т.к. ТС не мог даже в «некорректные сообщения» и сорил ветками про ужас-ужас во что лор превратился :) Шому и спросили, принимает он ставки на забан ТСа или нет :)