forum.opennet.ru

"Дэниэл Бернштейн выступил с инициативой создания Си-компилят..."

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

Исходное сообщение

[ Отслеживать ]

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

. "Дэниэл Бернштейн выступил с инициативой создания Си-компилят..."	+3 +/–
Сообщение от Аноним (-), 22-Дек-15, 18:27
Штука в том, что по (невалидному) указателю все эти метаданные можно повредить и в результате рано или поздно ты получишь то, что в языке называется UB. Или, например, как ты защитишься от double free? Запретить арифметику указателей? Сделать указатели auto-null при освобождении? Подсчет ссылок? GC? Тогда это не C, и не морочьте голову.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Дэниэл Бернштейн выступил с инициативой создания Си-компилят..., opennews, 22-Дек-15, 13:48 [смотреть все]

OpenNews В DNS-сервере BIND устранен серьёзный сбой, возникший из-за изменений , Sw00p aka Jerom, 22-Дек-15, 14:41 (12) //
без хэшей, подписанных коммитов и контрольных сумм , Аноним, 22-Дек-15, 14:48 (15)

Правильно говорит Для проектов уровня ядра Linux, Android, Firefox и Chrome каж, Аноним, 22-Дек-15, 14:07 (4) //
- Android и Chromium гуглом собираются clang ом, что как бы намекает , Аноним, 22-Дек-15, 17:51 (72) //
  - У clang ситуация ровно такая же Если древний код с UB то каждая новая версия - , Crazy Alex, 23-Дек-15, 00:59 (127)
- Действительно, надо прекратить выпускать новые релизы GCC , Аноним, 23-Дек-15, 00:01 (122)
- А каждый новый релиз защищённого компилятора, значит, всегда будет праздником , dq0s4y71, 23-Дек-15, 16:47 (153) //
  - Именно Проекты уровня ядра Linux, Android, Firefox и Chrome тм не будут собира, Andrey Mitrofanov, 23-Дек-15, 17:56 (156)
Rust, D, или что-то такое 8212 в любом случае если C четко определить семанти, Deepwalker, 22-Дек-15, 14:09 (5) //
- Отличная идея Давайте назовём его Java Хотя, постойте 8230 , Аноним, 22-Дек-15, 14:17 (7) //
  - Джава это такой электровеник со встроенным веником GC, который постоянно тормози, Чаёвник, 22-Дек-15, 16:14 (53) //
    - Вы определитесь 8212 вам производительность или undefined, unspecified beha, Аноним, 22-Дек-15, 18:10 (75)
      - А как предсказуемое поведение повлияет на производительность Вот это вот int i , www2, 22-Дек-15, 18:55 (89)
        
        А кто гарантирует, что n sizeof m 0 TYPE_MAX Да, можно сделать доп п, pavlinux, 22-Дек-15, 19:57 (101)
        Медленнее будет работать проверка указателя перед его первым использованием Медл, Аноним, 22-Дек-15, 19:59 (102)
        А что вы до Явы докопались, она в NASA, точнее уже на Марсе, на марсаходах работ, pavlinux, 22-Дек-15, 20:42 (106)
        
        откуда инфа , Аноним, 22-Дек-15, 22:34 (117)
        
        Вот ты тёмный, братишка Ещё скажи что не в курсе о том что питон на луне вместе, Онаним, 23-Дек-15, 13:57 (146)
        
        Мерзкие, склизкие, земноводные гады зависть, Andrey Mitrofanov, 23-Дек-15, 14:25 (147)
        
        Google nasa mars java , pavlinux, 25-Дек-15, 00:51 (173)
    - Написали helloworld на Java А сопровождать сотни тысяч строк кода на C приход, Вареник, 22-Дек-15, 22:03 (112)
      - Не осилили лабы в политехе, как и все Си-хейтеры Ассемблер тоже завалили Паска, Чаёвник, 22-Дек-15, 22:34 (116)
        
        Шура, не трогайт белоснежный Си своими кривыми приплюснутыми лапами, Бармаглот, 23-Дек-15, 01:53 (132)
        Более того бОльшая половина софта БОльшая половина - это сильно А бигдата - эт, Классический Анонимух, 23-Дек-15, 07:25 (137)
        
        Бигдата Мммм Я забыл, каждый день он нужен тысячам мильёнов для ежедневных з, Чаёвник, 23-Дек-15, 11:18 (141)
        Мне вот интересно, что нынче студентота подразумевает под бигдатой SAP Или уже, Anonim, 23-Дек-15, 17:29 (154)
    - У меня первый телефон, 15 лет назад, был с игрушками и приложениями на джаве С , Классический Анонимух, 23-Дек-15, 07:27 (138)
      - Да, такие маленькие убогие кастратики, типа Siemens M55 и Sony X100 Помню носил, Чаёвник, 23-Дек-15, 11:35 (142)
- Перечитай новость еще раз Речь идет о поведении компилятора, а не о изменениях , angra, 22-Дек-15, 14:27 (8) //
  - Он эе по факту пытается стандартизировать undefined, unppecified и impleentation, Crazy Alex, 22-Дек-15, 14:50 (18) //
    - Во-первых, это нельзя решать ни новой реализацией очевидно , ни новым стандарто, Аноним, 22-Дек-15, 18:13 (76)
      - Ерунда 1 стандарт врубается по соответствующему ключику Если ты не знаешь, что, Crazy Alex, 23-Дек-15, 01:07 (129)
    - Да, он покушается именно, что на стандарт его действительно надо доопределить О, freehck, 23-Дек-15, 14:30 (148)
  - Некоторые любят решать уже решённые проблемы http ispras linuxbase org index p, Аноним, 22-Дек-15, 18:17 (77) //
    - Некоторые любят придумать чушь за автора и научить его, как эту чушь исправить, , angra, 22-Дек-15, 18:30 (82)
      - У языка как такового нет ABI ABI есть у программ и библиотек, диктуемое отчасти, Аноним, 22-Дек-15, 18:53 (87)
Раз в полгода в списке рассылки gcc или clang появляется какой-нибудь чудак с по, Аноним, 22-Дек-15, 14:16 (6) //
- Вы сравниваете теплое с фиолетовым 8211 т е выкладки и инновационные предл, Нимано, 22-Дек-15, 14:48 (16) //
  - Это вещи одного порядка И если уж вы так любите апеллировать к авторитетам, под, Аноним, 22-Дек-15, 16:30 (59) //
    - Угу, угу Ну, не все умеют в телепатию GCC-онляи костыль, в виде повторяющегося O, Нимано, 22-Дек-15, 17:27 (71)
      - Угу, угу А и не надо Непонятно 8212 переспросите Только, если бы вы действи, Аноним, 22-Дек-15, 17:51 (73)
        
        О, кстати 171 Расширенный 187 синтаксис ассемблерных вставок gcc, помимо сам, Аноним, 22-Дек-15, 17:59 (74)
        
        Повторю слова автора по ссылке Ok, I admit it I m surprised Не знал, что кром, Владимир, 22-Дек-15, 18:23 (79)
        
        И что, это уже не костыль Ну-ну О великий просветитель, зачем вы вообще приплел, Нимано, 22-Дек-15, 19:02 (90)
        
        Нет Суперскалярный процессор с внеочередным исполнением волен исполнять в произв, Аноним, 22-Дек-15, 19:37 (98)
        
        Ну-ну Особенно приведенный вами вами код соберите с ним ядро и наслаждайтесь ск, Нимано, 23-Дек-15, 04:35 (134)
Лучше на D перейти В нём уже есть вся эта защита и код на нём намного красивей п, А, 22-Дек-15, 14:41 (11) //
- Тут смысл в другом Изобрести золотую пулю И рыбку съесть Типа и код не на, Вареник, 22-Дек-15, 22:11 (113)
- эм, у меня под боком есть серверный линукс программы на c и на go в нём есть, а, й, 23-Дек-15, 01:39 (131)
Что за бред, простите Оптимизатор - это одно UB - совсем другое Я, в общем-то, Crazy Alex, 22-Дек-15, 14:46 (13) //
- Смысл в том, чтобы ввести предсказуемое поведение в компилятор, для того чтобы н, ram_scan, 22-Дек-15, 15:23 (31) //
  - Ну, то есть соответствующий софт ничем больше будет не собрать , Crazy Alex, 22-Дек-15, 15:59 (45)
  - Пример такого компилятора в студию Я вот тоже считаю, определить UB - это бред, , Аноним, 22-Дек-15, 18:18 (78) //
    - Любой современный Dead store elimination считается безопасной оптимизацией и пр, Аноним, 22-Дек-15, 18:34 (83)
      - Удаление присваивания возможно _только_ в случае, если компилятор может _доказат, Аноним, 22-Дек-15, 18:47 (86)
        
        gt оверквотинг удален Чтобы доказать прямое, программу тоже надо собирать с LT, Аноним, 22-Дек-15, 19:09 (92)
        
        Не всегда Я привел пример, когда это не требуется, и компиляторы так работают и, Аноним, 22-Дек-15, 19:22 (96)
