The OpenNET Project / Index page

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



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

"Intel и AMD стандартизируют механизм ChkTag для защиты от уязвимостей при работе с памятью"  +/
Сообщение от opennews (??), 21-Окт-25, 11:43 
Компании Intel и AMD совместно развивают расширенный набор инструкций ChkTag (x86 Memory Tagging), который будет стандартизирован для унифицированной реализации в x86-процессорах различных производителей. По своим возможностям ChkTag напоминает расширение MTE (MemTag), уже поставляемое в процессорах ARM, и также позволяет блокировать эксплуатацию уязвимостей, вызванных обращением к уже освобождённым блокам памяти, переполнением буфера или обращением  к памяти до инициализации...

Подробнее: https://www.opennet.dev/opennews/art.shtml?num=64091

Ответить | Правка | Cообщить модератору

Оглавление

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


1. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –14 +/
Сообщение от Аноним (-), 21-Окт-25, 11:43 
> позволяет блокировать эксплуатацию уязвимостей, вызванных
> обращением к уже освобождённым блокам памяти, переполнением
> буфера или обращением к памяти до инициализации.

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

Ответить | Правка | Наверх | Cообщить модератору

7. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –8 +/
Сообщение от Аноним (7), 21-Окт-25, 12:00 
>Неужели все НАСТОЛЬКО плохо?

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

Ответить | Правка | Наверх | Cообщить модератору

17. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Я (??), 21-Окт-25, 12:13 
но для использования этих инструкций надо будет переписывать код.. хтя в некоторых случаях умный компилятор может сам нагенерить нужный код наверное..
Ответить | Правка | Наверх | Cообщить модератору

252. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 21:01 
Эм, нет. Если они будут аналогичны ARM MTE, то для динамической памяти достаточно будет поддержки со стороны аллокатора (см. hardened_malloc и GrapheneOS). Для защиты стека нужно будет собирать со определёнными флагами компилятора.
Ответить | Правка | Наверх | Cообщить модератору

99. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +3 +/
Сообщение от Аноним (-), 21-Окт-25, 15:26 
> Да, сишники реально не обучаемые, а переписывать весь софт никаких сил не хватит.

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

Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

11. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +4 +/
Сообщение от Аноним (11), 21-Окт-25, 12:07 
Самый разумный подход. А то у ассемблера нет чекера боровов.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

15. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +3 +/
Сообщение от Аноним (-), 21-Окт-25, 12:12 
> Самый разумный подход.

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

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

Ответить | Правка | Наверх | Cообщить модератору

101. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (101), 21-Окт-25, 15:29 
Там же написано, верхние 4 бита адреса, которые из 64 бит один фиг ни одно приложение и пк не адресует. Хорошо если 50 бит сейчас самые крутые процы могут использовать для адресации.
Ответить | Правка | Наверх | Cообщить модератору

104. Скрыто модератором  +4 +/
Сообщение от МимоПроходил (?), 21-Окт-25, 15:38 
Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

218. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 20:01 
>> Самый разумный подход.
> Ага, очень разумно тратить на каждые 16 байт еще полбайта.

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

Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

21. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (21), 21-Окт-25, 12:20 
> Самый разумный подход. А то у ассемблера нет чекера боровов.

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

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

27. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Аноним (11), 21-Окт-25, 12:27 
Ну проверь в ассемблерном коде на этапе компиляции, удачи.
Ответить | Правка | Наверх | Cообщить модератору

33. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 12:36 
> Ну проверь в ассемблерном коде на этапе компиляции, удачи.

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

Ответить | Правка | Наверх | Cообщить модератору

105. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Анрним (?), 21-Окт-25, 15:42 
Может сами ассемблерные команды должны быть безопасны на уровне железа? Тебе никто не гарантирует что боров всё проверит и никто не гарантирует защиту что компилятор специально недосмотрит там где эти нужно Анб.
Ответить | Правка | Наверх | Cообщить модератору

106. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (21), 21-Окт-25, 15:47 
> Ну проверь в ассемблерном коде на этапе компиляции, удачи.

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

Ответить | Правка | К родителю #27 | Наверх | Cообщить модератору

109. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 15:52 
> Ты не поверишь, но борроу чекер так и делает :) Только не
> "в" ассемблерном коде (это, извини, бред какой-то), а перед его генерацией.

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

Ответить | Правка | Наверх | Cообщить модератору

154. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (154), 21-Окт-25, 17:32 
> Однако вон там есть немало unsafe кода, а вызовы asm вставок, вещей на C и проч unsafe - by design

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

158. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 17:47 
> Ну так именно для этого "unsafe by design" и создают костыли типа сабжа.

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

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

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

А успех всяких фуксий и редоксов, затонарасте и прочих го - ну и кому оно такое?

Ответить | Правка | Наверх | Cообщить модератору

264. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 21:31 
> Хочу сказать что софта на сишке дохрена - и в ближайших полвека он явно никуда не денется.

Ахаха, полвека) Какие милые фантазии сишника.
Сишке как инструменту осталось не больше двух лет, дальше только как музейный экспонат.
Запомните этот твит.

Ответить | Правка | Наверх | Cообщить модератору

169. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Феникс123 (?), 21-Окт-25, 18:07 
На расте кстати постоянные проверки на этапе рантайма. Все обращения по индексу, RefCell, необходимость использовать Arc/Rc потому как за сырой поинтер тебе посоны предъявят - в результате код получается в целом более медленный чем корректный код на C/C++. Но зато safe.
Ответить | Правка | К родителю #21 | Наверх | Cообщить модератору

12. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (12), 21-Окт-25, 12:09 
> М... т.е. c сишными дырами решили бороться прям на уровне железа?
> Неужели все НАСТОЛЬКО плохо?

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

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

120. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (-), 21-Окт-25, 16:16 
> Ну да, настолько. Только вот сишечку сдесь обижать не принято, поэтому местные
> ее защитники сейчас, как всегда, наставят тебе минусов, но по существу
> ничего возразить не смогут.

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

Ответить | Правка | Наверх | Cообщить модератору

199. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 19:13 
> Без этой сишечки - у вас компьютер работать элементарно не будет.

Ну, и? Это как-то опровергает утверждение, что с Сишкой все "НАСТОЛЬКО плохо"? Или вы в порыве праведного гнева (Сишечку обижают!) забыли тему обсуждения?

Ответить | Правка | Наверх | Cообщить модератору

220. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 20:02 
> Ну, и? Это как-то опровергает утверждение, что с Сишкой все "НАСТОЛЬКО плохо"?
> Или вы в порыве праведного гнева (Сишечку обижают!) забыли тему обсуждения?

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


Ответить | Правка | Наверх | Cообщить модератору

235. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 20:20 
> Я лишь констатирую что критиканы забыли - сделать что-нибудь лучше.

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

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

Ответить | Правка | Наверх | Cообщить модератору

238. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:27 
>Во-первых, ты изначально не говорил ничего о "сделать лучше" - ты зачем-то начал петь о "без сишечки ничего не будет работать"

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

Ответить | Правка | Наверх | Cообщить модератору

170. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 18:08 
> Ну да, настолько. Только вот сишечку сдесь обижать не принято,

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

Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

198. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (198), 21-Окт-25, 19:12 
> Потому что у культурных людей не принято гадить где сидишь.

Всяк кулик своё болото хвалит?

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

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

Ответить | Правка | Наверх | Cообщить модератору

225. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 20:07 
> Всяк кулик своё болото хвалит?

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

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

А еще оно приводит к предсказуемым и эффективным системам. И иногда такой уровень контроля - нужен.

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

Ух да, надо срочно выкинуть немодный гаечный ключ и утащить у мужиков из сервиса эвона какую крутилку. С компрессором впридачу. Зато можно будет закрутить все винты болты и шурупы в хате за 3 секунды. И даже поменять кому-нибудь колесо на авто. Правда вот зачем мне это все - в моей хате?

Ответить | Правка | Наверх | Cообщить модератору

239. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:29 
>И иногда такой уровень контроля - нужен.

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

Ответить | Правка | Наверх | Cообщить модератору

19. Скрыто модератором  +/
Сообщение от Аноним (19), 21-Окт-25, 12:18 
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

25. Скрыто модератором  +1 +/
Сообщение от Аноним (11), 21-Окт-25, 12:26 
Ответить | Правка | Наверх | Cообщить модератору

35. Скрыто модератором  –1 +/
Сообщение от Аноним (19), 21-Окт-25, 12:39 
Ответить | Правка | Наверх | Cообщить модератору

58. Скрыто модератором  +/
Сообщение от Аноним (11), 21-Окт-25, 13:41 
Ответить | Правка | Наверх | Cообщить модератору

69. Скрыто модератором  –1 +/
Сообщение от Аноним (19), 21-Окт-25, 13:59 
Ответить | Правка | Наверх | Cообщить модератору

87. Скрыто модератором  –1 +/
Сообщение от Аноним (7), 21-Окт-25, 14:39 
Ответить | Правка | Наверх | Cообщить модератору

90. Скрыто модератором  +1 +/
Сообщение от Аноним (19), 21-Окт-25, 14:45 
Ответить | Правка | Наверх | Cообщить модератору

30. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (30), 21-Окт-25, 12:34 
Криворукость не зависит от языка программирования.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

46. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (-), 21-Окт-25, 13:13 
> Криворукость не зависит от языка программирования.

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

Ответить | Правка | Наверх | Cообщить модератору

167. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (167), 21-Окт-25, 18:04 
А кто unsafe блоки в Rust пишет?
Ответить | Правка | Наверх | Cообщить модератору

219. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (219), 21-Окт-25, 20:02 
Сишники. Unsafe обычно используют в обвязках к Си-либам.
Ответить | Правка | Наверх | Cообщить модератору

240. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:30 
Одно дело написать один unsafe блок ну пусть даже на 10 строчек, и другое дело - когда вся программа один большой unsafe.
Ответить | Правка | К родителю #167 | Наверх | Cообщить модератору

152. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (152), 21-Окт-25, 17:22 
>"Неужели все НАСТОЛЬКО плохо? "

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

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

2. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +5 +/
Сообщение от Аноним (2), 21-Окт-25, 11:49 
С одной стороны нужное.
С другой ещё один повод заставить обновить железо, как было с TPM2.
С третьей всё равно всплывут новые дыры.

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

Ответить | Правка | Наверх | Cообщить модератору

183. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (183), 21-Окт-25, 18:39 
>повод заставить обновить железо, как было с TPM2

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

Ответить | Правка | Наверх | Cообщить модератору

3. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +9 +/
Сообщение от llolik (ok), 21-Окт-25, 11:55 
Т.е. придумали примерно тоже самое, что в местном E2K было чуть не с самого начала - тэгированную память. Забавно, однако.
Ответить | Правка | Наверх | Cообщить модератору

14. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +3 +/
Сообщение от Аноним (11), 21-Окт-25, 12:11 
Даже если и так, зато хоть это в розничных комповых магазинах можно будет купить за приемлемую цену, в отличие от.
Ответить | Правка | Наверх | Cообщить модератору

32. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 12:35 
Местный E2K когда проявился?
А интеловские-амд когда?
Вот и ответ.

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

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

48. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (48), 21-Окт-25, 13:18 
x86_64 и E2K появился примерно в одно и то же время, около 2000 года.
Ответить | Правка | Наверх | Cообщить модератору

72. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –4 +/
Сообщение от Аноним (19), 21-Окт-25, 14:01 
Если тебе интересно, итаниум появился как раз из эльбруса. Но компилятор не потянули вовремя сделать, это было основной причиной провала.
Ответить | Правка | К родителю #32 | Наверх | Cообщить модератору

172. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (172), 21-Окт-25, 18:11 
> итаниум появился как раз из эльбруса.

не курите

Ответить | Правка | Наверх | Cообщить модератору

36. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +3 +/
Сообщение от Comdiv (ok), 21-Окт-25, 12:44 
Не то же самое. На E2K это было сделано, чтобы было, но настолько неэффективно, что практически никто этим не пользуется. Даже программные проверки куда более эффективны. С другой стороны, то, что делается для AMD64, лишь вероятностно предотвратит ошибку.
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

91. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Фрол (?), 21-Окт-25, 14:52 
> придумали примерно тоже самое, что в  IBM System/38 было чуть не с самого начала - тэгированную память.
> придумали примерно тоже самое, что в Intel 960 было чуть не с самого начала - тэгированную память.
> придумали примерно тоже самое, что в  Burroughs каких-то было чуть не с самого начала - тэгированную память.

и так далее

Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

144. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от anonymous (??), 21-Окт-25, 17:01 
ну тут тоже не совсем наше, в основе была Burrough, хотя мы акцентировали идею тегов и хорошо её развили на практике. Реально удобно, гораздо проще искать источник сбоя. Вообще странно что мало кто её применял, там надо то всего пару битов добавить к проверочным ECC и немного аппаратной логики, очень небольшой процекнт прибавки площади кристалла а выгода очевидна.
Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

4. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –4 +/
Сообщение от Аноним (7), 21-Окт-25, 11:56 
Это просто какой-то позор, за более чем полвека сишники до сих пор не узнали ни о зависимых типах, ни об афинных, ни даже об алгебраических. И даже сейчас в этой теме найдутся сишники, которые вместо того, чтобы хотя бы сейчас прочитать об этом, будут рассказывать о том, что нужно быть просто внимательным. И сейчас поверх этой безграмотности сишников делают аппаратные костыли.
Ответить | Правка | Наверх | Cообщить модератору

6. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Аноним (6), 21-Окт-25, 12:00 
> ни о зависимых типах, ни об афинных, ни даже об алгебраических

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

Ответить | Правка | Наверх | Cообщить модератору

10. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Аноним (7), 21-Окт-25, 12:06 
>Покажи мне как это на ассемблере x86 выглядит.

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

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

Ответить | Правка | Наверх | Cообщить модератору

16. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (6), 21-Окт-25, 12:12 
Си проектировался как портабельный кроссплатформерный ассемблер, таким он и остается. Все эти ваши афинные типы, ООП, классы и тд - это всё высокоуровневые абстракции, которые никакого отношения к сгенерированному ассемблерному коду не имеют отношения. Еще раз - Си это как бы такой ассемблер на стероидах, какие к черту афинные типы в асме?

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

Ответить | Правка | Наверх | Cообщить модератору

26. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Аноним (21), 21-Окт-25, 12:26 
> Си проектировался как портабельный кроссплатформерный ассемблер, таким он и остается
> Еще - Си это как бы такой ассемблер на стероидах, какие к черту афинные типы в асме?

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

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

Ответить | Правка | Наверх | Cообщить модератору

59. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (19), 21-Окт-25, 13:42 
Чем это хуже оптимизаций процессора под плюсы и жаву? Сишечка хотя бы предсказуемая независимо от модели процессора.
Ответить | Правка | Наверх | Cообщить модератору

68. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (-), 21-Окт-25, 13:57 
> Чем это хуже оптимизаций процессора под плюсы и жаву?

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

78. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (19), 21-Окт-25, 14:10 
Вообще, всех тех, кто что-то там восторженно вещает про шланг, читать не обязательно. Гцц генерирует вполне предсказуемый код, а оптимизации вполне воспроизводимы вручную при очень большом желании. Это шланг раздувает лапшой, под которую надо пайплайны процессора подгонять. Видимо, у майкрософтовского компилятора научился.
Ответить | Правка | Наверх | Cообщить модератору

217. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (7), 21-Окт-25, 20:00 
>Вообще, всех тех, кто что-то там восторженно вещает про шланг, читать не обязательно.

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

Ответить | Правка | Наверх | Cообщить модератору

96. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (96), 21-Окт-25, 15:22 
> Сишечка хотя бы предсказуемая независимо от модели процессора
>> предсказуемая

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

Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

29. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (7), 21-Окт-25, 12:33 
>Си проектировался как портабельный кроссплатформерный ассемблер

Си не проектировался. Это типичный тяп-ляп и в продакшин. Максимум, о чём они озабоитлись - экономили байты всяких вещах типа размера строки.
>Все эти ваши афинные типы, ООП, классы и тд - это всё высокоуровневые абстракции

Вы смешивете абстракции нулевой цены и абстракции требующие определённых затрат времени выполнения.
>Еще раз - Си это как бы такой ассемблер на стероидах, какие к черту афинные типы в асме?

После того, как вы выучили си, вы перестали интересововаться CS? Про Cyclone слышали? Про типизированный ассемблер?
>это другое

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

То есть из кода с UB можно собрать рабочий код, а из синтаксически неверной программы - нет? Что за ерунда? Как минимум случайное количество nop-ов можно насыпать всегда.

Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

55. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (11), 21-Окт-25, 13:37 
Даже про объектный ассемблер слышал. Говорили, что был такой у Борланда, но сам не видел. А вот, чтобы был ассемблер с проверкой выхода за границы массива в компайл-тайме или владения адресами памяти, не слышал.
Ответить | Правка | Наверх | Cообщить модератору

61. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 13:46 
>А вот, чтобы был ассемблер с проверкой выхода за границы массива в компайл-тайме

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

130. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 16:35 
>>А вот, чтобы был ассемблер с проверкой выхода за границы массива в компайл-тайме
> Зависимые типы
>>владения адресами памяти
> Афинные типы
>>А вот, чтобы был ассемблер
> Формально, для этого даже не обязательно новый ассемблер делать. Можно как в
> условном liquid haskell хранить данную информацию внутри комметариев.

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

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

Более того. Многие операции с железом это by design - "unsafe". Автомат DMA вообще не знает - можно в некий адрес или нельзя. Ему дали адрес и количество, он фигачит от сих до сих. Что сие было - ему все равно. Или работа с memmapped регистрами. Для компилеря это "какие-то странные деяния" ибо сам софт этот регион не создавал - но суется туда. И что-то делает с ним. И это ведет к side effect. Но такие мелочи вообще в ваши парадигмы не входят. А вон то - может и со всем этим жить. В принципе даже автомат DMA можно подрихтовать при сильном желании учитывать такое.

Ответить | Правка | Наверх | Cообщить модератору

204. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 19:21 
>Вот когда вы на этом брейнфаке напишете хотя-бы себе операционку, которая будет обслуживать хотя-бы вас самих - тогда и будете мастерклассы другим давать на тему того как надо было. До тех пор - это все немного преждевременно.

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

Ответить | Правка | Наверх | Cообщить модератору

226. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 20:08 
> И какая такая магия от этого произойдёт, что невежественные сишники вдруг возьмут
> и прислушаются? Никакой?

По крайней мере объем напыщенного неконструктивного хамства на этом глобусе немного поубавится. Что уже неплохо.

Ответить | Правка | Наверх | Cообщить модератору

241. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:32 
>По крайней мере объем напыщенного неконструктивного хамства

Вот вам ОС на языке с ADT https://github.com/mirage/mirage, с вас магия уменьшения хамства.

Ответить | Правка | Наверх | Cообщить модератору

13. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (-), 21-Окт-25, 12:09 
> Покажи мне как это на ассемблере x86 выглядит.

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

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

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

24. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Аноним (19), 21-Окт-25, 12:23 
Ну и мерзость же, не удивительно, что ни одной программы на этом так и не написали за всю историю, где таких дураков найдёшь. Это 35 лет, между прочим. Ну, про pandoc не будем.
Ответить | Правка | Наверх | Cообщить модератору

39. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (7), 21-Окт-25, 12:49 
У вас никакой начитанности нет? Очевидно же, что хаскель будет давать не лучший ассемблерный код. Вот вам пример на Ocaml https://godbolt.org/z/7z4f79js1 а ещё лучше на rust https://godbolt.org/z/6KnMeGTeY
Ответить | Правка | Наверх | Cообщить модератору

43. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 12:59 
> Ну и мерзость же

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

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

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

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

Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

131. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (-), 21-Окт-25, 16:37 
>> Ну и мерзость же
> Реакция типичного неосилятора))

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

Ответить | Правка | Наверх | Cообщить модератору

146. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (-), 21-Окт-25, 17:13 
О, очередной "спирва добейся!!!111"))
Наш брейнфак уже работает в андроиде на миллионах устройств и является языком ядра.

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

162. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 17:54 
> О, очередной "спирва добейся!!!111"))

Слов из песни не выкинешь.

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

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

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

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

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

> Так мы его активно заменяем.
> Вон uutils уже в бубунте тестируется.

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

> Если бы диды "я не буду учить новый язык!" не копротивлялись процесс
> шел бы гораздо быстрее.

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

Ответить | Правка | Наверх | Cообщить модератору

207. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (7), 21-Окт-25, 19:28 
>А вы что осилили то? Операционки на вашем брейнфаке у вас есть?
>Вообще-то да. Если весь ваш мир состоит только из жигулей, они не хорошие и не плохие, сравнить просто не с чем. И покуда не с чем сравниваться - то и говорить нечего.

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

Ответить | Правка | Наверх | Cообщить модератору

250. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 20:59 
> Если бы сишники не были столь невежественны, то они бы знали, что
> есть целая куча операционок на самых разных языках.

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

Потому что сишники обслужили свой окорок. И не только свой - но и весь глобус. Перк засчитан. А тут им предъявляют за неосиляторство? Извините, кто? Осилившие в этом мире - например, что? Хотя-бы обслугу своего окорока, для начала, не, не того?

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

Да как бы это вам сказать? О условных жигулях мечтало немало народа когда и такого не было. Можно конечно пешком ходить. Лучше ли это - вопрос интересный. Бэха лучше? Предположим. Вот только где ваша бэха от операционок? Покажите. Желательно - подкатив ко мне и вылезая из салона, чтоб я видеть мог что это еще и ездит - и даже возит вас.

Или вы думаете что я денег за это насыплю даже не удостоверившись что эта штука хотя-бы ездить умеет? Да, кстати, фирмвар у нее тоже таки - на сишке. Пусть и по правилам MISRA. А для Rust например - таких правил вообще как минимум пока просто еще нет. Может быть когда-нибудь и будут, когда будут ясны границы применимости и как делать предсказуемый и _надежный_ софт. Не, panic() на скорости 150 - это не "безопасно", это п...ц водителю. Даже если память и не побилась, водитель с такого бонуса побьется - чисто физически. И кстати в системе без MMU - а мк без MMU - гарантии Rust не работают. О чем они честно пишут по крайней мене.

А всякие маргинальщины типа ocaml и haskel? Ну, э, покажите на этом фирмварь ECU вообще. Я уж молчу про то чтобы кто-то подписался своей головой за сертификацию этих ментальных заподвыподвертов, с готовностью сесть в случае факапа.

> Ещё раз повторю свой вопрос, вот теперь вы знаете, что есть ОС на разных
> языка(за примерами можете сходить в гугл), дальше что?

А дальше простой вопрос - обслужили ли все ваши фетищи хотя-бы вас? Чтоб сищникам за осиляторство тут предъявлять? Сишники осилили обслужить и свои нужды - написав себе ос и свичнувшись в них. И тулсы себе все сделали. И на сях много всего - все фирмвари по сути, без которых большая часть машин и инженерии просто не двинется с места уже. Едет поезд? Разгоняется трамвай? Крутится стиралка? Я легко узнаю что там есть код. Крутящий колеса, барабан или что там. Его - слышно. Он, ессно, на си.

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

> Вы прямо сейчас признаете поражение или по быстрому переобуетесь и начнёте
> менять условие, что вам нужна не просто операционная система, а фалгман, ещё и более
> популярный чем реализация на си?

Мне нужно чтобы оно - смогло обслужить хотя-бы вас, обеспечив стек технологий достаточный для того чтобы вы могли пискнуть на форум без помощи клятой сишки. Иначе это гадеж на головы на которых вы стоите. Чисто технически. Если кто считает что может лучше - он показывает. Делом. Его BMW должен ездить и возить хотя-бы его тушку. Иначе это - гламурный но бесполезный кус металла и жигуль намного практичнее и лучше. Просто потому что на нем можно взять и приехать из города A в город B. В отличие от вашей бэхи без двигателя.

Ответить | Правка | Наверх | Cообщить модератору

265. Скрыто модератором  +/
Сообщение от Аноним (7), 21-Окт-25, 22:03 
Ответить | Правка | Наверх | Cообщить модератору

230. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (219), 21-Окт-25, 20:16 
> Насколько я помню потуги с Fucshia были не особо удачными.

А она то тут причем, тебе про андроид пишут. Опять сишник границей буфера в комментариях ошибся...

Ответить | Правка | К родителю #162 | Наверх | Cообщить модератору

255. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 21:08 
> А она то тут причем, тебе про андроид пишут. Опять сишник границей
> буфера в комментариях ошибся...

Андроида без сишки просто вообше не существовало бы, как явления. Такая ерунда :)


Ответить | Правка | Наверх | Cообщить модератору

135. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (135), 21-Окт-25, 16:40 
А как на ассемблере x86 выглядит restrict или чем char* отличается от void*?
Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

201. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 19:18 
>> Покажи мне как это на ассемблере x86 выглядит.
> А как на ассемблере x86 выглядит restrict или чем char* отличается от void*?

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

Ответить | Правка | Наверх | Cообщить модератору

22. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (22), 21-Окт-25, 12:21 
Вот только софтом, который писали сишники пользуются, т.к. он быстрый и создаётся за разумное время. А академически правильный код зачастую годится только ЧСВ потешить.
Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

53. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Аноним (7), 21-Окт-25, 13:30 
>Вот только софтом, который писали сишники пользуются, т.к. он быстрый и создаётся за разумное время.

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

Ответить | Правка | Наверх | Cообщить модератору

62. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (22), 21-Окт-25, 13:48 
Что-то я не вижу в репозитории OpenSuse особо софта на js или go. Раст это капля в море. На бэкенде - да популярны, но там задачи однотипные типа перекладывания жсонов в базу, а как только хоть чуть-чуть думать надо, геймдев хотя бы, не говоря уж о серьёзном софте типа кадов или условного фотошопа - так ой всё, все эти хипсторы куда-то испаряются.
Ответить | Правка | Наверх | Cообщить модератору

75. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 14:08 
>Что-то я не вижу в репозитории OpenSuse особо софта на js или go.

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

Ну давайте подумаем - forgejo - go; docker, incus, lxd - go; asciicinema - переписан на rust; waypipe - переписан на rust; cosmic de - rust; pantheon - vala; куча всяких мелких сетевых утилит - go; helix - rust; emacs - преимущественно elisp; timeshift - vala; qtile - внезапно python. Вам не кажется странным, что в современном мире как-то подозрительно много проектов разных направленностей почему-то не на си?
>а как только хоть чуть-чуть думать надо, геймдев хотя бы

Внезапно будет c# и java. Посмотрите на тот же Mindustry.
>или условного фотошопа

Что там в фотошопе творится, неизвестно, код закрыт. И потом, вы ещё vim вспомните. Естественно такие старые программы будут на си.

Ответить | Правка | Наверх | Cообщить модератору

83. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (22), 21-Окт-25, 14:26 
> forgejo - go;

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

> подозрительно много проектов разных направленностей почему-то не на си?

В % если брать то мало, особенно если брать ПО для обычного юзера с GUI а не недоделанные консольные утилитки, которые за выходные накидать можно.

Это капля в море на фоне тысяч пакетов с C/C++.
> Внезапно будет c# и java

Ява в геймдеве редкость, может в инди где-то есть пара процентов, вряд ли больше. C# есть, но он во 1х очень похож на C++ а во 2х у Unity свой патченный рантайм, где наверняка всё что нуждается в скорости написано уже на плюсах, C# наружу для игровой логики торчит и возможно некритичных участков кода ядра. А так вообще топ это Unreal на C++ и собственные движки ААА проектов на нём же. На раст жаловались уже что боров чекер мешает в разработке игр.

Ответить | Правка | Наверх | Cообщить модератору

200. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 19:14 
>Бэкендовая обёртка над гитом.

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

Врать не хорошо.
>Уж лучше б на с++ был.

Вот интересно, почему его никто не написан на си, ни вы, ни его авторы?
>В % если брать то мало

А вы прям проценты посчитали, только вот расчёты прикрепить забыли.
>если брать ПО для обычного юзера с GUI

Ага, особенно в репозитории OpenSuse
>а не недоделанные консольные утилитки

Я упомянул несколько десктопных программ. Вот вам ещё пример rustdesc, написан на rust - более чем графическая программа.
>которые за выходные накидать можно.

Вы там знаете
>Это капля в море на фоне тысяч пакетов с C/C++.

А почему не миллионы или лучше миллиарды?
>C# есть, но он во 1х очень похож на C++

У вас совсем аргументы закончились? Это два совершенно разных языка.
>где наверняка всё что нуждается в скорости написано уже на плюсах

То есть тот факт, что игры пишут на c# вы уже даже не отрицаете. Прогресс однако.
>А так вообще топ это Unreal на C++

То, что полторы игры пишется на крестах, ещё никому ничего не доказывает.

Ответить | Правка | Наверх | Cообщить модератору

86. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (22), 21-Окт-25, 14:38 
А ну чтобы не выдумвать ничего, вот статистика ЯП в репозитриях Дебиан. https://sources.debian.org/static/img/stats/sloc_bar_plot.png
Ответить | Правка | К родителю #75 | Наверх | Cообщить модератору

212. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 19:34 
Это конечно хорошо, только почему я должен рассматривать дебиан как эталон? Дебиановцы регулярно удаляют из репозитория программы, которые не смогли собрать. Как пример https://www.opennet.dev/opennews/art.shtml?num=61794
>В качестве причины удаления называется невозможность дальнейшего сопровождения пакета в ветке Debian Stable из-за несоответствия зависимостей к bcachefs-tools требованиям сборки для Debian Stable. Bcachefs-tools недавно был переписан на языке Rust и требует использования конкретных версий компонентов Rust, которые не соответствуют версиям, поставляемым в Debian, а ослабление зависимостей не гарантирует корректную работу bcachefs-tools.

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

Ответить | Правка | Наверх | Cообщить модератору

134. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 16:39 
> Софт на си уже массово вытеснен софтом не на си. Хоть rust,
> хоть go, хоть js, лишь бы не на си.

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

Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

213. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 19:39 
>И ни один чип в нем не заведется. Даже фирмвар SSD какого, или что там у вас.

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

Если вы невнимательно читали, то вопрос не в наличии хотя бы одной программы на си, а в их общем проценте. Если программа написана на условном js, то это js, а не си.

Ответить | Правка | Наверх | Cообщить модератору

261. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 21:25 
> Для того, чтобы рассуждать о прошивке, надо как минимум видеть её исходник,
> а то она внезапно может на расте или паскале оказаться.

Это будет _очень_ внезапно ибо почти все фирмвари на этом глобусе пишутся - на си, иногда subset плюсов.

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

Ида нынче так вообще - научилась опознавать типовые функции рантаймов и основательно реконструировать сорец прям из бинаря. Вот прям так.

> И потом, даже если у вас прошивка ssd будет на си, условный
> докер всё равно будет не на си.

Я не юзаю докер, вот ведь какой парадокс. Это опциональная вторичная вспомогаловка, и близко не являющаяся - незаменимой и mandatory для работы ключевых систем. А вот что б я делал без бутлоадера, ядра линуха, сервисных фирмварей МК и системной фирмвари - вопрос интересный. Этим оно малость отличается от докера по степени критичности.

> Так что хватит сказки рассказывать.

Сказки о чем? Что вы без сишки вообще нихрена не сможете? Так не можете ведь. И это просто констатация наблюдаемого факта. А вот докер и правда чем-то незаменимым или критичным не является. Так, вспомогаловка.

> Если вы невнимательно читали, то вопрос не в наличии хотя бы одной
> программы на си, а в их общем проценте. Если программа написана
> на условном js, то это js, а не си.

Но без рантайма на си и си++ оно вообще нифига не сможет. Даже просто запуститься. Небольшой такой нюанс на тему свиней, дуба и желудей.

Ответить | Правка | Наверх | Cообщить модератору

267. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 22:09 
> Это будет _очень_ внезапно ибо почти все фирмвари на этом глобусе пишутся - на си, иногда subset плюсов.

Ну сравнивать даже сабсет плюсов и СИшку это конечно сильно.

> А вот что б я делал без бутлоадера, ядра линуха, сервисных фирмварей МК и системной фирмвари - вопрос интересный.

Там это... в ядро линукс добавили драйвер на совершенно не нужном расте.
Который будет в сотнях миллионах смартфонов на андроиде.
opennet.ru/opennews/art.shtml?num=64092

> Этим оно малость отличается от докера по степени критичности.

Тебе - да. Миллионам людей - нет.

> Сказки о чем? Что вы без сишки вообще нихрена не сможете?
> просто констатация наблюдаемого факта.

Наблюдаемый единичный факт не является доказательством.
Стыдно не знать такие азы.

> Небольшой такой нюанс на тему свиней, дуба и желудей.

Плохая аналогия подобна котенку с дверцей.
Ты сейчас напоминаешь пресонажей, которые говорят "раз цивилизация появилась из овна и палок (саманый кирпич), это её фундамент! нужно и сейчас строить так же как диды! reject progress, return to monke "


Ответить | Правка | Наверх | Cообщить модератору

269. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 22:20 
>ибо почти все фирмвари на этом глобусе пишутся - на си,

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

https://habr.com/ru/articles/548854/ Вам прямо сказано, что драйвер есть как на расте, так и на zig, а вы по прежнему исключительно про си говорите
>Я не юзаю докер, вот ведь какой парадокс.

И? Ну осталось софта на си на несколько процентов, дальше что?
>Но без рантайма на си и си++ оно вообще нифига не сможет.

То есть вы записываете программы на js в строки на си? Ну тогда я запишу их в строки на go и на rust, ибо интерпретатор есть как на одном, так и на другом.

Ответить | Правка | К родителю #261 | Наверх | Cообщить модератору

37. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (37), 21-Окт-25, 12:44 
Раз вы такие умные, сделайте нам, сишникам, компилятор, который будет гарантированно генерировать безопасный код.
И чтобы можно было им пользоваться в реальной жизни, для реальных задач.
Все поделки, которые мы видим от си-хейтеров - это какие-то максимально кривые яп и инструменты. Такое впечатление, что их создают только для того чтобы чесать свое ЧСВ.

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

Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

40. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 12:56 
>Раз вы такие умные, сделайте нам, сишникам, компилятор, который будет гарантированно генерировать безопасный код.

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

42. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (7), 21-Окт-25, 12:58 
>До rust-а был как минимум ATS и Cyclone, и что, сколько сишников ими пользовались?

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

Ответить | Правка | Наверх | Cообщить модератору

49. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (37), 21-Окт-25, 13:21 
Мы не воротим нос. Мы тоже хотим писать безопасные программы.
Но писать их в более-менее привычном стиле, привычным синтаксисом.
Все что предлагают как замену си - это, извините, шлак, на котором НЕУДОБНО программировать.
Именно поэтому этим не пользуются, а не из-за какого-то мифического заговора сишников против прогресса.
Вы пишете о сишниках как об отставших в развитии существах, которых вы милостиво наставляете на истинный путь.
Так же, наверное, думают и создатели всех этих новых шизофреничных ЯП.
Ну и кагбе вот результат в новости - вместо умников со своим неуемным ЧСВ нам на помощь приходят создатели железа.
Ответить | Правка | К родителю #40 | Наверх | Cообщить модератору

54. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 13:36 
>Мы тоже хотим писать безопасные программы.

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

Приводить синтаксис как аргумент - это сильно. Нет, если у вас два языка, различающиеся только синтаксисом, то тогда ещё можно выбирать, но когда у них разная семантика - нет.
>на котором НЕУДОБНО программировать.

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

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

Ответить | Правка | Наверх | Cообщить модератору

60. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 13:45 
> Мы не воротим нос.

Еще как воротите.

> Мы тоже хотим писать безопасные программы.

Очень заметно)

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

Это ваши проблемы.
Когда начали в панике делать всякие поделки типа TRAP-C ? Буквально вчера.
Т.е десятилетиями было просто плевать на качество, на коректность кода, на типичные дыры.

> Все что предлагают как замену си - это, извините, шлак, на котором НЕУДОБНО программировать.

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

> Именно поэтому этим не пользуются, а не из-за какого-то мифического заговора сишников против прогресса.

Неправда.
Дыды-бракоделы из ядра просто говорили "я не хочу учить новый язык". Т.е просто лень помноженная на потерю способности воспринимать что-то новое.

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

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

> Так же, наверное, думают и создатели всех этих новых шизофреничных ЯП.

Бгг, эти шизофреничные ЯП заняли свои ниши, а некоторые них, даже выкидывают дыряшку за борт.
Жду новость про замену Binder в ядре, там точно много *оп сгорит.

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

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

Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

76. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (-), 21-Окт-25, 14:09 
> Мы тоже хотим писать безопасные программы.

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

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

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

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

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

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

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


Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

84. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 14:28 
> Мы не воротим нос.

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

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

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

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

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

Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

103. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (96), 21-Окт-25, 15:34 
>  Мы тоже хотим писать безопасные программы.

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

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

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

Ответить | Правка | К родителю #49 | Наверх | Cообщить модератору

126. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (37), 21-Окт-25, 16:23 
>внедрять немного другую парадигму мышления.

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

127. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 16:26 
> Берем обычный императивный алгоритм, перекладываем на Си, все, больше ничего не нужно.

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

132. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (37), 21-Окт-25, 16:38 
>сравниваете два енама

Так я эту ветку и начал с предложения: хотите что-то поменять - СДЕЛАЙТЕ лучше. Не нравится что в дидовском С можно сравнивать разные enum - сделайте свой, хороший С, в котором нельзя этого делать.
Это же вроде несложно?
Или сложнее, чем изображать из себя эксперта?

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

А, ну да, забыл, есть же еще программисты на HTML. Похоже, они как раз и набигают со своим экспертным мнением в новости опеннета.

Ответить | Правка | Наверх | Cообщить модератору

137. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (-), 21-Окт-25, 16:45 
> хотите что-то поменять - СДЕЛАЙТЕ лучше

Так мы сделали! Называется С++!
Если у вас аллергия не плюсы... ну возьмите раст, так и быть.
А вы предлагаете взять кусок ов.. Си и сделать из него конфетку. Так не бывает.

> Похоже, они как раз и набигают со своим экспертным мнением в новости опеннета.

Да хоть на 1С пусть пишут. От этого сишка не станет менее дырявой.

Ответить | Правка | Наверх | Cообщить модератору

142. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (37), 21-Окт-25, 16:58 
>С++!

$ cat azaza.cc
enum : unsigned { A = 14 };
enum : unsigned { B = 88 };

int
main()
{
    return (A == B);
}

$ clang++ -Wall -Wextra -pedantic azaza.cc
$

Ни единого предупреждения. И вот так у вас все.

Ответить | Правка | Наверх | Cообщить модератору

155. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 17:39 
> Ни единого предупреждения. И вот так у вас все.

Вы заказали 2 entity одного и того же типа. И сравнили их. С хрена ли это должно быть невалидным действом? Чтобы превратить программирование в совсем брейнфак?

А если оно надо - в плюсах можно завести весьма кастомные типы, навернуть классов, заоверлоадить операторов - и оно так и out of bounds делать не будет, и даже некий эквивалент борова откосплеить может. Если оно надо было - некоторые так и делали.

Ответить | Правка | Наверх | Cообщить модератору

176. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (37), 21-Окт-25, 18:17 
А, то есть для C++ это был один и тот же enum.
Понял.

А можете еще объяснить, почему сишка не дает сравнивать enum'ы крокодилов с апельсинами?

$ cat azaza.c
enum CROCO  { CROCO_1  = 14 };
enum ORANGE { ORANGE_1 = 88 };

int
main()
{
    return (CROCO_1 == ORANGE_1);
}

$ cc -Wall -pedantic -Wextra azaza.c
azaza.c: In function ‘main’:
azaza.c:7:25: warning: comparison between ‘enum CROCO’ and ‘enum ORANGE’ [-Wenum-compare]
    7 |         return (CROCO_1 == ORANGE_1);
      |                         ^~
$

Ответить | Правка | Наверх | Cообщить модератору

259. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 21:22 
> А можете еще объяснить, почему сишка не дает сравнивать enum'ы крокодилов с апельсинами?

Не так уж и не дает, варнинг не ошибка. Действительно не даёт C++, с enum class

Ответить | Правка | Наверх | Cообщить модератору

270. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (270), 21-Окт-25, 22:28 
> А, то есть для C++ это был один и тот же enum.
> Понял.

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

> А можете еще объяснить, почему сишка не дает сравнивать enum'ы крокодилов с апельсинами?

В смысле - не дает? Дает. Но _может_ сгенерить варнинг. Потому что подозрительное действо.

>[оверквотинг удален]
> enum ORANGE { ORANGE_1 = 88 };
> int
> main()
> {
>  return (CROCO_1 == ORANGE_1);
> }
> $ cc -Wall -pedantic -Wextra azaza.c
> azaza.c: In function ‘main’:
> azaza.c:7:25: warning: comparison between ‘enum CROCO’ and ‘enum ORANGE’
> [-Wenum-compare]

Ну и в чем суть претензий? Вас честно предупредили что вы сравниваете крокодилов и апельсины. Это, типа, баг, чтоли? По моему - фича. Но вон там то у вас оба enum - идентичные.

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

Ответить | Правка | Наверх | Cообщить модератору

221. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:03 
>А если оно надо - в плюсах можно завести весьма кастомные типы, навернуть классов, заоверлоадить операторов

Интересно, а почему это у людей аллергия на плюсы?

Ответить | Правка | К родителю #155 | Наверх | Cообщить модератору

257. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 21:14 
Это правда, но не вся:


enum class X : unsigned {a, b, c};
enum class Y : unsigned {a, b, c};

...

auto flag = X::a == Y::b; // Ошибка компиляции - несовместимые типы


Ответить | Правка | К родителю #142 | Наверх | Cообщить модератору

140. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 16:57 
> А потому по невнимательности сравниваете два енама - крокодилы и апельсины -
> и... они сравниваются! Вот такой замечательный йазычок.

Сишка простой - и поэтому местами педальный. Зато благодаря простоте на нем системщина простая, шустрая, предсказуемая и не надо убивать массу времени и сил на борьбу с компилером пытаясь ему объяснить что вот этот доступ в mmaped HW - валидно, так и задумано и just as planned. А вот как вы это с вашими высокопарными абстракциями вообще сделаете?

Это там обычно - от "никак" и вы вообще не системный яп тогда - до весьма конкретных ужастиков как в Rust которые даже brainfuck фору дадут запросто. В половине случаев еще и unsafe к тому же.

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

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

Ответить | Правка | К родителю #127 | Наверх | Cообщить модератору

214. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 19:51 
>Си это простой, лаконичный, императивный яп.

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

Совершенно верно. Ибо концепция владения
>переписывать в функциональном стиле

Сишники не в курсе, что современные компиляторы хорошо оптимизируют функциональный код, как минимум со времён MLTon-а? Или у них головы взрываются, когда они монады видят?
>оформлять его в каком-то безумном синтаксисе

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

Ай-ай, оказывается память портить нехорошо.
>это не только про rust если что, а и про Frama C, и про eBPF verifier

Личино я считаю си синтаксис крайне уродливым, но это моё личное дело. Но как только вы начинаете осуждать Frama C, то тут же изобличаете себя: вас пугает не синтаксис, а семантика. Даже если вам дать статический анализ для сишного исходника, вы всё равно его не осилите.
>И как мы видим, не я один такой, а большинство программистов.

Ага большинство. Осталось только понять, а откуда тогда взялись куча программ на rust, c, haskell, ocaml и так далее.

Ответить | Правка | К родителю #126 | Наверх | Cообщить модератору

116. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (116), 21-Окт-25, 16:06 
>rust
>афинных типов

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

Ответить | Правка | К родителю #40 | Наверх | Cообщить модератору

222. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:04 
Частный случай афинных типов - владение.
Ответить | Правка | Наверх | Cообщить модератору

44. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (-), 21-Окт-25, 13:04 
> Раз вы такие умные, сделайте нам, сишникам, компилятор,
> который будет гарантированно генерировать безопасный код.

Не, чувак, этот мусор никак не исправить)) Можно, и даже нужно!, об****ть и сжечь.
В недостандарте вашего "переносимого ассемблера" почти 200 UB gist.github.com/Earnestly/7c903f481ff9d29a3dd1
Вот как можно из этого сделать нормальный компилятор, если сам "стандарт" говорит "а х его знает что произойдет в этом коде"?

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

MISRA C. Берем сишку, запрещаем в ней половину возможностей и вуаля - писать на этом стало практически невозможно.

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

Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

143. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 16:59 
> Не, чувак, этот мусор никак не исправить)) Можно, и даже нужно!, об****ть и сжечь.

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

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

Ответить | Правка | Наверх | Cообщить модератору

156. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 17:40 
> Не, чувак, этот мусор никак не исправить)) Можно, и даже нужно!, об****ть
> и сжечь.

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

Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

70. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (22), 21-Окт-25, 14:00 
Да не умные они, они только вонять в интернетах могут, а в реале максимум жсоны перекладывают. Раст даже для геймдева не подходит, не говоря уж про серьёзное ПО для работы.
Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

80. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 14:19 
>а в реале максимум жсоны перекладывают

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

Ответить | Правка | Наверх | Cообщить модератору

85. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (22), 21-Окт-25, 14:30 
Сишники делают ~80-90% десктопного софта, остальное это C# и swift. Ну и примерно вся эмбеддовка. В РФ просто ни то ни другое особо не развито, тут больше на перепродажу и сервис бизнес целится, наверное поэтому такое мнение сложилось. А так в мировых рейтингах сишка в топе.
Ответить | Правка | Наверх | Cообщить модератору

88. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Аноним (-), 21-Окт-25, 14:40 
> Сишники делают ~80-90% десктопного софта

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

112. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (112), 21-Окт-25, 16:01 
> 80-90% это с++

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

124. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 16:19 
> В итоге, кодовая база на 99,9% на Си.

Пруфы в студию. Пока это выглядит как розовые очки с линзой толщиной в лобовую бронь Т-90.

> (И это хорошо.)

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

> Это была диверсия со стороны Плюсов.

Это было лучшее решение. Потому что убогость, невыразительносить и многословность сишки не позволяла эффективно писать компилятор.

Ответить | Правка | Наверх | Cообщить модератору

157. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 17:42 
> И именно поэтому у нас так много дырявого софта. Потому что он
> использует дырявые либы.

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

Ответить | Правка | Наверх | Cообщить модератору

216. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 19:54 
>Сишники делают ~80-90% десктопного софта

Ага, сишники. Ещё в 90-ые появился Visual Basic, а вы до сих пор свои сказки рассказываете.

Ответить | Правка | К родителю #85 | Наверх | Cообщить модератору

71. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (21), 21-Окт-25, 14:01 
> Раз вы такие умные, сделайте нам, сишникам, компилятор, который будет гарантированно генерировать безопасный код.

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

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

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

Ответить | Правка | К родителю #37 | Наверх | Cообщить модератору

5. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 11:58 
>например, в реализации MTE для каждых 16 байт создаётся 4-битный тег

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

Ответить | Правка | Наверх | Cообщить модератору

8. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 12:01 
> Я так понимаю у кого-то лишняя оперативка завалялась

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

Ответить | Правка | Наверх | Cообщить модератору

81. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Фрол (?), 21-Окт-25, 14:19 
не рассказывайте этому господину про ЕСС память, а то ведь он желчью изойдет, что там из каждых 72 бит восемь ЗРЯ простаивают!!1
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

18. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Мартин (?), 21-Окт-25, 12:14 
Похоже на борьбу нанайских мальчиков.
Все внедряют новые механизмы, инструкции, алгоритмы...
И все не помогает, только делает все хуже.

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

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

Ответить | Правка | Наверх | Cообщить модератору

51. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (51), 21-Окт-25, 13:25 
> Неужели инженерам не очевидно, что проблема в архитектуре?

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

Ответить | Правка | Наверх | Cообщить модератору

174. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (172), 21-Окт-25, 18:12 
>Неужели инженерам не очевидно, что проблема в архитектуре?

i432
итаник

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

Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

20. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Аноним (20), 21-Окт-25, 12:19 
О, они так скоро эльбрус переизобретут
Ответить | Правка | Наверх | Cообщить модератору

31. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Аноним (11), 21-Окт-25, 12:34 
Но самое интересное, что этот Неоэльбрус будет реально в железе и доступен рознице.
Ответить | Правка | Наверх | Cообщить модератору

34. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Смузихлеб забывший пароль (?), 21-Окт-25, 12:38 
судя по описанию, выглядит даже не как дыра, а как дырища библейских масштабов
Ответить | Правка | Наверх | Cообщить модератору

38. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (38), 21-Окт-25, 12:48 
Наконец-то. Думал, что после 2018 года появятся аппаратные фиксы Спектра и Мельтдауна, а они только сейчас появляются
Ответить | Правка | Наверх | Cообщить модератору

119. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Фняк (?), 21-Окт-25, 16:14 
Чекай, они сделают проверку тэгов только на этапе retire инструкции. Таким образом спектр с мельдонием останутся в безопасности
Ответить | Правка | Наверх | Cообщить модератору

50. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (50), 21-Окт-25, 13:22 
Амуде превращается в длинющий Влив и стоить будет также. Кто мечтал,что войти только для мега-пупер профессионалов?Остальным смурфы на пять лет и хватит для котиков.
Ответить | Правка | Наверх | Cообщить модератору

121. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Фняк (?), 21-Окт-25, 16:16 
Ты дичь втираешь. Поддержка тэгировпнной памяти есть в мобильных процах у ябла. Какой там vliw
Ответить | Правка | Наверх | Cообщить модератору

141. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (50), 21-Окт-25, 16:57 
Неудивительно что такое ничто как арм один из тех кто обязан приспосабливаться.
Ответить | Правка | Наверх | Cообщить модератору

52. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Медведь (ok), 21-Окт-25, 13:30 
Начало конца rust. Всячески одобряю. Краборжавофилы возбудились в теме, замечательно -- хватило умишка понять, что это сулит ржавчине. Что ж, всем, полагающим, что они умнее проектировщиков Intel, ARM и AMD вместе взятых -- флаг в руки и бегом писать петиции о запрете данной инициативы. Вас, конечно же, услышат!
Ответить | Правка | Наверх | Cообщить модератору

57. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (7), 21-Окт-25, 13:38 
Какие же сишники необучаемые. Си будет проверять ошибки и падать в рантайме, как позорный гвидобейсик. В то же время rust будет проверять ошибки во время выполнения и если скомпилировалось, значит работает.
Ответить | Правка | Наверх | Cообщить модератору

63. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Медведь (ok), 21-Окт-25, 13:49 
Какие же растеры необучаемые -- им и невдомек, что кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты. Хотя что это я, они просто понимают, что это не просто гвоздь, а целый набор саморезов в крышку гроба раста.

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

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

Ответить | Правка | Наверх | Cообщить модератору

74. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (21), 21-Окт-25, 14:06 
> что кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты

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

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

Ответить | Правка | Наверх | Cообщить модератору

94. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Медведь (ok), 21-Окт-25, 15:14 
Технология, которая только разрабатывается и планируется к реализации в новых CPU, включается флажками компилятора... Что?! Если ты про MTE, чудила, то флажками компилятора включается защита стека и глобальных данных вне кучи, а для защиты кучи достаточно использовать аллокатор, поддерживающий MTE.
Ответить | Правка | Наверх | Cообщить модератору

160. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (154), 21-Окт-25, 17:51 
> Технология, которая только разрабатывается и планируется к реализации в новых CPU, включается флажками компилятора... Что?! Если ты про MTE

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

82. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 14:22 
>кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты

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

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

Ответить | Правка | К родителю #63 | Наверх | Cообщить модератору

117. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 16:11 
Я полагаю, что тот же Haskell вполне обрадуется возможности вынести ту же проверку границ блоков памяти на CPU... Хотя с этим вопросом тебе скорее к разработчикам Haskell.
Ответить | Правка | Наверх | Cообщить модератору

161. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (154), 21-Окт-25, 17:53 
> Я полагаю, что тот же Haskell вполне обрадуется возможности вынести ту же проверку границ блоков памяти на CPU...

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

Ответить | Правка | Наверх | Cообщить модератору

171. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Медведь (ok), 21-Окт-25, 18:10 
О, ты изучил устройство компилятора Haskell, и проверки границ коллекций там реализованы непосредственно при помощи духа святого? Продолжайте наблюдение, мы с вами свяжемся.

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

Ответить | Правка | Наверх | Cообщить модератору

208. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 19:29 
>> А проверки границ типов коллекций в рантайме там и так есть.
> Haskell, и проверки границ коллекций там реализованы непосредственно при помощи духа святого?

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

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

Господи, и он еще язвит там что-то...

Ответить | Правка | Наверх | Cообщить модератору

242. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 20:33 
> Они реализованы при помощи програмных рантаймных проверок

Да ну? Быть не может, а я то думал... А оно вон оно как...

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

Честно скажу, спросил ИИшку:

Таким образом, да, ChkTag потенциально может использоваться вместо или в дополнение к программным проверкам границ, обеспечивая более эффективную и надёжную защиту от выхода за пределы выделенной памяти — при условии, что:

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

Это делает ChkTag перспективной заменой для многих runtime-проверок

Что с лицом?

Ответить | Правка | Наверх | Cообщить модератору

224. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:07 
>Я полагаю, что тот же Haskell вполне обрадуется возможности вынести ту же проверку границ блоков памяти на CPU

Которая будет только в процессорах на полках магазинов. Или по вашему нужно все процессоры списывать в утиль?

Ответить | Правка | К родителю #117 | Наверх | Cообщить модератору

168. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 18:04 
> Вы лучше скажите, кому он нужен - может Haskell-ю? Или Ocaml-у? Или JS-у?

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

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

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

Ответить | Правка | К родителю #82 | Наверх | Cообщить модератору

93. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Аноним (-), 21-Окт-25, 15:09 
> кроме раста существует 100500 языков, которые получат практически бесплатный механизм защиты.

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

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

Ответить | Правка | К родителю #63 | Наверх | Cообщить модератору

95. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Медведь (ok), 21-Окт-25, 15:15 
Отладка программы? Не, не слышал, раз код компилируется -- значит работает, что за бред там происходит -- неважно.
Ответить | Правка | Наверх | Cообщить модератору

115. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 16:06 
> Отладка программы?

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

175. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:15 
> Поэтому прдль отладчик до посинения.

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

Ответить | Правка | Наверх | Cообщить модератору

228. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:13 
>С разных потоков - еще лучше!

Это будет в следующем наборе команд, лет через семьдесят.

Ответить | Правка | К родителю #115 | Наверх | Cообщить модератору

173. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:12 
>> "Произошла ошибка доступа к памяти при чтении по адресу 0xXXXXXXXXXXXXXXXX, процесс был завершён"
> Отладка программы? Не, не слышал

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

Ответить | Правка | К родителю #95 | Наверх | Cообщить модератору

227. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:11 
>Отладка программы? Не, не слышал, раз код компилируется -- значит работает

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

Ответить | Правка | К родителю #95 | Наверх | Cообщить модератору

113. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (112), 21-Окт-25, 16:03 
> если скомпилировалось

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

Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

123. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Фняк (?), 21-Окт-25, 16:19 
> В то же время rust будет проверять ошибки во время выполнения

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

Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

64. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (-), 21-Окт-25, 13:54 
> Начало конца rust.

Какой забористый копиум))

> Что ж, всем, полагающим, что они умнее проектировщиков Intel и AMD вместе взятых


12.09.2025 VMScape - атака на CPU AMD и Intel, обходящая изоляцию между гипервизором и гостевой системой
19.10.2024 Обход защиты от атак Spectre и эксплоит для извлечения данных из памяти другого процесса
09.04.2024 Новый вариант атаки BHI на CPU Intel, позволяющий обойти защиту в ядре Linux
14.03.2024 Уязвимость в процессорах Intel Atom, приводящая к утечке информации из регистров

17.10.2025 В некоторых процессорах AMD Zen 5 генератор случайных чисел RDSEED выдаёт 0 в 10% случаев  
09.07.2025 Атака TSA, приводящая к утечке информации из микроархитектурных структур CPU AMD
11.04.2025 CPU AMD Zen 5 подвержены уязвимости, допускающей изменение микрокода и обход изоляции SEV-SNP
04.02.2025 Уязвимость в загрузчике микрокода в CPU AMD, позволяющая обойти изоляцию SEV-SNP
13.12.2024 Атака BadRAM, позволяющая обойти механизм аттестации SEV-SNP в CPU AMD

Кажется проектировщики просто кровные браться СИшников)

Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

98. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 15:23 
Ты же сделал свой процессор, получше, правда? Ведь сделал же?
Ответить | Правка | Наверх | Cообщить модератору

164. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (-), 21-Окт-25, 17:59 
> Ты же сделал свой процессор, получше, правда? Ведь сделал же?

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

Ответить | Правка | Наверх | Cообщить модератору

92. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 14:59 
> Начало конца rust.

Смешно.

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

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

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

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

Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

97. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Медведь (ok), 21-Окт-25, 15:22 
> Начиная с Rust 1.84 стабилизирован strict provenance API.

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

178. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:19 
> Краборжавофилы возбудились в теме, замечательно -- хватило умишка понять, что это сулит ржавчине.

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

Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

66. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Фрол (?), 21-Окт-25, 13:56 
звонила AS/400 из 1990 года, просила передать привет

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

Ответить | Правка | Наверх | Cообщить модератору

125. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Фняк (?), 21-Окт-25, 16:21 
Ага, только техножрецы из межделмаша могут генерировать машкод для пользователя, подписывать его своей личной подписью, а as400 будет эту подпись проверять
Ответить | Правка | Наверх | Cообщить модератору

133. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Фрол (?), 21-Окт-25, 16:39 
ерунду не пишите

зрн блгдрн

Ответить | Правка | Наверх | Cообщить модератору

100. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 15:28 
Это что же получается? Ржавый теперь... не нужен? Вот это поворот))
Ответить | Правка | Наверх | Cообщить модератору

111. Скрыто модератором  +/
Сообщение от Аноним (-), 21-Окт-25, 15:57 
Ответить | Правка | Наверх | Cообщить модератору

114. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +3 +/
Сообщение от Аноним (112), 21-Окт-25, 16:04 
Всегда был.
Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

122. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 16:17 
> Всегда был.

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

Ответить | Правка | Наверх | Cообщить модератору

258. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (258), 21-Окт-25, 21:15 
Рыночек уже порешал Раст не занял хоть какой либо значимой доли.
Ответить | Правка | Наверх | Cообщить модератору

148. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 17:16 
Не волнуйтесь прохфессор ржавчина уже в андроиде, и в ядре, и в утилитах на замену дырявах...
Думаю она вас переживет.
И меня, возможно.
Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

153. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 17:32 
> Не волнуйтесь прохфессор ржавчина уже в андроиде, и в ядре, и в
> утилитах на замену дырявах...

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

179. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:26 
> Это что же получается? Ржавый теперь... не нужен? Вот это поворот))

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

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

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

Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

194. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 19:03 
> Что, подгорает?)) Понимаю))

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

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

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


Ответить | Правка | Наверх | Cообщить модератору

195. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 19:06 
>> Что, подгорает?)) Понимаю))
> Понимаете как подгорает?
> Это хорошо!
> Не удивлен, что аФФтор одного из самых уродливых опенсорс приложений такое понимает!
>> Лишнее действие при таких раскладах как раз проверка во время компиляции. Потому что вы потом всё равно будете гонять программу по всякому на тестах. Там всё и выплывет.
> Или не выплывет.
> Как в одно весьма глючной библиотеки для книжек))

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

Ответить | Правка | Наверх | Cообщить модератору

223. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 20:07 
> Да вы не убивайтесь так, это ещё нескоро будет)

А как же все заламывания рук, проклятия в стороноу капиталистов и знаменитое "ЧАСИКИ ТИКАЮТ!!" ?
Неужели конец света и человечества откладывается?
Неужели сумасшедшие пророки врали??

Ответить | Правка | Наверх | Cообщить модератору

232. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 20:17 
> А как же все заламывания рук, проклятия в стороноу капиталистов и знаменитое
> "ЧАСИКИ ТИКАЮТ!!" ?

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

> Неужели сумасшедшие пророки врали??

Хорошо, я обязательно передам С.В. Дробышевскому, что вы считаете его сумасшедшим. Он порадуется))


Ответить | Правка | Наверх | Cообщить модератору

245. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:48 
>Лишнее действие при таких раскладах как раз проверка во время компиляции. Потому что вы потом всё равно будете гонять программу по всякому на тестах. Там всё и выплывет.

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

Ответить | Правка | К родителю #186 | Наверх | Cообщить модератору

249. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 20:58 
> Ага, если эти тест будут. А то будет, прямо как у вас,
> когда ошибки вы начали исправлять только после того, как вас носом
> ткнули в конкретную строку и долго долго объясняли, почему так делать
> нельзя. И то, до сих пор кучу ошибо не исправили.

Ну всё, все фанаты в сборе, можно начинать бенифис)))

Ответить | Правка | Наверх | Cообщить модератору

248. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:57 
>Что, подгорает?)) Понимаю)) Только вы не в ту сторону воюете - вы это тем, кто вам такую подляну подложил, объясняйте, а не мне.

Нашёл начало обсуждения. https://www.opennet.dev/openforum/vsluhforumID3/134750.html#523
>Вы пробегаете по целой строке только для того, чтобы обнаружить конец тега. Даже решение на парсер комбинаторах успеет по дороге атрибуты распарсить, у вас же это холостой прогон.

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

Ответить | Правка | К родителю #186 | Наверх | Cообщить модератору

251. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 21:00 
>>Что, подгорает?)) Понимаю)) Только вы не в ту сторону воюете - вы это тем, кто вам такую подляну подложил, объясняйте, а не мне.
> Нашёл начало обсуждения. https://www.opennet.dev/openforum/vsluhforumID3/134750.html#523
>>Вы пробегаете по целой строке только для того, чтобы обнаружить конец тега. Даже решение на парсер комбинаторах успеет по дороге атрибуты распарсить, у вас же это холостой прогон.
> Как минимум эта проблема до сих пор не исправлена, остальные смотреть лень,
> уже больше года прошло. И этот человек рассказывает нам как программировать.

И снова вопрос - а при чём здесь вообще я?)) Речь шла о ненужности Ржавого, на которую мои личные и профессиональные качества не влияют никак ;)

Ответить | Правка | Наверх | Cообщить модератору

229. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:15 
Добрый день. Вы уже починили свой парсер xml или как всегда нет? Или как настоящий сишник, вы и не планировали его делать рабочим?
Ответить | Правка | К родителю #100 | Наверх | Cообщить модератору

234. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 20:19 
> Добрый день. Вы уже починили свой парсер xml или как всегда нет?
> Или как настоящий сишник, вы и не планировали его делать рабочим?

А как я его могу починить, если вы филоните?)) Вы же из тестировщиков уволились - тестировать теперь некому, вот я и не знаю, что он сломан))


Ответить | Правка | Наверх | Cообщить модератору

244. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:46 
>Вы же из тестировщиков уволились - тестировать теперь некому, вот я и не знаю, что он сломан))

Я вам уже кучу раз говорил, что так https://github.com/ProfessorNavigator/mylibrary/blob/3590a4c... делать нельзя. Следующий код является валидным

<tag attr=">"/>

А ещё, я вам скидывал пример, как делать правильно. https://dev.realworldocaml.org/parsing-with-ocamllex-and-men...

Ранее вам уже писали об этом, и то это не самое первое сообщение https://www.opennet.dev/openforum/vsluhforumID3/135943.html#105

Вы до сих пор не починили данную проблему.

Ответить | Правка | Наверх | Cообщить модератору

247. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 20:57 
> Я вам уже кучу раз говорил, что так https://github.com/ProfessorNavigator/mylibrary/blob/3590a4c...
> делать нельзя. Следующий код является валидным
> <tag attr=">"/>

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


Ответить | Правка | Наверх | Cообщить модератору

260. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 21:23 
>Вы хоть взгляните, куда ваша ссылка указывает

На ваш код
>и разберитесь, что этот код вообще делает

У вас одна и та же ошибка повторяется из раза в раз
https://github.com/ProfessorNavigator/mylibrary/blob/3590a4c...
https://github.com/ProfessorNavigator/mylibrary/blob/3590a4c...
вам уже и пример привели, когда это работать не будет, а вы до сих пор так ничего и не поняли
>И при чём здесь вообще я? Речь шла о ненужности Ржавого,

При том, что вы как эталонный борец с ржавым, не умеете писать код.
https://github.com/ProfessorNavigator/mylibrary/blob/3590a4c...
>case 34:
>case 39:
>case 62:

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

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

Ответить | Правка | Наверх | Cообщить модератору

263. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 21:29 
>[оверквотинг удален]
>>case 34:
>>case 39:
>>case 62:
> Вот это - это что такое? Вместо того, чтобы исправлять ошибки, вы
> только запутываете код.
>>на которую мои профессиональные и личные качества не влияют никак))
> Влияют. Я вам более года тому назад рассказывал, что туда-сюда ходит по
> строке - это медленно. Вы это починили? Нет. Почему? По тому,
> что не умеете. Если вы не в состоянии нормально написать парсер,
> то на каком основании вы в состоянии рассказывать о нужности раста?

И тут Остапа понесло)) Понимаю, новость для вас шокирующая - придётся чему-то учиться, по-настоящему работать идти. Но вы не убивайтесь так - оно нормально, все так живут ;)

Ответить | Правка | Наверх | Cообщить модератору

266. Скрыто модератором  +/
Сообщение от Аноним (7), 21-Окт-25, 22:07 
Ответить | Правка | Наверх | Cообщить модератору

268. Скрыто модератором  +/
Сообщение от ProfessorNavigator (ok), 21-Окт-25, 22:10 
Ответить | Правка | Наверх | Cообщить модератору

110. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (110), 21-Окт-25, 15:54 
Какие опкоды планируются у этих инструкций? Из группы NOP или другое? Давайте усложним декодер инструкций сильнее...
Ответить | Правка | Наверх | Cообщить модератору

256. Скрыто модератором  +/
Сообщение от Аноним (258), 21-Окт-25, 21:11 
Ответить | Правка | Наверх | Cообщить модератору

118. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (116), 21-Окт-25, 16:14 
Не стал отмечать какое-то конкретное сообщение, потому что данная идея в целом несётся множеством сообщений и постеров(вероятно).
Но меня смущает, почему сишники видят эту новость, в первую очередь, как что-то плохое для раста, а не как что-то хорошее для всего IT в целом.
То есть акцент у постеров буквально делается сугубо на том, что вот сейчас-то  технологию внедрят и всё! Растишка помрёт наконец! Ууух заживём!
Почему сишники считают, что это буквально убийца раста и всё? Всё их желание бороться с уязвимостями кроется исключительно в желании нагнуть раст?
Ответить | Правка | Наверх | Cообщить модератору

128. Скрыто модератором  +2 +/
Сообщение от Анрним (?), 21-Окт-25, 16:28 
Ответить | Правка | Наверх | Cообщить модератору

129. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Медведь (ok), 21-Окт-25, 16:29 
Поддерживаю, новость шикарная для IT в целом, особенно для ядрописателей и прочих системщиков.

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

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

Ответить | Правка | К родителю #118 | Наверх | Cообщить модератору

139. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –6 +/
Сообщение от Аноним (-), 21-Окт-25, 16:49 
> На агрессивные шуточки про дидов и дырявую сишку

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

147. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +3 +/
Сообщение от Аноним (37), 21-Окт-25, 17:15 
>А вы смешной. Где потеряли свой красный нос?

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

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

Ответить | Правка | Наверх | Cообщить модератору

150. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 17:20 
> Мне вот пофиг Rust, я этих убийц си уже штук 10 видел.

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

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

Ответить | Правка | Наверх | Cообщить модератору

196. Скрыто модератором  +/
Сообщение от Аноним (172), 21-Окт-25, 19:08 
Ответить | Правка | Наверх | Cообщить модератору

246. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (22), 21-Окт-25, 20:48 
Ггг, а что, веб сервера уже с С переписали? Нгинкс там, lighthttpd, postgres, алгоритмы сжатия, кодеки и прочая база?
Ответить | Правка | К родителю #150 | Наверх | Cообщить модератору

149. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 17:17 
Ну тогда уж потерпите в этом треде )))


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

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

Ответить | Правка | К родителю #139 | Наверх | Cообщить модератору

159. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Аноним (-), 21-Окт-25, 17:48 
> Так новость как раз о том, что этой возможности не будет в новых CPU.

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

Ответить | Правка | Наверх | Cообщить модератору

163. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 17:56 
Я как-то и не планировал использовать один процессор с рождения до пенсии... Нет, воля ваша, но таки вот уже и без SSE4 не все проги работают, и активно дропается поддержка старых архитектур вообще... Что предлагаете?
Ответить | Правка | Наверх | Cообщить модератору

166. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 18:04 
>  Я как-то и не планировал использовать один процессор с рождения до пенсии...

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

177. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 18:18 
А вы предлагаете всем перейти на раст. Учитывая, что для большинства задач он не годится чуть более чем полностью, это гораздо менее реально, чем постепенное обновление парка CPU с поддержкой сабжа. Сравните вами же названные сроки выхода новых процессоров со сроками поддержки серьезного ПО. Выводы понятны?

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

Ответить | Правка | Наверх | Cообщить модератору

188. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:51 
> А вы предлагаете всем перейти на раст. Учитывая, что для большинства задач он не годится чуть более чем полностью

Ну зачем всем? В Linux вон внедряют, в ключевые компоненты Андроида, Хрома, Винды и прочих - тоже.

Но ты иди, скажи этим некомпетентам, что Раст не годится для ядра ОС, ни для системного и прикладного софта.

Ответить | Правка | Наверх | Cообщить модератору

191. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 18:57 
> А вы предлагаете всем перейти на раст.

Нет конечно! Я предлагаю СИшникам перестать делать типичные ошибки.

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

> Учитывая, что для большинства задачон не годится чуть более чем полностью,

Без пруфов это заявление просто "Очень громкий пyк".
В качестве другого мнения я выбираю Грега Кроа-Хартмана, который писал по поводу ядра:
The majority of bugs (quantity, not quality/severity) we have are due to
the stupid little corner cases in C that are totally gone in Rust.
lore.kernel.org/all/2025021954-flaccid-pucker-f7d9@gregkh/

> Сравните вами же названные сроки выхода новых процессоров со сроками поддержки серьезного ПО. Выводы понятны?

Ага. Абсолютно.
Отфонарные входные дают отфонарное выводы.
Типичный garbage in -> garbage out.

> Продолжая вашу аналогию,

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


Ответить | Правка | К родителю #177 | Наверх | Cообщить модератору

237. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 20:24 
> Я предлагаю СИшникам перестать делать типичные ошибки.

Почему же только сишникам? Я вообще предлагаю никому не делать никаких ошибок. Всё, все проблемы решены.

> Без пруфов это заявление просто "Очень громкий пyк".

Ок, покажи мне хотя бы фреймворк уровня Qt на раст. Я подчеркиваю, не копию Qt, а проект сопоставимый по охвату решаемых проблем, возможностям и удобству использования.

> Отфонарные входные дают отфонарное выводы.

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

> Я предлагаю просто поменять стандарты разработки.

Ну да, ну да, я понял. Успехов.

Ответить | Правка | Наверх | Cообщить модератору

185. Скрыто модератором  +/
Сообщение от Аноним (199), 21-Окт-25, 18:41 
Ответить | Правка | К родителю #149 | Наверх | Cообщить модератору

151. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –3 +/
Сообщение от Аноним (151), 21-Окт-25, 17:20 
> По поводу издевательств над растом в треде -- может быть, это ответ на поведение его токсичного сообщества? На агрессивные шуточки про дидов и дырявую сишку?

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

Ответить | Правка | К родителю #129 | Наверх | Cообщить модератору

181. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:34 
> На агрессивные шуточки про дидов и дырявую сишку?

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

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

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

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

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

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

Ответить | Правка | К родителю #129 | Наверх | Cообщить модератору

184. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Медведь (ok), 21-Окт-25, 18:41 
Я понимаю, что unit- и интеграционное тестирование, верификация логики программы и т.п. -- это не для растеров, это же не тяп-ляп и в продакшн. Но поверь, в нормальных проектах на такое не забивают независимо от языка, и там ошибки работы с памятью сабж позволит отловить ничуть не хуже боровчекера.

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

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

Ответить | Правка | Наверх | Cообщить модератору

187. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:47 
> Я понимаю, что unit- и интеграционное тестирование, верификация логики программы и т.п.

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

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

Ответить | Правка | Наверх | Cообщить модератору

190. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Медведь (ok), 21-Окт-25, 18:57 
Можешь кривляться сколько угодно, но новость для rust убийственна. Я, кстати, сильно подозреваю, что работы над сабжем не в последнюю очередь вдохновлены фейлами раста.
Ответить | Правка | Наверх | Cообщить модератору

192. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Аноним (-), 21-Окт-25, 19:00 
Только в твоей больной фантазии.

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

Ответить | Правка | Наверх | Cообщить модератору

211. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 19:34 
> Можешь кривляться сколько угодно, но новость для rust убийственна.

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

Ответить | Правка | К родителю #190 | Наверх | Cообщить модератору

233. Скрыто модератором  +/
Сообщение от Аноним (7), 21-Окт-25, 20:17 
Ответить | Правка | К родителю #187 | Наверх | Cообщить модератору

180. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 18:28 
> Но меня смущает, почему сишники видят эту новость, в первую очередь, как что-то плохое для раста, а не как что-то хорошее для всего IT в целом.

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

Ответить | Правка | К родителю #118 | Наверх | Cообщить модератору

189. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Медведь (ok), 21-Окт-25, 18:52 
В популярной библиотеке async-tar (и её форках, таких как tokio-tar) была обнаружена критическая уязвимость, связанная с некорректным разбором границ архива, что могло привести к выполнению произвольного кода или отказу в обслуживании

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

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

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

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

Ответить | Правка | Наверх | Cообщить модератору

193. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (-), 21-Окт-25, 19:01 
> Как неожиданно, боровчекер не может проверить код за программиста. Продолжать?

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

Ответить | Правка | Наверх | Cообщить модератору

215. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 19:52 
> Также сообщалось об уязвимости в Rust-компоненте ядра Windows, связанной с GDI
> специально сформированные batch-файлы

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

> async-tar [...] уязвимость, связанная с некорректным разбором границ архива
> RUSTSEC-2020-0034 [...] гонка данных, переполнение буфера и использование неинициализированной памяти
> Как неожиданно, боровчекер не может проверить код за программиста.

Боровчекер, работающий во время компиляции, не ловит рантайм ошибки. Действительно неожиданно!

> Продолжать?

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

Ответить | Правка | К родителю #189 | Наверх | Cообщить модератору

231. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Медведь (ok), 21-Окт-25, 20:16 
Если ты не понимаешь толстых намеков: смысл ловить ошибки работы с памятью на этапе компиляции, если 1) у раста все равно не все бывает гладко с памятью 2) тестировать рантайм все равно нужно? То есть это было бы, конечно, неплохо, не влеки оно за собой кучу совершенно ни для чего другого не нужных ограничений на структуру и логику софтины и не заставляй программиста извращаться, чтобы пропихнуть код боровчекеру. Серебряных пуль не бывает, на примере раста это видно совершенно отчетливо.
Ответить | Правка | Наверх | Cообщить модератору

236. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (7), 21-Окт-25, 20:24 
>Если ты не понимаешь толстых намеков: смысл ловить ошибки работы с памятью на этапе компиляции, если 1) у раста все равно не все бывает гладко с памятью

https://www.opennet.dev/opennews/art.shtml?num=60456 - Обновление X.Org Server 21.1.11 с устранением 6 уязвимостей
https://www.opennet.dev/opennews/art.shtml?num=60927 - Обновление X.Org Server 21.1.12 с устранением 4 уязвимостей
https://www.opennet.dev/opennews/art.shtml?num=60983 - Обновление X.Org Server 21.1.13 с устранением потенциальной уязвимости в исправлении уязвимости
https://www.opennet.dev/opennews/art.shtml?num=62795 - Обновление X.Org Server 21.1.16 с устранением 8 уязвимостей
https://www.opennet.dev/opennews/art.shtml?num=63423 - Обновление X.Org Server 21.1.18 с устранением 6 уязвимостей
Вот когда у вас будут программы на расте такими же дырявыми как на си, тогда и приходите.

Ответить | Правка | Наверх | Cообщить модератору

243. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (199), 21-Окт-25, 20:38 
> Если ты не понимаешь толстых намеков

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

> смысл ловить ошибки работы с памятью на этапе компиляции, если 1) у раста все равно не все бывает гладко с памятью 2) тестировать рантайм все равно нужно?

Смысл ловить ошибки на работы с памятью на этапе компиляции в том, чтобы не ловить их во время выполнения, получая крэши и вулны. Все.

> То есть это было бы, конечно, неплохо, не влеки оно за собой кучу совершенно ни для чего другого не нужных ограничений на структуру и логику софтины

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

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

Ответить | Правка | К родителю #231 | Наверх | Cообщить модератору

136. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (136), 21-Окт-25, 16:41 
когда уже JIT компиляцию микрокода CPU завезут? доколе?!
Ответить | Правка | Наверх | Cообщить модератору

138. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (138), 21-Окт-25, 16:46 
Опять передерут из BSD и объявят о разработке с нуля? Не удивили.
Ответить | Правка | Наверх | Cообщить модератору

145. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +2 +/
Сообщение от Шизгорин (?), 21-Окт-25, 17:12 
Вижу очередной предлог заставить хомячков в добровольно-принудительном порядке обновить парк железа, как это было с TPM.

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

Ответить | Правка | Наверх | Cообщить модератору

165. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –2 +/
Сообщение от Аноним (152), 21-Окт-25, 18:04 
Вот по этому правительство США призывает отказаться небезопасных языков!
Ответить | Правка | Наверх | Cообщить модератору

182. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (50), 21-Окт-25, 18:37 
Пользуются открытым кодом? Некий военный стартап попробовал NixOS и плюнул.
Ответить | Правка | Наверх | Cообщить модератору

197. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +1 +/
Сообщение от Аноним (172), 21-Окт-25, 19:09 
а вы их госдолг видали?
как думаете, связано? :-)
Ответить | Правка | К родителю #165 | Наверх | Cообщить модератору

209. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (209), 21-Окт-25, 19:32 
Почему правительство контролирует, на каких языках можно программировать? Ах, да... 451 градус по Фаренгейту.
Ответить | Правка | К родителю #165 | Наверх | Cообщить модератору

202. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (202), 21-Окт-25, 19:19 
ой да ладно, хоть sse ща везде используют, сборка какого-нить хромиума с avx2 уже кастом, а это intel 5xxx если не ошибаюсь
Ответить | Правка | Наверх | Cообщить модератору

203. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  –1 +/
Сообщение от Аноним (202), 21-Окт-25, 19:19 
мож от 32битных, наконец-то, откажутся повсеместно
Ответить | Правка | Наверх | Cообщить модератору

205. Скрыто модератором  +1 +/
Сообщение от Кора дуба (-), 21-Окт-25, 19:25 
Ответить | Правка | Наверх | Cообщить модератору

206. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (209), 21-Окт-25, 19:28 
Тут недавно гугл выкатила 32-битную платформу... Неужели гугл не в курсе твоих желаний?
Ответить | Правка | К родителю #203 | Наверх | Cообщить модератору

253. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 21:03 
Если они будут аналогичны ARM MTE, то для динамической памяти достаточно будет поддержки со стороны аллокатора (см. hardened_malloc и GrapheneOS). Для защиты стека нужно будет собирать со определёнными флагами компилятора.
Ответить | Правка | Наверх | Cообщить модератору

254. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (-), 21-Окт-25, 21:06 
А вообще нам нужна альтернатива CHERI на x86_64.

https://en.wikipedia.org/wiki/Capability_Hardware_Enhanced_R...

Ответить | Правка | Наверх | Cообщить модератору

262. "Intel и AMD стандартизируют механизм ChkTag для защиты от уя..."  +/
Сообщение от Аноним (262), 21-Окт-25, 21:25 
А неужто труднее починить фон-неймановсую архитектуру?
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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