Cтрашилки про С и С++

[wizzard]

http://blog.regehr.org/archives/213
http://blog.regehr.org/archives/226
http://blog.regehr.org/archives/232

ах, да. После прочтения первой части статьи, do you trust Google Native Client anymore? :)

Comments

[justy-tylor.livejournal.com]

Прекрасное. Мне понравилось отсылка к doublethink во второй части. :)

Корректный код пишется и в таких условиях. Когда я занимался графическими JSR - было много параллелей с рассказом Семёна (sim0nsays) про Imaging. Но оба случая системные, в прикладухах всем как всегда.

[kunaifusu.livejournal.com]

Мужика видно достали уебаныальтернативно-одаренные коллеги.

[wizzard]

Как-то так, да.

[murkt.livejournal.com]

Перечисления пишутся через прямой слэш, а не обратный.

[3d6.livejournal.com]

Ну... Например, не далее чем вчера мне пришлось написать собственный менеджер памяти (сильно оптимизированный под мою задачу), т.к. слишком частые вызовы malloc/free немалых размеров (а там умножение матриц с изменением их размера, без памяти никак не обойтись) замучали компилятор и он перестал выдавать память вообще (по new/delete, кстати, работало ощутимо хуже).
Однако, я готов идти на такие жертвы, лишь бы программа делала то, что написано, со всеми потенциальными глюками :) Потому что производительность не просто критична, она абсолютно критична.

[wizzard]

Я передаю слово разработчикам кириллической раскладки, которые поместили практически всю пунктацию под Shift'ы.

[wizzard]

I feel the spirit of Memory Fragmentation :)

Аллокаторы, по-моему, пишут время от времени все. И я пару раз писал.

Кстати, а с большими (1М+ вершин) property-графами ты не работал случаем?

[murkt.livejournal.com]

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

[wizzard]

кстати в тему фрагментации памяти еще вот: http://blogs.msdn.com/b/ricom/archive/2006/02/02/523626.aspx

[wizzard]

"." и "," (субьективно визуально и семантически) отличаются больше, чем "\" и "/"

Typesetting холивар, да :)

[murkt.livejournal.com]

По-моему, \ и / визуально различаются очень сильно. Уж точно не меньше, чем точка с запятой.

[sleepy-drago.livejournal.com]

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

[gds.livejournal.com]

i+1 если в контексте комплексных -- можно. Деление целых тоже точно определено (по-разному, смотря что надо).
А вот фокусы от компилятора совершенно не нужны, особенно в стиле C/C++.

[wizzard]

С одной стороны - да.

С другой стороны, когда открытие папки с malformed ярлыком запускает код из-за integer overflow, очевидно, неприятно.

Security vs performance, security vs usability, все такое...

[wizzard]

Деление *положительных* целых.

INT_MIN / -1 поделите, будет интересно.

[3d6.livejournal.com]

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

[wizzard]

Ясно. Тут просто с самого начала понятно, что нужен какой-то paging и индексы, потому что теоретический обьем ограничен разве что обьемами винтов, и возможны всякие вырожденные случаи (типа сильно sparse или, наоборот, полных графов)

[3d6.livejournal.com]

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

[gds.livejournal.com]

будет -INT_MIN, очевидно. Другое дело, что нужно думать, что получится при делении. Поэтому и на -1, и на 0 надо делить аккуратно.

[wizzard]

А чему равен -INT_MIN? :)

[gds.livejournal.com]

для 32-битной архитектуры, очевидно, 2^31.
Как я понимаю, делается попытка показать мне, что это не вмещается в signed int? Так знаю, потому и говорю, что на 0 и -1 надо делить аккуратно.

[al-zatv.livejournal.com]

у NaCl защита уровнем ниже, особенности компилятора его не завалят.

[wizzard]

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

[wizzard]

А, мы говорим об одном и том же. Сорри :)

[al-zatv.livejournal.com]

А. Невнимательно пробежал глазами, sorry. Но в любом случае не так уж это страшно: баг нашли - баг пофиксили.

[wizzard]

Ну, да. Просто когда компилятор на undefined behaviour ругается, то это как-то, м, сложнее допустить, что ли...

И людям проще (за исключением работы с легаси), и софт надежнее...

[w00dy.livejournal.com]

Russian (Typewriter) ведь 100 лет назад изобрели, если мне склероз не изменяет

[109.livejournal.com]

так это... если кто не хочет стрелять себе в ногу, пусть запускает с ключом "treat all undefined behaviors as errors".

[al-zatv.livejournal.com]

+1