Почему в 0 а не в INT_MAX Почему они вообще должны инициализироваться Полагаю , Мяут, 22-Дек-15, 14:47 (14) //
- Т е ты действительно не умеешь в биты Потому, что не круто плодить неиспользуем, Pickle, 22-Дек-15, 15:06 (26) //
  - gcc уже давным давно выдает варнинг при попытке использования неинициализированн, Аноним, 22-Дек-15, 15:20 (30) //
    - Только в самых тривиальных случаях code include stdio h include stdlib h int , Аноним, 22-Дек-15, 15:59 (44)
      - А вы на шкаф залезьте c Естественно нет У компилятора С просто нет информаци, Аноним, 22-Дек-15, 16:12 (51)
      - gcc -O2 -Wall unused cunused c 12 3 предупреждение b is used uninitialized i, Аноним, 22-Дек-15, 17:06 (66)
        
        gcc --versiongcc GCC 4 9 2 20150212 Red Hat 4 9 2-6 во втором случае gcc -Wu, Аноним, 22-Дек-15, 17:15 (68)
        
        Ключевое слово -O2, анализатор намертво прибит к оптимизатору , Аноним, 23-Дек-15, 05:19 (135)
    - Меня смущают люди, которые используют неинициализированные переменные, кроме как, Pickle, 22-Дек-15, 16:08 (50)
      - Добавил я к тому, что я уже на автомате делаю, что-то типа int i 0 , Pickle, 22-Дек-15, 16:14 (54)
        
        Не делайте так больше никогда Рискуете пропустить важный варнинг от компилятора, Аноним, 22-Дек-15, 16:18 (56)
      - Иногда инициализация заключается в передаче указателя на переменную в функцию На, Аноним, 22-Дек-15, 16:17 (55)
      - Бывают особые случаи https www schneier com blog archives 2008 05 random_numbe, ACCA, 22-Дек-15, 23:06 (119)
        
        Это не особые случаи , а ССЗБ, заслуженно наступивший на грабли , Аноним, 23-Дек-15, 12:58 (145)
- UB это некорректная программа, а не нет единственно правильного поведения Uns, all_glory_to_the_hypnotoad, 22-Дек-15, 23:45 (120)
очень интересно было бы понять что такое предсказуемый язык и что понимается под, Аноним, 22-Дек-15, 14:50 (17) //
- одно можно сказать - это как минимум функциональный язык, привет Rust , Аноним, 22-Дек-15, 18:55 (88) //
  - все дело в разруливании указателей - в ржавчине можно явно утверждать а не гада, Аноним, 23-Дек-15, 01:02 (128)
Безнадежная идея Лучше уж сразу взять язык со ссылочной прозрачностью Проблем, Аноним, 22-Дек-15, 14:54 (20)
Настолько что сразу начали бы писать гoвнокод который будучи скомпиленным другим, Аноним, 22-Дек-15, 15:10 (27) //
- Получила функция на вход const char и откуда компилятору знать где тут границы, Аноним, 22-Дек-15, 15:18 (28) //
  - Описывайте указатель на буфер, чтобы через sizeof размер вычислялся, и чтобы н, ram_scan, 22-Дек-15, 15:27 (33) //
    - p alloc_foo 100500 do_bar p Давайте расскажите мне как КОМПИЛЯТОР узнает раз, Аноним, 22-Дек-15, 15:29 (35)
      - Ладно ты технически безграмотен, но неужели совсем нет воображения чтобы подумат, Аноним, 22-Дек-15, 15:57 (43)
        
        Откуда компилятору знать что alloc_foo вообще выделяет память Откуда компилятор, Аноним, 22-Дек-15, 16:05 (48)
        
        И кстати вдогонку рантайм кост всего этого дерьма вы себе представляете , Аноним, 22-Дек-15, 16:07 (49)
        
        Еще один указатель на p sizeof DATA и все См реализацию управления памятью чут, Аноним, 22-Дек-15, 17:11 (67)
        
        Тем более все компиляторы хранят размеры выделенной памяти для того, чтоб free p, Аноним, 22-Дек-15, 17:17 (69)
        
        Штука в том, что по невалидному указателю все эти метаданные можно повредить и , Аноним, 22-Дек-15, 18:27 (80)
        
        Проверкой сигнатуры в блоке памяти до указанного указателя Проверкой указателя , www2, 22-Дек-15, 19:12 (93)
        
        Т е вас устроит безопасность по пятницам Я-то думал, мы хотим повысить надеж, Аноним, 22-Дек-15, 20:07 (104)
  - Миллион способов однозначно получить информацию о размерах буффера по адресу, на, Аноним, 22-Дек-15, 15:55 (42) //
    - Глобальной таблицы чего Кто в нее будет писать p mmap NULL, 100500, PROT_RE, Аноним, 22-Дек-15, 16:33 (60)
      - А как free p знает сколько памяти освобождать Учите матчасть , Аноним, 22-Дек-15, 17:05 (65)
        
        Вы бы сами подучили Не malloc free единым, как говорится , Аноним, 22-Дек-15, 18:29 (81)
        Прочитай про разницу между компиляций и исполнением Подумай, в какой момент вып, angra, 22-Дек-15, 18:37 (84)
        выделением освобождением памяти занимается ядро, а free - это syscall, Аноним, 22-Дек-15, 19:06 (91)
        
        Что O_o, Аноним, 22-Дек-15, 19:13 (94)
        Садись, два free - это библиотечная функция, она работает с кучей А уже место , www2, 22-Дек-15, 19:16 (95)
        
        Можно вернуть страницу целиком , Аноним, 22-Дек-15, 19:53 (99)
        
        malloc и free дают возвращают страницы , Вареник, 22-Дек-15, 22:17 (114)
        
        Теоретически, mmap - реализации это могут, Аноним, 23-Дек-15, 01:57 (133)
        Речь о том, что free может вернуть страницу, если в ней больше не осталось испол, Аноним, 23-Дек-15, 18:04 (158)
        
        Не пиши больше, иди ёжиков культивируй , pavlinux, 22-Дек-15, 21:17 (109)
        
        Мануалы не читаем, команды пишем , Вареник, 22-Дек-15, 22:18 (115)
      - Вообще, тут можно сделать библиотечную обвязку для mmap, которая будет запоминат, www2, 22-Дек-15, 19:31 (97)
        
        Боюсь, что прокатит ваш вариант Начиная с того, что появляется дополнительный и, Аноним, 22-Дек-15, 20:01 (103)
        
        не прокатит, Аноним, 22-Дек-15, 20:12 (105)
- Больше хорошего и разного гoвнокода 171 Лучшее враг хорошего 187 Хотя, это с, vi, 22-Дек-15, 20:43 (107)
Насколько Ермолова играла бы лучше вечером, если бы она днём, понимаете, работа, Какаянахренразница, 22-Дек-15, 15:19 (29)
А разве -Wall -Wextra -Werror -pedantic-errors не будет достаточно для исключени, Аноним, 22-Дек-15, 15:26 (32) //
- За это Бернштейну грант не дадут , Аноним, 22-Дек-15, 15:27 (34)
- Если нужно именно исключение из кода возможности UB, то нужен не компилятор, а с, тоже Аноним, 22-Дек-15, 15:42 (39)
- UB далеко не всегда можно определить в compile time Кстати, сюда добавь ещё cla, Аноним, 22-Дек-15, 15:59 (46)
- Ололо Наивные юноши думают что компилятор спасет их от необходимости думать co, Аноним, 22-Дек-15, 16:22 (57) //
  - Еще один любитель залезать на шкаф , Аноним, 22-Дек-15, 16:27 (58) //
    - Цитата А разве -Wall -Wextra -Werror -pedantic-errors не будет достаточно для и, Аноним, 22-Дек-15, 16:43 (61)
если убрать из С неопределённое поведение, это уже будет не С, Нанобот, 22-Дек-15, 15:35 (37)
Мужик не слышал про CompCert , Аноним, 22-Дек-15, 15:51 (40) //
- Напиши ему , Аноним, 22-Дек-15, 16:55 (62)
какая разница, если всё равно это будет иметь эффект лишь только на этом эталонн, XXasd, 22-Дек-15, 16:03 (47)
кажется речь про LLVM RUST , Аноним, 22-Дек-15, 16:14 (52) //
- Нет, речь про C компилятор, Аноним, 22-Дек-15, 16:55 (63)
Go уже придуман , Аноним, 22-Дек-15, 16:58 (64) //
- Трололо У Go значительная часть криптографии, включая реализацию curve25519 от , Аноним, 22-Дек-15, 17:25 (70)
Больше 70 комментариев с вопросами и поучениями, которые Бернштейн предусмотрел , angra, 22-Дек-15, 18:42 (85) //
- Так он и ответил в стиле местных комментариев - мне кажется, это было бы круто,, Аноним, 22-Дек-15, 19:56 (100)
Гёдель смотрит с недоумением , Аноним, 22-Дек-15, 20:47 (108) //
- да-да, и в то же самое время грустно и свирепо , Аноним, 23-Дек-15, 00:03 (124)
- вы про неполноту или про всякую программу, которую можно сократить на одну коман, Аноним, 23-Дек-15, 15:56 (149)
Да-да, мы помним как в Debian именно так и улучшили именно криптуху , ., 22-Дек-15, 21:37 (110)
IMHO, в плане безопасности сейчас большую пользу принесёт статический анализатор, Аноним, 22-Дек-15, 23:03 (118)
а потом через Х лет мы на этот компилятор должны будем наложить 100 сторонних па, абвгдейка, 23-Дек-15, 00:17 (126)
Вот интересно, ему заняться больше нечем, кроме как велики изобретать В наше вр, Аноним, 23-Дек-15, 09:20 (139) //
- Ага, и код всех немного староватых сишных программ на них переписывай , Anonim, 24-Дек-15, 14:53 (169)
Больше всего я не люблю, когда мне говорят, что делать и чего не делать Я полн, robux, 23-Дек-15, 12:36 (144) //
- но это тоже ведь попытка заставить делать , Аноним, 23-Дек-15, 20:23 (161)
- А потом получается жутко неудобный и костыльный epoll , чисто потому, что делат, nuclight, 29-Дек-15, 17:41 (179)
Уважаемые эксперты данной темы форума - извиняюсь за оффтопик, но посоветуйте по, Аноним, 23-Дек-15, 16:00 (150) //
- Освоение указателей в С С - это 5 теории, которую можно вычитать в любом учеб, тоже Аноним, 23-Дек-15, 16:44 (152) //
  - Их у меня есть - сколько не пытался - приходится погружаться в какие-то дебри и , Аноним, 23-Дек-15, 17:59 (157) //
    - Чтобы грамотно и эффективно пользоваться языком, вам придется в какой-то мере м, Аноним, 23-Дек-15, 18:19 (159)
      - меня интересуют именно указатели, Аноним, 23-Дек-15, 19:40 (160)
        
        Тогда вот вам хорошая старая книга http lib ru CTOTOR IBMPC abel txt_with-big, тоже Аноним, 23-Дек-15, 23:01 (162)
        
        шутку оценил сенкс еще bredly pak забыли и нортонгайды, спасибо конечноКогда, privation, 23-Дек-15, 23:22 (163)
        
        Никаких шуток Чтобы понять указатели, нужно понять адресную арифметику и RTTI, , тоже Аноним, 24-Дек-15, 00:12 (164)
        
        OK - спасибо, мне знакома эта книженция В общем понятно - копать в сторону ассе, Аноним, 24-Дек-15, 00:55 (165)
    - Си - низкоуровневый язык Некоторые называют это системный Почти ассемблер И, Andrey Mitrofanov, 24-Дек-15, 10:02 (167)
      - С абстракциями, ООП, SOLID, DRY проблем как раз нет, просто есть сложности с осв, Аноним, 24-Дек-15, 13:21 (168)
        
        Если речь об обычных указателях, то с синтаксисом там как раз всё просто Все три, Аноним, 24-Дек-15, 15:03 (170)
        
        gt оверквотинг удален премного благодарен за растолкованные нюансы и ваше врем, Аноним, 24-Дек-15, 15:40 (171)
Странный, однако, способ бороться с архитектурными дизайнерскими проблемами са, anonim, 23-Дек-15, 17:31 (155)
Как можно с бесстыжей рожей называть себя экспертом и при этом предлагать полн, Kodir, 25-Дек-15, 00:08 (172) //
- Как можно с бестыжей рожей утверждать, что всякие Дэ и Го со своими сборщиками м, LittleBuster, 28-Дек-15, 08:57 (178)
Просто он предлагает выпустить компилятор с дополнительными замечаниями типа D, Аноним, 30-Дек-15, 21:30 (180)
Такой компилятор, а точнее язык, уже есть - C99 Левое какое-то предложение U, rihad2, 16-Янв-16, 17:52 (182)
Дураку дай хоть танк - он его угробит По факту проблема не в языках, а в отсу, bOOster, 18-Янв-16, 12:35 (183)
все, кто там вякает, что типа язык СИ хуже моего любимого бренфака - назовите , pripolz, 07-Июл-17, 17:37 (184)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру