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

В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..., opennews (ok), 13-Июн-14, (0) [смотреть все] я чего-то не понял - это баг гцц Или как лишние сравнения, могут одновременно , АнониМ (ok), 09:03 , 13-Июн-14, (1) –1 // volatile, рлрлро (?), 11:53 , 13-Июн-14, (14) // Оптимизатор не удалит Ну или тогда это баг в gcc, да , 0xd34df00d (??), 15:40 , 13-Июн-14, (35) +1 очень просто стандарты не читай на си пиляй стандарт, в котором есть подобные, arisu (ok), 13:30 , 14-Июн-14, (115) +1 Какая чудесная оптимизация , Аноним (-), 09:16 , 13-Июн-14, (2) +10 // Модные мальчики пробрались в команду GCC , YetAnotherOnanym (ok), 10:54 , 13-Июн-14, (8) –4 // Это нормальная оптимизация И, как правильно сказали выше, ломается на ней именн, Аноним (-), 16:54 , 13-Июн-14, (45) +9 // Если кода не очень много - чтобы его мог вычитать и вылизать один человек или н, YetAnotherOnanym (ok), 16:37 , 14-Июн-14, (132) man code review Во всех крупных свободных проектах Если вы не применяете 821, Аноним (-), 16:07 , 15-Июн-14, (265) +1 Ладно, предположим, проверил я код всех сторонних либ, которые юзает мой проект , YetAnotherOnanym (ok), 11:54 , 17-Июн-14, (321) –1 для начала 8212 прекратить использовать неподдерживаемые библиотеки как раз , arisu (ok), 13:29 , 17-Июн-14, (324) +2 Главное - заранее угадать какая библиотека станет неподдерживаемой завтра Опыт и, rob pike (?), 15:54 , 17-Июн-14, (327) не так уж и сложно, на самом деле , arisu (ok), 16:31 , 17-Июн-14, (328) +1 Нормальная оптимизация Foo foo foo- bar if foo Вот последнюю проверк, 0xd34df00d (??), 15:43 , 13-Июн-14, (36) +1 // В мире эльфов - да Всё-таки, вера в то, что компилятору не придётся обрабатыват, Vkni (ok), 16:59 , 13-Июн-14, (46) –3   // Есть баланс между толерантностью к ошибкам и качеством оптимизации Включаешь оп, 0xd34df00d (??), 17:21 , 13-Июн-14, (53) +2   Ну так -O3 уже никто и не включает Или пацаны хотят добиться, что и -O2 включат, Vkni (ok), 18:53 , 13-Июн-14, (58) –1   Включаю -O3 в продакшене на корректно написанном коде, брат жив Есть у меня один, 0xd34df00d (??), 19:00 , 13-Июн-14, (59) +3   Я очень рад за вас и вашего брата Но таки вы - исключение Стандартные флаги оп, Vkni (ok), 19:12 , 13-Июн-14, (60) –2   Ну, это дело другое, и я бы на самом деле поспорил, что дело именно в ломающем к, 0xd34df00d (??), 19:17 , 13-Июн-14, (61)   А в чём ещё Какой смысл ставить -O2, если -O3 быстрее и не ломает код Ну достат, Vkni (ok), 19:31 , 13-Июн-14, (62) –1   Не всегда быстрее Например, слишком агрессивное развёртывание циклов или инлайн, 0xd34df00d (??), 19:37 , 13-Июн-14, (63) +1   если код твоего знакомого работает на 10 быстрее в gcc, чем в шланге, за счёт т, pv47 (ok), 22:31 , 13-Июн-14, (96) –2   Не код моего знакомого Он всякими там povray бенчмаркает Нечем тут гордиться И, 0xd34df00d (??), 22:33 , 13-Июн-14, (98)   вышепроцитированное 8212 реакция школоты на assert ы, например , arisu (ok), 13:36 , 14-Июн-14, (118)   Если код работает на 10 быстрее после выкидывания лишних проверок, то этот ко, Reinar (ok), 16:36 , 14-Июн-14, (131) –1   traceroute 0xd34df00dtraceroute to 0xd34df00d 211 77 240 13 211-77-240-13 ad, Demo (??), 23:54 , 14-Июн-14, (245)   0xd34df00d me трейсить надо , 0xd34df00d (??), 00:00 , 15-Июн-14, (247)   пацаны хотят, чтобы говнокодеры документацию читали сначала уж от тебя-то я не о, arisu (ok), 13:32 , 14-Июн-14, (117)   Release Notes к gcc 4 9 почитайте И Porting to, если вам мало , Аноним (-), 16:08 , 15-Июн-14, (266) +1   И разработчики GCC вряд ли страдают этой верой Кстати, foo- bar компилятор тоже , Anonym2 (?), 01:46 , 14-Июн-14, (109)   для идиотов есть режим -O0 в документации по gcc ясно написано, что корректност, arisu (ok), 13:31 , 14-Июн-14, (116) +2   if a mtx lock if a явно же лишняя проверка - только что про, КО (?), 11:44 , 16-Июн-14, (296) –1   конечно, лишняя если ты меняешь переменную из разных потоков и не объявил её vo, arisu (ok), 11:53 , 16-Июн-14, (298) +2   Не всё так просто, см страницу 7 здесь http www aristeia com Papers DDJ_Jul_, 0xd34df00d (ok), 17:40 , 16-Июн-14, (305)   да, я в курсе, что volatile 8212 не такая уж простая и лёгкая штука ну, и we, arisu (ok), 20:43 , 16-Июн-14, (307)   p s да, компилятор имеет право проанализировать метод lock , увидеть, что a та, arisu (ok), 11:54 , 16-Июн-14, (299) +1   Ну так в C до 11 не было memory model, машина представлялась однопоточной Это, 0xd34df00d (??), 17:37 , 16-Июн-14, (304)   премию обратно не отдадут D, Аноним (-), 09:18 , 13-Июн-14, (3) +1 // Премия-то - 2500 Деньжища-то какие , freehck (ok), 10:26 , 13-Июн-14, (6) +2 я не понял, если это баг гцц, где патч а если баг бинда, зафига этот костыль, в, Аноним (-), 09:37 , 13-Июн-14, (4) // Это похоже на универсальную закладку Чтобы даже если программист все дыры закро, Аноним (-), 09:57 , 13-Июн-14, (5) // Нет, это для удобства программиста, желающего поставить бэкдор Написал volatile, Аноним (-), 14:06 , 13-Июн-14, (21) // Вы там с головой в дружбе Volatile как раз наоборот запрещает компилеру optimiz, Аноним (-), 20:16 , 13-Июн-14, (65) +2 Это не баг, просто компилятор не может, по компилируемому куску кода, самостояте, рлрлро (?), 11:52 , 13-Июн-14, (13) –1 // откуда инфа, что виновато volatile можно ссылочку ищу диффы, не могу найти , Пиу (ok), 14:22 , 13-Июн-14, (26) +1 // Volatile не виновато а всего лишь указывает компилеру что переменная может изм, Аноним (-), 16:31 , 13-Июн-14, (40) +2 и поэтому удаляет код, который явно проверяет это и написан программистом, котор, pv47 (ok), 17:32 , 13-Июн-14, (54) –1 // Как факт, замечу, что программист не всегда это делает Допустим есть функция st, Ordu (ok), 23:31 , 13-Июн-14, (106) +2 Я об этом как-то не подумал хотя, ваш пример носит другой характер В вашем сл, pv47 (ok), 00:17 , 14-Июн-14, (107) –1 где ты сомнительный случай нашёл если программист сделал для структуры foo c, Xasd (ok), 04:16 , 14-Июн-14, (113) есть такой ключ -O0 , arisu (ok), 13:38 , 14-Июн-14, (119) по Вашему ассемблер так вообще для слабаков , eganru (?), 01:09 , 14-Июн-14, (108) –1 А это вообще нормально - возвращать str 0 который char как знаковый int Нет, с, Аноним (-), 09:15 , 16-Июн-14, (283) нормально, говнокодеры говорят малацца , arisu (ok), 12:04 , 16-Июн-14, (301) Ты знаешь назначение функции first Видишь ли, при ней нет документационного ком, Ordu (ok), 21:47 , 16-Июн-14, (308) нинасколько, потому что никакой разумной причины возвращать или str 0 или -1 не, arisu (ok), 22:18 , 16-Июн-14, (309) –1 Отлично Тогда я предлагаю переписать тот примерчик, дабы продемонстрировать опт, Ordu (ok), 22:55 , 16-Июн-14, (310) А что тут ненормального Архитектур, где sizeof char sizeof int уже и не оста, Crazy Alex (ok), 15:33 , 22-Дек-15, (343) как я уже писал, ненормально тут то, что -1 8212 валидное значение для char, , arisu (ok), 21:30 , 22-Дек-15, (345) Нет, знаковость char зависит от платформы , 0xd34df00d (??), 21:31 , 22-Дек-15, (346) на большинстве платформ у большинства компиляторов char по 8208 умолчанию знако, arisu (ok), 21:59 , 22-Дек-15, (347) clang пусть используют, Аноним (-), 10:35 , 13-Июн-14, (7) // Порождение клятiх яблочников и вообще неправославно , YetAnotherOnanym (ok), 10:56 , 13-Июн-14, (9) –2 // яблочники делали предложение команде gcc по обьединению, Аноним (-), 13:09 , 13-Июн-14, (17) // А до этого делали предложение Столлману идти со своей GPL v3 и, что характ, Аноним (-), 13:12 , 13-Июн-14, (18) –4 Гражданин судья, а он не может перейти Для перехода ядра на GPLv3 нужно получ, Аноним (-), 14:05 , 13-Июн-14, (20) +9 Если бы некоторые не очень хорошие личности не находили лазейки в GPLv2 то и GPL, Аноним (-), 20:18 , 13-Июн-14, (66) +4 Это был новый некрософт-батыр Мозгом не оснащён, дискутировать бесполезно, зач, Michael Shigorin (ok), 18:08 , 14-Июн-14, (133) Ну вот, блин, опять меня бот на дискуссию развел , Аноним (-), 09:17 , 16-Июн-14, (284) я таки не понял, вам нравится, что GPLv3 требует согласия всех авторов или нет , Куяврег (?), 02:28 , 14-Июн-14, (111) Мы просто найдем аналоги без GPL, Аноним (-), 05:37 , 14-Июн-14, (114) –1 вперёд не понятно только, зачем 171 вы 187 при этом лезете в обсуждения gpl, arisu (ok), 13:40 , 14-Июн-14, (120) Да, аналог линевому кернелу уж так искали, так искали Только даже опач и яху за, Аноним (-), 09:18 , 16-Июн-14, (285) +1 если у таких отпетых проприерастов, как огрызок, GPLv3 вызывает настолько больши, arisu (ok), 13:41 , 14-Июн-14, (121) Да, особенно хорошо все это заметно на примере swift, где они вообще не знают бу, Аноним (-), 16:38 , 13-Июн-14, (41) Представляю, какое богатство лексикона продемонстрирует Линус, если выяснится, ч, YetAnotherOnanym (ok), 11:05 , 13-Июн-14, (10) –2 // и по делу, само собой то есть, напрямую тем идиотам, которые закомитили код, по, arisu (ok), 13:42 , 14-Июн-14, (122) Правильный баг, вместо выполнения кода вылетает приложение , Аноним (-), 11:23 , 13-Июн-14, (11) +2 Просто не нужно собирать критические программы с помощью gcc версии x y 0 , Xaionaro (ok), 12:55 , 13-Июн-14, (15) +1 // Ну кто-то Арч юзает, не в продакшне конечно, но все-таки неприятно , Аноним (-), 13:09 , 13-Июн-14, (16) –1 // А википедия вообще на убунте , Аноним (-), 14:07 , 13-Июн-14, (22) // Да много кто на убунте, на самом деле На 14 04 все-таки 4 8 х используется, 4 9, Аноним (-), 14:18 , 13-Июн-14, (24) +1 На самом деле, в убунте много других поводов для веселья , Аноним (-), 14:42 , 13-Июн-14, (28) +1 В Убунту на серваках зато гигантское комьюнити И если не хочешь придумывать вел, Аноним (-), 14:55 , 13-Июн-14, (30) +2 К сожалению, произведение количества участников коммьюнити на их средний уровень, Аноним (-), 16:24 , 13-Июн-14, (39) –4 А в чем они состоят А то у меня на ряде серверов она пашет уже пятый год Пробл, Аноним (-), 16:39 , 13-Июн-14, (42) +1 Не нужно писать код, не соответствующий стандартам https gcc gnu org bugzilla , bircoph (ok), 15:26 , 13-Июн-14, (34) +2 // И вообще нужно быть красивым, здоровым и богатым Ну и, я так понимаю, с точки зр, Vkni (ok), 17:01 , 13-Июн-14, (47) // Очевидно, что код до 99 года компилировали другими версиями GCC И потом, хочешь , mine (ok), 20:09 , 13-Июн-14, (64) +3 Очевидно, компилятор языка с полувековой историей имеет определённые обязательст, Vkni (ok), 20:49 , 13-Июн-14, (70) –3 а так же генерировать максимально быстрый код Разработчики предпочти второе , Аноним (-), 21:46 , 13-Июн-14, (82) +3 Всегда можно сгенерировать мгновенно выполняющийся нерабочий код - , Vkni (ok), 22:21 , 13-Июн-14, (92) –2 return 0 Очень быстрый код Компилер неплохо оптимизнет, наверное , Аноним (-), 09:21 , 16-Июн-14, (286) Ну так для совместимости есть специальные ключи А если декларируется C99, то о , mine (ok), 23:07 , 13-Июн-14, (104) +2 О том, что лучше не плодить несовместимость на ровном месте , Vkni (ok), 23:14 , 13-Июн-14, (105) –2 какое отношение авторы gcc имеют к glibc ты что, перепил вчера, что ли , arisu (ok), 13:44 , 14-Июн-14, (124) собираю, брат жив, батя грит малацца просто надо сначала выучить язык, на которо, arisu (ok), 13:43 , 14-Июн-14, (123) Как компилятор мог сломать программу И какой самый без ошибок Clang , Аноним (-), 14:02 , 13-Июн-14, (19) –1 // Кланг, при всей моей любви к нему, тоже обожает подобные оптимизации , 0xd34df00d (??), 15:45 , 13-Июн-14, (37) Clang Без ошибок Б , это ты не видел что LLVM вытворяет при сборке шейдеров д, Аноним (-), 16:44 , 13-Июн-14, (43) –1 дооптимизировались режим удаления лишних операций теперь удаляет не только ли, Нанобот (ok), 14:22 , 13-Июн-14, (25) –1 // А других нынче и нет Точнее, есть, но они используются только для узкоспецифичны, Аноним (-), 14:44 , 13-Июн-14, (29) Ну тогда используйте компиляторы без оптимизаторов Ну там tiny c compiler какой, Аноним (-), 16:46 , 13-Июн-14, (44) нет, только лишние а вот почему дебилы, которые даже не удосуживаются выучить я, arisu (ok), 13:45 , 14-Июн-14, (125) +1 короче говоря, вот ссылка на gcc шную багзиллу https gcc gnu org bugzilla sho, Пиу (ok), 14:34 , 13-Июн-14, (27) +3 // Вывод - в glibc такое assert ами прикрывать надо В более продвинутых языках он, Crazy Alex (ok), 14:55 , 13-Июн-14, (31) // К О напоминает, что релизных сборках assert-ы не работают , Аноним (-), 15:49 , 13-Июн-14, (38) +3 // у людей, пишущих на более продвинутых языках , любая сборка по определению отла, pv47 (ok), 17:36 , 13-Июн-14, (55) +4 Это в тех где все тормозит и ждет сотни мегабайт озу если не больше Так ничег, Аноним (-), 21:44 , 13-Июн-14, (81) +1 Ясен пень, что не работают , Crazy Alex (ok), 15:36 , 22-Дек-15, (344) Это не первый такой баг Помнится не так давно gcc ломал сборку ядра или добавля, linux must _RIP__ (?), 14:58 , 13-Июн-14, (32) –3 // Оптимизаторы вообще своеобразная штука, которая может подгадить , Аноним (-), 17:12 , 13-Июн-14, (48) // Так к ним главное требование - не гадить , Vkni (ok), 17:14 , 13-Июн-14, (52) –1 Используйте -O0, только чур не плеваться на качество кода А так - в данном случ, Аноним (-), 20:21 , 13-Июн-14, (67) +2 Оптимизатор - это не субъект, чтобы быть правым А вставивший это в него несколь, Vkni (ok), 20:55 , 13-Июн-14, (71) –3 Хочется такой безопасности и вождения за ручку 8212 не надо называть себя про, 0xd34df00d (??), 21:03 , 13-Июн-14, (74) +5 Я давно за то, чтобы сбросить язык Цэ с парохода современности, как Фортран и ас, Vkni (ok), 21:12 , 13-Июн-14, (75) –3 Современный Цэ вполне годен, не надо его сбрасывать Да и вообще, инструментом , 0xd34df00d (??), 21:16 , 13-Июн-14, (76) +2 Синтаксис уже такой, что ужас Увы, но Цэ уже давно ужасен Ещё раз - директива, Vkni (ok), 21:20 , 13-Июн-14, (77) –1 Вполне типичный синтаксис для сиподобного языка Системный инклюд С чего бы Свой, 0xd34df00d (??), 21:22 , 13-Июн-14, (78) +1 На поддержание совместимости стандартов тратятся огромные силы Собственно, из-з, Vkni (ok), 21:29 , 13-Июн-14, (79) –1 Не всегда move semantics могут кое-какой код поломать я на это сам натыкался, , 0xd34df00d (??), 22:01 , 13-Июн-14, (83) Могут Это неприятно и очень дорого в ЭТОМ месте Код 89-го года вполне компилир, Vkni (ok), 22:06 , 13-Июн-14, (85) –2 171 Компилируется 187 8212 не значит 171 работает 187 Что мы и наблю, 0xd34df00d (??), 22:08 , 13-Июн-14, (86) +1 До тут он работал Каждое такое место - это большие денежные потери на ровном , Vkni (ok), 22:12 , 13-Июн-14, (88) –2 И это большая удача, не более Вообще, мы говорили о совместимости стандартов Е, 0xd34df00d (??), 22:15 , 13-Июн-14, (90) +1 Стандарты слишком сложны, чтобы быть 100 совместимыми Уже введение нового ключ, Vkni (ok), 22:29 , 13-Июн-14, (95) +2 слушай, ну хватит уже, всё, не надо больше, я не могу столько смеяться , arisu (ok), 13:47 , 14-Июн-14, (127) Это лямбды-то Шаблоны в современном применении - вообще ужас ужасный , Vkni (ok), 21:32 , 13-Июн-14, (80) Чем auto x, auto y return x y сильно так сложнее x, y x y Эт, 0xd34df00d (??), 22:06 , 13-Июн-14, (84) +1 Какое отношение имеют скобки, означающие массив, к лямбда-функциям Вывод типов п, Vkni (ok), 22:09 , 13-Июн-14, (87) –1 Эм, они вообще-то обозначают начало лямбды Ну и какой массив обозначают скобки , 0xd34df00d (??), 22:13 , 13-Июн-14, (89) +1 О Вот это и вопрос - глаз видит скобки, 25 лет означающие массив, а реально там, Vkni (ok), 22:17 , 13-Июн-14, (91) Я, конечно, не 25 лет пишу на плюсах, а всего лет 10, но глаз у меня видит начал, 0xd34df00d (??), 22:21 , 13-Июн-14, (93) А у меня он сперва видит какую-то инициализацию массива, которую уже потом я вос, Vkni (ok), 22:32 , 13-Июн-14, (97) Эм, это где Опять я всё пропустил , 0xd34df00d (??), 22:34 , 13-Июн-14, (99) Так концепты , Vkni (ok), 22:38 , 13-Июн-14, (100) Ох, да им до тайпклассов таки 8230 далеко, в общем Да и это для темплейтов всё, 0xd34df00d (??), 22:40 , 13-Июн-14, (101) auto тоже далеко до pattern matching а Увы, другого C у меня для вас нет - вс, Vkni (ok), 22:43 , 13-Июн-14, (102) Паттерн-матчинг в темплейтах есть уже сегодня Ну, это если мы о темплейтах гово, 0xd34df00d (??), 22:44 , 13-Июн-14, (103) нет, оказывается, всё ещё могу const int a 1,2,42 глаз видит скобки, пол-в, arisu (ok), 13:50 , 14-Июн-14, (128) Молодец Вот и я пишу, что с синтаксисом в Цэ полный трындец Большое спасибо , Vkni (ok), 20:46 , 14-Июн-14, (137) –1 пожалуйста правда, я привёл пример сишного синтаксиса, но так же неинтересно, э, arisu (ok), 20:50 , 14-Июн-14, (140) +1 Цэ просто более-менее обозрим, хотя с синтаксисом уже плохо - см ещё указатель , Vkni (ok), 21:01 , 14-Июн-14, (148) я вот недавно ещё страшнее вещь заметил куча имён функций может начинаться на , arisu (ok), 21:04 , 14-Июн-14, (150) +1 Самое интересное, что в C это уже и не нужно вовсе, есть же std function Хотя, 0xd34df00d (ok), 21:10 , 14-Июн-14, (154) В С есть десятки способов реализовать одну и ту же задачу Это одновременно и , Vkni (ok), 21:14 , 14-Июн-14, (159) Как мне десятком способов передать замыкание в роли этакого коллбека или функтор, 0xd34df00d (ok), 21:17 , 14-Июн-14, (163) Если чутка обобщить задачу, получится - класс, шаблон, макрос, указатель на функ, Vkni (ok), 21:19 , 14-Июн-14, (167) –1 Да, всякие слабаки уходят программить на яве и питоне Поэтому программами на си, Аноним (-), 09:27 , 16-Июн-14, (289) тебя кто-то жестоко обманул, когда сказал, что 171 настоящее программирование , arisu (ok), 11:43 , 16-Июн-14, (295) Анальные мучения там чаще всего возникают с реализацией Чего далеко ходить, вот, 0xd34df00d (??), 17:33 , 16-Июн-14, (303) тут такое дело, что я просто на дух не переношу цпп там ВСЁ плохо особенно то,, arisu (ok), 17:49 , 16-Июн-14, (306) +1 Не, туда уходят реально мужественные люди На одном - шаблоны сделаны хуже, чем , Vkni (ok), 01:13 , 17-Июн-14, (316) Это значит что уже не важно что видит ваш глаз инициализация массивов - далеко , Anonym2 (?), 23:39 , 14-Июн-14, (241) иншалла действительно, это всего лишь дело привычки, об этом я и писал , arisu (ok), 23:43 , 14-Июн-14, (242) да запросто раздельную компиляцию придумали ещё в прошлом веке , arisu (ok), 13:47 , 14-Июн-14, (126) А читать тебя научили 30-40 лет назад А всё равно, про включённые заголовки не , Vkni (ok), 20:43 , 14-Июн-14, (136) –1 прочёл и что , arisu (ok), 20:48 , 14-Июн-14, (139) +1 Теперь вспоминаем, что такое раздельная компиляция , Vkni (ok), 20:52 , 14-Июн-14, (143) –1 то, что я каждый день использую там даже можно делать такие штуки, как подпихив, arisu (ok), 20:54 , 14-Июн-14, (144) +1 Молодец, правильно рассказал А теперь представь, что у тебя есть замшелый софт , Vkni (ok), 20:59 , 14-Июн-14, (147) –1 нет, у меня такого 171 внезапно 187 не бывает потому что я немножко в курсе, arisu (ok), 21:03 , 14-Июн-14, (149) +1 Ну ты возишься в своей маленькой песочнице, а кругом большой мир, где есть всяко, Vkni (ok), 21:10 , 14-Июн-14, (155) –1 и я тебе таки скажу, что если продолжать делать подпорки для говнокода, то говно, arisu (ok), 21:45 , 14-Июн-14, (192) +3 Или еще вариант не пользуешься софтом за авторством людей, не знающих свои инст, 0xd34df00d (ok), 21:07 , 14-Июн-14, (152) +1 Ну это ты крут Прелагаю тебе попробовать и выписать тут программы, которыми мож, Vkni (ok), 21:12 , 14-Июн-14, (157) –1 Зачем Можно на самом деле спокойно пользоваться и чинить баги, а не обвинять пл, 0xd34df00d (ok), 21:15 , 14-Июн-14, (161) +1 Ну бред-то не надо писать, а Берёте wc -l, исходники ядра, libc считаете кол-во, Vkni (ok), 21:18 , 14-Июн-14, (164) –1 А их так и так исправлять придется Ошибка из исходного поста 8212 так, индик, 0xd34df00d (ok), 21:23 , 14-Июн-14, (171) +1 Почему У софта есть время жизни, после которого софт становится не нужен бол, Vkni (ok), 21:41 , 14-Июн-14, (187) –1 Какое время жизни у linux kernel или glibc, про которые шла речь в комментарии, , 0xd34df00d (ok), 21:45 , 14-Июн-14, (191) +1 Ядро Линукса и glibc состоят из частей, которые периодически заменяются на други, Vkni (ok), 21:54 , 14-Июн-14, (199) –1 Тогда это вырождается во 171 взять и переписать 187 , так критикуемое вами , 0xd34df00d (ok), 22:09 , 14-Июн-14, (209) +1 Не вырождается, т к там две страницы вырванных выкладок То взять и переписа, Vkni (ok), 00:12 , 15-Июн-14, (250) –1 и поэтому ошибки чинить не будем всё равно это нереально, не так ли про декомп, arisu (ok), 21:47 , 14-Июн-14, (193) +1 Арису, вернись из Валинора и убери ребёнка с компьютера До 20-ти лет он не смож, Vkni (ok), 21:57 , 14-Июн-14, (202) знаешь, есть такое практическое наблюдение у меня когда кто-то говорит про 17, arisu (ok), 22:00 , 14-Июн-14, (204) +1 У вас, в Валиноре всё именно так, да Возвращайся обратно, пожалуйста , Vkni (ok), 22:04 , 14-Июн-14, (207) –1 нет, спасибо, хрюкайте без меня , arisu (ok), 22:11 , 14-Июн-14, (211) +1 Если ты завинтил древнему коду мега-оптимизации не имея понятия о том насколько , Аноним (-), 09:30 , 16-Июн-14, (290) +2 Там в Makefile как было -O2, так и осталось Только с увеличением версий gcc это, Vkni (ok), 01:16 , 17-Июн-14, (317) –1 Сбросьте А вон та пачка свежих коммитов в libvpx на хардкорном ассемблере с AVX , Аноним (-), 09:25 , 16-Июн-14, (288) - Не должен Это вам к любителям Java, скорее При чём здесь совместимость С , Anonym2 (?), 02:18 , 14-Июн-14, (110) потому что всю жизнь ub относилось не к компилятору а к процессору си был высок, pv47 (ok), 22:26 , 13-Июн-14, (94) школоло, покажи эти слова в стандарте , arisu (ok), 13:51 , 14-Июн-14, (129) Ну очевидно же, что подобные штуки в стандартах не пишут Точно также, как в УК , Vkni (ok), 20:50 , 14-Июн-14, (141) –1 поэтому 171 подобные штуки 187 8212 не более чем досужие измышления это к, arisu (ok), 20:57 , 14-Июн-14, (145) +2 Естественно, нет Вокруг каждого ЯП есть определённая культура - то, что плохо ф, Vkni (ok), 21:08 , 14-Июн-14, (153) –1 Очень плохо ссылаться на плохо формализуемые вещи , 0xd34df00d (ok), 21:13 , 14-Июн-14, (158) +1 В школе что-нибудь, кроме арифметики проходили , Vkni (ok), 21:16 , 14-Июн-14, (162) –1 Да, но последние N лет исключительно всякими формальными вещами занимаюсь Профд, 0xd34df00d (ok), 21:20 , 14-Июн-14, (168) Видимо Потому, что есть масса нужных, но плохо формализуемых вещей, которыми мы, Vkni (ok), 21:23 , 14-Июн-14, (170) –1 естественно, да то, что кучка людей договорилась чесать левое ухо и делать три , arisu (ok), 21:18 , 14-Июн-14, (165) +2 Ещё раз тебе пишу - давай вставлять rm -rf HOME там, где появилось UB В УК в ст, Vkni (ok), 21:31 , 14-Июн-14, (176) –1 с удовольствием количество говнокода и говнокодеров хотя бы на си после этого, arisu (ok), 21:53 , 14-Июн-14, (198) +1 Это ты, лучше возвращайся из Валинора На каждое не надо, а на такие приколы став, Vkni (ok), 22:07 , 14-Июн-14, (208) –1 даже если я громче всех захрюкаю, твой текст всё равно останется бредом я, чест, arisu (ok), 22:14 , 14-Июн-14, (212) +1 Да, на Цэ написаны тонны говнокода И что изменится от того, что ты объявишь его, Vkni (ok), 22:26 , 14-Июн-14, (220) –1 ещё раз это не причина делать костыли лолвут оригинальный сишный код сейчас не, arisu (ok), 22:44 , 14-Июн-14, (229) +1 Причина Та же эпопея со SPEC - либо корректируем SPEC2006 все предыдущие рез, Vkni (ok), 22:53 , 14-Июн-14, (232) –1 и поэтому там вечно будет говно, грязь и говнокод по буквам вечнои, само собой,, arisu (ok), 23:02 , 14-Июн-14, (233) +1 Буквы не те Правильно О П Ж А, а составить нужно слово ВЕЧНОСТЬ Но ты прав - в, Vkni (ok), 23:12 , 14-Июн-14, (235) я предлагаю перестать сорить и за попытку насорить бить канделябром , а ты пред, arisu (ok), 23:27 , 14-Июн-14, (238) +1 Ты предлагаешь перестать сорить вообще На намёки, что это невозможно, и при бол, Vkni (ok), 23:49 , 14-Июн-14, (243) –1 в перспективе 8212 да начать это с того, что прекратить проявлять терпимость, arisu (ok), 23:57 , 14-Июн-14, (246) +1 Это лишь красивые слова Ты лучше скажи, что со SPEC ом делать Ну расстрелял ты, Vkni (ok), 00:07 , 15-Июн-14, (248) –1 разобраться, где баг и починить его именно там если по стандарту gcc прав, то б, arisu (ok), 00:10 , 15-Июн-14, (249) +1 Ты понимаешь, что все тесты с этим багом станут автоматом невалидны И их нельзя, Vkni (ok), 00:15 , 15-Июн-14, (251) –1 и это правильно какой смысл в тесте, защищающем ошибку я-то, наивный, думал, ч, arisu (ok), 00:20 , 15-Июн-14, (252) +1 Он не защищает ошибку, а содержит Эта ошибка - выход за границы массива при чте, Vkni (ok), 00:42 , 15-Июн-14, (253) –2 и то верно уборка да ну, намного дешевле замести мусор под ковёр там же никто, arisu (ok), 00:44 , 15-Июн-14, (254) +1 Это лозунги Ты сам, внутри себя, чётко осознаёшь правильное решение И, более т, Vkni (ok), 01:10 , 15-Июн-14, (255) –2 8230 я не менее чётко пишу об этом решении но, конечно, механизмы компенсации, arisu (ok), 01:34 , 15-Июн-14, (257) +1 Его или пофиксят, или выкинут И так и эдак хорошо со стандартами А не чужим, Аноним (-), 09:35 , 16-Июн-14, (291) +2 вообще-то конкретно сишный 8212 сложно ты его читал хоть это из разряда сис, arisu (ok), 11:45 , 16-Июн-14, (297) Конечно, нет Тут, по-видимому, вдумчиво читала С-шный стандарт не больше пары ч, Vkni (ok), 09:50 , 17-Июн-14, (319) –1 вот в том и беда, что пишут ну, и в том ещё, что соответствующие стандарты делал, arisu (ok), 13:27 , 17-Июн-14, (322) +1 Я и пишу, что ты всё прекрасно понимаешь внутри себя , Vkni (ok), 16:39 , 17-Июн-14, (329) –1 http grsecurity net spender exploits exploit2 txtвсего 4 года прошло Истор, linux must _RIP__ (?), 15:00 , 13-Июн-14, (33) –1 Круто, а между 9 и 10 что делать , Аноним (-), 17:13 , 13-Июн-14, (49) –1 // 8, Vkni (ok), 17:13 , 13-Июн-14, (51) // Ну вот как-то так и получается, если с практической точки зрения смотреть Иб, Аноним (-), 20:23 , 13-Июн-14, (68) –1 Да Собственно, я с практической точки зрения и подходил Более того, скажу, что , Vkni (ok), 20:58 , 13-Июн-14, (72) –1 Если вы собираете код 96 года, сказав компилеру что надо использовать стандарт 9, Аноним (-), 09:39 , 16-Июн-14, (292) +2 ИЧСХ, получается фигня , arisu (ok), 12:01 , 16-Июн-14, (300) Запоздало, т к люди над этим давно работают От такого кол-ва изнасилований Слон, Vkni (ok), 01:24 , 17-Июн-14, (318) –1 А до 1999-го года ни одной строчки на языке Цэ не написано , Vkni (ok), 17:13 , 13-Июн-14, (50) –1 // А для кода древнее 1999 года компилеру может потребоваться указать стандарт, кот, Аноним (-), 20:24 , 13-Июн-14, (69) +2 // А оно точно уберёт оптимизацию И вообще, сможет ли эту libc скомпилировать-то , Vkni (ok), 21:00 , 13-Июн-14, (73) –1 если ты используешь glibc, которая следует стандартам 99-го года, с какого испуг, arisu (ok), 13:53 , 14-Июн-14, (130) Про такую штуку, как поддержка совместимости слышал Про библиотеки, чуть младше, Vkni (ok), 20:43 , 14-Июн-14, (135) –1 лолвут тебе ж выше уже показали, что совместимость поломана , arisu (ok), 20:47 , 14-Июн-14, (138) Отключаешь эту оптимизацию и видишь невооружённым взглядом, что gcc c этой libc , Vkni (ok), 20:51 , 14-Июн-14, (142) –1 молодец теперь, всё-таки, попробуй сделать остальные шаги например, почитать в, arisu (ok), 20:59 , 14-Июн-14, (146) +2 А ты, умный Я выше и писал, что при таком подходе -O0 будет у всех Ибо работаю, Vkni (ok), 21:05 , 14-Июн-14, (151) –2 Лучше все-таки научиться программировать https github com munificent vigil, 0xd34df00d (ok), 21:11 , 14-Июн-14, (156) +1 И всё, всё, всё переписать Ты ребёнка за клавиатуру пустил, что ли , Vkni (ok), 21:15 , 14-Июн-14, (160) –1 Можно и не переписывать, а просто уважать стандарты и хотя бы иногда пользоватьс, 0xd34df00d (ok), 21:19 , 14-Июн-14, (166) Молодец Это ты пишешь про новый софт, а я тебе про старый, работающий десятилет, Vkni (ok), 21:21 , 14-Июн-14, (169) –1 Старый софт мне тоже поддерживать приходилось Ничего, практика показывает, что , 0xd34df00d (ok), 21:25 , 14-Июн-14, (172) прикинь, старые исходники тоже можно чинить за это молния с неба не ударит то,, arisu (ok), 21:29 , 14-Июн-14, (174) +1 Прикинь, если получить предупреждение в subj евом месте, чинить будет на порядки, Vkni (ok), 21:32 , 14-Июн-14, (177) –1 прикинь, для этого придумали статические анализаторы и продолжают их совершенст, arisu (ok), 21:34 , 14-Июн-14, (180) +1 Прикинь, компилятор всё равно обрабатывает этот случай , Vkni (ok), 21:49 , 14-Июн-14, (196) –1 прикинь, если снять с компилятора задачу диагностики, то можно сильно упростить , arisu (ok), 21:56 , 14-Июн-14, (201) Прикинь, движение ИТ всю жизнь идёт в обратную сторону - компьютер должен работа, Vkni (ok), 22:10 , 14-Июн-14, (210) –1 прикинь, если ты разупорешься и попробуешь запоминать хотя бы несколько сообщени, arisu (ok), 22:14 , 14-Июн-14, (213) Прикинь, если ты сам вернёшься из Валинора, ты узнаешь, что здесь стат анализат, Vkni (ok), 22:44 , 14-Июн-14, (228) –1 прикинь, а когда-то считали, что альтернативы рабскому труду нет, поэтому нужно , arisu (ok), 22:47 , 14-Июн-14, (230) Прикинь, если бы мы тогда жили, мы бы так и считали Ибо, чтобы нужно было меньш, Vkni (ok), 23:19 , 14-Июн-14, (237) –1 прикинь, если ничего не менять 8212 ничего и не изменится я предлагаю прекра, arisu (ok), 23:29 , 14-Июн-14, (239) +1 Повзрослеешь Более того, ты наверняка уже повзрослел Нужно просто перестать вр, Vkni (ok), 01:13 , 15-Июн-14, (256) –2 да-да-да-да 171 перестань уже выпендриваться ишь, моется он каждый день пер, arisu (ok), 01:36 , 15-Июн-14, (258) +1 Я не сомневаюсь, что ты, лично, моешься каждый день И Сшный стандарт читаешь, и, Vkni (ok), 09:52 , 17-Июн-14, (320) –1 это их личные проблемы не вижу, отчего я должен в честь сего начать хрюкать , arisu (ok), 13:28 , 17-Июн-14, (323) +1 Не моются , Led (ok), 14:56 , 17-Июн-14, (325) +1 ещё хуже настаивают, чтобы и другие не мылись потому что мыться 8212 ненорм, arisu (ok), 15:07 , 17-Июн-14, (326) +1 Совершенно верно При этом ты, почему-то, настаиваешь на том, что давайте прямо , Vkni (ok), 22:04 , 17-Июн-14, (330) –1 я предлагаю перестать считать, что дизентерия 8212 это божья кара, что спасен, arisu (ok), 22:12 , 17-Июн-14, (331) Так это же почти все Ну кроме тебя и ещё пары человек , Vkni (ok), 22:27 , 17-Июн-14, (332) –1 ну и что большинству говнокода лучше оставаться ненаписаным , arisu (ok), 22:28 , 17-Июн-14, (333) +1 Фа-арш невозможно провернуть наза-ад , Vkni (ok), 22:38 , 17-Июн-14, (334) –1 само собой грязные руки невозможно вымыть, поэтому нет смысла даже начинать , arisu (ok), 22:39 , 17-Июн-14, (335) +1 Исключительно постепенным комплексом мер Конечно, обыватели должны быть всегда , Vkni (ok), 18:53 , 18-Июн-14, (337) –1 и желательно 8212 вместе с родственниками если непонятно, почему 8212 то , arisu (ok), 18:57 , 18-Июн-14, (338) +1 Да понятно почему - это инстинктивное желание Но на уровне градоначальника нужн, Vkni (ok), 05:26 , 21-Июн-14, (339) как я и сказал 8212 пояснять бессмысленно конечно, ничего ты не понял, но ув, arisu (ok), 19:42 , 21-Июн-14, (341) таки да отучаемся говорить за всю сеть у говнокодеров 8212 да люди же, кото, arisu (ok), 21:27 , 14-Июн-14, (173) Ну, на самом деле можно, по крайней мере, конкретно такой класс ошибок Правда, , 0xd34df00d (ok), 21:29 , 14-Июн-14, (175) вот поэтому инструменты статического анализа от компиляторов постепенно отрывают, arisu (ok), 21:32 , 14-Июн-14, (178) Угу Самая большая проблема, почему нельзя стат анализатор встроить в компилято, Vkni (ok), 21:36 , 14-Июн-14, (182) Не соглашусь, это все-таки время работы Статический анализатор спокойно можно п, 0xd34df00d (ok), 21:38 , 14-Июн-14, (184) +1 а как раз из-за анализаторов один компилятор ругается на то, что переменная, во, arisu (ok), 21:44 , 14-Июн-14, (189) У PVS-овцев реализована инкременталка С того, что предупреждения противоречат др, Vkni (ok), 21:48 , 14-Июн-14, (194) –1 Про свои впечатления от PVS я уже тоже писал Эм, это какой так ругается Не встре, 0xd34df00d (ok), 21:55 , 14-Июн-14, (200) Я, естественно, про них помню Но, я тебе, как умному собеседнику, намекаю, что , Vkni (ok), 22:01 , 14-Июн-14, (205) –1 На отсутствие default ругается только в том случае, если для переключалки исполь, Led (ok), 22:15 , 14-Июн-14, (214) Не совсем, тут все довольно тупо, к сожалению Даже если есть какой-нибудь enum , 0xd34df00d (ok), 22:26 , 14-Июн-14, (219) Ещё проще есть - return прямо после switch c default один компилятор ругается н, Vkni (ok), 22:29 , 14-Июн-14, (223) +1 Пересмотрел 2 раза, логика корректна Мне теперь повеситься из-за какого-то вшив, Vkni (ok), 22:27 , 14-Июн-14, (221) –1 Зачем вешаться Оставайся - одним говнокодером больше, одним меньше - какая разн, Led (ok), 22:29 , 14-Июн-14, (222) Такую чушь лучше писать из-под анонимуса Тебе не придётся потом ник удалять , Vkni (ok), 22:30 , 14-Июн-14, (225) –1 Лишний пример того что академики - хреновые программисты , Аноним (-), 09:43 , 16-Июн-14, (293) Написать пустые case ы для необработанных случаев с одним-единственным break Та, 0xd34df00d (ok), 22:29 , 14-Июн-14, (224) +2 enum с десятком параметров, нужно сделать выделенный случай для 2-х Если я вста, Vkni (ok), 22:32 , 14-Июн-14, (226) –1 самая большая проблема 8212 это то, что компилировать оно будет 100500 длинны, arisu (ok), 21:40 , 14-Июн-14, (185) +1 Если ты пропихнёшь такой патч, тебе сильно подрихтуют физиономию неформализуемым, Vkni (ok), 21:34 , 14-Июн-14, (179) +1 кто же спорит, идиотов-говнокодеров всегда было много массой задавят как Дрепп, arisu (ok), 21:36 , 14-Июн-14, (181) Да нет, ты просто всё ещё в Валиноре, где всё строго и перпендикулярно , Vkni (ok), 21:37 , 14-Июн-14, (183) конечно, вместо этого мне надо всё забыть и весело нырнуть в говно, а потом похр, arisu (ok), 21:41 , 14-Июн-14, (186) +1 А-аа, так ты ставишь минусы вручную От лох-то - , Vkni (ok), 22:34 , 14-Июн-14, (227) –1 Это у вас в Валиноре можно сделать Сшную программу на мегабайт текстов без UB , Vkni (ok), 22:49 , 14-Июн-14, (231) да даже на десятки мегабайт но 171 обычным людям 187 это будет сложно, коне, arisu (ok), 23:03 , 14-Июн-14, (234) +1 Только не на языке Цэ , Vkni (ok), 23:13 , 14-Июн-14, (236) ну, хреново быть тобой, что я ещё сказать могу 8230 , arisu (ok), 23:30 , 14-Июн-14, (240) +2 Многие знания, многие печали Но нет, не настолько хреново, чтобы уходить в Вали, Vkni (ok), 23:50 , 14-Июн-14, (244) В 2 раза Вы недооцениваете силу -O2 И ещё не стоит забывать, что кроме обы, Xaionaro (ok), 14:20 , 15-Июн-14, (259) +1 что лучше офигенно быстрая программа, которая считает полную фигню, или медленн, arisu (ok), 14:30 , 15-Июн-14, (260) Скапитаню -- нужно писать быстрые программы, дающие верный результат Другими сл, Xaionaro (ok), 14:46 , 15-Июн-14, (261) ты же не спрашивал, что с софтом надо делать, ты спросил, какая лучше лучше 8, arisu (ok), 14:51 , 15-Июн-14, (262) +1 Хех, нет, я такого не спрашивал Я извиняюсь, если я какой-то вопрос некорректно, Xaionaro (ok), 15:02 , 15-Июн-14, (263) ну, значит я тебя так понял пардон недопонимания случаются в описаном акцепте,, arisu (ok), 15:11 , 15-Июн-14, (264) Да, вы абсолютно правы Нужно А ещё нужно учиться на одни пятёрки, слушаться ст, Vkni (ok), 21:32 , 15-Июн-14, (268) –1 Если не будете учиться на пятёрки, слушаться других, а также будете пить, курить, Xaionaro (ok), 23:58 , 15-Июн-14, (269) +1 Разумеется, нет Скажем, есть ли у вас братья-сёстры Возьмём Л Поттеринга Он п, Vkni (ok), 00:15 , 16-Июн-14, (271) –1 Не знаю какой код пишет лично он не сверял какая строка кем именно написана , з, Xaionaro (ok), 00:24 , 16-Июн-14, (272) +1 К тому, что несмотря на то, что этот кадр плодит лютое говно, нам необходимо , Vkni (ok), 00:26 , 16-Июн-14, (274) –1 Пфф Лично я некоторое время немного помогал OpenRC в этом году И следующей зим, Xaionaro (ok), 00:43 , 16-Июн-14, (276) Мне тоже И это прекрасно, но ряд программ, увы, монополисты , Vkni (ok), 01:00 , 16-Июн-14, (278) –1 Мне нравится аналогия arisu по поводу рабского труда Если люди вокруг идиоты и , Xaionaro (ok), 01:13 , 16-Июн-14, (280) +1 Если есть выбор в том, что чужой некритичный код работает при -O0 и не работает , Vkni (ok), 21:29 , 15-Июн-14, (267) –1 Да, но добавлю, что IMHO создание UB в коде выходя за стандарт -- это ССЗБ И , Xaionaro (ok), 00:08 , 16-Июн-14, (270) +1 Это вы говорите про непосредственного виновника Непосредственный виновник - это, Vkni (ok), 00:24 , 16-Июн-14, (273) –1 gt оверквотинг удален Прошу без автомобильных аналогий, ибо я лишь пешеход до, Xaionaro (ok), 00:38 , 16-Июн-14, (275) +1 Ок Тогда аналогия простая - вы, переходя дорогу на зелёный свет, можете смотрет, Vkni (ok), 00:57 , 16-Июн-14, (277) –1 И Поясните для тупого, как конкретно эта аналогия связана с данным диалогом , Xaionaro (ok), 01:09 , 16-Июн-14, (279) +1 Нет, не в рамках Нарушен пункт соблюдение дистанции В ПДД есть неточности, н, Vkni (ok), 01:47 , 16-Июн-14, (281) –2 Нарушен в следствии полного следования ПДД каждым участником движения Каждый ре, Xaionaro (ok), 09:06 , 16-Июн-14, (282) +1 Либо полное следование ПДД , либо была нарушена дистанция , но не одновременно, Vkni (ok), 09:23 , 16-Июн-14, (287) –1 Замечательно А теперь объясните мне тупому где тут противоречье с тем, что на, Xaionaro (ok), 10:30 , 16-Июн-14, (294) +1 Не надо срываться на эмоции Есть разница Поэтому ПДД сделаны с запасом - даже е, Vkni (ok), 17:16 , 16-Июн-14, (302) –1 Ой, а мужики-то не знают, уже 5 33 выпустили И вообще по 4-5 раз в год новые ве, bircoph (ok), 18:45 , 18-Июн-14, (336) Мужики, естественно, не знают о том, что происходило больше, чем 2 года назад И, Vkni (ok), 05:29 , 21-Июн-14, (340) 1,2,3,4,7,10,11,15,19,25,27

Сообщения

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

	46. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	–3 +/–
	Сообщение от Vkni (ok), 13-Июн-14, 16:59
	> Вот последнюю проверку компилятор вполне имеет право удалить В мире эльфов - да. Всё-таки, вера в то, что компилятору не придётся обрабатывать код с ошибками, в высшей степени наивна.
	Ответить | Правка | Наверх | Cообщить модератору

	53. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+2 +/–
	Сообщение от 0xd34df00d (??), 13-Июн-14, 17:21
	> В мире эльфов - да. Всё-таки, вера в то, что компилятору не > придётся обрабатывать код с ошибками, в высшей степени наивна. Есть баланс между толерантностью к ошибкам и качеством оптимизации. Включаешь оптимизатор — будь готов к тому, что кривой код он не простит. Ну и статический анализ специально для этого придумали. clang'овский static-analyzer такие вещи отлично находит.
	Ответить | Правка | Наверх | Cообщить модератору

	58. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	–1 +/–
	Сообщение от Vkni (ok), 13-Июн-14, 18:53
	> Есть баланс между толерантностью к ошибкам и качеством оптимизации. Включаешь оптимизатор — будь готов к тому, что кривой код он не простит. Ну так -O3 уже никто и не включает. Или пацаны хотят добиться, что и -O2 включать не будут? Баланс, разумеется есть, но gcc регулярно шагает за баланс в сторону оптимизации. Нижеприведённый код qsort в стандарт был введён в 1999 году, а на C писали и до этого года. Т.е. оптимизация ярковыраженно ломает нормальный код, написанный 20 лет назад. Причём, как это обычно у gccшников, без объявления войны. Хотя бы предупреждения о выбрасывании кода можно было выкинуть. Ну, типа unreachable code.
	Ответить | Правка | Наверх | Cообщить модератору

	59. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+3 +/–
	Сообщение от 0xd34df00d (??), 13-Июн-14, 19:00
	>> Есть баланс между толерантностью к ошибкам и качеством оптимизации. Включаешь оптимизатор — будь готов к тому, что кривой код он не простит. > Ну так -O3 уже никто и не включает. Или пацаны хотят добиться, > что и -O2 включать не будут? Включаю -O3 в продакшене на корректно написанном коде, брат жив. > Баланс, разумеется есть, но gcc регулярно шагает за баланс в сторону оптимизации. Есть у меня один знакомый, который как раз поэтому gcc и обожает, что там код работает на 5-10% быстрее, чем в clang, как правило. > Нижеприведённый код qsort в стандарт был введён в 1999 году, а > на C писали и до этого года. Т.е. оптимизация ярковыраженно ломает > нормальный код, написанный 20 лет назад. -std=c90 или подобное никто не запрещает передавать. Если при этом gcc откуда-то возьмёт требование к ненулёвости соответствующего аргумента qsort — вот тогда это проблема и баг в gcc. А если авторы пишут на C до 99 года, а передают ключи, соответствующие более свежему стандарту — ну, чо, ССЗБ. > Причём, как это обычно у gccшников, без объявления войны. Хотя бы предупреждения > о выбрасывании кода можно было выкинуть. Ну, типа unreachable code. Unreachable code в этом случае выкидывать — это либо прокидывать какой коллбек из optimization pass в морду, что, вполне возможно, с текущей архитектурой gcc фиг сделаешь, либо делать полноценный статический анализ на этапе разбора кода, а это на времени компиляции скажется не очень позитивно. Да и вообще, на этапе оптимизации, как правило, довольно много кода может выкидываться, передвигаться, и так далее. На всё это ворнингами плеваться — их столько появится, что никто эту простыню читать не будет. А вообще, за хорошим анализом кода при обычной компиляции и предупреждениями — это к clang :)
	Ответить | Правка | Наверх | Cообщить модератору

	60. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	–2 +/–
	Сообщение от Vkni (ok), 13-Июн-14, 19:12
	> Включаю -O3 в продакшене на корректно написанном коде, брат жив. Я очень рад за вас и вашего брата. Но таки вы - исключение. Стандартные флаги оптимизации в дистрибутивах (т.е. в 99% открытого софта) - O2. > Есть у меня один знакомый, который как раз поэтому gcc и обожает, > что там код работает на 5-10% быстрее, чем в clang, как > правило. Про clang пока даже речи не было. Совершенно неизвестно, что тамошние бравые парни наворотили. Есть отдельные места - http://clang.llvm.org/doxygen/ToolChains_8cpp_source.html которые заставляют несколько усомниться в их квалификации. > Да и вообще, на этапе оптимизации, как правило, довольно много кода может > выкидываться, передвигаться, и так далее. На всё это ворнингами плеваться — > их столько появится, что никто эту простыню читать не будет. Есть такое. Но если место столь неприятно опасное, то стоило бы. > А вообще, за хорошим анализом кода при обычной компиляции и предупреждениями — > это к clang :) Он совершенно никакого сравнения с PVS-кой не выдерживает.
	Ответить | Правка | Наверх | Cообщить модератору

	61. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+/–
	Сообщение от 0xd34df00d (??), 13-Июн-14, 19:17
	>> Включаю -O3 в продакшене на корректно написанном коде, брат жив. > Я очень рад за вас и вашего брата. Но таки вы - > исключение. Стандартные флаги оптимизации в дистрибутивах (т.е. в 99% открытого софта) > - O2. Ну, это дело другое, и я бы на самом деле поспорил, что дело именно в ломающем код оптимизаторе. Впрочем, это оффтопик. >> Есть у меня один знакомый, который как раз поэтому gcc и обожает, >> что там код работает на 5-10% быстрее, чем в clang, как >> правило. > Про clang пока даже речи не было. Совершенно неизвестно, что тамошние бравые > парни наворотили. Есть отдельные места - http://clang.llvm.org/doxygen/ToolChains_8cpp_source.html Какой-то файл с костылями, честное слово. > которые заставляют несколько усомниться в их квалификации. Да, там тоже есть свои проблемы. Но, по опыту, для кода, написанного по стандартам, а не по gcc, clang лучше себя ведёт. >> А вообще, за хорошим анализом кода при обычной компиляции и предупреждениями — >> это к clang :) > Он совершенно никакого сравнения с PVS-кой не выдерживает. У меня совершенно обратный опыт. Гонял один товарищ PVS по кое-чему из моего кода, ни единого сообщения по делу. В основном ругается на 32 и прочие подобные константы, считая это хардкодом битности машины, в коде вроде auto pixmap = icon.pixmap (32, 32); Ну и местами предлагает T на const T& заменить, не всегда по делу. Итого, сложилось впечатление, что это какая-то мешанина на регекспах, а не статический анализатор кода на плюсах. clang'овский static-analyzer же, в свою очередь, несколько действительно проблемных мест мне нашёл.
	Ответить | Правка | Наверх | Cообщить модератору

	62. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	–1 +/–
	Сообщение от Vkni (ok), 13-Июн-14, 19:31
	> Ну, это дело другое, и я бы на самом деле поспорил, что > дело именно в ломающем код оптимизаторе. Впрочем, это оффтопик. А в чём ещё? Какой смысл ставить -O2, если -O3 быстрее и не ломает код? > Какой-то файл с костылями, честное слово. Ну достаточно элементарного понимания, что такое дистрибутивы Linux'а, чтобы не писать подобных скриптов не просто на C++, а даже на bash'е. Достаточно же одной символьной ссылки на gcc или макроса с расположением gcc в коде, поставленного мейнтейнером пакета clang. > Ну и местами предлагает T на const T& заменить, не всегда по > делу. Итого, сложилось впечатление, что это какая-то мешанина на регекспах, а > не статический анализатор кода на плюсах. Да, отчасти на регекспах, отчасти стат. анализатор. Много положительных срабатываний. > clang'овский static-analyzer же, в свою очередь, несколько действительно проблемных мест > мне нашёл. У меня - ни одного.
	Ответить | Правка | Наверх | Cообщить модератору

	63. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+1 +/–
	Сообщение от 0xd34df00d (??), 13-Июн-14, 19:37
	> А в чём ещё? Какой смысл ставить -O2, если -O3 быстрее и > не ломает код? Не всегда быстрее. Например, слишком агрессивное развёртывание циклов или инлайнинг может привести к тому, что меньше полезного кода будет помещаться в кеш со всеми вытекающими. А в рамках всей системы — так немного (а иногда и существенно) большие бинари могут привести к лишнему своппингу. >> clang'овский static-analyzer же, в свою очередь, несколько действительно проблемных мест >> мне нашёл. > У меня - ни одного. Ну вот это PVS'ом не нашлось, например: https://github.com/0xd34df00d/leechcraft/commit/8b8156678474... , а кланг после вот этого вот я прямо зауважал. Хотя дело под год назад было, да. Да и PVS очень плохо относился к C++11, было суммарно с дюжину файлов, где он упал. clang сдох всего на двух.
	Ответить | Правка | Наверх | Cообщить модератору

	96. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	–2 +/–
	Сообщение от pv47 (ok), 13-Июн-14, 22:31
	> Есть у меня один знакомый, который как раз поэтому gcc и обожает, > что там код работает на 5-10% быстрее, чем в clang, как > правило. если код твоего знакомого работает на 10% быстрее в gcc, чем в шланге, за счёт таких оптимизаций, то у меня для него плохие новости: у него в коде куча лишних проверок, которые он почему-то не выкинул сам. наверное, это как раз тот случай, когда компилятор умнее человека. обычно знакомым таких личностей, как ваш знакомый, сочувствуют. но вы, похоже, этим гордитесь.
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	98. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+/–
	Сообщение от 0xd34df00d (??), 13-Июн-14, 22:33
	>> Есть у меня один знакомый, который как раз поэтому gcc и обожает, >> что там код работает на 5-10% быстрее, чем в clang, как >> правило. > если код твоего знакомого работает на 10% быстрее в gcc, чем в > шланге, за счёт таких оптимизаций, то у меня для него плохие > новости: у него в коде куча лишних проверок, которые он почему-то > не выкинул сам. наверное, это как раз тот случай, когда компилятор > умнее человека. Не код моего знакомого. Он всякими там povray бенчмаркает. > обычно знакомым таких личностей, как ваш знакомый, сочувствуют. но вы, похоже, этим > гордитесь. Нечем тут гордиться. И не гордиться, впрочем, тоже.
	Ответить | Правка | Наверх | Cообщить модератору

	118. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+/–
	Сообщение от arisu (ok), 14-Июн-14, 13:36
	> у него в коде куча лишних проверок, которые он почему-то не выкинул сам. вышепроцитированное — реакция школоты на assert()'ы, например.
	Ответить | Правка | К родителю #96 | Наверх | Cообщить модератору

	131. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	–1 +/–
	Сообщение от Reinar (ok), 14-Июн-14, 16:36
	> если код твоего знакомого работает на 10% быстрее в gcc, чем в шланге, за счёт таких оптимизаций, то у меня для него плохие новости: у него в коде куча лишних проверок Если код работает на 10% быстрее после выкидывания "лишних" проверок, то этот код практически целиком состоит из проверок.
	Ответить | Правка | К родителю #96 | Наверх | Cообщить модератору

	245. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+/–
	Сообщение от Demo (??), 14-Июн-14, 23:54
	$ traceroute 0xd34df00d traceroute to 0xd34df00d (211.77.240.13) 211-77-240-13.adsl.fetnet.net ... 10  h33-192-72-155.seed.net.tw (192.72.155.33)  320.941 ms ...
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	247. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+/–
	Сообщение от 0xd34df00d (??), 15-Июн-14, 00:00
	> $ traceroute 0xd34df00d > traceroute to 0xd34df00d (211.77.240.13) 211-77-240-13.adsl.fetnet.net > ... > 10  h33-192-72-155.seed.net.tw (192.72.155.33)  320.941 ms > ... 0xd34df00d.me трейсить надо.
	Ответить | Правка | Наверх | Cообщить модератору

	117. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+/–
	Сообщение от arisu (ok), 14-Июн-14, 13:32
	> Ну так -O3 уже никто и не включает. Или пацаны хотят добиться, > что и -O2 включать не будут? пацаны хотят, чтобы говнокодеры документацию читали сначала. уж от тебя-то я не ожидал такой позиции.
	Ответить | Правка | К родителю #58 | Наверх | Cообщить модератору

	266. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+1 +/–
	Сообщение от Аноним (-), 15-Июн-14, 16:08
	> Причём, как это обычно у gccшников, без объявления войны. Хотя бы предупреждения > о выбрасывании кода можно было выкинуть. Ну, типа unreachable code. Release Notes к gcc 4.9 почитайте. И Porting to, если вам мало.
	Ответить | Правка | К родителю #58 | Наверх | Cообщить модератору

	109. "В DNS-сервере BIND устранен серьёзный сбой, возникший из-за ..."	+/–
	Сообщение от Anonym2 (?), 14-Июн-14, 01:46
	>> Вот последнюю проверку компилятор вполне имеет право удалить > В мире эльфов - да. Всё-таки, вера в то, что компилятору не > придётся обрабатывать код с ошибками, в высшей степени наивна. И разработчики GCC вряд ли страдают этой верой. Кстати, foo->bar компилятор тоже вправе удалить... >:-)
	Ответить | Правка | К родителю #46 | Наверх | Cообщить модератору

	116. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+2 +/–
	Сообщение от arisu (ok), 14-Июн-14, 13:31
	>> Вот последнюю проверку компилятор вполне имеет право удалить > В мире эльфов - да. Всё-таки, вера в то, что компилятору не > придётся обрабатывать код с ошибками, в высшей степени наивна. для идиотов есть режим -O0. в документации по gcc ясно написано, что корректность выхлопа оптимизатора гарантируется *только* для корректных программ. если авторы подсунули компилятору говнокод, то они сами и виноваты.
	Ответить | Правка | К родителю #46 | Наверх | Cообщить модератору

	296. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	–1 +/–
	Сообщение от КО (?), 16-Июн-14, 11:44
	> корректность выхлопа оптимизатора гарантируется *только* для корректных программ if (a) {    mtx.lock();     if (a) {  // явно же лишняя проверка - только что проверили.
	Ответить | Правка | Наверх | Cообщить модератору

	298. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+2 +/–
	Сообщение от arisu (ok), 16-Июн-14, 11:53
	>> корректность выхлопа оптимизатора гарантируется *только* для корректных программ >  if (a) { >    mtx.lock(); >     if (a) {  // явно же лишняя > проверка - только что проверили. конечно, лишняя. если ты меняешь переменную из разных потоков и не объявил её volatile — ты идиот, а твой код говно. такие дела.
	Ответить | Правка | Наверх | Cообщить модератору

	305. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+/–
	Сообщение от 0xd34df00d (ok), 16-Июн-14, 17:40
	>>> корректность выхлопа оптимизатора гарантируется *только* для корректных программ >>  if (a) { >>    mtx.lock(); >>     if (a) {  // явно же лишняя >> проверка - только что проверили. > конечно, лишняя. если ты меняешь переменную из разных потоков и не объявил > её volatile — ты идиот, а твой код говно. Не всё так просто, см. страницу 7 здесь: http://www.aristeia.com/Papers/DDJ_Jul_Aug_2004_revised.pdf Правда, то в приложении к синглтонам.
	Ответить | Правка | Наверх | Cообщить модератору

	307. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+/–
	Сообщение от arisu (ok), 16-Июн-14, 20:43
	да, я в курсе, что volatile — не такая уж простая и лёгкая штука. ну, и welcome в область нестандартного — read and write barriers в gcc, например…
	Ответить | Правка | Наверх | Cообщить модератору

	299. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+1 +/–
	Сообщение от arisu (ok), 16-Июн-14, 11:54
	p.s. да, компилятор имеет право проанализировать метод lock(), увидеть, что a там не меняется и выкинуть проверку нафиг.
	Ответить | Правка | К родителю #296 | Наверх | Cообщить модератору

	304. "В DNS-сервере BIND устранен серьёзный сбой, возникший..."	+/–
	Сообщение от 0xd34df00d (??), 16-Июн-14, 17:37
	>  if (a) { >    mtx.lock(); >     if (a) {  // явно же лишняя > проверка - только что проверили. Ну так в C++ до 11 не было memory model, машина представлялась однопоточной. Это уже проблема языка и стандарта, а не компилятора.
	Ответить | Правка | К родителю #296 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема