LINUX.ORG.RU

Линус высказал своё мнение о Rust в ядре

 , ,


2

4

Поживем - увидим

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

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

Торвальдс полагает, что первоначальной областью применения Rust в ядре могут быть драйверы, поскольку их написание представляет собой множество небольших и независимых задач. «Может, это не самое интересное применение, но оно самое очевидное». Он добавил, что поскольку многие устройства предназначены не для всех процессорных архитектур, недостаток их поддержки в Rust – не такая большая проблема.

>>> Источник

anonymous

Проверено: Shaman007 ()
Последнее исправление: CYB3R (всего исправлений: 1)

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

А твои «переводы», скорее выглядят как подрыв пердаков с\с++ фанбоев, которым ничего не досталось.

Перевод не мой, а во вторых у фанбоев С/С++ есть целое ядро, которое написано на С, не поверишь. Ну и аргументация на уровне «пердаков» много говорит о тебе.

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

Перевод не мой, а во вторых у фанбоев С/С++ есть целое ядро, которое написано на С, не поверишь. Ну и аргументация на уровне «пердаков» много говорит о тебе.

Да? И где твоё ядро ? Жду ссылку на лично твоё ядро.

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

Ты уже определись, то нет примеров, то нет возможности оценить опыт

Да уж, картина маслом... А то что нет примеров и из-за этого нет возможности оценить опыт - у тебя не складывается в голове?

А мысль, что все кому надо поняли, а ты просто не разобрался\не хотел для тебя конечно является невероятной ?

Все кому надо - шикарный аргумент инженера, ага. Фанбой детектед.

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

. А то что нет примеров и из-за этого нет возможности оценить опыт - у тебя не складывается в голове?

Как это нет? Гугло-ОС, серво, фаерфокс, Redox-os - и тележка других не крупных утилит. Какой конкретно тебе пример нужен, который ты пытался воспроизвести и не смог?

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

Все кому надо - шикарный аргумент инженера, ага. Фанбой детектед.

Так это ты у нас возгласил себя инженером. Чем тебе аргумент не подошёл, как по мне намного лучше твоего «А вы мне докажите».

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

Да? И где твоё ядро ? Жду ссылку на лично твоё ядро.

Все больше убеждаюсь, что у Раста токсичное общество.

я: где я могут почитать про историю успеха использования раста в индустрии? растоман: Вот (дает ссылку на пост 4-летней давности) я: ну там общими фразами, а подробнее и поновее есть? ... другой растоман: где ссылка на лично твое ядро?

Вот все, что нужно знать о фанатах раста.

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

Какой конкретно тебе пример нужен, который ты пытался воспроизвести и не смог?

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

Так это ты у нас возгласил себя инженером. Чем тебе аргумент не подошёл, как по мне намного лучше твоего «А вы мне докажите».

Так потому что я на твоем как раз примере вижу разницу между мной, инженером, и тобой, «детектором рвущихся пердаков». Я так и представляю, что когда в школе учитель просил доказать теорему Пифагора ты говорил - да что там доказывать, кто надо тот уже все понял! Это вы, Марь Иванна просто не смогли, вот у вас пердак и рвет!

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

где я могут почитать про историю успеха использования раста в индустрии?

https://www.rust-lang.org/production/users

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

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

вот к примеру если тебе действительно интересно разобраться а не просто клеймить всех токсиками.

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

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

не надо требовать у людей ссылку на личное ядро ОС

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

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

Что касается гугло-ОС

Вот ещё: https://sites.google.com/view/rustverify2021 . Конференция по формальной верификации раст-программ от гугла. Тоже ничего не демонстрирует и не гарантирует.

По факту сейчас нет возможности объективно оценить опыт использования Раста в индустрии.

И не будет, если все будут инженерами.

red75prim ★★★
()

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

splinter ★★★★★
()

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

а вообще фандома раста и хаскеля прям особенно токсичные, не знаю почему.

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

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

Более абсурдного примера нельзя было придумать?

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

ну конечно рендеринг css куда более важная вещь чем софт который управляет посадкой ровера на марс. из треда выходит именно это – типобезопасный рендеринг веб страничек

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

Ну так и почему? Есть комментарии разработчиков софта для ровера в которых они рассказывают что рассматривали раст в качестве кандидата но он оказался не очень? Или ты думаешь в крупных компаниях ЯП как перчатки меняют?

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

К тому же причем тут рендеринг css? Уже накидаали примеров с самым разным применением, базы данных тебя не устраивают?

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

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

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

У них были проблемы с GC они от них избавились, а так да время покажет.

Но если нужны графики производительности то вот тут есть https://tensorbase.io/2021/03/16/announce_base_fe.html

кликхаус на плюсах написан.

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

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

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

У него не работает нвидиа на драйвере амд.

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

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

Там сравнивается не просто реализация на плюсах и расте, а хитрооптимизированный подход, который они реализовали на расте. Да и это альфа. А известно, что пока ты не увяз в тонкостях и особенных случаях, то твой код стройный и быстрый.

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

А может быть в случае с дискордом программисты не использоввали все возможности и по этому разница небольшая. Факт в том что на расте есть успешные примеры которые вызывают интерес и реакция Линуса на все это вполне адекватная - дать возможность показать на что раст способен.

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

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

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

реакция Линуса на все это вполне адекватная - дать возможность показать на что раст способен.

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

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

Вполне способен. Нет никакого желания тратить время на очередной «C#». Возможно он когда-нибудь вырастит из дестких штанишек и избавится от корпоративной пуповины, вот тогда заслужит моего внимания, пока этого не случилось.

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

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

Обязательно расскажи об этом Линусу.

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

И сообществу Раста то же не забудь сообщить что они еще не заслужили твоего внимания. А то они переживают.

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

Ну тут каждый кулик хвалит свое болото.

Хех, то вы хотите историй успеха о Servo, то каждый кулик… Хотите историй от других разработчиков, на этом форуме уже дважды обсуждалась история с дискордом.

И почему, например, этого нельзя было достичь с помощью С++

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

В продакшн может попасть откровенный быдлокод

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

Вот, например, если бы гугл начал бы втихую набирать команду

А почему именно гугл? Вон микрософт говорил, что собирается использовать раст, была вроде новость, что ябл искал раст-разработчика. Или только гугл?

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

И сообществу Раста то же не забудь сообщить что они еще не заслужили твоего внимания. А то они переживают.

Ок, только потом не плачь в душе и не говори, что все корпорации козлы ))

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

чем софт который управляет посадкой ровера на марс

Не. Плюсы там занимаются рулением ровера на поверхности (см. например Mark Maimone «C++ on Mars: Incorporating C++ into Mars Rover Flight Software» https://youtu.be/3SdSKZFoUa8?t=1077 )

Программа управления полётом написана на урезанных по гланды сях специально натасканными программистами, периодически проходящими инструктаж по тому как не делать UB и сдающими экзамены по окончании, код постоянно проверяется статическими анализаторами. Eсли они или компилятор с -Wall -Wpedantic выдадут предупреждение, то нужно согласование, чтобы его оставить и т.п. См. https://trs.jpl.nasa.gov/bitstream/handle/2014/43875/11-2798_A1b.pdf?sequence=1

В общем - ничего общего с обычными для бизнеса практиками разработки программ. И borrow checker после этого покажется доброй няней.

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

А кто там музыку заказывает? Мы с тобой можем влиять на решения? Возможна ли встреча условной Российской рабочей группы по стандартизации Rust? А на язычки корпораций я уже насмотрелся.

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

или компилятор

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

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

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

Хех, то вы хотите историй успеха о Servo, то каждый кулик…

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

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

Так я спрашивал, что именно в расте позволило добиться всего этого? Там упоминается иммутабельность, да, ее нет в плюсах, но она есть в других языках, т.е. эту задачу можно было бы также решить и на другом языке, получается. Далее там упоминается, что борроу чекер позволяет использовать голый указатель вместо подсчета по ссылке - звучит убедительно. Но далее там идет пояснение, что подсчет ссылок в расте не нужен, так как борроу чекер позволяет в компайл-тайме гарантировать что данный объект переживет поток и поэтому голый указатель безопасен. Но ровно такого же эффекта можно достичь если выделить объект на стеке и только потом создать сколько угодно потоков, работающих с этим объектом и можно спокойно передавать голый указатель, потому что этот объект гарантировано переживет данные потоки. И борроу чекер тут не требуется. Понятно, что я абстрактно рассуждаю, т.к. детали могут многое изменить. Вот это мне интересно, а не ссылки на разные проекты или на мое ядро ОС, как тут некоторые делают.

А почему именно гугл?

Это был просто пример.

yetanother ★★
()

«посмотрим, они предвзято относятся» - это значит если у них получиться.

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

А кто там музыку заказывает?

Грэйдон Хор

Мы с тобой можем влиять на решения?

Можно написать ему если есть что писать.

Возможна ли встреча условной Российской рабочей группы по стандартизации Rust?

Зачем? В этом есть смысл?

А на язычки корпораций я уже насмотрелся.

Rust is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0), with portions covered by various BSD-like licenses.

Я честно не понимаю каких конкретно последствий ты опасаешься?

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

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

Вот реальное интервью Патриции Торвальдс 2015 года, где она топит за феминизм и разнообразие и скептически высказывается по поводу меритократии.

Да, девушку можно упрекнуть в наивном следовании духу времени. Однако от этого до «через дочку шантажировали» и «лесбиянка, а он ей запрещает» — дистанция огромного размера.

лень гуглить с утра

Ага-ага.

Я, если что, не говорю, что линуксу ничего не угрожает. Вот только факты надо отделять от гипотез, а гипотезы — от домыслов. Иначе даже говоря о реальных проблемах, ты добьёшься только того, что обсуждать эти проблемы станет неприличным.

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

Мы с тобой можем влиять на решения?

Представь себе можем. Ты лично можешь предложить RFC и для этого не надо даже собирать никакую «рабочую группу».

Но ты можешь продолжать распространять мифы не имея представления как оно на самом деле.

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

Грэйдон Хор

Он давно вроде уже в развитии языка не участвует.

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

Я честно не понимаю каких конкретно последствий ты опасаешься?

Тут не в лицензиях дело, а в том кто моду задаёт и владеет «средставми производства». Как пример - нужен ли мелкомягким софт, который работает десятилетиями? Пока я не почувствую некоторый приемлемый баланс интересов, то желания лезть нет.

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

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

seiken ★★★★★
()

что авторы этого проекта предвзяты по отношению к rust

как он мягко безумных фанатиков назвал.

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

Так и не понял каких конкретно последствий ты опасаешься. Что может произойти?

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

Какие забавные у тебя тараканы в голове.

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

Поздравляю, Раст уже заслужил. Мозилла передала Раст и всё с ним связанное в rust foundation.

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

Так, открываем список членов комитета с++: гугл, гугл, хп, оракл, гугл, микрософт…

З.Ы. А если посмотреть на список спонсоров linux foundation…

andalevor ★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.