The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Intel и AMD стандартизируют механизм ChkTag для защиты от уязвимостей при работе с памятью

21.10.2025 11:31

Компании Intel и AMD совместно развивают расширенный набор инструкций ChkTag (x86 Memory Tagging), который будет стандартизирован для унифицированной реализации в x86-процессорах различных производителей. По своим возможностям ChkTag напоминает расширение MTE (MemTag), уже поставляемое в процессорах ARM, и также позволяет блокировать эксплуатацию уязвимостей, вызванных обращением к уже освобождённым блокам памяти, переполнением буфера или обращением к памяти до инициализации.

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

Реализованный метод защиты сводится к созданию для каждого блока памяти тега, который выступает подобием ключа для доступа к этой памяти (например, в реализации MTE для каждых 16 байт создаётся 4-битный тег). Тег генерируется приложением для выделяемой области памяти при помощи специальных инструкций CPU, а затем сохраняется в верхних неиспользуемых битах указателя, а также в зарезервированной и недоступной для приложений области линейной/виртуальной памяти. При обращении к памяти с использованием тегированного указателя процессор проверяет соответствие тега, привязанного к указателю, с тегами, привязанными к блокам памяти, и разрешает доступ только если теги совпадают.

Технология ChkTag разработана в рамках совместной работы Intel и AMD в группе EAG (x86 Ecosystem Advisory Group), образованной год назад для сотрудничества по обеспечению совместимости между платформами x86, стандартизации интерфейсов продуктов Intel и AMD, упрощения разработки программного обеспечения для систем x86 и выявления потребностей разработчиков в расширении архитектуры. Кроме Intel и AMD в число участников группы входят Линус Торвальдс, создатель ядра Linux, Тим Суини, основатель компании Epic Games и один из ключевых разработчиков игрового движка Unreal Engine, а также представители компаний Broadcom, Dell, Google, Hewlett Packard, Lenovo, Meta, Microsoft, Oracle и Red Hat.

Помимо ChkTag компании Intel и AMD также стандартизировали и унифицировали реализации модели обработки прерываний FRED (Flexible Return and Event Delivery), набора векторных инструкций AVX10 и расширений для умножения матриц ACE (Advanced Matrix Extensions).

  1. Главная ссылка к новости (https://news.ycombinator.com/i...)
  2. OpenNews: Intel и AMD при участии Линуса Торвальдса создали консультативную группу по экосистеме x86
  3. OpenNews: Проект TrapC развивает Си-подобный язык, безопасно работающий с памятью
  4. OpenNews: Fil-C - компилятор для языков C и C++, гарантирующий безопасную работу с памятью
  5. OpenNews: Бьёрн Страуструп призвал стандартизировать профили C++ для безопасной работы с памятью
  6. OpenNews: Релиз проекта Memsafe для безопасной работы с памятью в С++
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/64091-chktag
Ключевые слова: chktag, intel, amd
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (175) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (-), 11:43, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • –13 +/
    > позволяет блокировать эксплуатацию уязвимостей, вызванных
    > обращением к уже освобождённым блокам памяти, переполнением
    > буфера или обращением к памяти до инициализации.

    М... т.е. c сишными дырами решили бороться прям на уровне железа?
    Неужели все НАСТОЛЬКО плохо?

     
     
  • 2.7, Аноним (7), 12:00, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –8 +/
    >Неужели все НАСТОЛЬКО плохо?

    Да, сишники реально не обучаемые, а переписывать весь софт никаких сил не хватит.

     
     
  • 3.17, Я (??), 12:13, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    но для использования этих инструкций надо будет переписывать код.. хтя в некоторых случаях умный компилятор может сам нагенерить нужный код наверное..
     
  • 3.99, Аноним (-), 15:26, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Да, сишники реально не обучаемые, а переписывать весь софт никаких сил не хватит.

    Т.е. все гранты Rust можно уже сворачивать. PROFIT!

     
  • 2.11, Аноним (11), 12:07, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Самый разумный подход. А то у ассемблера нет чекера боровов.
     
     
  • 3.15, Аноним (-), 12:12, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Самый разумный подход.

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

    Не, ну понятно что новые сервера и оператива сами себя не продадут.

     
     
  • 4.101, Аноним (101), 15:29, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Там же написано, верхние 4 бита адреса, которые из 64 бит один фиг ни одно приложение и пк не адресует. Хорошо если 50 бит сейчас самые крутые процы могут использовать для адресации.
     
  • 4.104, МимоПроходил (?), 15:38, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • +3 +/
     
  • 3.21, Аноним (21), 12:20, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Самый разумный подход. А то у ассемблера нет чекера боровов.

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

     
     
  • 4.27, Аноним (11), 12:27, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Ну проверь в ассемблерном коде на этапе компиляции, удачи.
     
     
  • 5.33, Аноним (-), 12:36, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну проверь в ассемблерном коде на этапе компиляции, удачи.

    Зачем? Может нужно просто генерить валидный ассемблерный код, а не всякий булщит?
    А "генератор" можно и протестить хорошо, и даже формально доказать при наличии нужного кол-ва денег и времени. В отличие от миллионов строк сишного овнокода.

     
     
  • 6.105, Анрним (?), 15:42, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Может сами ассемблерные команды должны быть безопасны на уровне железа? Тебе никто не гарантирует что боров всё проверит и никто не гарантирует защиту что компилятор специально недосмотрит там где эти нужно Анб.
     
  • 5.106, Аноним (21), 15:47, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну проверь в ассемблерном коде на этапе компиляции, удачи.

    Ты не поверишь, но борроу чекер так и делает :) Только не "в" ассемблерном коде (это, извини, бред какой-то), а перед его генерацией.

     
     
  • 6.109, Аноним (-), 15:52, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Ты не поверишь, но борроу чекер так и делает :) Только не
    > "в" ассемблерном коде (это, извини, бред какой-то), а перед его генерацией.

    Однако вон там есть немало unsafe кода, а вызовы asm вставок, вещей на C и проч unsafe - by design и следующие полвека это все явно будет с нами. Так что спасителя человечества из борова не получилось. Так, шашлычок на пикнике корпов.

     
     
  • 7.154, Аноним (154), 17:32, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Однако вон там есть немало unsafe кода, а вызовы asm вставок, вещей на C и проч unsafe - by design

    Ну так именно для этого "unsafe by design" и создают костыли типа сабжа.

    > вещей на C [...] следующие полвека это все явно будет с нами
    > Так что спасителя человечества из борова не получилось

    Хочешь сказать, что ложечка Сишки портит бочку Раста? Я думал, ты против Раста воюешь, а тут такой поворот...

     
     
  • 8.158, Аноним (-), 17:47, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    И отлично не придется писать на птичьих языках не от мира сего, бороться с боро... текст свёрнут, показать
     
  • 4.169, Феникс123 (?), 18:07, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    На расте кстати постоянные проверки на этапе рантайма. Все обращения по индексу, RefCell, необходимость использовать Arc/Rc потому как за сырой поинтер тебе посоны предъявят - в результате код получается в целом более медленный чем корректный код на C/C++. Но зато safe.
     
  • 2.12, Аноним (12), 12:09, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > М... т.е. c сишными дырами решили бороться прям на уровне железа?
    > Неужели все НАСТОЛЬКО плохо?

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

     
     
  • 3.120, Аноним (-), 16:16, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну да, настолько. Только вот сишечку сдесь обижать не принято, поэтому местные
    > ее защитники сейчас, как всегда, наставят тебе минусов, но по существу
    > ничего возразить не смогут.

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

     
  • 3.170, Аноним (-), 18:08, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Ну да, настолько. Только вот сишечку сдесь обижать не принято,

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

     
  • 2.19, Аноним (19), 12:18, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • –1 +/
     
     
  • 3.25, Аноним (11), 12:26, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • +1 +/
     
     
  • 4.35, Аноним (19), 12:39, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • –1 +/
     
     
  • 5.58, Аноним (11), 13:41, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 6.69, Аноним (19), 13:59, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • –1 +/
     
     
  • 7.87, Аноним (7), 14:39, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • –1 +/
     
     
  • 8.90, Аноним (19), 14:45, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • +1 +/
     
  • 2.30, Аноним (30), 12:34, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Криворукость не зависит от языка программирования.
     
     
  • 3.46, Аноним (-), 13:13, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Криворукость не зависит от языка программирования.

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

     
     
  • 4.167, Аноним (167), 18:04, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    А кто unsafe блоки в Rust пишет?
     
  • 2.152, Аноним (152), 17:22, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >"Неужели все НАСТОЛЬКО плохо? "

    Да, на столько всё плохо!

     

  • 1.2, Аноним (2), 11:49, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +5 +/
    С одной стороны нужное.
    С другой ещё один повод заставить обновить железо, как было с TPM2.
    С третьей всё равно всплывут новые дыры.

    Это реклама риск-5, наверное.

     
     
  • 2.183, Аноним (183), 18:39, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >повод заставить обновить железо, как было с TPM2

    Спецификация TPM 2.0 появилась в 2014 году:
    https://en.wikipedia.org/wiki/Trusted_Platform_Module

     

  • 1.3, llolik (ok), 11:55, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +6 +/
    Т.е. придумали примерно тоже самое, что в местном E2K было чуть не с самого начала - тэгированную память. Забавно, однако.
     
     
  • 2.14, Аноним (11), 12:11, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Даже если и так, зато хоть это в розничных комповых магазинах можно будет купить за приемлемую цену, в отличие от.
     
  • 2.32, Аноним (-), 12:35, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Местный E2K когда проявился?
    А интеловские-амд когда?
    Вот и ответ.

    Смотреть на лидеров и обходить их ошибки всегда легче.
    Правда E2K получился каким-то фиговым, несмотря на это всё)

     
     
  • 3.48, Аноним (48), 13:18, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    x86_64 и E2K появился примерно в одно и то же время, около 2000 года.
     
  • 3.72, Аноним (19), 14:01, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –3 +/
    Если тебе интересно, итаниум появился как раз из эльбруса. Но компилятор не потянули вовремя сделать, это было основной причиной провала.
     
     
  • 4.172, Аноним (172), 18:11, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > итаниум появился как раз из эльбруса.

    не курите

     
  • 2.36, Comdiv (ok), 12:44, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Не то же самое. На E2K это было сделано, чтобы было, но настолько неэффективно, что практически никто этим не пользуется. Даже программные проверки куда более эффективны. С другой стороны, то, что делается для AMD64, лишь вероятностно предотвратит ошибку.
     
  • 2.91, Фрол (?), 14:52, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > придумали примерно тоже самое, что в  IBM System/38 было чуть не с самого начала - тэгированную память.
    > придумали примерно тоже самое, что в Intel 960 было чуть не с самого начала - тэгированную память.
    > придумали примерно тоже самое, что в  Burroughs каких-то было чуть не с самого начала - тэгированную память.

    и так далее

     
  • 2.144, anonymous (??), 17:01, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    ну тут тоже не совсем наше, в основе была Burrough, хотя мы акцентировали идею тегов и хорошо её развили на практике. Реально удобно, гораздо проще искать источник сбоя. Вообще странно что мало кто её применял, там надо то всего пару битов добавить к проверочным ECC и немного аппаратной логики, очень небольшой процекнт прибавки площади кристалла а выгода очевидна.
     

  • 1.4, Аноним (7), 11:56, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • –4 +/
    Это просто какой-то позор, за более чем полвека сишники до сих пор не узнали ни о зависимых типах, ни об афинных, ни даже об алгебраических. И даже сейчас в этой теме найдутся сишники, которые вместо того, чтобы хотя бы сейчас прочитать об этом, будут рассказывать о том, что нужно быть просто внимательным. И сейчас поверх этой безграмотности сишников делают аппаратные костыли.
     
     
  • 2.6, Аноним (6), 12:00, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > ни о зависимых типах, ни об афинных, ни даже об алгебраических

    Покажи мне как это на ассемблере x86 выглядит.

     
     
  • 3.10, Аноним (7), 12:06, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >Покажи мне как это на ассемблере x86 выглядит.

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

    ЗЫ В качестве примера рекомендую посмотреть на ATS. Или на Idris, если не смущает сборщик мусора.

     
     
  • 4.16, Аноним (6), 12:12, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Си проектировался как портабельный кроссплатформерный ассемблер, таким он и остается. Все эти ваши афинные типы, ООП, классы и тд - это всё высокоуровневые абстракции, которые никакого отношения к сгенерированному ассемблерному коду не имеют отношения. Еще раз - Си это как бы такой ассемблер на стероидах, какие к черту афинные типы в асме?

    А вот синтаксически некорректная программа - это другое (С). Из нее невозможно собрать рабочий ассемблерный код.

     
     
  • 5.26, Аноним (21), 12:26, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Си проектировался как портабельный кроссплатформерный ассемблер, таким он и остается
    > Еще - Си это как бы такой ассемблер на стероидах, какие к черту афинные типы в асме?

    Пхахаха, вот это розовый мирок! Он был "портабельным ассемблером" во времена PDP-11. С тех пор этот копролить уже давно не ложится на архитектуру современных CPU настолько, что на уровне этих самых CPU приходится лепить костыли специально для Сишечки.

    https://queue.acm.org/detail.cfm?id=3212479

     
     
  • 6.59, Аноним (19), 13:42, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Чем это хуже оптимизаций процессора под плюсы и жаву? Сишечка хотя бы предсказуемая независимо от модели процессора.
     
     
  • 7.68, Аноним (-), 13:57, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Чем это хуже оптимизаций процессора под плюсы и жаву?

    Потому что плюсы и жава нормальные языки.

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

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

     
     
  • 8.78, Аноним (19), 14:10, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Вообще, всех тех, кто что-то там восторженно вещает про шланг, читать не обязате... текст свёрнут, показать
     
  • 7.96, Аноним (96), 15:22, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Сишечка хотя бы предсказуемая независимо от модели процессора
    >> предсказуемая

    Пха-ха-ха... Уморил... То-то в комбинациях реализаций компиляторов и архитектур кол-во UB неконтролируемо множится относительно кол-ва "законных" UB, описанных в стандарте. Это уже не говоря об описках со смыслом "на усмотрение реализации компилятора". Предсказуемая...

     
  • 5.29, Аноним (7), 12:33, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Си не проектировался Это типичный тяп-ляп и в продакшин Максимум, о чём они оз... большой текст свёрнут, показать
     
     
  • 6.55, Аноним (11), 13:37, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Даже про объектный ассемблер слышал. Говорили, что был такой у Борланда, но сам не видел. А вот, чтобы был ассемблер с проверкой выхода за границы массива в компайл-тайме или владения адресами памяти, не слышал.
     
     
  • 7.61, Аноним (7), 13:46, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >А вот, чтобы был ассемблер с проверкой выхода за границы массива в компайл-тайме

    Зависимые типы
    >владения адресами памяти

    Афинные типы
    >А вот, чтобы был ассемблер

    Формально, для этого даже не обязательно новый ассемблер делать. Можно как в условном liquid haskell хранить данную информацию внутри комметариев.

     
     
  • 8.130, Аноним (-), 16:35, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Вот когда вы на этом брейнфаке напишете хотя-бы себе операционку, которая будет ... большой текст свёрнут, показать
     
  • 3.13, Аноним (-), 12:09, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Покажи мне как это на ассемблере x86 выглядит.

    Получите-распишитесь godbolt.org/z/ae35Wo649

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

     
     
  • 4.24, Аноним (19), 12:23, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Ну и мерзость же, не удивительно, что ни одной программы на этом так и не написали за всю историю, где таких дураков найдёшь. Это 35 лет, между прочим. Ну, про pandoc не будем.
     
     
  • 5.39, Аноним (7), 12:49, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    У вас никакой начитанности нет? Очевидно же, что хаскель будет давать не лучший ассемблерный код. Вот вам пример на Ocaml https://godbolt.org/z/7z4f79js1 а ещё лучше на rust https://godbolt.org/z/6KnMeGTeY
     
  • 5.43, Аноним (-), 12:59, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Ну и мерзость же

    Реакция типичного неосилятора))

    >  не удивительно, что ни одной программы на этом так и не написали за всю историю

    И ванье типичного дырявого СИшника.
    Про git-annex ты вообще слышал?
    А Bluespec SystemVerilog это что?
    Или seL4, которое изначально писалось на хаскеле, чтобы проводить верификацию?
    И это без корпоративного закрытого кода, для бизнеса и всяких финансов.

    Я понимаю, это не настолько круто как писать дырявые утилитки на сях.

     
     
  • 6.131, Аноним (-), 16:37, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >> Ну и мерзость же
    > Реакция типичного неосилятора))

    А вы что осилили то? Операционки на вашем брейнфаке у вас есть? Ваши нужды обслуживают? Или кто тут еще неосилятор то? Вот этот тип - гадящий на головы тем, чью операционку юзает? Что ж вы такие - юзаете софи и ос от сишников, да еще неосилятором после этого смеете обзываться, вместо того чтоб мастеркласс то всем дать? :)

     
     
  • 7.146, Аноним (-), 17:13, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    О, очередной "спирва добейся!!!111"))
    Наш брейнфак уже работает в андроиде на миллионах устройств и является языком ядра.

    >  Вот этот тип - гадящий на головы тем, чью операционку юзает?

    "Нельзя говорить что жигули это ведро с гайками, пока не построишь БМВ" ?

    > Что ж вы такие - юзаете софи и ос от сишников, да еще неосилятором после этого смеете обзываться, вместо того чтоб мастеркласс то всем дать? :)

    Так мы его активно заменяем.
    Вон uutils уже в бубунте тестируется.
    Если бы диды "я не буду учить новый язык!" не копротивлялись процесс шел бы гораздо быстрее.
    Но рабобаем с тем что есть. А именно с самоуверенными необучаемыми бракоделами.

     
     
  • 8.162, Аноним (-), 17:54, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Слов из песни не выкинешь Насколько я помню потуги с Fucshia были не особо удач... большой текст свёрнут, показать
     
  • 3.135, Аноним (135), 16:40, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    А как на ассемблере x86 выглядит restrict или чем char* отличается от void*?
     
  • 2.22, Аноним (22), 12:21, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Вот только софтом, который писали сишники пользуются, т.к. он быстрый и создаётся за разумное время. А академически правильный код зачастую годится только ЧСВ потешить.
     
     
  • 3.53, Аноним (7), 13:30, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –3 +/
    >Вот только софтом, который писали сишники пользуются, т.к. он быстрый и создаётся за разумное время.

    Софт на си уже массово вытеснен софтом не на си. Хоть rust, хоть go, хоть js, лишь бы не на си.

     
     
  • 4.62, Аноним (22), 13:48, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Что-то я не вижу в репозитории OpenSuse особо софта на js или go. Раст это капля в море. На бэкенде - да популярны, но там задачи однотипные типа перекладывания жсонов в базу, а как только хоть чуть-чуть думать надо, геймдев хотя бы, не говоря уж о серьёзном софте типа кадов или условного фотошопа - так ой всё, все эти хипсторы куда-то испаряются.
     
     
  • 5.75, Аноним (7), 14:08, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Почему именно OpenSuse и что именно вы собираетесь увидеть Ну давайте подумаем ... большой текст свёрнут, показать
     
     
  • 6.83, Аноним (22), 14:26, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Бэкендовая обёртка над гитом docker - тот ещё тормоз, банальное копирование нес... большой текст свёрнут, показать
     
  • 6.86, Аноним (22), 14:38, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    А ну чтобы не выдумвать ничего, вот статистика ЯП в репозитриях Дебиан. https://sources.debian.org/static/img/stats/sloc_bar_plot.png
     
  • 4.134, Аноним (-), 16:39, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Софт на си уже массово вытеснен софтом не на си. Хоть rust,
    > хоть go, хоть js, лишь бы не на си.

    Что-то фуксия мир так и не захватила. И захват мира в очередной раз отложился. Черт, вы без си вообще компьютер не включите. И ни один чип в нем не заведется. Даже фирмвар SSD какого, или что там у вас. Но вы можете показать этим сишникам мастеркласс... или... кажется не можете? И вот кто тут неосиляторы тогда? :)

     
  • 2.37, Аноним (37), 12:44, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Раз вы такие умные, сделайте нам, сишникам, компилятор, который будет гарантированно генерировать безопасный код.
    И чтобы можно было им пользоваться в реальной жизни, для реальных задач.
    Все поделки, которые мы видим от си-хейтеров - это какие-то максимально кривые яп и инструменты. Такое впечатление, что их создают только для того чтобы чесать свое ЧСВ.

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

     
     
  • 3.40, Аноним (7), 12:56, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >Раз вы такие умные, сделайте нам, сишникам, компилятор, который будет гарантированно генерировать безопасный код.

    Вам его дают уже на протяжении более чем двух десятилетий, а вы всё нос воротите. До rust-а был как минимум ATS и Cyclone, и что, сколько сишников ими пользовались?
    >И чтобы можно было им пользоваться в реальной жизни, для реальных задач.

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

    Очевидно же - никак. Максимум что у вас будет - Cyclone.

     
     
  • 4.42, Аноним (7), 12:58, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >До rust-а был как минимум ATS и Cyclone, и что, сколько сишников ими пользовались?

    Да даже возьмём c++ - сколько сишников после появления плюсов перестали изобретать хотя-бы строки? Ну не позор ли?

     
  • 4.49, Аноним (37), 13:21, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Мы не воротим нос. Мы тоже хотим писать безопасные программы.
    Но писать их в более-менее привычном стиле, привычным синтаксисом.
    Все что предлагают как замену си - это, извините, шлак, на котором НЕУДОБНО программировать.
    Именно поэтому этим не пользуются, а не из-за какого-то мифического заговора сишников против прогресса.
    Вы пишете о сишниках как об отставших в развитии существах, которых вы милостиво наставляете на истинный путь.
    Так же, наверное, думают и создатели всех этих новых шизофреничных ЯП.
    Ну и кагбе вот результат в новости - вместо умников со своим неуемным ЧСВ нам на помощь приходят создатели железа.
     
     
  • 5.54, Аноним (7), 13:36, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Что-то незаметно Я не говорю уже про переход на другой язык, где как минимум ли... большой текст свёрнут, показать
     
  • 5.60, Аноним (-), 13:45, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Еще как воротите Очень заметно Это ваши проблемы Когда начали в панике делать... большой текст свёрнут, показать
     
  • 5.76, Аноним (-), 14:09, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Мы тоже хотим писать безопасные программы.

    Хотеть то вы хотите, а можете ли? Или "Я тоже так могу, просто не хочу"?))

    > это, извините, шлак

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

    > Вы пишете о сишниках как об отставших в развитии существах,
    > которых вы милостиво наставляете на истинный путь.

    Нет, мы пишем о закостенелых бракоделах, которые не хотят писать нормально.

    > вместо умников со своим неуемным ЧСВ нам на помощь приходят создатели железа.

    Ага, а вы продолжите писать овноков. Зашибись.


     
  • 5.84, Аноним (-), 14:28, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Мы не воротим нос.

    и тут же в следующей строке

    > писать их в более-менее привычном стиле, привычным синтаксисом.
    > ... шлак, на котором НЕУДОБНО программировать.

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

    > Ну и кагбе вот результат в новости - вместо умников со своим неуемным ЧСВ нам на помощь приходят создатели железа.

    ChkTag из новости - это такой аппаратный pointer provenance, который сломает многие сишные программы, ибо все, кто кастует указатели через int, окажутся в пролёте.

     
  • 5.103, Аноним (96), 15:34, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    >  Мы тоже хотим писать безопасные программы.

    Но писать их в более-менее привычном стиле

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

    "Мы не хотим ничего менять, но хотим, чтобы оно поменялось (стали получаться безопасные программы)". Это же то самое: "Безумие — это делать одно и то же снова и снова, ожидая иного результата".

     
     
  • 6.126, Аноним (37), 16:23, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >внедрять немного другую парадигму мышления.

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

    Если нужно этот алгоритм переосмысливать, переписывать в функциональном стиле, оформлять его в каком-то безумном синтаксисе, постоянно бороться с шизочекером, который делали аутисты (это не только про rust если что, а и про Frama C, и про eBPF verifier), то естественно я скажу "знаете что, пишите на этом языке сами".

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

     
     
  • 7.127, Аноним (-), 16:26, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Берем обычный императивный алгоритм, перекладываем на Си, все, больше ничего не нужно.

    А потому по невнимательности сравниваете два енама - крокодилы и апельсины - и... они сравниваются! Вот такой замечательный йазычок.

    > И как мы видим, не я один такой, а большинство программистов.

    Большинство программистов в гробу видели писать на этом кале.

     
     
  • 8.132, Аноним (37), 16:38, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Так я эту ветку и начал с предложения хотите что-то поменять - СДЕЛАЙТЕ лучше ... текст свёрнут, показать
     
     
  • 9.137, Аноним (-), 16:45, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Так мы сделали Называется С Если у вас аллергия не плюсы ну возьмите раст... текст свёрнут, показать
     
     
  • 10.142, Аноним (37), 16:58, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    cat azaza cc enum unsigned A 14 enum unsigned B 88 int main... текст свёрнут, показать
     
     
  • 11.155, Аноним (-), 17:39, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Вы заказали 2 entity одного и того же типа И сравнили их С хрена ли это должно... текст свёрнут, показать
     
     
  • 12.176, Аноним (37), 18:17, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    А, то есть для C это был один и тот же enum Понял А можете еще объяснить, по... текст свёрнут, показать
     
  • 8.140, Аноним (-), 16:57, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Сишка простой - и поэтому местами педальный Зато благодаря простоте на нем сист... большой текст свёрнут, показать
     
  • 4.116, Аноним (116), 16:06, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >rust
    >афинных типов

    Речь про это:
    https://doc.rust-lang.org/nomicon/subtyping.html
    ?

     
  • 3.44, Аноним (-), 13:04, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Не, чувак, этот мусор никак не исправить Можно, и даже нужно , об ть и сжеч... большой текст свёрнут, показать
     
     
  • 4.143, Аноним (-), 16:59, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Не, чувак, этот мусор никак не исправить)) Можно, и даже нужно!, об****ть и сжечь.

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

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

     
  • 4.156, Аноним (-), 17:40, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Не, чувак, этот мусор никак не исправить)) Можно, и даже нужно!, об****ть
    > и сжечь.

    Начать можно прямо с вашего компьютера который без сишки неоперабелен :)

     
  • 3.70, Аноним (22), 14:00, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Да не умные они, они только вонять в интернетах могут, а в реале максимум жсоны перекладывают. Раст даже для геймдева не подходит, не говоря уж про серьёзное ПО для работы.
     
     
  • 4.80, Аноним (7), 14:19, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >а в реале максимум жсоны перекладывают

    Только вот сишники даже жсоны не перекладывают, так как всё потечёт и попортит память.

     
     
  • 5.85, Аноним (22), 14:30, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Сишники делают ~80-90% десктопного софта, остальное это C# и swift. Ну и примерно вся эмбеддовка. В РФ просто ни то ни другое особо не развито, тут больше на перепродажу и сервис бизнес целится, наверное поэтому такое мнение сложилось. А так в мировых рейтингах сишка в топе.
     
     
  • 6.88, Аноним (-), 14:40, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > Сишники делают ~80-90% десктопного софта

    Чё??? 80-90% это с++, а не дырявая.

    Игровые движки - с++
    Офисный пакеты - с++
    Игры - с++
    3д пакеты - с++

    Да даже компиляторы - два открытых оптимизирующих компилятора написаны на с++. Причем gсс был вначале на сишке, но потом перешли на плюсы.

     
     
  • 7.112, Аноним (112), 16:01, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > 80-90% это с++

    Процентов чего? Наименований? Которые используют 1000-и-1 библиотеку на Си. В итоге, кодовая база на 99,9% на Си. (И это хорошо.)

    > Причем gсс был вначале на сишке, но потом перешли на плюсы.

    Это была диверсия со стороны Плюсов. Напихать в стандарт огромную библиотеку шаблонов и сделать предельно сложной её поддержку в компиляторе на Сях. Плюс, разрабам компилятора, хош-нехош, пришлось изучать чудовищно раздутый стандарт Плюсов. И переход стал неизбежен.
    Сейчас что-то подобное пытается провернуть Ржавый. Тоже с поддержкой корп, кстати. Через 10-20 лет - повторить, с новым, Улучшенным(TM) Языком(TM).

     
     
  • 8.124, Аноним (-), 16:19, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Пруфы в студию Пока это выглядит как розовые очки с линзой толщиной в лобовую б... текст свёрнут, показать
     
     
  • 9.157, Аноним (-), 17:42, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Так вы не написали другой софт, только бла-бла развели как все круто и фильдипер... текст свёрнут, показать
     
  • 3.71, Аноним (21), 14:01, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Раз вы такие умные, сделайте нам, сишникам, компилятор, который будет гарантированно генерировать безопасный код.

    Вам, сишникам, диды уже сделали святой СТАНДАРТ, в котором заботливо прописаны многие пункты, на корню пресекающие любые гарантии безопасности.

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

    Что непонятного?

     

     ....большая нить свёрнута, показать (56)

  • 1.5, Аноним (7), 11:58, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    >например, в реализации MTE для каждых 16 байт создаётся 4-битный тег

    Я так понимаю у кого-то лишняя оперативка завалялась, и он, вместо того, чтобы отдать её мне, решил её проср^W потратить?

     
     
  • 2.8, Аноним (-), 12:01, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Я так понимаю у кого-то лишняя оперативка завалялась

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

     
  • 2.81, Фрол (?), 14:19, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    не рассказывайте этому господину про ЕСС память, а то ведь он желчью изойдет, что там из каждых 72 бит восемь ЗРЯ простаивают!!1
     

  • 1.18, Мартин (?), 12:14, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Похоже на борьбу нанайских мальчиков.
    Все внедряют новые механизмы, инструкции, алгоритмы...
    И все не помогает, только делает все хуже.

    Неужели инженерам не очевидно, что проблема в архитектуре?

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

     
     
  • 2.51, Аноним (51), 13:25, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Неужели инженерам не очевидно, что проблема в архитектуре?

    пока существует спрос на Г, то есть существуют г-еды, будут производить Г, будет существовать предложение.

     
  • 2.174, Аноним (172), 18:12, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >Неужели инженерам не очевидно, что проблема в архитектуре?

    i432
    итаник

    ещё что-то очень красивое но ненужное :-)

     

  • 1.20, Аноним (20), 12:19, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    О, они так скоро эльбрус переизобретут
     
     
  • 2.31, Аноним (11), 12:34, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Но самое интересное, что этот Неоэльбрус будет реально в железе и доступен рознице.
     

  • 1.34, Смузихлеб забывший пароль (?), 12:38, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    судя по описанию, выглядит даже не как дыра, а как дырища библейских масштабов
     
  • 1.38, Аноним (38), 12:48, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Наконец-то. Думал, что после 2018 года появятся аппаратные фиксы Спектра и Мельтдауна, а они только сейчас появляются
     
     
  • 2.119, Фняк (?), 16:14, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Чекай, они сделают проверку тэгов только на этапе retire инструкции. Таким образом спектр с мельдонием останутся в безопасности
     

  • 1.50, Аноним (50), 13:22, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Амуде превращается в длинющий Влив и стоить будет также. Кто мечтал,что войти только для мега-пупер профессионалов?Остальным смурфы на пять лет и хватит для котиков.
     
     
  • 2.121, Фняк (?), 16:16, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Ты дичь втираешь. Поддержка тэгировпнной памяти есть в мобильных процах у ябла. Какой там vliw
     
     
  • 3.141, Аноним (50), 16:57, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Неудивительно что такое ничто как арм один из тех кто обязан приспосабливаться.
     

  • 1.52, Медведь (ok), 13:30, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Начало конца rust. Всячески одобряю. Краборжавофилы возбудились в теме, замечательно -- хватило умишка понять, что это сулит ржавчине. Что ж, всем, полагающим, что они умнее проектировщиков Intel, ARM и AMD вместе взятых -- флаг в руки и бегом писать петиции о запрете данной инициативы. Вас, конечно же, услышат!
     
     
  • 2.57, Аноним (7), 13:38, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Какие же сишники необучаемые. Си будет проверять ошибки и падать в рантайме, как позорный гвидобейсик. В то же время rust будет проверять ошибки во время выполнения и если скомпилировалось, значит работает.
     
     
  • 3.63, Медведь (ok), 13:49, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Какие же растеры необучаемые -- им и невдомек, что кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты. Хотя что это я, они просто понимают, что это не просто гвоздь, а целый набор саморезов в крышку гроба раста.

    > Если скомпилировалось, значит работает

    Ну, тут я даже комментировать не буду, фраза, достойная быть выбитой на могильном камне раста!

     
     
  • 4.74, Аноним (21), 14:06, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > что кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты

    Ахаха! А ничего, что сабж включается через флажки компилятора сугубо для дырявых C и C++. А в других нынче живых языках в принципе нет проблем уровня "обращение к уже освобождённым блокам памяти, переполнение буфера или обращение к памяти до инициализации".

    Зато как против Раста воюет!

     
     
  • 5.94, Медведь (ok), 15:14, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Технология, которая только разрабатывается и планируется к реализации в новых CPU, включается флажками компилятора... Что?! Если ты про MTE, чудила, то флажками компилятора включается защита стека и глобальных данных вне кучи, а для защиты кучи достаточно использовать аллокатор, поддерживающий MTE.
     
     
  • 6.160, Аноним (154), 17:51, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Технология, которая только разрабатывается и планируется к реализации в новых CPU, включается флажками компилятора... Что?! Если ты про MTE

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

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

    Ах, ну да, в аллокаторе у нас ведь MTE не флажками компилятора включалось. "Вы не понимаете, жто другое! 😭"

     
  • 4.82, Аноним (7), 14:22, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты

    Вы лучше скажите, кому он нужен - может Haskell-ю? Или Ocaml-у? Или JS-у?
    >Ну, тут я даже комментировать не буду

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

     
     
  • 5.117, Медведь (ok), 16:11, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Я полагаю, что тот же Haskell вполне обрадуется возможности вынести ту же проверку границ блоков памяти на CPU... Хотя с этим вопросом тебе скорее к разработчикам Haskell.
     
     
  • 6.161, Аноним (154), 17:53, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Я полагаю, что тот же Haskell вполне обрадуется возможности вынести ту же проверку границ блоков памяти на CPU...

    Сорян, в Хаскеле не сношаются с буферами. А проверки границ типов коллекций в рантайме там и так есть.

     
     
  • 7.171, Медведь (ok), 18:10, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    О, ты изучил устройство компилятора Haskell, и проверки границ коллекций там реализованы непосредственно при помощи духа святого? Продолжайте наблюдение, мы с вами свяжемся.

    Я о чем: если программист не видит в своем коде, скажем, байтового буфера, это совершенно не означает, что его нет в скомпилированной программе в принципе )

     
  • 5.168, Аноним (-), 18:04, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Вы лучше скажите, кому он нужен - может Haskell-ю? Или Ocaml-у? Или JS-у?

    Хрен ваших эзотериков знает - а в JS что-нибудь заоффлоадить вполне можно будет. Что там эзотерики (не)выигрывают - это кому-то интересно вообще? Их вообще на радаре не видно и они погоду не делают.

    > Отсутствие долгих часов отладки - это уже достаточная причина уйти от сишки.
    > Ибо код надо писать, а не отлаживать.

    При том как показал пример тех эзотериков, код там именно write only. Его потом вообще никто читать не хочет. А программы чаще всего - театр 1 актера.

     
  • 4.93, Аноним (-), 15:09, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    > кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты.

    "Произошла ошибка доступа к памяти при чтении по адресу 0xXXXXXXXXXXXXXXXX, процесс был завершён"

    Отличная защита, раст ненужён!!!11.

     
     
  • 5.95, Медведь (ok), 15:15, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Отладка программы? Не, не слышал, раз код компилируется -- значит работает, что за бред там происходит -- неважно.
     
     
  • 6.115, Аноним (-), 16:06, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Отладка программы?

    И что ты наотлаживаешь?
    Когда оно повторяется у клиента на его конктретном сетапе/данных раз в месяц когда меркурий становится ретроградным?
    Но данные тебе никто не даст, а что полез не в свою память тебе краш тоже не скажет.
    Поэтому прдль отладчик до посинения.

    > Не, не слышал, раз код компилируется -- значит работает,
    > что за бред там происходит -- неважно.

    Так это же любая сишная программа)))
    Пишешь за пределы буфера - сойдет!
    С разных потоков - еще лучше!
    Главное что не крашнулось на старте и можно в прод.

     
     
  • 7.175, Аноним (175), 18:15, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Поэтому прдль отладчик до посинения.

    Да персонаж уже запутался, бедняга, в порыве войны против Раста: то ему нужен сабж (ведь ловит дырени), то теперь уже не нужен (ведь мастера отладки и так умеют писать программы без дыреней в памяти). Цирк да и только.

     
  • 6.173, Аноним (175), 18:12, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >> "Произошла ошибка доступа к памяти при чтении по адресу 0xXXXXXXXXXXXXXXXX, процесс был завершён"
    > Отладка программы? Не, не слышал

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

     
  • 3.113, Аноним (112), 16:03, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > если скомпилировалось

    sic!
    Укажите, сколько терабайт памяти нужно, чтобы скомпилировалось.

     
  • 3.123, Фняк (?), 16:19, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > В то же время rust будет проверять ошибки во время выполнения

    Да, да. Прям как анон. Будет гадить себе в штаны не приходя в сознание

     
  • 2.64, Аноним (-), 13:54, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Какой забористый копиум code 12 09 2025 VMScape - атака на CPU AMD и Intel, ... большой текст свёрнут, показать
     
     
  • 3.98, Медведь (ok), 15:23, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Ты же сделал свой процессор, получше, правда? Ведь сделал же?
     
     
  • 4.164, Аноним (-), 17:59, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Ты же сделал свой процессор, получше, правда? Ведь сделал же?

    Да он и операционку написал, что уж. Видимо один из уволенных програмеров Fuchsia.

     
  • 2.92, Аноним (-), 14:59, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Начало конца rust.

    Смешно.

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

    Начиная с Rust 1.84 стабилизирован strict provenance API. Сможешь показать то же самое в Си?

    > Что ж, всем, полагающим, что они умнее проектировщиков Intel, ARM и AMD вместе взятых -- флаг в руки и бегом писать петиции о запрете данной инициативы. Вас, конечно же, услышат!

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

     
     
  • 3.97, Медведь (ok), 15:22, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Начиная с Rust 1.84 стабилизирован strict provenance API.

    А-а-а-а, то есть растеры смогут заняться любимым делом -- переписывать свои проекты для задействования этой фигни вместо предыдущей фигни? Рад за них, без дела не останутся.

    > Наоборот, всем сишникам пора начать писать петиции, потому что с ChkTag большинство сишных программ перестанут запускаться.

    Ну раз ты так сказал, тогда конечно...

     
  • 2.178, Аноним (175), 18:19, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Краборжавофилы возбудились в теме, замечательно -- хватило умишка понять, что это сулит ржавчине.

    А что сулит? Неужели появлене вулнов в памяти и последующим прибитием процесса программы при помощи сил сабжа? 🤣 Та не, это же вроде для Сишки сценарий...

     

  • 1.66, Фрол (?), 13:56, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    звонила AS/400 из 1990 года, просила передать привет

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

     
     
  • 2.125, Фняк (?), 16:21, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Ага, только техножрецы из межделмаша могут генерировать машкод для пользователя, подписывать его своей личной подписью, а as400 будет эту подпись проверять
     
     
  • 3.133, Фрол (?), 16:39, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    ерунду не пишите

    зрн блгдрн

     

  • 1.100, ProfessorNavigator (ok), 15:28, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Это что же получается? Ржавый теперь... не нужен? Вот это поворот))
     
     
  • 2.111, Аноним (-), 15:57, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 2.114, Аноним (112), 16:04, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Всегда был.
     
     
  • 3.122, ProfessorNavigator (ok), 16:17, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Всегда был.

    Про то я в курсе. Просто сложно удержаться и не потроллить некоторых ;)

     
  • 2.148, Аноним (-), 17:16, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Не волнуйтесь прохфессор ржавчина уже в андроиде, и в ядре, и в утилитах на замену дырявах...
    Думаю она вас переживет.
    И меня, возможно.
     
     
  • 3.153, ProfessorNavigator (ok), 17:32, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Не волнуйтесь прохфессор ржавчина уже в андроиде, и в ядре, и в
    > утилитах на замену дырявах...

    Да я в общем и не волнуюсь)) Я с интересом жду продолжения драмы. Враг подкрался с тыла, хы))

    > Думаю она вас переживет.
    > И меня, возможно.

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

     
  • 2.179, Аноним (175), 18:26, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Это что же получается? Ржавый теперь... не нужен? Вот это поворот))

    "Вот это поворот" будет, когда вы наконец-то наберетесь компетенции, чтобы понимать смысл написанного.

    А так у нас есть выбор: вырезать все ошибки при работе с памятью на корню ВО ВРЕМЯ КОМПИЛЯЦИИ или же греть CPU в попытках выловить их ВО ВРЕМЯ ВЫПОЛНЕНИЯ с последующим прибитием процесса программы.

    Знатный эксперт ProfessorNavigator, конечно же, выбирает второй вариант - и Раст теперь не нужен. Очередная сокрушительная победа над здравым смыслом!

     
     
  • 3.186, ProfessorNavigator (ok), 18:44, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >> Это что же получается? Ржавый теперь... не нужен? Вот это поворот))
    > "Вот это поворот" будет, когда вы наконец-то наберетесь компетенции, чтобы понимать смысл
    > написанного.
    > А так у нас есть выбор: вырезать все ошибки при работе с
    > памятью на корню ВО ВРЕМЯ КОМПИЛЯЦИИ или же греть CPU в
    > попытках выловить их ВО ВРЕМЯ ВЫПОЛНЕНИЯ с последующим прибитием процесса программы.
    > Знатный эксперт ProfessorNavigator, конечно же, выбирает второй вариант - и Раст теперь
    > не нужен. Очередная сокрушительная победа над здравым смыслом!

    Что, подгорает?)) Понимаю)) Только вы не в ту сторону воюете - вы это тем, кто вам такую подляну подложил, объясняйте, а не мне.

    P.S.
    Лишнее действие при таких раскладах как раз проверка во время компиляции. Потому что вы потом всё равно будете гонять программу по всякому на тестах. Там всё и выплывет.  

     
     
  • 4.194, Аноним (-), 19:03, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Что, подгорает?)) Понимаю))

    Понимаете как подгорает?
    Это хорошо!
    Не удивлен, что аФФтор одного из самых уродливых опенсорс приложений такое понимает!

    > Лишнее действие при таких раскладах как раз проверка во время компиляции. Потому что вы потом всё равно будете гонять программу по всякому на тестах. Там всё и выплывет.

    Или не выплывет.
    Как в одно весьма глючной библиотеки для книжек))


     
     
  • 5.195, ProfessorNavigator (ok), 19:06, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >> Что, подгорает?)) Понимаю))
    > Понимаете как подгорает?
    > Это хорошо!
    > Не удивлен, что аФФтор одного из самых уродливых опенсорс приложений такое понимает!
    >> Лишнее действие при таких раскладах как раз проверка во время компиляции. Потому что вы потом всё равно будете гонять программу по всякому на тестах. Там всё и выплывет.
    > Или не выплывет.
    > Как в одно весьма глючной библиотеки для книжек))

    Да вы не убивайтесь так, это ещё нескоро будет)) Впрочем, всё равно не удержусь, процитирую один фильм: "Работать теперь пойдёшь... Делать то умеешь чего?" ;)

     

  • 1.110, Аноним (110), 15:54, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Какие опкоды планируются у этих инструкций? Из группы NOP или другое? Давайте усложним декодер инструкций сильнее...
     
  • 1.118, Аноним (116), 16:14, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Не стал отмечать какое-то конкретное сообщение, потому что данная идея в целом несётся множеством сообщений и постеров(вероятно).
    Но меня смущает, почему сишники видят эту новость, в первую очередь, как что-то плохое для раста, а не как что-то хорошее для всего IT в целом.
    То есть акцент у постеров буквально делается сугубо на том, что вот сейчас-то  технологию внедрят и всё! Растишка помрёт наконец! Ууух заживём!
    Почему сишники считают, что это буквально убийца раста и всё? Всё их желание бороться с уязвимостями кроется исключительно в желании нагнуть раст?
     
     
  • 2.128, Анрним (?), 16:28, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • +2 +/
     
  • 2.129, Медведь (ok), 16:29, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Поддерживаю, новость шикарная для IT в целом, особенно для ядрописателей и прочих системщиков.

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

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

     
     
  • 3.139, Аноним (-), 16:49, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –5 +/
    > На агрессивные шуточки про дидов и дырявую сишку

    А разве это шутки?
    Что одно, что другое - истинная правда. Можно заглянуть в соседнюю тему про гимп и про возможность выполнить произвольный код из-за сишной дырени.

    > Ну и так-то да -- это буквально убийца раста

    А вы смешной. Где потеряли свой красный нос?
    Если бы проверка выхода за границы массива была единственной фичей раста, то возможно. Но это не не так. Правда чтобы знать что это не так, нужно иметь кругозор хотя бы чуть больше чем у сишника))

     
     
  • 4.147, Аноним (37), 17:15, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    >А вы смешной. Где потеряли свой красный нос?

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

    Мне вот пофиг Rust, я этих убийц си уже штук 10 видел. Если бы не его недалекие фанаты, может быть даже сильнее им интересовался, потыкал бы в каких-нибудь pet-проектах.
    А так что-то не хочется, вдруг еще таким же стану.

     
     
  • 5.150, Аноним (-), 17:20, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Мне вот пофиг Rust, я этих убийц си уже штук 10 видел.

    И?
    Эти убийцы СИ просто выкинули недоязычок на обочину истории.
    Софт сейчас по большей пишется в С++ для прикладного, Java для бизнеса, питон для науки, шишарп для винды, котлин для андроида...
    Даже микроконтроллеры успешно пишутся на плюсах.

    Для недоделки из прошлого века осталось только место в легаси проектах типа ядра.
    И утилитках на тыщу строк. И то в них регулярно находят дырени.

     
  • 4.149, Медведь (ok), 17:17, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Ну тогда уж потерпите в этом треде )))


    > возможность выполнить произвольный код из-за сишной дырени

    Так новость как раз о том, что этой возможности не будет в новых CPU. Без растов, растофилов и прочих. Почти без усилий со стороны разработчиков. Без беганья от боровчекера и придумывания новых "стабилизированных API". В нормальных фреймворках уровня Qt. Красота же!

     
     
  • 5.159, Аноним (-), 17:48, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Так новость как раз о том, что этой возможности не будет в новых CPU.

    А все старые CPU предлагаете выкинуть?
    Или просто сделать вид что таки и должно быть, раз не хочешь дырень, то беги покупай новый проц с анбшными закладками?

     
     
  • 6.163, Медведь (ok), 17:56, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Я как-то и не планировал использовать один процессор с рождения до пенсии... Нет, воля ваша, но таки вот уже и без SSE4 не все проги работают, и активно дропается поддержка старых архитектур вообще... Что предлагаете?
     
     
  • 7.166, Аноним (-), 18:04, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >  Я как-то и не планировал использовать один процессор с рождения до пенсии...

    Они только договорились. Сомневаюсь что это будет в след. поколении что у интела, что у амд. Возможно через одно, или даже через два.
    Что предлагаете делать с сотнями тысяч процессоров для ДЦ и пользовательский устройств, которые покупаются сейчас и будут еще покупаться год, два, три?
    Отправить на помойку? Что предлагаете?

    > Что предлагаете?

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

     
     
  • 8.177, Медведь (ok), 18:18, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    А вы предлагаете всем перейти на раст Учитывая, что для большинства задач он не... текст свёрнут, показать
     
     
  • 9.188, Аноним (175), 18:51, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Ну зачем всем В Linux вон внедряют, в ключевые компоненты Андроида, Хрома, Винд... текст свёрнут, показать
     
  • 9.191, Аноним (-), 18:57, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Нет конечно Я предлагаю СИшникам перестать делать типичные ошибки Но если вы н... большой текст свёрнут, показать
     
  • 5.185, Аноним (175), 18:41, 21/10/2025 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 3.151, Аноним (151), 17:20, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > По поводу издевательств над растом в треде -- может быть, это ответ на поведение его токсичного сообщества? На агрессивные шуточки про дидов и дырявую сишку?

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

     
  • 3.181, Аноним (175), 18:34, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > На агрессивные шуточки про дидов и дырявую сишку?

    Но ведь сабж буквально сделан для того, чтобы залатать дыры в дырявой сишке (ну и C++).

    > По поводу издевательств над растом в треде -- может быть, это ответ на поведение его токсичного сообщества?

    Да, да, поэтому ты первый всплыл в этой теме со словами "начало конца rust" и "краборжавофилы". Какая ирония, не правда ли?

    https://www.opennet.dev/openforum/vsluhforumID3/138135.html#52

    > Ну и так-то да -- это буквально убийца раста, потому что опускает его нужность примерно до уровня плинтуса с уровня где-то в районе чуть ниже табуретки.

    Ага, рантаймовые проверки сабжа делают "ненужными" гарантии времени компиляции в Расте. Уютный у тебя манямирок с копиумом вместо воздуха.

     
     
  • 4.184, Медведь (ok), 18:41, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Я понимаю, что unit- и интеграционное тестирование, верификация логики программы и т.п. -- это не для растеров, это же не тяп-ляп и в продакшн. Но поверь, в нормальных проектах на такое не забивают независимо от языка, и там ошибки работы с памятью сабж позволит отловить ничуть не хуже боровчекера.

    > первый всплыл в этой теме со словами "начало конца rust" и "краборжавофилы".

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

     
     
  • 5.187, Аноним (175), 18:47, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Я понимаю, что unit- и интеграционное тестирование, верификация логики программы и т.п.

    Unit- и интеграционное тестирование для поиска вулнов в памяти? Пхахаха! Понимает он. 🤣

    Больше не кидайся умными словами, смысл которых ты не понимаешь.

     
     
  • 6.190, Медведь (ok), 18:57, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Можешь кривляться сколько угодно, но новость для rust убийственна. Я, кстати, сильно подозреваю, что работы над сабжем не в последнюю очередь вдохновлены фейлами раста.
     
     
  • 7.192, Аноним (-), 19:00, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Только в твоей больной фантазии.

    Напомню что подобная "защита" есть в АРМ... но по какой-то странной причине гугл выкидывает дырявые ЯП и использует раст.
    Возможно им не прикольно, что пропущенная ошибка будет просто ронять приложение.

     
  • 2.180, Аноним (175), 18:28, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Но меня смущает, почему сишники видят эту новость, в первую очередь, как что-то плохое для раста, а не как что-то хорошее для всего IT в целом.

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

     
     
  • 3.189, Медведь (ok), 18:52, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    В популярной библиотеке async-tar (и её форках, таких как tokio-tar) была обнаружена критическая уязвимость, связанная с некорректным разбором границ архива, что могло привести к выполнению произвольного кода или отказу в обслуживании

    В 2020 году был зафиксирован инцидент RUSTSEC-2020-0034, где уязвимость в crate arr приводила к таким проблемам, как гонка данных, переполнение буфера и использование неинициализированной памяти

    В октябре 2024 года была опубликована информация о критической уязвимости в Rust-приложениях под Windows, позволяющей выполнять инъекции команд через специально сформированные batch-файлы

    Также сообщалось об уязвимости в Rust-компоненте ядра Windows, связанной с GDI, которая могла быть удалённо эксплуатируемой для вызова отказа в обслуживании или потенциального выполнения кода

    Как неожиданно, боровчекер не может проверить код за программиста. Продолжать?

     
     
  • 4.193, Аноним (-), 19:01, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Как неожиданно, боровчекер не может проверить код за программиста. Продолжать?

    А еще он не защитит от опечатки true вместо false)
    У раста есть список ошибок где он дает гарантии.
    Да, прочитать доку трудно, там много буковок.
    Но ты постарайся!

     

  • 1.136, Аноним (136), 16:41, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    когда уже JIT компиляцию микрокода CPU завезут? доколе?!
     
  • 1.138, Аноним (138), 16:46, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Опять передерут из BSD и объявят о разработке с нуля? Не удивили.
     
  • 1.145, Шизгорин (?), 17:12, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Вижу очередной предлог заставить хомячков в добровольно-принудительном порядке обновить парк железа, как это было с TPM.

    Написано с моего кор 2 дуо 2007 года.

     
  • 1.165, Аноним (152), 18:04, 21/10/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Вот по этому правительство США призывает отказаться небезопасных языков!
     
     
  • 2.182, Аноним (50), 18:37, 21/10/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Пользуются открытым кодом? Некий военный стартап попробовал NixOS и плюнул.
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2025 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру