LINUX.ORG.RU
ФорумTalks

Линус Торвальдс выразил намерение принимать патчи на языке программирования Rust в обход мэйнтейнеров

 , , ,


0

6

Кристоф Хелвиг, мэйнтейнер ряда подсистем ядра Linux, включая DMA, KVM, Slab Allocator и PowerPC, высказался против правил сопровождения Rust в ядре, предложенных проектом Rust for Linux. По его мнению данные правила бесполезны, пока они не согласованы с сообществом, и не включены в официальную документацию к ядру Linux.

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

При этом по словам Кристофа в личной беседе Линус заявил о твердом намерении включать патчи на языке Rust в ядро Linux, что ставит разработчиков и мэйнтейнеров кода в зависимость от данного языка программирования, не зависимо от того хотят ли они этого или нет

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

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

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

Сторонники Rust в ядре выделяют несколько основных преимуществ:

  • Снижение количества ошибок, связанных с памятью и состояниями гонки.

  • Облегчение рецензирования и рефакторинга кода за счёт строгих гарантий языка.

  • Упрощение написания драйверов благодаря продвинутым абстракциям Rust.

  • Привлечение новых разработчиков за счёт поддержки современного языка.

  • Улучшение документации кода благодаря встроенным инструментам и строгим требованиям проекта Rust for Linux.

Подробности (OpenNet)

Перемещено hobbit из kernel



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

Суть такова: умный современный современник знает о религии только то, что это какая-то бяка для управления дикими отупевшими массами, а следовательно, не стоит изучения. Ни сама религия, что очевидно, ни механизмы проповеди (пропаганды), ни оказываемое ей воздействие на людей. А воздействие это, кстати, далеко не всегда плохое, к слову.

Кажется уж что-что, а пропаганду у нас исследуют со всех сторон.

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

Мне кажется всё проще гораздо, ну или сложнее наоборот, не знаю. В общем, смотри. У любого (наверное) есть потребность в положительной мотивации со стороны общества. Мы общественные создания, и не можем игнорировать то, как общество нас принимает и оценивает. У кого-то это стадное чувство выражено сильнее, у кого-то слабее. Но надо быть либо аутистом либо психопатом, чтобы игнорировать реакцию общества на себя. Но не у всех получается быть значимым, полезным или хотя-бы интересным. Поэтому люди себе придумывают замкнутые сообщества с безумными идеями в основе. Кто-то «верит» в ядерную войну в 19м веке, кто-то в сайентологию, кто-то в иллюминатов, а кто-то считает, что надо отрезать себе писюн, вставить в дырочку свинцовый гвоздик и так ты попадешь в царствие небесное. Такая искусственная ценность ради тупо ценности. И поклонение этой ценности одновременно делает тебя причастным к чему-то большому и сверхценному, дает тебе право считать себя лучше других, дает возможность выделиться и стать самым Истинным из Избранных, просто добиться хоть какого-то уважения хоть у кого-то. Тот факт, что эти кто-то все чокнутые, виден только со стороны.

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

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

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

шелл на расте

Shell дырявый by-design и там никакой Rust не поможет.

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

И механизмы эти надо видеть и понимать.

да что тут особо понимать, всегда одно и то же:

  1. придумываем сверхценную идею
  2. несогласных объявляем унтерменшами, макаками, геями, продажными шлюхами корпораций и тому подобное, выбирай на вкус
  3. себя автоматически назначаем единственно расово верным гением современности
  4. игнорируем любую критику
  5. плюсуем согласных, баним несогласных.
  6. PROFIT
FishHook
()

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

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

В Windows нет единой кодовой базы ядра. Вендоры могут писать драйвера как хотят, на любом языке и стиле. Главное чтобы тесты от Microsoft проходило, иначе цифровую подпись не дадут.

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

так в оффтопике догадались драйвера и прочий мусор в ядро не тащить

Так в оффтопике получается монолитное микроядро? А в лялихе монолитный кирпич?

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

Берешь старый проект - он их столько сыпет… На месте, где раньше совершенно чисто было.

Стою на асфальте я в лыжи обутый. То ли лыжи не едут, то ли я %??:?ый.

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

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

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

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

Вообще, самым крайним моим приобретением стала книга румынского (или сербского) программиста по кишкам ядра оффтопа. Книга хорошая.

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

Торвальдсу, да, конец. Сольют и его, он не первый и не последний.

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

пфф, например один айбиэмовский редбук про то, как совладать с плёночными бэкапами весит 500 страниц

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

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

Для такого все умные дяди в флагах пишут -std=c89.

Но, кстати, нифига не ясно. Сишники же дрочат на обратную совместимость, не? Или это всё ложь и её нету?

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

Ща попробовал. Не, не собирается, потому что в C23 добавили bool нативным типом. В лялексе есть typedef _Bool bool и enum { false = 0, true = 1 }. Если их убрать, defconfig для ядра 6.13 собрался с -std=gnu23 (я тупо sed сделал). В сишечке ломают совместимость! Ужас ужас!

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

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

А как же из Just for fun: Если я начну поклоняться Сатане, другие пожмут плечами и форкнут ядро?

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

...оффтопик придерживается единого стиля кодинга...

До 2k примерно был некий единый стиль.

...толстосумы хотят уничтожить Линукс...

Не совсем толстосумы. Скорее ихний deep state.

sparkie ★★★★★
()

Линукс кончился, пора бежать на FreeBSD

Reset ★★★★★
()

При этом по словам Кристофа в личной беседе Линус заявил

То есть, Линус ему лично что-то сказал, а Кристоф разнёс всему миру? Тогда это не Кристоф. Это КРЫСтоф.

next_time ★★★★★
()
Закрыто добавление комментариев для недавно зарегистрированных пользователей (со score < 50)