Rust всемогущий: ищу истории успеха

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

Пример хороший, но немного не то – сравнить не с чем(?)

Хороший гипотетический пример: вот LAME-кодек на сишке отработал за 0м5с, а LAME-кодек на расте за целых 0м4с

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

Qdrant - не знаю кого он уделывает, просто хорошая и полезная штука.

А что пишется новое, что не имеет сишных аналогов?

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

Не знаю откуда вы все берете «переписывание», в ОП я специально не использовал это слово, а применил «аналог».

Реализация внешнего контракта (будь то - визуализация векторной графики, алгоритма кодирования, да того же разбора JSON-а) с условного чистого листа без заглядывания в легаси решения (ну ладно, краем глаза-то можно) это всё же не «переписывание», наверное

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

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

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

Есть ли аналог pastel?

Не знаю, потому и спрашиваю :)

Блокчейнкриптостартапы

Так оно и не интересует

Есть проект по переписыванию coreutils на расте. Наверняка у них бенчмарки есть.

По-моему парадигма Rust это «за +10% оверхеда получите +50% продуктивности разработчика в сравнении с C или C++». Странно спрашивать про бенчмарки.

На Rust не напишешь код как в ядре, когда ради минимизации cache misses в одной структуре одновременно упакованы данные, парочка intrusive списков, intrusive rbtree индекс, атомики на разных кеш линиях, и всё это ещё синхронизировано под rcu.

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

Coreutils - пример яркого говнокода, там если на той же сишке переписаиь уже минус 90% багов и плюс 90% скорости

Так чо не переписали-то до сих пор?

Было, но какими проектами она применялась осталось неизвестным. Потом librsvg автор переписал на rust. Это больше на историю успеха похоже. Не знаю как по скорости работы, но скорость сборки пострадала значительно.

Ну вот можно тот же ядерный драйвер для графики M1 взять.

А как же конкурентность всякая, может в виде асинхронщины над вводом/выводом?

А в чём тут разница между языками? В Расте сахара для него завезли, да.

Какие-то безопаснее/предсказуемее

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

Всё что в Расте сделали - добавили к параметрам функций возможность описывать кто и как владеет данными с той и с другой стороны вызова.

Это конечно полезно для понятности и определённости, надёжности и т.д., но странно от этого ждать каких-то ускорений.

Оно пока для пародийрецензий. Итого: историй успеха нет. Есть хайп-цыкол, который еще не прошел проверку стандартизацией и метрологией. Стандарт языка есть? Стандарта нет. Есть много вишфул манямирка про «вот-вот все перепишут». Угу, держите карман шырее.

https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html

https://blog.cloudflare.com/introducing-oxy/

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

Замечание валидное, но вроде ОП-пост ему и не противоречит. Сложностью тоже надо управлять, и если один растаман обпишет трёх сишников, почему бы и нет, я бы и на такое посмотрел

мелькала библиотечка про SVG

https://github.com/RazrFalcon/resvg

Собственно RazrFalcon пилит

UPD: о, пропустил, что он самозабанился.

https://github.com/ixy-languages/ixy-languages/blob/master/Rust-vs-C-performance.md

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

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

Всё что в Расте сделали - добавили к параметрам функций возможность описывать кто и как владеет данными с той и с другой стороны вызова.

странно от этого ждать каких-то ускорений.

Кхм, какой интересный редукционизм. Попробую парировать так: теоретически, можно в С вообще ничего не трогать, только restrict поменять на norestrict, чтоб по умолчанию был, и какая-нибудь хрень уже ускорится.

https://www.opennet.ru/opennews/art.shtml?num=58735

Вот отличная история успеха. Переписывание на Rust отлично работающего драйвера на С.

было:

https://github.com/mairacanal/linux/tree/master/drivers/gpu/drm/vgem

стало:

https://github.com/mairacanal/linux/pull/11/files

Еще одна история успеха: https://zackoverflow.dev/writing/unsafe-rust-vs-zig/

Можно. Но это не имеет значения. Имеет значение то, что в Rust возможность описывать добавили, но вот в LLVM не добавили.

Вернее, в LLVM этот функционал был задолго до Rust, но он сломан, поэтому Rust им не пользуется. За ~8 лет существования Rust в современном виде никаких попыток починить предпринято не было.

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

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

