Тред, посвященный прародителю всех С-подобных языков и по совместительству единственному идеальному и всесторонне годныму средству программирования как на системном, так и на прикладном уровне.
- Очевидный GCC. - clang: оче годно, батя рекомендует. Дрочим на --analyze. - Intel C++ Compiler: оптимизации, тысячи их. - Visual Studio 2015 Community Edition: внезапно этим стало можно пользоваться, особенно с тулсетом clang/C2. Поддержка C11 на уровне "есть все, что тебе понадобится в реальном проекте плюс кривая библиотека". Анализатор кода в комплекте. - Pelles C (шиндоуз онли): поучиться, вкатиться в C11 (стандарт полностью реализован, имеются в том числе threads.h и прочие stdatomic.h), но количество багов в оптимизаторе и редкие апдейты напрочь отбивают желание собирать этим что-то сколько-нибудь серьезное. - TCC: очень маленький компилятор с багами и неполной поддержкой C99. С ключом -run умеет компилировать код в память и запускать его, что позволяет писать скрипты прямо на сишечке.
Stephen Prata "C Primer Plus, 6th Edition" (2014) Свежая знает про C89, C99, C11, описывает различия, объемная около тысячи страниц, годная хотя есть некоторые шероховатости, с вопросами, упражнениями и ответами. Читать после K&R или до.
Samuel P. Harbison, Guy L. Steele Jr. "C: A Reference Manual, 5th Edition" (2002) Ебаный пересказ стандартов C89 и C99 (включая стандартную библиотеку). Для не осиливающих стандарт в оригинале. Читать в качестве подготовки к собеседованиям (есть задачник с ответами) и для ознакомления с масштабами пиздеца перед написанием своего парсера/компилера.
Peter Van Der Linden "Expert C Programming. Deep C Secrets" (1994) "Си: грязные истории". Смехуечки, немного объяснений, чем обусловлены особенности языка, всем известные подводные камни кто там ругал косяки в JS? у нас в сишечке их гораздо больше, просто они лучше спрятаны, немного байтоебли и непонятно откуда взявшаяся глава про старинные плюсы. Читать в качестве сказки на ночь (на пару вечеров хватит).
Ben Klemens "21st Century C: C Tips from the New School" (2012)
Stephen G. Kochan "Programming in C (3rd Edition или 4th Edition, если найдется)" (2014)
>>749750 Да и у крестов стандарт лексически не сильно сложнее. Там реально достаточно знать порядка ста баззвордов и словосочетаний, типа if X, program is ill-formed. На 0.99 стандарт состоит из этих фраз, а вся сложность в нихуевом объеме и неестественно-буквоедском порядке утверждений.
Почитал бы полезные выжимки из MISRA. >>750044 >>749750 Долбоебы знание языка - это 10-30%. Остально - сопутствующие технологии, будь то контроллеры, система или прикладные либы типа stl или boost, раз уж вы крестах.
А есть ли какая-нибудь синтаксическая оберка для работы с указателями? Я пока все время путаюсь, где у меня поинтер, где разыменование поинтера, где ссылка и т.д. Нет ли того же самого, только в функциональной обертке? Чтобы функции имели бы человекочитаемые имена?
>>752375 Что там непонятного, наркоман? &yoba - адрес переменной yoba ptr - содержимое по указателю (адресу) ptr mamka_c_blyadi->anus - альтернативный синтаксис для (mamka_c_blyadi).anus
Я не он, но что не так-то? Функции в Си только в виде константных литералов и существуют, без кодогенератора ты функцию в рантайме не создашь, существующую изменять не имеешь права, а анонимных функций пока нет, поэтому передавай указатель на функцию и не выделывайся. Или задай правильный вопрос: опиши, чего ты хочешь добиться, а не то, как ты хочешь этого добиться.
>>754170 Я бы не постеснялся подготовить данные перед printf и объявить переменную. А ты можешь сделать чуть более читаемо, если у тебя современный стандарт и есть compound literals: printf("%12.12s ", ctime(&(time_t) { c }));
Что вы пишете на Си в 2016 году? Я бы тоже хотел перекатиться в сишечку с ерланга и жс, но ума не приложу чтобы такого написать. Крудошлепство и жс засели глубоко в мозгах
мне не нравится что с массивами char такая хуйня прокатывает а с массивами int нет. я пока сделал через приведение типов но это выглядит погано и работает не лучше. я не хочу каждый раз инициализировать массив отдельно для передачи нескольких байтов в функцию.
>>755749 Не совсем понял, что не нравится лично тебе. ASCIIZ универсальны, они работают для любой длины, хоть в пару терабайтов. Для тех времен, когда создавался язык, они стали отличным решением - байтики приходилось экономить, и делать паскалевые строки сразу 32-битным (да и 16-битным тоже) счетчиком было расточительно, а городить зоопарк из строк с разными размерами префиксов (как в каком-нибудь паскале) - глупо. Тебе никто не мешает, начитавшись Джоэла, запилить строки, которые тебе нравятся. Можешь сделать паскалевые, можешь гибридные с ASCIIZ и счетчиком одновременно, можешь добавить в заголовок еще и плюсовые capacity и allocator, можешь хранить все это добро по отрицательному индексу, чтобы строки казались обычными ASCIIZ для всего остального мира, можешь хранить целиком, можешь кусками в связанном списке - все зависит от твоих требований. И, конечно же, ты можешь запилить свою собственную либу для работы со строками: безопасную, быструю, понимающую UTF-8 выбери одно из трех.
>>754170 >printf ( "%12.12s ", ({ long tmp=current_record.ut_time; ctime(&tmp);}) ); Что это за конструкция? Впервые вижу подобное. Мы типа делаем скоуп на месте аргумента? Это вообще по стандарту? Что загуглить, чтобы про это почитать?
>>755749 >Почему строки в языке C так работают? А потому что микропроцессор PDP-7, на котором разрабатывались UNIX и C, имел такой строковый тип ASCIZ. ASCIZ означало "ASCII с нулём (zero) на конце." >Неужели это единственный способ хранить строки? Конечно нет, более того, это наихудший способ хранить строки. >наихудший способ хранить строки >наихудший
[CODE] 2.1. The size of an array is part of its type
If one declares
var arr10 : array [1..10] of integer; arr20 : array [1..20] of integer;
then arr10 and arr20 are arrays of 10 and 20 integers respectively. Suppose we want to write a procedure 'sort' to sort an integer array. Because arr10 and arr20 have different types, it is not possible to write a single procedure that will sort them both.
The particular data type most often affected is 'array of char', for in Pascal a string is an array of characters. Consider writing a function 'index(s,c)' that will return the position in the string s where the character c first occurs, or zero if it does not. The problem is how to handle the string argument of 'index'. The calls 'index('hello',c)' and 'index('goodbye',c)' cannot both be legal, since the strings have different lengths. (I pass over the question of how the end of a constant string like 'hello' can be detected, because it can't.) The next try is
var temp : array [1..10] of char; temp := 'hello';
n := index(temp,c);
but the assignment to 'temp' is illegal because 'hello' and 'temp' are of different lengths.
The only escape from this infinite regress is to define a family of routines with a member for each possible string size, or to make all strings (including constant strings like 'define' ) of the same length. [/CODE]
Есть два почти одинаковых кода, разница в функции undef отмечена восклицательными знаками:
https://ideone.com/5NvTMI Почему-то крашится на идеоне, хотя нормально запускается в консоли линукса и в дебаггере студии.
https://ideone.com/CZ7nTT Тут все ровно наоборот. Сначала освобождаю память, выделенную под ноду списка, а потом освобождаю поля этой ноды. Но почему этот код работает? Ведь когда нода освобождена, к ней нельзя обращаться. И еще странный эффект: если код оставить таким же, но освободить только ноду, а не каждое ее поле, то вот эта строчка все равно выведет корректные данные:
if (lookup("H") != NULL) printf ("%s\n", lookup("H")->defn);
Почему так? Ведь данной ноды в этот момент уже не должно существовать.
>>755902 >>755909 > какого хуя Во-первых, в строке 45 в install() ты закольцовываешь связный список, хотя по идее должен в next записать NULL. Во-вторых, если ты удаляешь первый элемент в цепочке, то после free() в undef() у тебя остается "висячий" указатель на него из hashtab, и при первом же lookup() ты по нему идешь с очевидными последствиями. Я бы сделал last указателем на указатель на nlist (на элемент в бакете сначала, а потом на next предыдущего элемента), тогда это красиво решается без дополнительных условий.
Алсо в install касты перед malloc() и в free() не нужны. А вот при сфэйлившемся strdup() теоретически неплохо было бы сделать free(), иначе будет утечка памяти. И в ветке else есть теоретическая вероятность оставить defn равным NULL. Алсо для указателей в printf у нас есть %p. Но это придирки.
> если ... освободить только ноду ... то вот эта > строчка все равно выведет корректные данные Ты просто не должен ходить по указателю после free(), иначе будет UB. А undefined behavior в данном случае то, что в зависимости от компилятора и условий менеджер кучи не повреждает данные по указателю (а может и затирать служебными данными, а может затирать частично, а может вообще не трогать очень долго, до очередного malloc с запросом точно такого же объема памяти).
>>755967 >Во-первых, в строке 45 в install() ты закольцовываешь связный список, хотя по идее должен в next записать NULL Это вставка нового элемента в голову списка, а не закольцовывание.
>>755902 Как будто поправил. Сегфолт возникал в функции поиска по таблице, когда элемента там не было из-за того, что некорректно удалялся элемент списка. Это происходило в том случае, когда в списке только один элемент. Для обработки этого случая написал костыль: https://ideone.com/pdUGr0 Вроде, в книгах по структурам данных так и делается удаление.
Прога отказывается работать. Задача : скопировать текст из одного файла в другой, рекурсивно заменяя include<filename.txt> на содержимое этого файла. Код http://pastebin.com/2xMWD0jy Три файла внутри( копировал в спешке, извиняюсь) Файл с функцией, тест1 и функция.h Выдача gcc: test1.c: В функции «main»: test1.c:7:1: ошибка: passing argument 1 of «reshift» discards «const» qualifier from pointer target type if(0==reshift("input.txt", "output.txt", 1)) ^ In file included from test1.c:4:0: realezat.h:3:5: замечание: expected «char » but argument is of type «const char » int reshift(char in[], char out[], int n); ^ test1.c:7:1: ошибка: passing argument 2 of «reshift» discards «const» qualifier from pointer target type if(0==reshift("input.txt", "output.txt", 1)) ^ In file included from test1.c:4:0: realezat.h:3:5: замечание: expected «char » but argument is of type «const char » int reshift(char in[], char out[], int n);
>>756051 > return Так ты памятью течешь и похериваешь список заодно. Кто curr-то освобождать будет? Что будет, если в hashtab[hashval] цепочка из более чем одного элемента? Я тебе вот такой костыль предлагал: https://ideone.com/lRjUri
>>756074 >Что будет, если в hashtab[hashval] цепочка из более чем одного элемента? Блять, действительно. Я имел в виду, что список должен быть из единственного элемента, а мое условие выполняется, когда нужное значение хранится в первом элементе. И про free тоже забыл.
(Код не осилил). Предупреждениями GCC тебе какбэ напоминает, что строковые литералы у нас константные. Дальше, если тебе нужно рекурсивно заменять, то назачем ты затираешь выходной файл при каждом вызове reshift()? Открой его один раз в main. Почему у тебя buf2 так интересно инициализируется, я тоже не понял.
Можешь сделать просто: считал весь файл в память, нашел с помощью strstr() вхождение "include<", записал в выходной файл все, что до вхождения (или до конца, если "include<" больше нет). Нашел strchr() '>', поимел имя файла, пошел в рекурсию, после возврата пошел снова strstr() после '>' искать "include<". Все. Один цикл.
Можно читать кусками или читать fgetc(), но там уже придется обрабатывать всякие интересные ситуации. Если у тебя include<> в начале строки (как в самой сишечке), то все еще проще.
>>756137 > насчет константных литералов Строка в кавычках, как "input.txt" - это строковый литерал, его нельзя изменять. Поэтому когда ты его передаешь в reshift(), соответствующий указатель должен быть const char ∗, а не char ∗. Алсо, можно так: https://ideone.com/L2VPc3 В принципе, тот же цикл, только strstr самодельная и выполняется во время посимвольного чтения файла.
>>756217 Это лаба? Если нет, можно нагуглить препроцессор на C, fcpp к примеру, и воспользоваться им. Просто парсинг C-файла не тривиальная задача. Однострочные и многострочные комментарии, include на одной строке, сам файл на другой.
>>756607 На C89 пишут зрелые программисты, скептически относящиеся ко всему новому и еще когда нужна максимальная кроссплатформенность, хотя в последние годы этот довод подрастерял силу. Например, в коде fossil или sqlite до сих пор фанатично искореняются любые намеки на C89.
> Класс памяти переменной (англ. Storage class) — понятие в некоторых языках программирования. Он определяет область видимости переменной, а также как долго переменная находится в памяти.
>>756677 Да, класс памяти определяет область видимости. А в дополнение к нему область видимости определяется расположением самой переменной. Алсо, стандарт не согласен с нами обоими, предпочитая разделять "storage duration", "scope" и "linkage", заодно намекая, что я >>756674 забыл про динамически выделенную память.
Правильно ли я понимаю, что структуры, классы, методы внутри классов не порождают никакого ассемблерного кода до тех пор пока не начинают явно использоваться в программе?
>>757449 Правильный компилятор, который знает обо всех тонкостях стандарта и одинаково хорошо со всеми ими справляется? Нет, не осилишь чтобы осознать это, попробуй просто прочитать весь стандарт. Упрощенный компилятор чего-то, что внешне похоже на C - задача не совсем для ньюфага, но если упорства хватит, вполне выполнимая.
>>757559 > Чел с хабра > Rui Ueyama Он был ньюфаг? Ты читал его девлог? Спойлер: не за 40 дней. И вообще, ознакомься, занимательно. И непофикшенные баги там до сих в ассортименте. И если дело дойдет до тонкостей, вылезет еще дофига всего.
>>757563 Алсо, поясню за уровень тонкостей, про которые я говорил. Минимальный пример (да, он ебанутый, зато минимальный!): http://ideone.com/Z5v4Gh скомпилируется любым обычным компилятором, и сфэйлится в 8cc, потому что там _Pragma по каким-то причинам стала макросом, а не оператором. На этой фазе трансляции макросы уже заменяются, а ключевых слов, в том числе и именованных операторов (за исключением defined) еще не существует.
Помогите разобраться с fopen http://all-ht.ru/inf/prog/c/func/fopen.html А именно с a+ Абсолютно не понятно как работает. Программа выглядит так Открыть с а+ выходной файл, открыть первый инпут файл, печатать в выходной до середины, открыть с а+выходной файл и окрыть для чтения второй инпут, печать весь в выходной, допечатать первый(рекурсивный вызов). В результате получаю в выходном: весь текст второго\n весь текст из первого. Что не так и как исправить?
>>758095 условно выглядит вот так [code] int fuckgoogle(const char in) { char c; FILE input=fopen(in, "r"); FILE *output=fopen("output.txt", "a+"); while((c=getc(in))!='i')//печатаем до знака "i" к примеру { fprintf(output, "%c", c); } fuckgoogle(filename);//filename получен во время печатанья первого файла(да, я тот анон с парсингом) while((c=getc(in))!=EOF) { fprintf(output, "%c", c); } } [/code]
>>758099 Сорри за разметку. Если первый файл имеет вид (-----i____) а второй () то на выходе я получаю ( -----____) а должен (------_____) i так и должна пропадать
>>758101 Вместо // подставтье звездочки Порядок следования правильный, то звездочки черточки идут в правильном порядке. То есть это не обратная печать.
>>758116 Бля, ну ты меня затролил, давайте всем двачем набижим и посмеемся, как хорошо, что есть такие детективы как ты, защищающие двач от рака. Хотя погодите ка...
Парни, отбой, я вам покушать принес супер эзотерического кода(там реально оченьстранная реакция). http://pastebin.com/xY38erAD это файл reshift.c http://pastebin.com/aHWSSwee это файл test.c http://pastebin.com/4iagN99N это realezat.h Задача, рекурсивно заменить в текстовике инклюд<имя файла> на текст из имя файла Структура слудующая, в тесте содержится майн, создается два массива, один для хранения символов, второй из одного эл-та для хранения числа эл-ов в первом массиве(не бейте). Все это рекурсивно передается в reshift.c где массив преобразовывается. Затем в майне массив перепечатывается. Внимание магия. Если во входных данных содержитсябуква i, то все будет нормально, кроме этой самой буквый ай, которая превратится во что угодно(от буквы o, до иероглифа вопроса). пример входных файлов и выдачи: http://pastebin.com/3U403Ryy
>>758095 FILE умеет в буферизацию ввода/вывода и по умолчанию ее делает. И буфер там от 256 символов. Все буферизируется, а пишется тот, который первым сказал fclose(). И даже если бы ты расставил fflush() правильно, открытие файла на запись одновременно несколько раз - это пиздец в любом случае, никогда так не делай.
>>758140 Боже. А надо было всего-то putchar на fputc заменить.
>>758196 Очередность следования - это вопрос стиля, стандарт порядок следования не определяет. Всякие static const int foo = 1 и int const static foo = 1 воспринимаются компилятором одинаково (конечно, не в случае всяких указателей и массивов). А насчет TROLOLO_DLL - это макрос. Он где-то определен как __declspec(export) расширение Microsoft, которое позволяет сразу, без .def-файла поместить имя в таблицу экспорта, когда собирается DLL. Или он просто задел на будущее, чтобы потом не ходить и не менять объявления всех экспортируемых функций, если захочется что-то подобное сделать.
>>758323 Там половины пасты нет, но ты так и не объяснил, зачем тебе вообще выделять память. Я сходу могу придумать только один повод что-то буферизировать вручную - если тебе нужно, чтобы работало нечто вроде: input.txt: incinclude<input2.txt><input3.txt> input2.txt: lude input3.txt: hello, world!
С машинным языком, любая комбинация байтов производимая обезьянами будет принята и запущена. Но в высокоуровневых языках, высоко ценится то, что компилятор способен обнаружить лексические и грамматические ошибки. Многие программы будут просто отвергнуты, а обезьяны останутся без бананов, зато остальные будут иметь больше шансов быть осмысленными. Проверка типов обеспечивает еще один барьер против бессмысленных программ. Кроме того, в то время как в динамически типизированных языках несоответствия типов будут обнаружены только во время выполнения, в строго типизированных статически проверяемых языках несоответствия типов обнаруживаются во время компиляции, что отсеивает множество некорректных программ, прежде чем у них есть шанс быть запущенными.
Итак, вопрос в том, хотим ли мы, чтобы обезьяны были счастливы, или создавать корректные программы?
>>758692 >в строго типизированных статически проверяемых языках несоответствия типов обнаруживаются во время компиляции, что отсеивает множество некорректных программ
А ты в курсе, что строго типизированные статически проверяемые языки не эквивалентны машине Тьюринга, а беднее её?
>>759602 Ну или иначе взгляни на метки - после метки 1 идёт код, затем сразу метка 2, если функции не предполагают завершение программы, то 1 ошибка вызовет 2 функции, даже если должна вызвать одну.
>>759618 >>759620 Ну, чтоб тот код из СО можно было написать как-то так. int foo(int bar) { int return_value = 0; BLOCK(govno) if (!do_something( bar )) { RETURN_FROM(govno); } defer(cleanup_1()); if (!init_stuff( bar )) { RETURN_FROM(govno); } defer(cleanup_2()); if (!prepare_stuff( bar )) { RETURN_FROM(govno); } defer(cleanup_3()); BLOCK_END(govno) return_value = do_the_thing( bar ); }
>>759625 >>759632 Как тебе такое решение: BlOCK(X) начинает блок (ставит открывающую фигурную скобку) и объявляет переменную-ноду связного списка: #define BlOCK(X) { struct function_list __list_head_for_X = EMPTY_LIST;
Тааак. Теперь defer будет принимать функцию(указатель на функцию) типа void(void) (можно зделать и void(void) или несколько макросов defer_N, где N — число аргументов не суть важно), выделять структуру типа function_list_node: т.к. мы не хотим теребить кучу, выделять будет с помощью alloca(); совать туда указатель на функцию и добавлять function_list_node в список.
BLOCK_END(X) будет закрывать блок и проходиться по списку __list_head_for_X, вызывая все функции оттуда.
>>759640 А если внутри блока я вдруг решу использовать имя function_list __list_head_for_X? Я выше исправился, что DEFER - макрос, он никаких указателей принимать не будет, а прост типа код внутри себя скопипастит в конец блока и сгенерирует нужные переходы.
>>759644 > А если внутри блока я вдруг решу использовать имя function_list __list_head_for_X? То ты ССЗБ. Имена с multiple underscores это зарезервированные для деталей реализации библиотек имена.
>>759655 > А если блок внутри блока? именуй их по-разному.
Ах, да. defer у нас без указания блока... Бида-пичать, тогда BEGIN_BLOCK(X), кроме __list_head_for_X, пусть создаёт указатель на этот __list_head_for_X под одинаковым именем во всех блоках: struct function_list *__current_list_head = &__list_head_for_X; а defer() будет добавлять ноды к __current_list_head.
> Гигиену в любом случае соблюдать над. Если тебе нужна схема — пиши на схеме.
>>759625 >>759640 Да, для тех, кто боится, что если кто-то зделает RETURN_FROM(X) для X, который является не текущим блоком, а обрамляющим текущий, то это тоже решаемо: вместо пихания кода прохождения по списку в BLOCK_END(X), запихнуть его в функцию, а эту функцию указать в __attribute__((cleanup)) у __list_head_for_X.
>>759667 >нинужна Пока не будет исключений в языке, нужно. А вот исключения как раз в сишке не нужны, так что актуально будет всегда. Выше не увидел ни одного адекватного решения проблемы без использования метапрограммирования. Так что если и буду что-то такое писать без нормальных макросов (а ведь придется), то буду с гото в ассемблерном стиле как в >>759596
>>759668 Это не ассемблерный стиль. Тут все использование гото ограничивается прыжком вперед на единственный и хорошо заметный блок кода. И вот эти error_1, error_2 нинужны, достаточно goto cleanup везде. Ошибки случаются относительно редко, и пара лишних if в cleanup - вполне адекватная цена за красивый читаемый код.
>>759674 > протаскивать по стеку вызовов Если хочешь странного, есть setjmp.
>>759684 >удалось сегодня запилить кросс-компиляцию Пока жители Виллабаджо собирают кросс-компилятор, жители Вилларибо установили proot+qemu-user, скачали rootfs для нужной архитектуры и собрали весь код под неё.
>>759678 >Это не ассемблерный стиль. Ну, хз, просто такая ассоциация возникла, потому что в ассемблере такие переходы часто приходится писать. По поводу одной метки — да, дельное замечание. Походу единственный адекватный ответ насчет обработки похожих ситуаций. Если б ты мне еще за препроцессоры пояснил, вообще круто было бы.
>>759596 дык обычно в функции вверху выделяют все ресурсы сразу зарас ну и потом в ошибочных ситуациях выходят через goto на код очистки внизу те там нет такой хуеты error_1, error_2, error_3 те и спрашивающий тот еще лошок и отвечающие - чуханы
>>759596 дык обычно в функции вверху выделяют все ресурсы сразу зарас ну и потом в ошибочных ситуациях выходят через goto на код очистки внизу те там нет такой хуеты error_1, error_2, error_3 те и спрашивающий тот еще лошок и отвечающие - чуханы
>>759783 Я о том, как сгенерировать данный код макросом. А если код генерится макросом, то надо выбирать более быстрый вариант, как >>759786 тебе пытается донести. >>759791 Но там проверки будут в любом случае. И вообще, блядь, я у вас спрашиваю, как это написать с использованием кодогенерации, чтоб не было говнокода, а вы толкуете о том, как правильно писать говнокод.
>>759793 Ну, про говнокод я довольно образно сказал. Я понимаю, что для pure c такие переходы — довольно распространенная практика, и не надо их особо бояться. Просто сишке реально часто не хватает мощи, и я рассматриваю кодогенерацию как шанс ее повысить. А почему мой код является говнокодом, если он способствует лучшей структуризации и устранению goto? Почему требуют напряга? Просто вот есть какой-то паттерн, я его выделил и придумал решение, основанное на метапрограммировании. Вот если бы внутри какой-то команды разработчиков было принято писать с препроцессором во имя структуризации, и была бы договоренность, где какие макросы использовать, разве это бы считалось говнокодом? Просто не используй препроцессор, где он не нужен, а если решил написать свой макрос (а такое вряд ли часто понадобится, когда есть какой-то общий набор для решения частых задач вроде этой), то тщательно его документируй, вот и все.
>>759886 Современные компиляторы Сишки настолько оптимизированы, что условные операторы в них часто сводятся к одной машинной команде. О какой, нахуй, немощности ты тут говоришь?
>>759956 >отождествлять мощь языка с оптимизированностью компилятора Слушай, ты заебал, просто не пиши сюда, хорошо? >>759996 Objc тащит за собой рантайм и не имеет zero cost абстракций. Подсчет ссылок к метапрограммированию отношения не имеет. Мой более высокоуровневый инструмент, который меня устроит — сишка с нормальным препроцессором. Какие вопросы?
>>760041 А от нас-то ты что хочешь? Возьми сишку или пайтон и напиши себе препроцессор, какой больше нравится (не забудь генерить #line, иначе отладка и bistect превращаются в ад). Не хотел тебе отвечать, но расскажу кулстори: был у нас один проект, где предыдущий кодер "расширил" синтаксис - там все упиралось в быстродействие в рантайме, поэтому он добавил синтаксис для предвычисления в compile-time табличек и вставки бинарных данных. И это было, в принципе, неплохо (для конкретного проекта), но как только он ушел, все это быстро выкинули, потому что нестандартно и некому поддерживать. Возможно, тебе стоит взять какой-то другой язык, если ты хочешь "мощь", а не простоту.
>>760041 >Objc тащит за собой рантайм Так пиши на си, дебил. >не имеет zero cost абстракций. Си их вообще не имеет, вась. С этим в кресто/расто-треды. Там и с метапрограммированием более-менее в рамках говноедства, и аналоги скоупов (деферов) есть.
>>760083 >да уже ничего, думал, есть у кого опыт с препроцессорами, а так уже нашел пару интересных вещей, спасибо за стори. >>760120 Так и пишу! >кресты, раст Пикрелейтед.
>>760150 >Пикрелейтед Взгляд со стороны: >мааам, я хачу метапрараммарованея и бесплатных в рантайме абстракций!!! >ну держи сына кресты с растом >фиии, нихачу, хачу писать на си с макросаме!
>>760171 >MISRA • Reduced language subset • Ensure that “goto” or “malloc” is not used • Style guidelines • Ensure that the “tab” character is not used • Naming conventions • Ensure that all public functions start with <filename>_
Пздц. Софт сразу станет секурным, если я не буду использовать табы.
>>760176 У раста рантайм тяжелый, кресты — монстроузный ненужный язык, которому место на помойке. На какой-нибудь Nim посмотрел бы, который полностью на сишном рантайме и на раз-два интегрируется с сишкой, но он мертворожденный. Хочу, блядь, просто сишку с макросами, все, отъебитесь. Блядь, можете просто не отвечать, я уже все для себя решил.
>>760193 >раста рантайм тяжелый Что ты несёшь, поехавший? Ты размер бинарника и рантай не путаешь случайно, дурашка? >Nim посмотрел бы У раста откуда-то тяжёлый рантайм появился, а язык с GC – ок. Ну лан.
>>760197 ГЦ отключаемый у нима. Насчет раста, я думал, там одно следствием другого является. Я особо не разбирался, если честно. Один хуй ведь маргинальный хипсторский язык без задач.
>>760199 Только без GC там такая же печаль как и в D — всё, от стандартной библиотеки до замыканий требует сборщика, и течёт как твоя мамаша от негра без него. >я думал, там одно следствием другого является Вся суть твоего уровня. Там банально весь мир слинкован статически. >Один хуй ведь маргинальный хипсторский язык без задач. Ясн.
Мб когда-нибудь займусь по приколу. Жаль, он никому нахуй не нужен будет, ибо большинству не надо, лишь бы им не мешали их байты перекладывать, а тут всякие ебланы со своими макросами сунутся. А кому надо, уже М4 каким-нибудь пользуются, который ничего про AST не знает. А вещи типа вброшенного мной Marco так и останутся сырыми исследовательскими проектами, ибо НЕНУЖНО.
>>760203 Да я особо и не защищаю этот Nim, ибо такой же маргинальный язык, как рашт, просто не хайпнутый. >Ясн. А что, разве нет? Сами себе придумали проблему (я про потокобезопасность), сами с ней борются, так еще прикол состоит в том, что не решают ее!
>>760244 Если нет DEP и ASLR, то все сводится к тому чтоб в адресном пространстве найти FF D4 (call esp), затереть адрес возврата в стеке адресом этого участка, и расположить шелл-код так, чтобы на него передалось управление. Мб ты это и знал, хз, я ща попробую реализовать такое, только вспомню, как отладчик в руках держать.
>>760268 Смотри, когда идёт запрос на ввод сообщения, я туда вставляю свой payload: http://pastebin.com/3QERVFx8, отчего и происходит переполнение буфера и ошибка сегментирования.
>>760289 Ой, я затупил. Все верно же, у тебя адрес возврата затерся. Введи другие символы, чтоб понять, чем он затирается и куда новый адрес записать. Новый пиши, как я тут >>760268 сказал.
>>760182 На самом деле epub это всего-лишь zip-архив с html. Его можно разархивировать и если ты программист, то далее легко меняешь верстку ПОЛНОСТЬЮ.
у меня есть странный вопрос как у функции write вызвать ошибки при этом не изменяя код(ну типа никакой лажи в самом коде нет) я так понимаю нужно сделать какие то манипуляции с файлом
Анон, личинка быдлокодера итт. Учил С по курсу со средой MS VS2008exp. Потом на компе сгорела видюха и пришлось перекатываться на стабильного демиена. В самом курсе крайне мало рассказывается про среды, и я в этих ваших эклипсах разобраться не смог. Так вот вопрос: в какой простой среде мне теперь писать свои хэллоуворды, чтоб как в вижуале(искаропки), и чтоб она была в стандартных репах демьяна?
>>760645 А потом вот такие вот личинки пишут адово говно с утечками под ШИНДОШС. Блокнот и соснолька — вот и вся среда разработки, блядь! Перепробовал кучу сред — все говно. Пока настроишь — заебешься. А в соснольке достаточно напечатать «gcc *.c».
>>760686 Сорвалось. Так вот, rtags делает семантический разбор clang-analyzerom и умеет комплит, навигацию и подчеркивание ошибок. Из любого редактора делает сишную IDE.
>>760645 geany тебе в помощь. Если убрать лишнее (2-3 галочки) то будет годный блокнот с подсветкой и исполнением команд компилятору(какие пропишешь) на кнопках.
А что это такое? Это я снова выхожу на связь со своей прогой. Задача скопировать input.txt в output.txt рекурсивно заменяя include<filename.txt> на символы из filename.txt Имеется следующий код http://pastebin.com/sHdEV3vJ который я поясню ниже, поскольку в нем комментарии только человека, написавшего основную часть(он кстати из этого треда). Там три файла, написано что куда кидать. Все работае правильно например в следующем варианте +++++++++ input.txt:"3jirejinclude<file1.txt>efrf" file1.txt:"weinclude<file2.txt>ewf" file2.txt:""или"1" +++++++++ но если мы поменяем содержимое file2.txt на "1111", к примеру, то мы получаем ошибку сегментирования, gdb говорит, что на каком-нибудь шаге мы херим массив cru при помощи реаллока. Собственно пояснения кода. Создается массив из cru из одного элемента, куда будет записываться то, что в результате мы выведем в оутпут, массив сту из одного элемента, в единственный элемент которого мы будем сохранять количество символов в cru(не спрашивайте почему я такой даун). Затем мы сравниваем каждый элемент входа с первым элементом массива инклюде_префикс(туда записано "include<") и если он совпал то то следующий элемент сравниваем со следующим элементом инклюд префикс. И либо на каком-то шаге мы целиком совпадем, либо нет, соотвественно, начинаем считывать имя файла, либо печатаем то что уже насовпадало соответственно. ПС Возможно замена реаллоков на маллок поможет, но у меня не сработало.
>>761022 Поправочка, непонятно почему этот код работает, потому что я скопировал его неисправленным, вот нормальная версия http://pastebin.com/9LwUs5dz (cru[stu[0]] заменено везде на cru[stu[0]-1]) Проблема все та же, если в file2 3 единицы, то все работает, а вот при 4 нет.
>>761022 > test.c У тебя счётчик лежит всегда в одном месте, он всегда один. Почему ты выделяешь память, а не используешь указатель на int. Ты ведь умеешь в указатели? int text_length = 0; reshift("input.txt", 1, cru, &text_length); // Алсо, внутри reshift: ∗stu вместо stu[0] Подходы равнозначные, но stu[0] вводит в заблуждение, намекая, что stu - это массив. С именами переменных у тебя тоже проблема. Сейчас не 80е, лимит на длину идентификаторов практически отсутствует, не ленись писать что-то более понятное. А если дело именно в лени, возьми ту же Sublime Text - там охуенное автодополнение.
> reshift.c > filename = '\0'; > n++; Если у тебя в input.txt, т.е., на одном уровне, будет 5 include подряд, шестой не сработает. Если n предназначен для ограничения глубины рекурсии, нужно передавать вглубь n + 1, а вот изменять при этом локальный n не нужно.
Ниже в коде вывода include_prefix realloc() можно сделать до цикла, чтобы не ебать бедный менеджер кучи на каждый новый символ. В идеале, если уж тебе так хочется буферизировать текст, тебе стоило бы сделать вместо cru и stu какую-нибудь: struct text { char ∗buffer; size_t used; size_t allocated; }; и написать функцию типа void text_put(struct text ∗text, сhar c); чтобы она (и только она!) записывала символ в буфер и при необходимости перевыделяла буфер с запасом (например, вдвое большего размера). Можешь взять любую готовую реализацию динамических массивов из гугла.
Дальше. Умножение на sizeof(char) тебе тоже не нужно нигде. Язык гарантирует, что sizeof(char) == 1.
И, наконец, проблема твоего кода - непонимание тобой, что в Си все передается по значению. Когда ты вызываешь reshift, передавая ему указатель cru, внутри этого указателя лежит, уж прости за подробности, адрес буфера в памяти. Если внутри reshift() ты по этому указателю сходишь и изменишь данные (cru[0] = 'x'), то функция main() после возврата из reshift() увидит эти изменения. Но сам указатель передается по значению, т.е., как если бы создавалась новая переменная cru, которая живет от момента вызова функции reshift() до момента возврата из нее, и в нее писалось переданное тобой значение. Если ты изменишь указатель cru внутри reshift(), т.е., запишешь в него новый адрес, то функция main() об этом не узнает - ее собственная cru будет содержать все тот же адрес, что и был там до вызова reshift(). Именно это у тебя и происходит - внутри reshift() ты вызываешь realloc(), она рано или поздно возвращает тебе адрес, не совпадающий с тем, что был раньше, ты счастливо пишешь по новому адресу свои символы, возвращаешься в main(), она начинает читать по старому адресу и... тут может случиться все, что угодно (см. >>755967 последний абзац realloc(), вне зависимости от реализации, должна вести себя так, как если бы она делала malloc() нового блока, memmove() из старого блока в новый и free() старому блоку, поэтому если realloc(ptr, ...) вернула не NULL, по ptr ходить уже нельзя.). Можешь возвращать из reshift указатель на буфер вместо int.
Алсо, код, который ты модифицируешь, не умеет в >>758374, и если попытаться его переделать, чтобы он сумел, он станет более запутанным, поэтому для меня по-прежнему загадка, зачем ты буферизируешь данные.
>>761456 >>761456 >И, наконец, проблема твоего кода - непонимание тобой, что в Си все передается по значению. Когда ты вызываешь reshift, передавая ему указатель cru, внутри этого указателя лежит, уж прости за подробности, адрес буфера в памяти. Если внутри reshift() ты по этому указателю сходишь и изменишь данные (cru[0] = 'x'), то функция main() после возврата из reshift() увидит эти изменения. Но сам указатель передается по значению, т.е., как если бы создавалась новая переменная cru, которая живет от момента вызова функции reshift() до момента возврата из нее, и в нее писалось переданное тобой значение. Если ты изменишь указатель cru внутри reshift(), т.е., запишешь в него новый адрес, то функция main() об этом не узнает - ее собственная cru будет содержать все тот же адрес, что и был там до вызова reshift(). Именно это у тебя и происходит - внутри reshift() ты вызываешь realloc(), она рано или поздно возвращает тебе адрес, не совпадающий с тем, что был раньше, ты счастливо пишешь по новому адресу свои символы, возвращаешься в main(), она начинает читать по старому адресу и... тут может случиться все, что угодно (см. >>755967 последний абзац realloc(), вне зависимости от реализации, должна вести себя так, как если бы она делала malloc() нового блока, memmove() из старого блока в новый и free() старому блоку, поэтому если realloc(ptr, ...) вернула не NULL, по ptr ходить уже нельзя.). Можешь возвращать из reshift указатель на буфер вместо int. Все выше тоже принял к сведению, но это самое главное. Спасибо тебе большое. Щас придумаю как исправит код. Не знаю почему я не понял, что там ошибка, Наверное теперь буду возвращать из решифта новый массив,(return cru; вот так вот? ну и понятно что функция не инт, а дабл, только теперь массив будет содержать дополнительный элемент, который раньше возвращался из функции, 0 или 1 в зависимости от того, нормально ли все или нет). За использование массива вместо переменной сразу извинился, теперь переправлю, конечно. Насчет глубины рекурсии твой вариант действительно более верный, нам предпочтительнее заменять кучу инклюдов в исходнике, чем одну глубокую замену. В > struct text { char ∗buffer; size_t used; size_t allocated; }; не умею, но пойду разберусь. Насчет гарантированности размера char не знал Насчет буферизации не понял вопроса. Мне нужно рекурсивно заменять инклюды и я вижу только два варианта, то как делаю это я(шаманю в массиве), либо сразу печатать в файл, однако поскольку у меня рекурсия, а выходной файл один, возможно множественное открытие этого файла. А ка мне пояснили выше фпринтф умеет в буферизацию, и я себе порву что-нибудь, пытаясь придумать как бы правильно фклозе приладить. В общем огромное спасибо, может есть еще какие советы или замечания?
Коданы, нужен молниеносный способ определения того, что число равно некому набору констант. Констант около 15, диапазон 0-150. Т.е. нужна быстрая версия варианта: if (V1 == v || V2 == v || V3 == v || ... V15 == v) {...} Пока кроме варианта с битовой маской ничего не нашел.
>>761763 >тебе нужно так? Проверка на вхождение в диапазон? Нет не диапзон, вхождение в набор, типа есть ли 2 среди 1,5,6,9,20 и тп. >>761749 >switch превратился в bool matches = table[v]; массив я и сам могу сделать, а всякие конпеляторные хитрости очень нужно избежать.
>>761771 Потому что язык предполагает, что большинство из того, что делается, делается явно. Если вдруг локальные переменные начинают жить дольше, чем им отпущено, это вызывает разные чувства, от недоумения до батхертагнева.
>>761778 Лямбда-выражение - это просто функция без имени. Т.к. в Си нет ни паскалевских модулей, ни namespace'в из C++, хотелось бы свести число глобальных имен к минимуму. Для всяких обработчиков событий (таймеры, оконные процедуры в WinAPI, сравнение для сортировки и т.д.) заводить именованную функцию нет никакого смысла. А замыкания можно реализовать через дополнительный параметр (хранящий ссылку на контекст), использовать локальные переменные для этого не нужно.
>>761793 > и неявным аналогом this Ну это уже лишние. Неявных элементов быть не должно, замыкания при необходимости (а нужны они очень редко) должны реализовываться программистом вручную.
>>761789 > А замыкания можно реализовать через дополнительный параметр (хранящий ссылку на контекст) Ага. А ещё этот контекст надо выделить на хипе. И подсчитывать ссылки, чтобы когда все лямбды, ссылающиеся на него, подохнут, освободить.
Спасибо, если мне нужны будут first-class functions, я возьму OCaml.
>>761796 > свести число глобальных имен к минимуму С этим успешно справляется static. А если у тебя в одном модуле слишком много говна, это только повод разбить его на два.
> что в этом плохого Без замыканий - в этом почти ничего плохого (ну кроме того, что об это сломается большинство существующих парсеров, включая давно не поддерживаемые).
>>761761 лямбды нужны для вещей типа "применить операцию к каждому элементу контейнера" в крестах, в stl эта хуета нужна (но является по сути синтаксическим сарахком) а на си ты же будешь по старинке перебирать все элементы контейнера и делать что-то с элементом (те тупо напишешь функцию) для чего нужны "истинные" лямбды в функциональных языках, можно оставить за кадром
>>761456 >указатель cru внутри reshift(), т.е., запишешь в него новый адрес, то функция main() об этом не узнает - ее собственная cru будет содержать все тот же адрес, что и был там до вызова reshift() сразу вспомнил, как скрипят мозги новичков когда впервые видят код, напичканый указателями на указатель..
>>761867 Не заметил твоего ответа. > в зависимости от того, нормально ли все или нет Ну и возвращай NULL, если все плохо.
> возможно множественное открытие этого файла Я тебе еще тогда советовал открыть файл один раз в main(), а в reshift его использовать: int reshift(const char ∗in, int n, FILE ∗output) и вместо шаманства с cru/stu писать в этот файл: fputc(что-то, output); Или даже так: берешь код из >>756235, идешь в main(), перед вызовом reshift пишешь if (!freopen("output.txt", "w", stdout)) { fprintf(stderr, "ниудалось"); return 1; } и код работает абсолютно идентично тому, чего ты пытаешься добиться уже пол-треда.
Кто-нибудь знает, как заставить libevent дождаться отправки данных? Когда libevent вызывает соответствующий callback, данные, фактически, ещё не переданы и находятся во внутреннем буфере библиотеки.
>>761903 Пока недалеко ушел. По поводу ссылки на инт в майне написано int num; reshift(..., &num); в reshift написано reshift(...int num); reshift(...int num) { num++; } Так пишется?
>>762408 А тебе обязательно рекурсивно делать надо? Завести структуру типа typedef struct open_file { FILE ∗file; struct open_file ∗next; struct open_file ∗prev; } open_file; И глобально хранить текущий указатель на файл.
>>762429 И кстати проблема и с массивом, если я хочу чтобы функция возвращала массив чар, то каков синтаксис? я пишу так: char reshift() { return cru; } но такой синтаксис кажется мне нелогичным и странным.
>>762471 Ни то, ни другое. У тебя же там реаллок был? char ∗reshift(...char ∗cru, int ∗stu) { cru = realloc(cru, ...); ... cru = reshift(..., cru, stu); ... return cru; }
int main(...) { ... int stu = 0; cru = reshift("input.txt", NULL, &stu); ... } Ну или можешь указатель на указатель передавать: int reshift(..., char ∗∗ptr) { char ∗my_local_cru = ∗ptr; ... my_local_cru = realloc(my_local_cru, ...); ... reshift(..., &my_local_cru, ...); ... // и перед возвратом пихать обратно ∗ptr = my_local_cru; return 0; } Но мне кажется, что мы тебя тут всем тредом окончательно запутали. Алсо, https://gist.github.com/anonymous/7030ec3709ea33c81f2bf21902023dd6
>>762494 Ну вот и я так же пишу. main: int num; crureshift(&num); reshift(int *num) { num++; } Компилятор утверждает, что нельзя потому что num это указатель
>>762505 >Компилятор утверждает, что нельзя Странный компилятор. В твоём примере ты переходишь на следующий элемент, а не увеличиваешь его на единицу. Чтобы изменить переменную, указатель надо разыменовать - использовать ∗ перед ним. >>762508 >reshift(int ∗num) А так ты объявляешь, что передаёшь аргументы по ссылке, а не по значению.
>>763358 Умение отлизать бабе в HR-отделе, умение отсосать интервьюеру и умение давать в жопу тимлиду. Еще пригодится умение скрытно крысить печенье с рабочей кухни.
Если ты обладаешь всеми этими умениями, то добро пожаловать на собеседование.
>>763378 Чувак, ну отлизать там еще куда ни шло(если не жируха какакя), но заднеприводные темы это както по гейски, не? Так че надо то, есть тут джуны?
>>763397 ня https://github.com/lexborisov/myhtml з.ы. я так понял он собирается при помощи cmake, тогда можно конвертуть, вечером проверю. з.з.ы а яблочная ымперия разве свой особый конпелятор и сборщик не догодались спиздить?
>>763708 Какой педивикии, даун? Что в этом решении тебе не нравится? Поставлена задача - сделать производитель/потребитель через shared memory и семафоры, твое какое нахуй дело? Кончай байтоебиться, а то совсем моча в голову бьет.
>>764196 Сам ты даун, блядь. Для продюсер-консюмер нужно строго два счетных семафора, а если продюссеорв или консюмеров может быть много, то тогда еще один мьютекс.
Об этом черным по русски написано в педивикии, но ты, долбоеба кусок, нагородил тут хуйца знает что.
>>763610 >потребитель и производитель читани сначала что такое сопрограммы, потом как их на сишке эмулируют сделай однопоточную реализацию а потом уже многопоточную иначе так и будешь биться лбом в собственный говнокод
>>760649 >>760651 Спасибо вам. Накатил gedit (>>760686 просто у меня lxde и не хотелось qt'шный редактор). С gcc в принципе разобрался. Нашелся даже плагин интегрирующий терминал в редактор. Пойду покорять задачники для девятиклассников.
накидайте норм туторов по libcpap. Нужно написать аналог tcpdump (с маленькими погрешностями). В офф.доке либы не особо разобрался, то есть так то все понятно, а вот как заставить это все вместе работать, я пока-что не понимаю.
>>765669 нужен линух.Кстати, первая ссылка по winpcap tutorial это около того что мне надо. Но, на самом сайте tcpdump документация постепенно уходит не в ту степь.
Полчаса сижу и не могу понять, почему: 1) бекспейс не считается за символ; 2) при написании слова (печатаю набор символов, жму пробел/таб/энтер), а потом его стирании бекспейсом, счетчик слов не изменяется. Подскажите, пожалуйста!
#include <stdio.h>
#define IN 1 #define OUT 0
int main() { int c, nc, nl, nw, state;
state = OUT; nc = nl = nw = 0; while ((c = getchar()) != EOF) { ++nc; if (c == '\n') ++nl; if (c == ' ' || c == '\n' || c == '\t') state = OUT; else if (state == OUT) { state = IN; ++nw; } } printf("%d %d %d\n", nc, nl, nw); }
>>765363 Почему все гайды по работе с gcc, упираются в с++? У меня, блять, джва дня ушло, чтобы дойти в одном из них до, подключения объявленых библиотек(типа math.h), зато узнал кучу пока не нужной дрисни по ООП.(да, в man gcc я был, но там сам чёрт сломит ногу от обилия всего)
>>767837 Просто берешь и без задней мысли используешь. А вообще пишешь обертку и вызываешь методы уже в виде Си-функций. Вопрос гуглится на stackoverflow за секунду.
>>767912 http://www.youngcoder.net/ Ну может я чуть погорячился. Придумывать курсы для нулевых в информатике людей наверное та ещё жопа. Просто автор их по сути забросил, ответов на задания после 7(?) урока нет, в комментах домохозяйки, опускаться страшно. Но они есть и на том ему спасибо.
Есть два стула с циклами, в одном простое сравнение, в другом битоебство со сдвигом и маской, как узнать какой быстрей? В количествах инструкций битоебстов проигрывает, как посчитать количество процессорных циклов без смс и регистрации?
>>769052 Ну так фишка как раз в том что количество циклов от количества инструкций зависит самым ебанутым способом. Префетчи, кэши, бренч предикшн, что сможет векторизовать компилятор и все это говно.
>>769087 >Нет, неизвестно известно, http://zsmith.co/intel.html то, что там интел или амд пердолится внутри процессора с выборками и прочими кешами к циклам не относится
>>769098 Нет, неизвестно. Время выполнения той же самой инструкции с теми же самыми операндами может быть разным в зависимости от того как ляжет фишка - в какой блок памяти попадут данные, как инструкции лягут в instruction cache, и подобной хуиты. В несколько раз может отличаться только из-за этого. Почитай хотя бы Линуса 2009 года http://yarchive.net/comp/linux/benchmarks.html С тех пор прошло много времени и все стало в разы ебанутей
>>769103 И не забывай что инструкции в современном процессоре не существуют отдельно от того что идет перед ними и после них. Поэтому даже вопрос "сколько циклов занимает эта инструкция" ставить некорректно.
> There is a warm-up period of approximately 14 µs before it can execute 256-bit vector instructions at full speed. Apparently, the upper 128-bit half of the execution units and data buses is turned off in order to save power when it is not used. As soon as the processor sees a 256-bit instruction it starts to power up the upper half. It can still execute 256-bit instructions during the warm-up period, but it does so by using the lower 128-bit units twice for every 256-bit vector. The result is that the throughput for 256-bit vectors is 4-5 times slower during this warm-up period. If you know in advance that you will need to use 256-bit instructions soon, then you can start the warm-up process by placing a dummy 256-bit instruction at a strategic place in the code. My measurements showed that the upper half of the units is shut down again after 675 µs of inactivity.
>>769104 да >>769103 >Почитай хотя бы Линуса линусу я ссу в ротешник, он никто и звать его никак. >Время выполнения той же самой инструкции с теми же самыми операндами может быть разным в зависимости от того как ляжет фишка а вот это и плохо, есть некоторая последовательность кода, скорость которой нужно измерить в некоторых постоянных единицах, без всяких "как ляжет фишка", поэтому можно взять лист бумаги с ассемблерным кодом, на полях посчитать циклы, все. >>769103 >"сколько циклов занимает эта инструкция" ставить некорректно как корректно измерить код, в попугаях?
>>769118 >можно взять лист бумаги с ассемблерным кодом, на полях посчитать циклы, все Нельзя. Для этого ты должен знать стоимость каждой микрооперации, разложить их по execution-юнитам, и учесть все их inter-dependencies, как по данным, так и по внутренним пайплайнам. Для этого тебе нужно иметь полный код той машины состояний, которая рулит юнитами внутри процессора. Начни с покупки электронного микроскопа и возьми отпуск лет на тысячу, и займись.
>>769118 >как корректно измерить код, в попугаях Использовать встроенный в CPU perf-counter. http://www.brendangregg.com/perf.html#Examples Оценка будет приблизительной, ее можно использовать только для сравнения и только на той модели CPU, на которой производился замер.
>>769127 Желательно сделать несколько замеров, между ними перезагрузки машины. Так можно снизить роль флуктуаций той фишки, что неизвестно как ляжет - то что я говорил про instruction cache, например.
И не забудь освободить то ядро (или ядра), на котором ты собираешься мерять, от прерываний операционной системы. Не забудь крепко привязать свою тестовую программу к конкретному ядру. Как это делается - нагуглишь.
>>769125 >>769127 >>769131 короче, вундеркинды, прогнал с замерами простым clock(), версия до семи параметров в условии дает пасасать битовой версии, при 20 параметрах медленней в джва раза, а вот при -O2 оптимизации, битовая версия сосет с проглотом во всех случаях. так что, битовый массив хуйня.
>>769143 Что битовый массив - хуйня это я тебе мог и сразу сказать. Но ты же умный дохуя, пиздел про битоебство со сдвигом и маской. Сдвигать и маски накладывать надо на аккуратно выравненные слова. И иметь в виду оптимизации разных компиляторов.
>>769154 >надо на аккуратно выравненные слова чем тебе bitset[4] не аккуратно выравненный? >пиздел про битоебство со сдвигом и маской без оптимизашки, как я уже говорил массив дает пасасать на более чем семи условиях, но проблема в диапазоне, думаю, до 32/64 бит за битовым массивом будет преимущество за счет того, что нет необходимости в вычислении индекса (как в моем четырехсловном массиве).
тем более, вместо пяти различных подпрограммы отличающихся лишь в условиях, я бы мог иметь одну с передачей различных битовых массивов... кек
>>769143 >потому что в твоей большой прграмме всё будет не так о, да. >Не мы такие, Интел такой. на интел тоже ссу, хочу обмазаться ARM
>>769164 > массив дает пасасать на более чем семи условиях Ты тут полдня мозги ебешь уже, давно бы код показал, нихуя ж непонятно чего тебе надо и какой хуитой ты страдаешь.
У ARM ты вообще головой перегреешься, когда его условные инструкции увидишь
> В то время как для других архитектур таким свойством, как правило, обладают только команды условных переходов, в архитектуру ARM была заложена возможность условного исполнения практически любой команды. Это было достигнуто добавлением в коды их инструкций особого 4-битового поля (предиката). Одно из его значений зарезервировано на то, что инструкция должна быть выполнена безусловно, а остальные кодируют то или иное сочетание условий (флагов).
Cortex M0 бери, он простой как пробка, только без кеша.
>>769186 > У ARM ты вообще головой перегреешься а я теку по RISC архитектуре с его пиздатой организацией, а не это у x86-уебанство. > Ты тут полдня мозги ебешь уже, давно бы код показал, нихуя ж непонятно чего тебе надо и какой хуитой ты страдаешь. вообщем я уже поебал, все что надо прояснил, но может ты, чего добавишь, короче упрощенная версия:
1. есть константы в диапазоне 1-150 2. на вход идет байтовый массив произвольной длины с произвольными данными 3. нужно прекратить обработку данных если встречается байт из заданной последовательности 4. заданных последовательностей несколько в разных участках кода
int sub1(....) { while ( data != E_1 && data != E_2 && data != E_3 && data != E_5 && data != E_6 && data != E_7 && data != E_8 && data != E_9 && data != E_15 && data != E_16 && data != E_17 && data != E_18 ) {
... } }
int sub2(....) { while ( data != E_8 && data != E_9 && data != E_10 && data != E_11 && data != E_12 && data != E_13 && data != E_14 && data != E_15 && data != E_16 && data != E_17 && data != E_18 ) { ... } }
>>769202 Хотя уже из текстового описания ясно что тебе для скорости лучше всего сделать вот что. Образцы, с которыми ты сравниваешь входной поток, разложить в вектора и сравнивать сразу по N штук SIMD-командами.
>>769205 Если разбираться с SIMD тебе некогда, хотя бы убери образцы из дохуя переменных и положи их в массив, и проходи по нему ровно - тогда есть шанс что хороший компилятор сам тебе векторизует. Но шанс невеликий, особенно если компилятор не интеловский. И байтовый поток тоже желательно брать не по байту, а хотя бы по 4, и сравнивать так - первый байт с первым образцом, второй со вторым, третий с третьим, четвертый с четвертым - процессор сам распараллелит и со второго по четвертое сравнение тебе достанутся бесплатно, а шанс что на 1-3 байта впереди встретится совпадение - есть.
>>769202 считай data массивом в 4 слова >>769205 на самом деле входной поток представляет собой связанный список, где есть ID, по которому и определяется дальнейшее действие с узлом, я про массив просто упростил, в любом случае, порциями читать я не могу, да и нужен переносимый код без всяких SIMD
>>769274 >Твоей производительности уже пиздец нет, список создается в заранее подготовленной памяти, фактически sizeof от структуры узла дает узел, тем более размерность узлов разная и узлы могут вставлятся и улалятся, массив не прокатит как не крути >интринсинков в душе не ебу что это такое, но полагаю что это специфическая хуета которая нинужна
>>769303 Ну ты охуеть вообще. Занимаешься оптимизациями, не зная про интринсики. Это такие псевдо-функции, которые компилятор предоставляет для доступа ко всяким архитектурно-зависимым хреням. Они часто разворачиваются в одну инструкцию, что позволяет, например, использовать в программе на Си какое-нибудь SSE абсолютно без оверхеда и без ассемблера.
Алсо, ты можешь четко ответить: какого хуя ты считаешь себя умнее компилятора и не используешь switch? Ты тестировал производительность? Ты сравнивал с lookup table, когда у тебя много условий?
>>769413 >Занимаешься оптимизациями, не зная про интринсики. успокойся и выпей смузи, я против всякой новомодной хуйни, темболее SSE, которое на том же ARM нихуя не канает >используешь switch >lookup table ну это же сорта одного говна, только вместо битового массива будет создаваться просто массив, из за трех условий нужно создавать lookup table/массив размером 120 x int 32/64? нахуй. хотя доступ по массиву будет быстрей, нет нужды в вычислении индекса... подозреваю, что конпелятор с -О2 так и поступает
>>769465 > новомодной хуйни Компиляторы делают это с тех пор, как появились.
> конпелятор с -О2 так и поступает Он по-разному поступает, в зависимости от значений констант в switch. А вот аналогичный if несколькими сравнениями не все компиляторы и не всегда могут оптимально развернуть.
>>769519 >Он по-разному поступает, в зависимости от значений констант в switch т.е. есть некие общие для всех конпеляторов алгоритмы оптимизации? Одни где то описаны? Хочу почитать и стать конпелятором.
Причин несколько. Во-первых, в сишечке компилятор связан по рукам и ногам алиасингом. Во-вторых, оптимизация для современных процессоров это в первую (а также вторую, третью и пятнадцатую) очередь это векторизация, распараллеливание и еще 100500+ ужимок и прыжков в попытках изогнуться таким образом чтобы угодить процессору, который очень умный и сам пытается угадать что эта индийская программистомакака имела в виду своей вот этой ебанутой конструкцией. Это очень эротический процесс, особенно когда они друг друга не понимают.
Такова сишечка и таковы современные процессоры.
> By 1960, we had a long list of amazing languages: Lisp, APL, Fortran, COBOL, Algol 60. These are higher-level than C. We have seriously regressed, since C developed. C has destroyed our ability to advance the state of the art in automatic optimization, automatic parallelization, automatic mapping of a high-level language to the machine
В нормальных, высокоуровневых языках существует множество других техник оптимизации, навороченных по самое-самое. Как пример можешь на Haskell посмотреть. В Хаскеле вообще не используется классический стек вызовов "push/call/return/pop", т.к. его невозможно использовать при call by need. Соответственно, и оверхед при бета-преобразовании совсем другой, чем был бы, если бы просто добавился "push/call/return/pop". Особенность ленивых языков в том, что их невозможно реализовать эффективно на стековых машинах. Соответственно, в процессе наивного исполнения программы выполняется чудовищное количество аллокаций в куче и косвенных вызовов, делающее невозможным использование таких языков на практике. Для того, чтобы сколь-нибудь приемлемо выполнять программы, рантайм-библиотеки ленивых языков содержат хитрые программные исполнители (SECD-machine, G-machine, PABC-machine) вместо стековых машин, реализованных аппаратно посредством поддержки инструкций call/push/pop/ret процессором. Хаскелевская G-machine вообще не использует инструкций call/ret. И затем поверх этих исполнителей накручивается гигантский оптимизатор на порядок эффективнее сишного. Вот благодаря противодействию ускоряющего сверхмощного оптимизатора и замедляющего уебищного исполнителя Хаскель и получает почти паритет с сишечкой по скорости.
Проблема Хаскеля в том, что оптимизатор ускоряет программы на порядки (в сотни раз), и несрабатывание его в каком-то месте так же замедляет программу на порядки. Однако, как мы видим в этом ITT-треде, современные процессоры постарались и сделали написание и оптимизацию сишного кода, к которому прелъявляются требования к производительности, уже настолько неинтуитивным, что почти однохуйственно и профайлер, профайлер и еще раз профайлер.
Причин несколько. Во-первых, в сишечке компилятор связан по рукам и ногам алиасингом. Во-вторых, оптимизация для современных процессоров это в первую (а также вторую, третью и пятнадцатую) очередь это векторизация, распараллеливание и еще 100500+ ужимок и прыжков в попытках изогнуться таким образом чтобы угодить процессору, который очень умный и сам пытается угадать что эта индийская программистомакака имела в виду своей вот этой ебанутой конструкцией. Это очень эротический процесс, особенно когда они друг друга не понимают.
Такова сишечка и таковы современные процессоры.
> By 1960, we had a long list of amazing languages: Lisp, APL, Fortran, COBOL, Algol 60. These are higher-level than C. We have seriously regressed, since C developed. C has destroyed our ability to advance the state of the art in automatic optimization, automatic parallelization, automatic mapping of a high-level language to the machine
В нормальных, высокоуровневых языках существует множество других техник оптимизации, навороченных по самое-самое. Как пример можешь на Haskell посмотреть. В Хаскеле вообще не используется классический стек вызовов "push/call/return/pop", т.к. его невозможно использовать при call by need. Соответственно, и оверхед при бета-преобразовании совсем другой, чем был бы, если бы просто добавился "push/call/return/pop". Особенность ленивых языков в том, что их невозможно реализовать эффективно на стековых машинах. Соответственно, в процессе наивного исполнения программы выполняется чудовищное количество аллокаций в куче и косвенных вызовов, делающее невозможным использование таких языков на практике. Для того, чтобы сколь-нибудь приемлемо выполнять программы, рантайм-библиотеки ленивых языков содержат хитрые программные исполнители (SECD-machine, G-machine, PABC-machine) вместо стековых машин, реализованных аппаратно посредством поддержки инструкций call/push/pop/ret процессором. Хаскелевская G-machine вообще не использует инструкций call/ret. И затем поверх этих исполнителей накручивается гигантский оптимизатор на порядок эффективнее сишного. Вот благодаря противодействию ускоряющего сверхмощного оптимизатора и замедляющего уебищного исполнителя Хаскель и получает почти паритет с сишечкой по скорости.
Проблема Хаскеля в том, что оптимизатор ускоряет программы на порядки (в сотни раз), и несрабатывание его в каком-то месте так же замедляет программу на порядки. Однако, как мы видим в этом ITT-треде, современные процессоры постарались и сделали написание и оптимизацию сишного кода, к которому прелъявляются требования к производительности, уже настолько неинтуитивным, что почти однохуйственно и профайлер, профайлер и еще раз профайлер.
>>769704 >Во-вторых, оптимизация для современных процессоров это вот скажи, старый добрый Watcom который раньше давал пасасать всем конпиляторам, сейчас сильно проигрывает в оптимизации современным ебамоднымтехнологичным аналогам? чую вся эта движуха с новомодными технологтями поднята маркетолохами для впаривания проприетарщины как хардверной так и софтверной
мне больше импонирует простой кроссплатформенный конпелятор в 10000 строк кода, чем еба GCC с миллионами строк непонятного говна которое хуй пойми как работает и что делает с моим няшным кодом
>>769708 Watcom был с одной стороны компилятором очень хорошим, с другой - со значительным количеством своих багов (не так много) и заебов (больше). Люди его писали очень умелые, но собственно компиляторных хитростей в нем никаких сверхъестественных (почти) не было, просто люди умели хорошо (очень хорошо) писать код. Они это потом еще лучше продемонстрировали своим Watcom SQL, который купил у них Sybase - мобильный edition sql-сервера, работающий с транзакциями и полной поддержкой SQL на огрызках памяти ранних PocketPC, и делающий это быстро это было очень впечатляюще.
Сейчас ваткомовский компилятор, конечно, по современным меркам ни на что не годится.
>>769716 >по современным меркам ни на что не годится. по каким меркам? он собирает невалидный код? я вот раньше хотел обмазаться вaткомом, выпилить от туда плюсы и фортран, сделать няшу, свой йоба болден конпелятор. но пока выкатился из с. и да, мне в ваткоме все нравилось, включая исходники и мне пиздец как пичет, что такой мегаохуенный проект заброшен, но ниче, я до него доберусь.
>>769718 > по каким меркам? он собирает невалидный код? Перестал развиваться же. А валидный код и C++ Builder собирает. Сейчас самый оптимизирующий - Intel C/C++.
> и да, мне в ваткоме все нравилось, включая исходники и мне пиздец как пичет, что такой мегаохуенный проект заброшен, но ниче, я до него доберусь. Он сейчас опенсурсный, пожалуйста: www.openwatcom.org Только никому это не нужно, все на GCC сидят.
>>769725 >Он сейчас опенсурсный кэп? >>769725 >самый оптимизирующий - Intel C/C++ ну и нахуй он кроме интела где нужен? >>769725 >GCC это очень плохо, гцц это же ебаный франкенштейн, типа ядра линуха >>769726 > но тормозной по сегодняшним меркам. в цифрах можешь сказать на сколько он тормознутый?
>>769728 >это очень плохо, гцц это же ебаный франкенштейн, типа ядра линуха Что плохого-то? Что поддерживает любой стандарт? Что в оптимизациях с переменным успехом даёт пососать интеловскому компилятору?
>>769731 >У тебя вокруг одни альфы с итаниумами штоле? есть ARM на который я начинаю теребонькать, есть ОС отличные от виндовз >>769731 >Возьми, померяй обозвал конпелятор тормозом, а теперь мерять отправляет, хитрюша
>>769733 Он имел в виду что gcc сложный внутри. Это действительно так, хотя сейчас немного и почистили, и документировали. Зачем он собрался лезть внутрь сишного компилятора в 2016 году - оставим эту задачу его психоаналитику
>>769733 >Что плохого-то то, что в нем уже напрочь отсутствует какая либо четкая архитектура, излишне усложнен, много избыточного кода. наврядли есть хоть один человек, полностью понимающий его работу.
>>769735 ОС отличные от виндовз gcc, intel и clang умеют. Если тебе нужны очень отличные от виндовз типа zOS или OpenVMS - то одинхер ватком тебя не спасет.
Для ARM кроме кейла никто нормально не конпелирует.
>>755749 Хе-хе я еще будучи школотой и пописывая на турбо паскале, тралил сиблядей медленными строками. Они кричали что я дурак и сопляк и говорили, что ЗАТО У НАС СТРОКИ ЛЮБОЙ ДЛИНЫ.
>>769741 Тоже мне. Ты бы их временем линковки тралил - вот это было б дело. Рассказал бы им про TPU и как ты на победном Turbo Vision имеешь интерактивность разработки практически как у какого-нибудь Лиспа.
>>755749 > Да, надо было посчитать байты вручную и забить полученное число в первый байт строки. Ленивые программисты иногда писали так (и получали медленные программы): > > char str = "Hello!"; > str[0] = strlen(str) - 1; > > Обратите внимание, что в данном случае вы получаете строку, которая имеет замыкающий нулевой байт на конце (его добавляет компилятор), и при этом является паскалевской. Я использовал для таких строк термин fucked strings, потому что называть их паскалевские строки с нулевым байтом в конце очень длинно (мне можно, это канал для взрослых, вам придётся использовать более длинное название).
Жид не врубился в тему, ебаные строки нужны, когда тебе в твоей проге (с нормальными паскалевскими строками) нужно вызвать функцию из сишной библиотеки, например из WinAPI.
>>769746 Ну Delphi логичное развитие Turbo Vision, легко было перезжать.
>>769748 Попизди мне тут. Более удобного RAD под винду формочки шлепать не было, нет и не будет. Если бы микроскопичееский софт не перекупил бы из Борланда 37 человек во главе с Хейлсбергом - всю команду практически - потому что нихуя не мог тягаться по-честному, сейчас все по-другому бы было.
>>769749 > Ну Delphi логичное развитие Turbo Vision, легко было перезжать. Возможно. На Turbo Vision не было рисования форм мышкой. Да и не привлекал как-то GUI на псевдографике. Хотя была какая-то библиотека, тот же Turbo Vision, но графический, и вроде даже VESA 1.2 поддерживал.
>>769749 > Более удобного RAD под винду формочки шлепать не было, нет и не будет. Ну Qt вроде неплох, если закрыть глаза на язык (а можно и подключить другой вместо крестов).
>>769754 Да и без того было удобно. Я ж говорю - интерактивность как у Лиспа была, за счет пересборки проекта с сверхзвуковой скоростью. Ну и сам Turbo Vision летат аки самолет и не тормозил на самых медленных ПеКа - у него большая часть натурально на ассемблере внутри была написана.
>>769752 >лол, обычная ситуация для больших проектов. вот как можно писать проекты на миллионы строк кода? это же пиздос, это уже показатель токо что с проектом что то не то. мир сошел с ума нахуй
>>769765 Мотивация была не в этом, не знаешь - не пизди, не вводи людей в заблуждение. GCC отказывались выдавать корпорастам промежуточное представление для запиливания своих проприетарных поделок которые бы использовали gcc как бэкенд и ничего не возвращали бы миру свободного ПО. Вот этот мудень и стал пилить LLVM чтоб корпорастам стало хорошо.
>>769758 Видимо, это ключевое: > Да и не привлекал как-то GUI на псевдографике. Тот порт для VESA я так и не нашел. А про скорость согласен, Турбо Паскаль никогда не тормозил, проекты собирались за секунду (как и в Delphi). У сишников ЕМНИП тогда и precompiled headers не было.
>>769761 Нет, она тоже называлась как-то-там Vision (точно не помню), и была объектно-ориентированной. Но появилась поздно, когда все перешли на винду.
С псевдографикой номрально все было, я когда надо знакогенератора перепрограммировал, добавлял вместо неиспользуемых буковок нужные графические примитивы - чертежи рисовать было вполне охуенно
> Turbo Pascal used a custom object file with a minimal design. The "linker" wasn't doing anywhere near the work of standard linkers. The result was that the link step was invisible; you didn't even notice it
>>769768 The LLVM project started in 2000 at the University of Illinois at Urbana–Champaign, under the direction of Vikram Adve and Chris Lattner. LLVM was originally developed as a research infrastructure to investigate dynamic compilation techniques for static and dynamic programming languages.
в качестве исследования, исследовать гцц они побрезговали
Что вы там оптимизируете, дауны? Выбор подходящих алгоритмов и структур данных даст больший прирост производительности, чем ваши ручные копрооптимизации. Поссал на байтоебов.
>>769781 >Chris Lattner Вот он, этот мудень корпорастический. Исследования в американских университетах это совсем не то что в твоем заборостроительном воронежском ПТУ. Их заказывают корпорации и спонсируют некислым баблом. А корпорациям GPL НЭНАДА.
>>769779 Ты на вопрос не ответил. Сам Turbo Pascal не создает объектных файлов, он лишь подключает объектные файлы от других языков (Turbo C, Assembler и т.д.). Там и линкера по сути нет, просто компилятор, который умеет подключать к твой проге объектные файлы (OBJ) и статические библиотеки (TPU).
>>769779 > Turbo Pascal used a custom object file with a minimal design. Не помню такого. Там при компиляции создавался сразу EXE или COM файл, ничего лишнего.
>>769798 Интересно, почему жаба и шарп так быстро не собирают, там ведь все библиотеки уже откомпилированы? У них компилятор конечно быстрее крестового, но все равно приходится ждать.
В экосистеме турбо паскаля и дельфи они играли роль аналога объектного файла из си-экосистемы. Не обладая той же универсальностью и пригодностью для использования универсальными линкерами для сборки из стотыщ объектвных файлов написанных на стотыщах языков (которая нахуй никому в реальной жизни никогда не была нужна кроме старых фортранщиков - и настоящий объектный файл все-таки можно вроде было из паскакаля сделать - но никто не пробовал потому что нахуй никому не надо), они были заточены под скорость.
>>769805 У шарпа задача была - вот вам васик, вот вам COM, добавьте к этому такую Java чтоб была не Java и попытаемся с этой всей хуйней взлететь. Да, и еще вам в помощь индусов две сотни, которые нихуя не умеют.
>>769810 А чтоб было не грустно, вот вам за то что ушли из Борланды по миллиону долларов бонусов на рыло (хейлсбергу больше). Да им похуй уже было на все с такими бонусами, сделали на отъебись.
>>769806 В объектных файлах (.OBJ) не было описания функции (имена были, типов параметров и результата не было), поэтому их нельзя было использовать как статические библиотеки. В отличие от TPU. Turbo Pascal не мог создавать объектные файлы, но мог подключать их от других языков.
>>769814 Это при том что именно язык в Delphi не был сильной стороной, но всем было пофиг. Потому что охуительнейшая IDE, охуительнейшая VCL (напоминаю - кроме ебанутой MFC и голого Win32API других вариантов в сишечке не было), охуительнейшая система компонентов, охуительнейший авыбор этих компонентов, подключаемых одной левой. Эффективность работы с этим комбайном была потрясающая, от языка там мало что зависело - на Алгол похож и ладно
>>769818 Язык как язык. Только массивы были криво реализованы (в C массив = указатель, что позволяло легко создавать динамические массивы), ну begin-end еще бесит, а остальное норм. С массивами такая шняга, потому что по Вирту они контролировать выход за границы диапазона.
>>769818 Меня больше сишный синтаксис раздражает, все эти лишние скобки, прямо недолисп какой-то. И везде этот синтаксис засовывают - Java, C#, PHP, JavaScript...
Плюс к тому - все это конпелировалось в один небольшой EXE, влезало на дискетку и неслось заказчику в обмен на бабло.
С микрософтными же уебными мегатехнологиями надо было еще собрать кучу DLL, попробуй забудь хоть одну, попробуй положить несовместимые с теми версиями виндовз что у заказчика, попробуй это говно упакуй инсталлятором и попробуй запихни на дискеты.
> The first major OO language for PCs was Borland Turbo Pascal 5.5, introduced in 1989. Oh, sure, there were a few C++ compilers before that, but Turbo Pascal was the language for MS-DOS in the 1980s, so it was the first exposure to OOP for many people. In Borland's magazine ads, inheritance was touted as the big feature, with an example of how different variants of a sports car could be derived from a base model. What the ads didn't mention at all was encapsulation or modularity, because Turbo Pascal programmers already knew how to do that in earlier, pre-object versions of the language.
Анон, который не любит сложные оптимизирующие компиляторы, для тебя написали "On the Madness of Optimizing Compilers" http://prog21.dadgum.com/217.html
>>769848 там по соседству http://prog21.dadgum.com/136.html .. Oberon's maxim of making things "as simple as possible" .. Trying to make an optimizing compiler as simple as possible and yet as powerful as necessary requires ...
>>769866 Судя по использованию Модулы-2 с неебического качества компиляторами типа XDS, заверенного всеми печатями в оборонках, этот подход имеет право на существование.
Но зачем Вирт так издевался над синтаксисом?
> Синтаксис алгола 60, который Вирт потом последовательно ухудшал, не разрабатывался с какой-бы то ни было целью. Это был первоначальный набросок, от которого потом довольно быстро ушли. Собственно, и ML-ный синтаксис (через ISWIM и Hope) и Сишный (через алгол 68 и CPL) произошли от синтаксиса алгол 60, но изменения делались с целью сделать что-то удобно. Изменения которые делал Вирт, по всей видимости, делались с целью "показать им всем"
>>769872 Ну давайте еще и динамическое распределение памяти заклеймим. Потом и стек тоже. Вернемся к временам Фортрана со статическим распределением памяти и нахуй рекурсии.
>>769874 >Изменения которые делал Вирт, по всей видимости, делались с целью "показать им всем" кек, вот и ответ
>этот подход имеет право на существование ну тащемто это был основной взгляд на разработку ПО, когда его еще разрабатывали инженеры. вещи/программы должны быть простыми (в разумных пределах), как я уже говорил, если программа большая, то с ней явно что то не то.
>>769866 > Excepting the extreme minimalism of Forth, this is the first language I'm aware of where simplicity of the implementation was a concern
Да уж какой там первый.
Из истории сишечки
> Had to use Most Godawful Computer on Earth (EDSAC) to build the CPL compiler. > Queued up behind others with snippets of EDSAC machine code testing pieces of it. Predictably, this didn't scale to CPL's size and complexity. Abandoned CPL compiler. > New design goal: trim out anything hard to compile from CPL. Naturally eliminates most features for robust and maintainable programming. > The result of these was BCPL a typeless, word-oriented language with few keywords and unrestricted use of memory. Created philosophy of "the programmer is in charge and gets no help." Compiler was easy to write on Most Godawful Computer on Earth. Ran fast on it, too.
Адекватный дядя, сейчас редко такое встретишь. Все больше школие с какой-нибудь Скалой и постингами на 30 страниц про тысячи монад, которые позволят из двух строчек сделать одну.
> Чувак убил годы на то, чтобы люди убивали недели и месяцы чтобы сука сослаться на тип, и понять тип значения в рантайме, ну и при желании что-то там намутить на стадии комплияции (типа узнать размер коллекции), причем для того чтобы это сделать, нужно хорошо так вынести себе мозг, и нахерачить код типа того что я привел выше. Я конечно глубоко не вникал, может этот shapeless на который надо убить тучу времени (и который видимо далеко не самая навороченная библиотека Scala мира) делает что то там еще полезное, но у меня нет слов — люди делают про это какие-то толки на конфах, воркшопы, презы на 56 страниц типа Demystifying Shapeless. И все это зачем? Чтобы выковырять тип значения во время компиляции, братан. Бебать, да я в 95 программировал на Delpi и у меня все это сразу было. Я ничего не знал про Polymorphic typed λ-calculus, да и сейчас ничего не знаю, но вот цимус в том что и без знаний любой школьник на дельфи, напишет такой HList за 10 минут, и тип в рантайме познает, и сошлется на него, и сравнит и хрен знает что еще. И даже не задумается как все это сделать. Если бы в Delph были макросы, и генерики — я уверен в том, что школьники писали бы точно такие же либы как и вся эта элита пишет на Scala, но только на порядки быстрее, чем эти дяди, и даже не задумывались, о том что им нужны structural refinement types и прочая лабуду (правда что-ли нужны?). Жизнь мне это подтвердила, о чем позже. Да, кстати работал бы этот школьный код в продакшене тоже на порядки быстрее — старая школа в Borland умела делать вещи.
>>769885 Потом в OpenSSL, которую ты используешь, находят баг. Все программы, которые с ней динамически линковались, продолжают работать после обновления OpenSSL с устранением бага. Твоя программа продолжает использовать дырявую.
>>769894 >Потом в OpenSSL, которую ты используешь, находят баг >Все программы, которые с ней динамически линковались, работают с багом >Твоя программа статически слинкована с предыдущей версией OpenSSL без изъянов
>>769909 >В Go смогли соединить недостатки всех подходов к проблеме и избегнуть всех же преимуществ Вот не понял как Роб Пайк и Кен Томпсон могли до этого опустится, ведь сам Пайк на них писякал: http://harmful.cat-v.org/software/dynamic-linking/
>>769913 Всегда такими были. В Bell Labs один был приличный человек - McIlroy, придумал им пайпы, вдохновляясь APL и языком POCAL, который ему большие дяди показали на MULTICS.
>>769919 Если ничего слаще морковки^H^H^H^H^H^H^H^H юниксов и виндовзов не видеть - да. Если посмотреть хотя бы на AS/400 и VMS - уже нет. Есть внимательно изучить перечисленное в https://news.ycombinator.com/item?id=10957020 - то совсем нет.
>>769924 Сколько пришлось десятилетий наворачивать на юниксовую модель безопасности десять слоев не самых прямых костылей из-за этой концепции "все есть файл" (а если переформулировать точнее - "что не файл, с тем мы хуйзнает чего делать")?
> Цели создателей языков тоже на удивление разнообразны. Вот c какой целью Odersky создавал Scala? Может быть это были сугубо академические (исследовательские) цели, и ему, как исследователю, было интересно сделать что-то новое вокруг идеи связки функционального и объектно-ориентированного программирования. Из презентации: в создании Scala он был мотивирован двумя гипотезами. Причем большинство других языков не мотивированы одной или обоими из этих гипотез. А если гипотезы не верны, то где будет Скала? А если верны то где будут другие языки? А может эти гипотезы вообще фуфло для “красоты”. Может быть он просто выполнял некий университетский “план” и типа вот вам как просите: гипотезы и брюки для птиц. А может быть Sun его чем то обидел, пока он c ними работал:
> Sun hired Martin Odersky to design Generics for Java, and the GenericJava compiler actually became the standard javac compiler shipped with the SDK as early as Java 1.2 (with the bits about generics disabled). Later on, a modified design of generics (with wildcards being the main new addition) was released with Java 1.5. Odersky, of course, went on to first design Funnel, then Scala, but his compiler still ships with Java 8.
> Почему нет? Вот представьте Мартин такой толкает Сану идеи, вот так говорит надо, а они его заворачивают. В результате вообще его работа в свет не выходит ни в 1.2 ни в 1.3. А в 1.5 выходит нечто не совсем то, что он считал правильным (у меня нет никакой информации просто вот прямо сейчас родившаяся теория заговора). Ну и он такой обозлился и типа “щас я вам, [синонимы] штопаные, покажу язык, перед которым вы будете тем что вы есть — [синоним]” и понеслось. И язык создавался совсем не для того, для чего вы думаете, а чтобы уделать кого-то, и показать кто тут главный по языкам.
>>769926 >Сколько пришлось десятилетий наворачивать на юниксовую модель... Ты про Линух? Так там жалкая пародия, Торвальдс даун и нихуя и воровал, что было.
Просто когда например в Plan9 можно смонтировать сетевуху из машины в другой подсети к себе в дерево, то просто отпадает например необходимость в целом пласте сетевого ПО таким как прокси сервера. А если смонтировать удаленную видеокарту, представляешь? Это крышеснос.
>>769929 Обдумай вопрос как на эти вставляния правами управлять. Вот с Юниксами так же и получилось - "смотрите как охуенно, пользователи и группы, и битовую маску можно пиздецом эффективно накладывать"
Я тебе говорю что у них один раз уже получилось с Юниксом, и следующие разы ничем не отличаются - главная идея только разная. Но сам подход имени известного аниматора Макото Синкая - "похуй сюжет, рисуем облака" - один и тот же. Люди такие.
>>769935 >Обдумай вопрос как на эти вставляния правами управлят В Plan9 есть тащемто сервер авторизации, так что или макнись в Plan9 или не обобщай с люнохами
> Let me start out by retelling a story that shows that the MIT/New-Jersey distinction is valid and that proponents of each philosophy actually believe their philosophy is better.
> Two famous people, one from MIT and another from Berkeley (but working on Unix) once met to discuss operating system issues. The person from MIT was knowledgeable about ITS (the MIT AI Lab operating system) and had been reading the Unix sources. He was interested in how Unix solved the PC loser-ing problem. The PC loser-ing problem occurs when a user program invokes a system routine to perform a lengthy operation that might have significant state, such as IO buffers. If an interrupt occurs during the operation, the state of the user program must be saved. Because the invocation of the system routine is usually a single instruction, the PC of the user program does not adequately capture the state of the process. The system routine must either back out or press forward. The right thing is to back out and restore the user program PC to the instruction that invoked the system routine so that resumption of the user program after the interrupt, for example, re-enters the system routine. It is called ``PC loser-ing'' because the PC is being coerced into ``loser mode,'' where ``loser'' is the affectionate name for ``user'' at MIT.
> The MIT guy did not see any code that handled this case and asked the New Jersey guy how the problem was handled. The New Jersey guy said that the Unix folks were aware of the problem, but the solution was for the system routine to always finish, but sometimes an error code would be returned that signaled that the system routine had failed to complete its action. A correct user program, then, had to check the error code to determine whether to simply try the system routine again. The MIT guy did not like this solution because it was not the right thing.
> The New Jersey guy said that the Unix solution was right because the design philosophy of Unix was simplicity and that the right thing was too complex. Besides, programmers could easily insert this extra test and loop. The MIT guy pointed out that the implementation was simple but the interface to the functionality was complex. The New Jersey guy said that the right tradeoff has been selected in Unix-namely, implementation simplicity was more important than interface simplicity.
> The MIT guy then muttered that sometimes it takes a tough man to make a tender chicken, but the New Jersey guy didn't understand
Те же грабли, теперь пройдем по ним в профиль. Ничего не поняли, ни о чем не задумались, в 2030 году будут опять новый Юникс пилить, с перламутровыми пуговицами, новой Великой Идеей, забиванием на все остальное, и так же на коленке
>>769973 Это верно. Они отбросили разработку языков программирования и операционных систем на много лет назад, и даже сегодня - если с языками программирования прогресс очевиден, то с операционными системами полная херь, Юниксы и виндовзы это отвратительно
>>769980 >если с языками программирования прогресс очевиден, и какой там прогресс? наработки 50 летней давности >>769980 >Юниксы и виндовзы это отвратительно а что не отвратительно, поделись?
Здарова коданы, использую скриптоту по работе но сейчас дикое желание обмазаться си, хочу написать для практики небольшой проект на пару тысяч строк, но какая-то творческая импотенция, что можно под дебиан запилить нормальное или допилить?
>>770024 В убунте прописываются подключения к vpn и прокси через GUI. Бывает их достаточно много. Запили библиотеку либо программу, которые можно будет использовать из других программ, допустим из Гидры, для переключения подключения к сети.
>>769922 Это очень удобно утверждать, что нечто, о чём большинство не имеет понятия, в 100 раз круче того, о чём все знают и чем пользуются. Приведи хоть пару тезисов, чем этот VMS баще.
Что читать:
- Классика от Отцов: http://www.ime.usp.br/~pf/Kernighan-Ritchie/C-Programming-Ebook.pdf
- Годное пособие для гуманитариев: http://c.learncodethehardway.org/book/
- Немного примеров хорошего стиля: http://www.oualline.com/books.free/style/index.html
- ООП, например: http://www.cs.rit.edu/%7Eats/books/ooc.pdf
- Стандарт ISO/IEC 9899:1999 (он же C99): http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf (драфт) не драфт ищем на торрентах
- Стандарт ISO/IEC 9899:2011 (он же C11): http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf (драфт)
- man/Dash/zealdocs
Чем конпелировать:
- Очевидный GCC.
- clang: оче годно, батя рекомендует. Дрочим на --analyze.
- Intel C++ Compiler: оптимизации, тысячи их.
- Visual Studio 2015 Community Edition: внезапно этим стало можно пользоваться, особенно с тулсетом clang/C2. Поддержка C11 на уровне "есть все, что тебе понадобится в реальном проекте плюс кривая библиотека". Анализатор кода в комплекте.
- Pelles C (шиндоуз онли): поучиться, вкатиться в C11 (стандарт полностью реализован, имеются в том числе threads.h и прочие stdatomic.h), но количество багов в оптимизаторе и редкие апдейты напрочь отбивают желание собирать этим что-то сколько-нибудь серьезное.
- TCC: очень маленький компилятор с багами и неполной поддержкой C99. С ключом -run умеет компилировать код в память и запускать его, что позволяет писать скрипты прямо на сишечке.
Что еще почитать:
http://c-faq.com/
FAQ из comp.lang.c. Древний, но все еще актуален.
Stephen Prata "C Primer Plus, 6th Edition" (2014)
Свежая знает про C89, C99, C11, описывает различия, объемная около тысячи страниц, годная хотя есть некоторые шероховатости, с вопросами, упражнениями и ответами. Читать после K&R или до.
Samuel P. Harbison, Guy L. Steele Jr. "C: A Reference Manual, 5th Edition" (2002)
Ебаный пересказ стандартов C89 и C99 (включая стандартную библиотеку). Для не осиливающих стандарт в оригинале. Читать в качестве подготовки к собеседованиям (есть задачник с ответами) и для ознакомления с масштабами пиздеца перед написанием своего парсера/компилера.
Peter Van Der Linden "Expert C Programming. Deep C Secrets" (1994)
"Си: грязные истории". Смехуечки, немного объяснений, чем обусловлены особенности языка, всем известные подводные камни кто там ругал косяки в JS? у нас в сишечке их гораздо больше, просто они лучше спрятаны, немного байтоебли и непонятно откуда взявшаяся глава про старинные плюсы. Читать в качестве сказки на ночь (на пару вечеров хватит).
Ben Klemens "21st Century C: C Tips from the New School" (2012)
Stephen G. Kochan "Programming in C (3rd Edition или 4th Edition, если найдется)" (2014)
MISRA Ltd. "Guidelines for the Use of the C Language in Critical Systems" (2013)
Набор рекомендаций по написанию надежного кода на C (промышленный стандарт). Читать - однозначно, следовать - вдумчиво и без фанатизма. Также можно посмотреть https://www.securecoding.cert.org/confluence/display/c/SEI+CERT+C+Coding+Standard
Еще более длинный список: http://www.iso-9899.info/wiki/Books#Learning_C
Прошлые треды:
- https://arhivach.org/thread/106153/
- https://arhivach.org/thread/131949/
- https://arhivach.org/thread/140570/
- https://arhivach.org/thread/153698/
- https://arhivach.org/thread/155908/
- https://arhivach.org/thread/173837/
Шапка: http://piratepad.net/bJ1SdmkZyu