Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Изначальное сообщение		[ Отслеживать ]

"Грег Кроа-Хартман рассказал о том, как Rust может помочь в борьбе с ошибками в ядре Linux"	+/–
Сообщение от opennews (?), 28-Май-26, 11:07
Грег Кроа-Хартман (Greg Kroah-Hartman), отвечающий за поддержку стабильной и "staging" веток ядра Linux, и занимающий пост мэйнтейнера в 16 подсистемах ядра, выступил с докладом на конференции Rust Week 2026, в котором рассказал, как язык Rust может помочь в предотвращении появления в ядре уязвимостей, возникающих из-за типичных ошибок разработчиков на языке Си при работе с памятью, блокировками, обработкой ошибок и работой с незаслуживающими доверия данными. В качестве основного преимущества Rust называется возможность выявлять подобные ошибки на этапе сборки, а не рецензирования кода людьми.  При этом, Rust не рассматривается как  панацея, способная избавить от всех проблем, и никто не собирается переписывать ядро на Rust - ожидается постепенное внедрение Rust через его использования для новых драйверов и подсистем... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=65549
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по времени | RSS]

1. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+18 +/–
Сообщение от Массоны Рептилоиды (?), 28-Май-26, 11:07
Да что он себе позволяет? Он вообще опеннет читает? Тут эксперты доходчиво бы объяснили что он не прав
Ответить | Правка | Наверх | Cообщить модератору

	40. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от Аноним (40), 28-Май-26, 12:07
	А почему он должен быть прав? Это утвердило Министерство Правды?
	Ответить | Правка | Наверх | Cообщить модератору

	56. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:37
	разумеется: забашляли минобороны теперь всех насильно загонят в стойло ржавого проприетарного llvm-вендорлока, и все будут сидеть смотреть рекламу под линуксом, подписки оплачивать и всё такое это - основная цель, а всё остальное, в том числе переусложнение всего и вся для выбрасывания независимых разработчиков из процесса, - мишура
	Ответить | Правка | Наверх | Cообщить модератору

	62. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от Аноним (-), 28-Май-26, 12:44
	А как же rustc_codegen_gcc?
	Ответить | Правка | Наверх | Cообщить модератору

	70. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:49
	приходи, когда этим можно будет собрать всё то же, что llvm например, firefox
	Ответить | Правка | Наверх | Cообщить модератору

	50. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от pic (??), 28-Май-26, 12:30
	Вода камень точит.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	68. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от freehck (ok), 28-Май-26, 12:48
	> Тут эксперты доходчиво бы объяснили что он не прав Как уже неоднократно объяснялось, хейт на самом деле вызыван не столько Rust-ом, сколько его сообществом и, во многом, пришлыми сюда апологетами оного. Сам Rust вообще-то неплохой язык. Но вот крикуны, кои популяризируют свой инструмент через унижение старого и рабочего, эти бесконечные инициативы по переписыванию существующего стабильного кода (в основном бесперспективные, если только цель не смена лицензии) — всё это вызывает у людей закономерное раздражение. И хотя вроде бы все эти анонимные тролли — никто, и было бы разумно просто игнорировать их, тем не менее каждый из нас иногда бывает, что устанет, и нет-нет, да и поведётся на эти толстые вбросы.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	88. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Анонон (?), 28-Май-26, 13:04
	> Как уже неоднократно объяснялось, хейт на самом деле вызыван не столько Rust-ом, сколько его сообществом и, во многом, пришлыми сюда апологетами оного. Надеюсь ты это со своего макбука написал)? > Сам Rust вообще-то неплохой язык. Судя по новостям - да. > Но вот крикуны, кои популяризируют свой инструмент через унижение старого и рабочего, Насколко оно старое и "рабочее" можно почитать в новостях. Сколько там Dirty Fag'ов и Copy Fuck'ов нашли? Кажется в последний раз была седьмая. Ну или заглянуть в рассылку lists.openwall.net/linux-cve-announce/ За май нашли уже 1017 CVE. Отличное качество! > эти бесконечные инициативы по переписыванию существующего стабильного кода (в основном бесперспективные, если только цель не смена лицензии) Тем не менее код переписывается и старый отправляется на помойку. Открою тебе тайну, далеко не все форки (по сути "переписывание как хочет новый автор") тоже долго живут. > всё это вызывает у людей закономерное раздражение О, началось нытье снежинок. Выпей, что ли, валерьянового рафа. > И хотя вроде бы все эти анонимные тролли — никто, и было бы разумно просто игнорировать их, тем не менее каждый из нас иногда бывает, что устанет, и нет-нет, да и поведётся на эти толстые вбросы. Типа как сейчас)?
	Ответить | Правка | Наверх | Cообщить модератору

2. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
Сообщение от Аноним (2), 28-Май-26, 11:08
Ненужно. Уже есть Мифос для проверок.
Ответить | Правка | Наверх | Cообщить модератору

	20. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от Аноним (20), 28-Май-26, 11:33
	>  Ненужно. К счастью это не вы решаете) > Уже есть Мифос для проверок. И ты будешь каждый раз жечь токены вместо проверок на этапе компиляции. Да ты просто идеальный менеджер!
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 11:45
	Ненужно. Уже есть CHERI (аппаратная течнология контроля указателей и участков памяти). Готовится соответствующее расширение Y для RISC-V.
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	33. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (20), 28-Май-26, 11:52
	> Ненужно. Уже есть CHERI (аппаратная течнология контроля указателей и участков памяти). Тонны железа которые были закуплены до внедрения технологии: "Ну да, ну да, пошли мы н̶а̶ф̶и̶г̶ на свалку". Вы случайно не менеждер по продажам интела или амд? > Готовится соответствующее расширение Y для RISC-V. От когда будут, тогда и поговорим. Особенно буду смеяться если в зоопарке рисков оно будет не обязательное.
	Ответить | Правка | Наверх | Cообщить модератору

	34. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от q (ok), 28-Май-26, 11:55
	"Уже есть" или "готовится расширение"? И как при помощи него выявлять на этапе компиляции, а не в рантайме?
	Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

	38. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (29), 28-Май-26, 12:04
	По-моему должно быть понятно, что если аппаратно, то это для этапа исполнения, а не для этапа компиляции.
	Ответить | Правка | Наверх | Cообщить модератору

	41. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от q (ok), 28-Май-26, 12:09
	Ты ответил на вопрос: "а это в рантайме или во время компиляции?" Какой вопрос задал я: "как эта хренотень сравнится с компайл-тайм-проверками раста?"
	Ответить | Правка | Наверх | Cообщить модератору

	44. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 12:26
	Достаточно ясно ответил. Прикалываешься или действительно тупишь?
	Ответить | Правка | Наверх | Cообщить модератору

	52. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (52), 28-Май-26, 12:31
	> Достаточно ясно ответил. Прикалываешься или действительно тупишь? Да какие тут приколы((( Местные растохейтеры зачастую с интеллектом на уровне тумбочки. Так что приходится разговаривать как с ребенком.
	Ответить | Правка | Наверх | Cообщить модератору

	69. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от q (ok), 28-Май-26, 12:48
	Давай на пальцах объясню: раст проверяет в компайл-тайме -- разработчик гарантированно узнает об ошибке, потому что иначе он тупо не получит бинарь. Твоя неготовая хрень проверяет лишь в рантайме: узнает ли об ошибке разраб, зависит исключительно от того, потратит ли пользователь время на регистрацию в багтрекере, заведение бага и так далее. Но это в лучшем случае. В обычном же, пользователь выйдет в подъезд и позвонит по номеру в объявлении "Антон, починка компьютеров, переустановка винды, сделаю как для себя, качественно". Понял? Еще раз: твоя хреновина не гарантирует, что разраб узнает об ошибке. А раст гарантирует.
	Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

	89. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 13:04
	Так я нигде и не утверждал, что это каким-то магическим образом сообщит разработчику. Оно лишь поможет предотвратить эксплуатацию проблемы. А разработчик таки будет вынужден заняться поиском, когда посыпятся жалобы "твоя прога падает". Даже без багрепортов.
	Ответить | Правка | Наверх | Cообщить модератору

	37. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним1234 (?), 28-Май-26, 12:02
	То есть в составе CI\CD надо будет запускать код на этом?
	Ответить | Правка | К родителю #29 | Наверх | Cообщить модератору

	39. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 12:07
	По желанию трудящихся. Можете CI/CD поручить нейрослопику.
	Ответить | Правка | Наверх | Cообщить модератору

3. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
Сообщение от aname (ok), 28-Май-26, 11:12
> для примера за вчерашний день было опубликовано 277 отчётов об уязвимостях в ядре Надёжное, безопасное ведро, не то, что эти ваши другие ОС. Тысячи глаз®™© таки сходили к офтальмологу, чтоли? > По словам Грега, большинство ошибок в ядре вызваны подобными мелочами Т.е. если бы ещё, параллельно, пилили анализатор кода, а может бы и готовые какие взяли, то не надо было бы тащить отдельную ненужность в ведро. Stable development is nonsense!
Ответить | Правка | Наверх | Cообщить модератору

	9. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (9), 28-Май-26, 11:18
	https://rust-lang.org/ru/
	Ответить | Правка | Наверх | Cообщить модератору

	10. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от небесный ученый (?), 28-Май-26, 11:19
	тысячеглазый скайнет тебя устроит ?
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	16. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 11:27
	Оно хотя бы смотрит. И, как видно, даже такой скайнет, на который сподобились кожаные, оказался эффективней "тысячи глаз"®™© Уж во всяком случае, оно реально что- то находит и репортит. Да, такой скайнет меня устраивает сильно больше, чем… Даже такое дополнение, в виде скайнета сильно лучше, чем без него, и неописуемо лучше лишних нинужностей.
	Ответить | Правка | Наверх | Cообщить модератору

	51. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (51), 28-Май-26, 12:30
	Я тебе маленький секрет открою. Смотреть и репортить туда могут исключительно работники корпораций, которые внесли $$ в их фонд. ИИ тут не исключение. Если бы пришёл левый васян со своим нейрослопом, то его бы патчи давно бы выкинули, а аккаунт забанили.
	Ответить | Правка | Наверх | Cообщить модератору

	71. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 12:50
	> Я тебе маленький секрет открою. Смотреть и репортить туда могут исключительно работники > корпораций, которые внесли $$ в их фонд. ИИ тут не исключение. > Если бы пришёл левый васян со своим нейрослопом, то его бы > патчи давно бы выкинули, а аккаунт забанили. Какой опенсурс и свободу от корпораций построили, такой и имеете
	Ответить | Правка | Наверх | Cообщить модератору

4. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
Сообщение от Аноним (4), 28-Май-26, 11:14
Никак не поможет - сейчас уже ИИ всё это делает. Rust is obsolete.
Ответить | Правка | Наверх | Cообщить модератору

	8. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от Аноним (8), 28-Май-26, 11:17
	дааа, сейчас уже ИИ делает все ошибки сам... вот выверять за ним эти портянки - то ещё приключение
	Ответить | Правка | Наверх | Cообщить модератору

6. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Аноним (8), 28-Май-26, 11:16
Может помочь... а может не помочь... я почему-то про уязвимости в решениях на хрусте слышу чаще чем в голагне, хотя инструменты на голагне используются вот прям сильно больше
Ответить | Правка | Наверх | Cообщить модератору

7. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от sunjob (ok), 28-Май-26, 11:16
жаль, а мог-бы рассказать как можно накрыть медным тазом! :о)
Ответить | Правка | Наверх | Cообщить модератору

11. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+4 +/–
Сообщение от Аноним (11), 28-Май-26, 11:22
Если бы переписували на СИ с нуля, то большинство этих ошибок из доклада также бы нашлось.
Ответить | Правка | Наверх | Cообщить модератору

	59. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:40
	на си пишут, а не переписывают, в отличие от
	Ответить | Правка | Наверх | Cообщить модератору

	80. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (80), 28-Май-26, 12:58
	> на си пишут, а не переписывают, в отличие от К сожелению наш картофельный веб-синьор не знает историю. СИ был изобретен чтобы ПЕРЕПИСАТЬ юникс с PDP11. К сожалению он вышел убогим вот прям сразу, так как первая CVE была сразу в  юникс4.
	Ответить | Правка | Наверх | Cообщить модератору

13. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
Сообщение от Аноним (13), 28-Май-26, 11:24
Тем временем uutils такие: подержи моё пиво.
Ответить | Правка | Наверх | Cообщить модератору

	15. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от Аноним (13), 28-Май-26, 11:25
	^ честно говоря, вся эта возня с Rust выглядит как попытка корпов отвзяаться от GPL кода и закрыть К.Е.М. сорсы через пермессисивки.
	Ответить | Правка | Наверх | Cообщить модератору

	18. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (18), 28-Май-26, 11:29
	ядре нет не gpl кода и не будет, Раст тут ничего не поменяет. На уровне ядра и системных утилит gpl выгоден кормам не меньше чем всем нам.
	Ответить | Правка | Наверх | Cообщить модератору

	54. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (54), 28-Май-26, 12:33
	> Тем временем uutils такие: подержи моё пиво. А что, в uutils были "типичные ошибки разработчиков на языке Си при работе с памятью, блокировками, обработкой ошибок" уровня "разименовал null", "use-after-free", "double-free", "вылез за пределы буфера"? Или персонажи вроде тебя, которые продолжают всплывать тут с этим uutils при каждом упоминании Rust, вообще не различают ошибки работы с памятью/асинхронщиной и логические ошибки? Вопрос риторический, если что.
	Ответить | Правка | К родителю #13 | Наверх | Cообщить модератору

	87. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (87), 28-Май-26, 13:03
	Root в дырявых uutils получить проще простого было и без этих ошибок.
	Ответить | Правка | Наверх | Cообщить модератору

14. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
Сообщение от Аноним (14), 28-Май-26, 11:25
то то тут недавно публиковали зиллион ошибок в раст модулёчках. а так -- да, раст это безопасно, раст это скрепно, раст это броня
Ответить | Правка | Наверх | Cообщить модератору

	19. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от aname (ok), 28-Май-26, 11:29
	Это были БЕЗОПАСНЫЕ ошибки
	Ответить | Правка | Наверх | Cообщить модератору

	22. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от Аноним (51), 28-Май-26, 11:35
	безопасТные!
	Ответить | Правка | Наверх | Cообщить модератору

	23. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от Аноним (23), 28-Май-26, 11:35
	>При этом, Rust не рассматривается как панацея, способная избавить от всех проблем
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

	28. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от aname (ok), 28-Май-26, 11:42
	Сишники в штаны подкидывают проблемы с языком же
	Ответить | Правка | Наверх | Cообщить модератору

	64. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:46
	и в подъездах ссут
	Ответить | Правка | Наверх | Cообщить модератору

	67. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 12:47
	> и в подъездах ссут Это потому, что подъезды дырявые
	Ответить | Правка | Наверх | Cообщить модератору

	73. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:52
	как будто это что-то плохое
	Ответить | Правка | Наверх | Cообщить модератору

	66. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:46
	"rust - это всего лишь инструмент" (с) продавцы llm-скама
	Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

17. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
Сообщение от Аноним (17), 28-Май-26, 11:28
Хороший человек который более 20 лет разрабатывает ядро в огромном количестве подсистем и знает все его недостатки. Он правильно указал, что в переписках разработчикам приходится обсуждать вещи как разыменование указателей и т.д Время потраченное на которые можно было бы потратить разработку действительно важных вещей. За Rust будущее. Как минимум USB drivers стек его внедрять необходимо. Насколько знаю, там огромный бардак и куча проблем с безопасностью.
Ответить | Правка | Наверх | Cообщить модератору

	21. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+3 +/–
	Сообщение от aname (ok), 28-Май-26, 11:34
	Ну, т.е. Кроа-Хартман глазами видит, что происходит жесть, и вместо того, чтоб, при помощи I'M FINNISH (HIM) внести в стандарты разработки использование хоть каких- то анализаторов кода, а ещё лучше, создать инициативу по разработке свободного анализатора кода, и не пускать код без проверки на анализаторе (благо, код- то, внезапно, открытый), они КАЖДЫЙ РАЗ ОБСУЖДАЮТ ОДНО И ТОЖЕ. Ну, выглядит как правильно и хорошо настроеные процессы разработки. ЭТАЛОН!
	Ответить | Правка | Наверх | Cообщить модератору

	24. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
	Сообщение от Аноним (51), 28-Май-26, 11:35
	Ему некогда, он осваивает бабки.
	Ответить | Правка | Наверх | Cообщить модератору

	26. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 11:38
	Так на анализатор можно было бы собрать тоже нормально. Типа: вооооот какая у нас база профессионалов, со взором горящим, а ещё это база бесплатных тестеров. Вот мы сейчас как запилим, не хуже проприетарных! Там бы очередь выстроилась.
	Ответить | Правка | Наверх | Cообщить модератору

	43. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (51), 28-Май-26, 12:19
	Я тебя маленький секрет открою. Бабки им выделили под "безопасный" язык. На анализиторы никто их не выделял.
	Ответить | Правка | Наверх | Cообщить модератору

	63. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 12:44
	> Я тебя маленький секрет открою. Бабки им выделили под "безопасный" язык. На > анализиторы никто их не выделял. Похоже на то
	Ответить | Правка | Наверх | Cообщить модератору

	48. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (52), 28-Май-26, 12:28
	> Так на анализатор можно было бы собрать тоже нормально. Так анализаторы УЖЕ есть. Даже опенсорсные. > Типа: вооооот какая у нас база профессионалов, со взором горящим, А если приглядеться, то какие-то Dirty Fagʼи)) Ты серьезно думаешь, что бесконечный поток CVE/RCE в ядре это от большого профессионализма? > Там бы очередь выстроилась. Хаха, но пока патчи отправляют почтой (хорошо хоть не голубиной), CI/CD - какие-то инопланетные технологии, а Торвальдс бухтит в рассылке "почему в основную ветку попал не компилирующийся код". А в остальном прекрасная маркиза, всё хорошо, всё хорошо, всё хорошо! (с)
	Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору

	53. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (51), 28-Май-26, 12:32
	>Хаха, но пока патчи отправляют почтой Патчи туда отправить тот ещё квест. И не факт, что его вообще кто-то будет читать и проверять. Разве что какой-нибудь условный интел пригрозит урезать финансирование.
	Ответить | Правка | Наверх | Cообщить модератору

	25. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (23), 28-Май-26, 11:37
	Форкай линух и сделай в нём обязательную проверку анализаторами кода, а ещё лучше, создай инициативу по разработке свободного анализатора кода
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	27. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от aname (ok), 28-Май-26, 11:39
	Сразу как только форкну Кроа-Хартмана, с возможностью дебага последнего.
	Ответить | Правка | Наверх | Cообщить модератору

	78. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (29), 28-Май-26, 12:56
	Великий пальцепоказывающих мог бы ещё лет 10 - 15 назад внедрить требования MISRA при разработке ядра. И корпорасы бы его не стали нагибать на внедрение Rust.
	Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

	81. Скрыто модератором	+/–
	Сообщение от Анонон (?), 28-Май-26, 12:58
	Не мог. Разрабы ядра не смогли бы на мисре написать ядро. Потому что мисра - это кастрированный СИ.
	Ответить | Правка | Наверх | Cообщить модератору

	30. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Ну (?), 28-Май-26, 11:45
	> и вместо того, чтоб, при помощи I'M FINNISH (HIM) внести в стандарты разработки использование хоть каких- то анализаторов кода ну так внесли внизапна, rustc > Ну, выглядит как правильно ну так и выглядит, ну-ну-ну.
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	31. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+1 +/–
	Сообщение от aname (ok), 28-Май-26, 11:48
	Ну? Ну- ну- ну. Непонятно, зачем тянуть ниНУжное в ядро, когда есть анализаторы кода.
	Ответить | Правка | Наверх | Cообщить модератору

	46. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (54), 28-Май-26, 12:27
	> Непонятно, зачем тянуть ниНУжное в ядро, когда есть анализаторы кода. Затем, что анализаторы кода есть и регулярно запускаются - но не вывозят.
	Ответить | Правка | Наверх | Cообщить модератору

	60. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 12:42
	>> Непонятно, зачем тянуть ниНУжное в ядро, когда есть анализаторы кода. > Затем, что анализаторы кода есть и регулярно запускаются - но не вывозят. Совершенствовать надо. А то тут вывозят, тут не вывозят.
	Ответить | Правка | Наверх | Cообщить модератору

	86. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (54), 28-Май-26, 13:01
	> Совершенствовать надо. Приступай! А адекватным проще взять уже готовый инструмент.
	Ответить | Правка | Наверх | Cообщить модератору

	42. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (42), 28-Май-26, 12:16
	Анализаторы кода это не серебряная пуля. Вообще всё не серебряная пуля, кроме самой серебряной пули... но не суть. Вон проводили аудит LLVM. opennet.ru/opennews/art.shtml?num=60707 Реально сложный проект, который обмазан автотестами, санитайзерами, фаззингом "С 1.1 до 2.4 млн строк кода увеличен охват кодовой базы, вовлечённой в fuzzing-тестирование. Также был расширен используемый для fuzzing-тестирования инструментарий, а число применяемых для проверки fuzzing-движков увеличено с 12 до 15" И что? А все равно "удалось выявить 12 новых проблем, из которых 8 были вызваны ошибками, приводящими к повреждению памяти. 6 выявленных уязвимостей приводили к переполнению буфера, 2 к обращению к уже освобождённой памяти, 3 - к разыменованию нулевых уязазателей и 1 к чтению из области вне выделенного буфера" Какой вывод можно сделать? Хоть обмажся анализаторами-санитайзерами, дырявые все равно найдут как сделать ошибку в памяти.
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	58. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от aname (ok), 28-Май-26, 12:40
	>[оверквотинг удален] >> вызваны ошибками, приводящими к повреждению памяти. 6 выявленных уязвимостей приводили >> к переполнению буфера, 2 к обращению к уже освобождённой памяти, 3 >> - к разыменованию нулевых уязазателей и 1 к чтению из области >> вне выделенного буфера" >> >> Какой вывод можно сделать? >> Хоть обмажся анализаторами-санитайзерами, дырявые все равно найдут как сделать ошибку >> в памяти. > С 1.1 до 2.4 млн строк кода увеличен охват кодовой базы > удалось выявить 12 новых проблем Удалось выявить. Это примерно, в общем и целом то, чем занимаются инструменты, для чего предназначены подобного рода. Цикл "Выявить- исправить" Верно. Но 12 проблем и 277 только за один день, а мейтейнит он это ведро уже херову гору лет, да ещё и каждый божий раз указывать в переписке на одно и тоже. Это номер раз, второе: когда говорят про дырявых, не совсем понятно о ком речь, а то uutils мы уже видели. И это не самый сложный проект, до llvm, поди, далековато будет. А ещё мы все видели прекрасный вход в ведро какого- то безопасного языка, где нашли дыру. Б- Безопасность! Номер три: средства анализирования в некоем безопасном языке кто делал? Инопланетяне? Нет? Ничто не мешает завезти и в любой другой, было бы желание. Такие средства позволили бы решить хорошее количество проблем, но… эта погоня за серебрянной пулей в виде %randomname% языка, который вот точно- точно, вот прямо сейчас всё. > Какой вывод можно сделать? Если мыть руки перед едой, а еду правильно готовить- не получишь расстройства желудка. Если не совать пальцы в розетку- не получишь удар током. Если обезьяне не давать в руки гранату- будешь здоровее. Если формализовать требования к коду, то получишь то, что получишь. Если пользоваться инструментами для выявления проблем с безопасностью кода- эти проблемы с безопасностью кода можно исправить. Можно сколько угодно кукарекать про безопасные языки (с unsafe, ага), и про дырявые, но если человек- фанатик, ему поможет только лоботомия. seL4 написан ни разу не на "безопасТном языке" и чёт как- то не слышно этих вскукареков про дырявость. Не суйте пальцы в розетку, пользуйтесь презервативами, проверяйте код и будет нормально. Так понятно?
	Ответить | Правка | Наверх | Cообщить модератору

	74. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (74), 28-Май-26, 12:54
	> Удалось выявить. Это примерно, в общем и целом то, чем занимаются инструменты, для чего предназначены подобного рода. Цикл "Выявить- исправить" А сколько не удалось? > Верно. Но 12 проблем и 277 только за один день, а мейтейнит он это ведро уже херову гору лет, да ещё и каждый божий раз указывать в переписке на одно и тоже. Да, это так, но кодовая база, команда и то "сколько лет в llvm есть такие проверки" решают. > когда говорят про дырявых, не совсем понятно о ком речь, а то uutils мы уже видели. "277 только за один день" - вот тебе и ответ) Покажи сколько в uutils было типичных ошибок памяти? > Ничто не мешает завезти и в любой другой, было бы желание. Мозги и желание. Дырявые сишники из ядра не хотят использовать. Заставить ты их не можешь. > Если мыть руки перед едой, а еду правильно готовить- не получишь расстройства желудка. Т.е все таки применять кастрюлю, а не сральное ведро? (Зато оно ПЕРЕНОСИМО: можно еще с него кормить скотину, замешивать цемент...) > Если не совать пальцы в розетку- не получишь удар током. А провода надо изолировать? > Если обезьяне не давать в руки гранату- будешь здоровее. Но почему-то у СИшников СИ не отбирают 🤷, хотя ты сам написал "277 только за один день". > Если формализовать требования к коду, то получишь то, что получишь. Ну ты загнул... там же лебедь-рак и щука, а может даже несколько. > Если пользоваться инструментами для выявления проблем с безопасностью кода- эти проблемы с безопасностью кода можно исправить. Проблему лучше предотвратить, а не лечить последствия. > seL4 написан ни разу не на "безопасТном языке" и чёт как- то не слышно этих вскукареков про дырявость. Это отличный пример как можно сделать код от дырявых - надежным. Для 8,700 строк C и 600 строк ассемблера пришлось написать 200,000 строк Isabelle script. В итоге - написание abstract заняло примерно 4 человеко-месяца - два человеко-года ушло на весь Haskell прототип (design, documentation, coding, testing) - на executable spec потратили всего лишь 2 человеко-месяца - начальная трансляция в С заняла 3 недели, а полная C implementation - 2 человеко-месяца - общие затраты на seL4-specific proof 11 человеко-лет Посчитаешь сколько нужно затрат хотя бы для 100к самых критически важных функция ядра? А на всё ядро? > Не суйте пальцы в розетку, пользуйтесь презервативами, проверяйте код и будет нормально. > Так понятно? Ну, т.е делайте хорошо, не делайте плохо, в машине тормоза не нужны, просто не разгоняйтесь. То что провода под напряжением валяются без изоляции - просто не наступайте.
	Ответить | Правка | Наверх | Cообщить модератору

	79. Скрыто модератором	+/–
	Сообщение от Аноним (54), 28-Май-26, 12:57
	> когда говорят про дырявых, не совсем понятно о ком речь, а то uutils мы уже видели. Ни черта "вы" не видели, потому что вулны в uutils были не из-за проблем работы с памятью, а из-за логики. > средства анализирования в некоем безопасном языке кто делал? [...] Ничто не мешает завезти и в любой другой Ну, вообще-то мешает. Как минимум - отсутствие в этих "любых других" языках аннотаций лайфтаймов, которую ты обязан писать на каждый чих. Хотя, наверное, ты, как и другие воины против Раста, видевшие этот раст только краем глаза на картинках, вообще не понимаешь, о чем я тебе только что сказал. > seL4 написан ни разу не на "безопасТном языке" и чёт как- то не слышно этих вскукареков про дырявость. АХАХА! Действительно, почему? Наверное потому, что он обмазан формальной верификацией? И именее, чем 10000 (десять тысяч, Карл!) строк этого seL4 потребовали более 20 человеко-лет труда, с написанием 50 строк кода формальных пруфо на одну строчку дыряшки.
	Ответить | Правка | К родителю #58 | Наверх | Cообщить модератору

	45. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (54), 28-Май-26, 12:26
	> внести в стандарты разработки использование хоть каких- то анализаторов кода, а ещё лучше, создать инициативу по разработке свободного анализатора кода, и не пускать код без проверки на анализаторе Чел, проснись, у них все там обмазано статическими анализаторами. Плюс еще и у тьмы сторонних организаций, контрибъютящих в ядро (типа того же Гугла), они крутятся на постоянке. https://www.kernel.org/doc/html/v6.1/dev-tools/testing-overv... > Ну, выглядит как правильно и хорошо настроеные процессы разработки. ЭТАЛОН! Выглядит как типичная опеннетная диванная экспертиза. ЭТАЛОН!
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	65. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–2 +/–
	Сообщение от aname (ok), 28-Май-26, 12:46
	>> внести в стандарты разработки использование хоть каких- то анализаторов кода, а ещё лучше, создать инициативу по разработке свободного анализатора кода, и не пускать код без проверки на анализаторе > Чел, проснись, у них все там обмазано статическими анализаторами. Плюс еще и > у тьмы сторонних организаций, контрибъютящих в ядро (типа того же Гугла), > они крутятся на постоянке. > https://www.kernel.org/doc/html/v6.1/dev-tools/testing-overv... >> Ну, выглядит как правильно и хорошо настроеные процессы разработки. ЭТАЛОН! > Выглядит как типичная опеннетная диванная экспертиза. ЭТАЛОН! Так надо не безопасТные языки (эффективность которых мы уже видели, uutils вообще ЭТАЛОН показал), а средства проверки совершенствовать. Вы опять кровати двигаете. Эффект прогрнозируемый
	Ответить | Правка | Наверх | Cообщить модератору

	82. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (54), 28-Май-26, 12:59
	> эффективность которых мы уже видели, uutils вообще ЭТАЛОН показал Действительно, показал. Ведь из всех уязвимостей uutils не было ни одной типичной сишечной ошибки работы с памятью. Вот это поворот, да?
	Ответить | Правка | Наверх | Cообщить модератору

	47. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (47), 28-Май-26, 12:28
	Истеришь, капслокер?:)
	Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

	49. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	–1 +/–
	Сообщение от нах. (?), 28-Май-26, 12:29
	лолшта?! Ты можешь быть сможешь показать ЧТО он в ведре наразрабатывал за эти 20 лет? А я тебе покажу откуда готовилось нападение: _ровно_НИ_--Я! Он ни на каком инструменте не играет, он Руководитель, как Вы! (вроде бы вот ДО - в 99м-2000м он что-то там писал в usb subsystem, но поскольку гита еще не было, это крайне нудно и долго проверять, не ограничилось ли и там исключительно README. Говоришь, г-нецо код-то? Ну вооот...) на деле чувак как кодер знаменит исключительно - дерьмовым udev (user code, не ядро) вместо многократно отвергнутой линуксом с его же и других подпевал подачи нормальной реализации devfs. Т.е. поделкой которая могла бы быть и вовсе написана на баш скриптах. Он всю жизнь был шакалом табаки, подлизывающим великому Б-жеству с Пальцем. Тем и добился своего положения, когда деньги от разных фондов платятся, кодить не надо, и можно пакостить окружающим. Зато теперь он рассказывает этим окружающим как они должны правильно кланяться и что к его ногам подавать. Прекрасная карьера, обзавидуешься!
	Ответить | Правка | К родителю #17 | Наверх | Cообщить модератору

	55. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (-), 28-Май-26, 12:36
	Ох как тебя порвало. Ну если похонахи визжат - то значит чувак всё правильно делает. Может ты свои коммиты в ядро покажешь?
	Ответить | Правка | Наверх | Cообщить модератору

	57. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним (54), 28-Май-26, 12:40
	> Может ты свои коммиты в ядро покажешь? Этот только в опеннетные комментарии коммитит. 😂
	Ответить | Правка | Наверх | Cообщить модератору

	75. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:55
	ты так говоришь, как будто Линус - не бог, или не твой бог глупо не признавать очевидные факты - Линус создал наш мир пусти его в своё сердце
	Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

	84. Скрыто модератором	+/–
	Сообщение от Аноним (54), 28-Май-26, 13:00
	> ты так говоришь, как будто Линус - не бог, или не твой бог > пусти его в своё сердце Так этот персонаж неоднократно писал тут, что сидит на Винде. Так что да - не его бог...
	Ответить | Правка | Наверх | Cообщить модератору

	90. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от freehck (ok), 28-Май-26, 13:05
	> Ты можешь быть сможешь показать ЧТО он в ведре наразрабатывал за эти 20 лет? > А я тебе покажу откуда готовилось нападение: _ровно_НИ_--Я! Он ни на каком инструменте не играет, он Руководитель, как Вы! Он вообще-то топ-ревьювер. Это работает так: он код оценивает, и если всё окей — подписывает и пропускает; а если не окей — он пишет, что именно не так, и другие разработчики его доделывают. Так что вполне естественно, что кода за его личным авторством — не вагоны. Но важность его работы недооценивать не стоит.
	Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

32. Скрыто модератором	+4 +/–
Сообщение от Аноним (29), 28-Май-26, 11:49
Грег Кроа-Хартман рассказал о том, как космические корабли могут помочь бороздить просторы Большого театра.
Ответить | Правка | Наверх | Cообщить модератору

35. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+2 +/–
Сообщение от Аноним (35), 28-Май-26, 11:57
Мда, ну он и фантазёр...)
Ответить | Правка | Наверх | Cообщить модератору

	61. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от 12yoexpert (ok), 28-Май-26, 12:43
	за деньги и не такого нафантазируешь
	Ответить | Правка | Наверх | Cообщить модератору

72. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Соль земли2 (?), 28-Май-26, 12:51
> ошибок разработчиков на языке Си при работе с памятью, блокировками, обработкой ошибок и работой с незаслуживающими доверия данными При этом > Rust не рассматривается как панацея То есть хочу, но не хочу. Какое-то когнитивное искажение.
Ответить | Правка | Наверх | Cообщить модератору

	77. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 12:55
	А в чем искажение? Наоборот как раз максимально трезвый взгляд - божественный Rust убирает большой пласт ошибок, но не делает код безошибочным во всех смыслах. Всё верно
	Ответить | Правка | Наверх | Cообщить модератору

76. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
Сообщение от Аноним (87), 28-Май-26, 12:55
>Грег считает, что подобные возможности Rust недопустили бы появления 60% ошибок, выявляемых в ядре, а выполняемые компилятором проверки избавили бы сопровождающих от траты времени на обсуждение с авторами корректности обработки ошибок И привели бы к другим 60% ошибок, пока пытаешься удовлетворить требования компмлятора, только уже не таких очевидных.
Ответить | Правка | Наверх | Cообщить модератору

	85. "Грег Кроа-Хартман рассказал о том, как Rust может помочь в б..."	+/–
	Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 13:00
	Поэтому лучше пусть ядро порождает CVEшки на очевидных ошибках в Си))) чем на неочевидных в божественном Rust
	Ответить | Правка | Наверх | Cообщить модератору

83. Скрыто модератором	+/–
Сообщение от Аноним10084 и 1008465039 (?), 28-Май-26, 12:59
Потешно смотреть, как часть опеннетовской аудитории всё что придумывает, любые аргументы, лишь бы противиться божественному Rust'у. И анализаторы кода всё уже делают, и ИИ уязвимости всё равно найдут (при том, что в соседних топиках ИИ ругают, впрочем бездумную кодогенерацию с помощью ИИ я и сам не особо люблю), и компилятор слишком требовательный. Хотя в сущности что плохого в дополнительных гарантиях божественного Rust?
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема