LINUX.ORG.RU

Линус Торвальдс запланировал внедрение Rust в Linux 6.1

 , , ,


4

6

Создатель ядра Linux и координатор его разработки Линус Торвальдс объявил на Kernel Maintainers Summit, что в Linux 6.1 будет доступно программирование модулей на Rust — «если не произойдёт ничего незапланированного».

Причиной включения Rust в ядро Торвальдс назвал более высокую безопасность языка (за счёт снижения числа ошибок работы с памятью) и его привлекательность для молодых разработчиков:

Rust - это одна из тех вещей, которые, как я думаю, привлекут новые лица… мы стареем и седеем…

Также опубликована начальная реализация драйвера rust-e1000 для Ethernet-адаптеров Intel. А компания Western Digital разрабатывает на Rust драйвер для NVMe-накопителей. Хотя драйвер ещё не оптимизирован, он не отстаёт в производительности от имеющегося ядерного драйвера на языке Си.

>>> Подробности



Проверено: hobbit ()

Ответ на: комментарий от Xintrea

Как будто при использовании Си проблему версии libc решают как-то по другому, кроме как собирают на минимально поддерживаемой системе.

SkyMaverick ★★★★ ()
Ответ на: комментарий от AntonyRF

Просто использование раста позволяет избежать 90% багов из Си, а если еще чуть постараться и кодить хотя бы средне, то 99%.

какой-то бред.

out-of-borders и use-after-free баги максимум один из 200, а то и реже.

На каком проекте ты работал, что у тебя 99% багов это выход за границы массива и висячие указатели?

fsb4000 ★★★★★ ()
Ответ на: комментарий от Anoxemian

Он там с мировым заговором растаманов, либералов и хрен его знает ещё кого воюет. Серьёзный человек. Даже санитары его побаиваются. :)

SkyMaverick ★★★★ ()
Ответ на: комментарий от no-such-file

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

mrdeath ★★★★★ ()
Ответ на: комментарий от ergo

ЗЫ а есть планы довести раст до самостоятельного языка без всяких ллвм и прочих?

Но зачем? LLVM — прекрасная платформа для создания компиляторов. Какой смысл от неё отказываться?

hateyoufeel ★★★★★ ()
Ответ на: комментарий от mrdeath

мог бы быть, но так же примерно говорили и про фортран, пока его С не заменил.

Ты не поверишь, но… Си не заменил Фортран. Последний как использовался для расчетов, так и используется. Си вытеснил ассемблер и всякие алголы, разве что.

hateyoufeel ★★★★★ ()
Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от hateyoufeel

не суть. был кобол, был алгол, как ты и сказал. Тот же фортран, он то есть, С будет когда-то так же как и фортран. Нас тоже когда-то не будет :)

mrdeath ★★★★★ ()

Ужасное решение.

Вместо образцового кода на C неизвестно, что напишут «новые лица». Джаваскриптизация на марше.

i586 ★★★ ()
Ответ на: комментарий от i586

:) покажите мне свой на С. Там наверняка тоже статические массивы и strcpy с лапшекодом во все поля.

Давайте быть чесными, говнокод пишется на любом языке. Не существует «образцового кода».

mrdeath ★★★★★ ()

хоронили тещу - порвали два баяна

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

olelookoe ★★ ()

его привлекательность для молодых разработчиков:

На питоне и жабоскрипте уже можно модули писать?

devl547 ★★★★★ ()

Причиной включения Rust в ядро Торвальдс назвал более высокую безопасность языка

Вот и Mark Russinovich (CTO, Microsoft Azure) у себя в твиттере пишет, что пора прекратить начинать любые новые проекты на C/C++ и начать использовать Rust, ради безопасности и надёжности.

dotcoder ★★★★★ ()
Ответ на: комментарий от intelfx

Нет нельзя. Бэкенд у Rust LLVM, и без этого бэка компилятор несостоятелен и не может генерировать что-либо внятное, кроме LLVM IR. Тот-же gcc тоже имеет и фронтенд и бэкенд, и фронт у него генерирует свой IR, но и то и то написано командой gcc, а не сторонними разработчиками и не отвалится в случае прекращения разработки LLVM, к примеру. На LLVM как на бэкенд полагаются многие компиляторы, т.к. очень удобно реализовывать только половину работы и не заморачиваться со всякими там оптимизациями, репрезентациями, машинными кодами и вот этим вот всем…

Q-Master ()
Ответ на: комментарий от ergo

Было. gcc исходно имел фронт и бэк, более того, их как-то взбесило что проприетарщики стали юзать гццшный фронт для генерации AST и IR, а они подсовывали ему свой самописный бэк для собственно компиляции, и они запретили выдачу промежуточного представления. Можно даже погуглить соответствующие статьи на gnu.org Все компиляторы из GNU compilers collection используют разные фронтенды для разбора исходного кода и построения IR и единый бэк для компиляции этого вот всего.

Q-Master ()
Последнее исправление: Q-Master (всего исправлений: 1)
Ответ на: комментарий от devl547

большая часть фанатов - любители саке и девочек-волшебниц

Будто что-то плохое.

А в линуксе вообще фурри (Xenia) :)

Nanaju_Ko-wired ()
Ответ на: комментарий от dotcoder

А он там нигде не рекомендует, что брать для кроссплатформенного гуя?

thesis ★★★★★ ()
Ответ на: комментарий от quantum-troll

Что там такого страшного-то я всё понять не могу. Или надо как в Дельфях begin-end на каждый чих? Или как, не перед сном вспомнено, 1С - ПроцессорВыводаРезультатаКомпоновкиДанныхВТабличныйДокументИмениНуралиеваБорисаГеоргиевича ?

SkyMaverick ★★★★ ()
Ответ на: комментарий от SkyMaverick

Страшно там одно: он не такой, как в С. Именно это люди имеют в виду, когда говорят, что Rust, Lisp, APL, Perl, Haskell или Erlang имеют нечитаемый синтаксис.

quantum-troll ★★★★★ ()

Помешательство которое задело Линуса.

hbars ★★★★★ ()
Ответ на: комментарий от quantum-troll

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

Nexmean ()
Ответ на: комментарий от mrdeath

Кобол сишкой тоже никто не заменял.

Ну и ты упускаешь пару нюансов. Например, на C в 70х писали новый софт, а не переписывали старый.

hateyoufeel ★★★★★ ()
Ответ на: комментарий от quantum-troll

Кстати нет. Синтаксис Rust и правда страшен, потому что он является попыткой натянуть сишный синтаксис на OCaml. Многие конструкции, особенно с приведениями типов и цепочками вызовов, выглядят просто чудовищно. Привыкнуть, конечно, можно, но ей богу срань какая-то.

hateyoufeel ★★★★★ ()
Ответ на: комментарий от ergo

Если тебе меньше 50 лет, то были. Тебе просто никто не сказал. Другой вопрос, что до llvm никто особо не пытался сделать бэкенд компилятора отдельным «продуктом» со стабильным интерфейсом.

hateyoufeel ★★★★★ ()
Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от Q-Master

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

Ох блин, я вспомнил про существование gccxml. Воистину чудовищная хрень.

Кстати, разве у gcc когда-то был публичный промежуточный IR? Именно оформленный в стабильный язык как у LLVM, а не какие-то внутренние структуры.

hateyoufeel ★★★★★ ()
Ответ на: комментарий от zent

Ну и вместо притока сферических расторазработчиков можно наоборот получить отток разработчиков реальных.

Нет никаких проблем «реальным» разработчикам создать форк Линукс без раст. Дарвин всех рассудит.

seiken ★★★★★ ()
Ответ на: комментарий от seiken

нет никаких (пока никаких) проблем дальше писать ядро на С.
до будущего, в котором предположительно ядро полностью перепишут на ржавчину и вынесут предложение выкинуть С еще надо дожить :)

pfg ★★★★★ ()
Ответ на: комментарий от hateyoufeel

:) сколько ты знаешь программ на сегодняшний день на коболе и Фортране которые всё ещё продаются и поддерживаются?

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

Я не говорю что Раст это круто, я говорю что это эволюция ИТ. Люди хотят новые, более крупные кирпичи.

mrdeath ★★★★★ ()
Ответ на: комментарий от hateyoufeel

Последний как использовался для расчетов, так и используется

В основном потому, что к моменту взлёта C на Фортране было написано дофига либ для физиков, математиков, биологов и переписывать их только для того, чтобы переписать - смысла не было. А потом как-то остался Фортран по принципу - работает? работает, ну пусть тогда будет. Каких-то существенных профитов от того, что кто-то перепишет всё на С - их не будет. А раз не будет, то и смысла тратить время и финансы нет.

IRASoldier ()
Ответ на: комментарий от slackwarrior

Дистры с rust-free ядром :)

Только если найдут лошьё, готовое донатить на подобное, в товарных количествах. У баттхёртиана получилось, но там всего 2 своих пакета и паразитизм на Дебьяне в чистом виде. Ядро патчить всё-таки несколько сложнее будет.

zabbal ★★★★☆ ()

Ха-ха, сколько же сейчас будет слёзок и блеяния)0

anonymous-angler ()
Ответ на: комментарий от X512

и что?

Там написано, что 70% от серьёзных багов связанных с безопасностью.

А я говорю про реальные баги.

Можешь полистать комиты того же хрома или их issues.

Большинство реальных багов будет про то, что какие-то html элементы на сайтах работают не так как надо, или js функции как-то не так работают.

Ты в Хайку тоже 70% патчей отсылаешь про работу границ массивов?

fsb4000 ★★★★★ ()
Последнее исправление: fsb4000 (всего исправлений: 1)
Ответ на: комментарий от IRASoldier

В основном потому, что к моменту взлёта C на Фортране было написано дофига либ для физиков, математиков, биологов и переписывать их только для того, чтобы переписать - смысла не было.

Ах если бы. Нет. В том же Си нет нормальных массивов до сих пор, и тем более нет их нормального распараллеливания без особой магии, которая может не каждый раз сработать. В том же Фортране трансформации кода делаются гораздо проще. Поэтому в него поддержку всяких AVX добавили почти сразу и старые библиотеки её мигом подхватили. А сишники как пердолились с указателями, так и продолжают пердолиться.

hateyoufeel ★★★★★ ()
Ответ на: комментарий от mrdeath

:) сколько ты знаешь программ на сегодняшний день на коболе и Фортране которые всё ещё продаются и поддерживаются?

Да я и программ на Java, которые бы продавались, почти не знаю. Разве что среда разработки от жидбрайнз и всякие выкидыши от Atlassian. Но это я. Я просто не интересуюсь.

hateyoufeel ★★★★★ ()
Ответ на: комментарий от mrdeath

не суть. был кобол, был алгол, как ты и сказал

Нет, разница большая. Фортран вообще как язык стоит в стороне, т.к. он очень нишевый. И до сих пор в своей области используется. Идея фортрана так же как и в Си связана с реальностью напрямую, т.к. в изначальном значении это инструмент для трансляции формул в машкод.

no-such-file ★★★★★ ()
Ответ на: комментарий от mrdeath

это эволюция ИТ

Это эволюция не в смысле что Раст какой-то новый уровень, а в смысле, что Раст это эволюционная проба. Т.е. в нынешних условиях Раст стал возможен, появился и барахтается пытаясь отвоевать себе место под Солнцем. Интересный утконос конечно, а выживет ли будем посмотреть.

no-such-file ★★★★★ ()

Думаю, это начало конца линукса, как системы в целом, в плане надежности и предсказуемости. Корпорации внедрили осиновый кол в самое сердце. Скорее всего, в ближайщем будующем, в течение нескольких лет, сложится аналогичная ситуация, как с Systemd. Ядро, не исчезнит, но полностью видоизменится, таким образом, исчезнит качественный и проверенный годами работающий код, появится некий франкештейн с багами, малопонятными внедренными новыми элементами, исчезнит обратная совместимость с старым железом. И подобное будет идти под крики и возгласы - «Долой старое Г, нужно современное и молодежное». Само системное программирование под ядро, деградирует, из профессии превратится в некий детский утренник. Ведъ, Rust,как язык, замыкается на определенном стиле и требованиях к коду, исходящих из корпоративного подхода к управлению и организации труда, несущий довольно увесистый психологический отпечаток.

nager ()
Ответ на: комментарий от nager

Само системное программирование под ядро, деградирует, из профессии превратится в некий детский утренник

Rust - это сложный язык, макаке его не освоить.

Ведъ, Rust,как язык, замыкается на определенном стиле и требованиях к коду, исходящих из корпоративного подхода к управлению и организации труда

Дай угадаю, ты ни разу не интересовался, откуда взялся Rust и не видел, как он выглядит. Угадал ведь?

Корпоративный подход к управлению и организации труда, отражающийся в языке - это к Java и C#.

emorozov ()
Последнее исправление: emorozov (всего исправлений: 1)
Ответ на: комментарий от nager

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

Это даже уже не конспирология, это конкретно развесистая эзотерика. Психологический отпечаток в ЯП? Порча и сглаз, штоле? Бухать меньше надо и наркотиков принимать, иди и https://macode.ru (ну, если умеешь).

будующем исчезнит

Войн-андройд выйграл через чур много.

IRASoldier ()
Последнее исправление: IRASoldier (всего исправлений: 2)
Для того чтобы оставить комментарий войдите или зарегистрируйтесь.