В тексте readme какие-то кулстори про передачу по значению в Rust и по указателю в С. Что мешает передавать в С по значению – неясно.

Но все еще смешнее. Если немного почитать код, то там у Rust случились prefetch’и и SIMD, которых в С нет.

И даже так получился слив. Бывает.

Rust enforces bounds checks while the C code contains no bounds checks (arguably idiomatic style for C)

что он несет вообще?))

Wow, looks like we should really be asking how Rust manages to be so fast! The CPU executes 65% more instructions per forwarded packet with the Rust driver compared to C. But it manages to do so with only 6% (11%) more cycles per packet for batch size 32 (batch size 8)

он типа думает, что процессор исполняет для раста какие-то особые инструкции, которые не получишь в коде на сишке?))

Вот история успеха https://www.opennet.ru/opennews/art.shtml?num=58775

Уязвимость позволяет организовать запись данных в область памяти вне границы, допустимой для изолированного WebAssembly-кода

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

Правда там не так всё прямо, генерируемый код кривой получается, но финальная суть остаётся.

=)

нашел тут список историй успеха: https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=rust

Cargo did not perform SSH host key verification when cloning indexes and dependencies via SSH

It was discovered that Cargo did not limit the amount of data extracted from compressed archives. An attacker could upload to an alternate registry a specially crafted package that extracts way more data than its size (also known as a «zip bomb»)

современный, инновационный, лучший в своем классе менеджер пакетов

We recommend users of alternate registries to exercise care in which package they download, by only including trusted dependencies in their projects. Please note that even with these vulnerabilities fixed, by design Cargo allows arbitrary code execution at build time thanks to build scripts and procedural macros: a malicious dependency will be able to cause damage regardless of these vulnerabilities

это на фоне того, что оно ssh-ключи не проверяет

Cap’n Proto’s Rust implementation … are vulnerable to out-of-bounds read due to logic error handling list-of-list

там вроде где-то написали, что «rust enforces bounds checks»?

totp-rs is a Rust library that permits the creation of 2FA authentification tokens per time-based one-time password (TOTP). Prior to version 1.1.0, token comparison was not constant time

безопасная генерация кодов для 2FA

An issue was discovered in the lru crate before 0.7.1 for Rust. The iterators have a use-after-free

безопасная работа с памятью в лефтпаде

и т.д. и т.п.

Хороший гипотетический пример: вот LAME-кодек на сишке отработал за 0м5с, а LAME-кодек на расте за целых 0м4с

Ну в интернетах говорят, что растовый ripgrep прилично быстрее сишного grep’а, например.

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

Я дополню, что этот драйвер входит в асеши Линукс. А для рецензирования он для включения в ядро. В остальном согласен.

Угу, а ещё вы не можете без одобрения растодяди написать компилятор Раста и сказать, что это Раст…

То ли дело Си: пишешь компилятор чего попало и говоришь, что это Си, просто «диалект».

В JS мире раст значительно улучшает состояние тулинга, особенно производительность, часто в 100+ раз. Примеры: webpack -> turbopack, babel -> swc, eslint/jest -> тулинг deno. Также ядро prisma написано на rust.

Rust крайне хорош для js тулинга т.к. его легко в wasm собирать и постить в npm, у него уже есть набор библиотек для работы с js/ts и сам язык значительно приятней чем C++/С для таких целей.

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

Хороший гипотетический пример: вот LAME-кодек на сишке отработал за 0м5с, а LAME-кодек на расте за целых 0м4с

Мне кажется, что как раз ваш пример плохой, ну 0м4с, с большой вероятностью так же можно соптимизировать на сишке. Что куда важнее для оценки, особенно при примерно той же производительности генерируемого кода, так это производительность разработчика, стоимость поддержки, защита от ошибок и т.д. Кажется, что Rust именно сюда и целит.

так что обычно да. переписывание всегда получается лучше чем старое.

С вами не согласен «эффект второй системы» :)

А ещё fish-shell с C++ на Rust.

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

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

Интересно, есть ли ещё подобные случаи

Выпиливаю Rust отовсюду, до чего дотянусь.