Kabdim (02.10.2020 12:42, просмотров: 591) ответил fk0 на В чём кошмар? Оптимизатор не идеален и работает как может? И в чём
проблема? Лучше так, чем никак. На других языках часто получается
вообще никак, всегда плохонько оптимизированный код. C++ даёт
возможность, но насколько она будет использована -- влияет масса
других факторов. Но хотя бы сама возможность она есть. У других же
и теоретической возможности нет оказывается. И зачем сразу
ассемблер. Он нужен чтоб посмотреть его и разобраться, и в
исходнике на C++ подтолкнуть-
- Развивая твою мысль дальше, для любой функции опираться на
оптимизатор невозможно, т.к. он даёт не гарантированный результат,
и нужно писать на асме... Однако ж пишут на C++. Последний как раз
и даёт возможность построить промежуточный код для LLVM таким
образом, что он может быть оптимизирован. А программирование где
динамический полиморфизм через таблицу виртуальных функций -- не
даёт (что в таблице не известно -- оптимизатор останавливается и
генерируется исключительно fk0(30 знак., 02.10.2020 13:14)
- Странное развитие, повторю поинты: Kabdim(468 знак., 02.10.2020 17:45)
- Это не совсем так или совсем не так. Иногда нужны средние
показатели. Например, чтоб размер бинарника влезал в flash-память
вообще-то для начала. Или чтоб какой-либо компонент в среднем,
работал попросту с приемлимой скоростью (пример: переключение
программ в телевизоре быстрей, чем за две секунды). И
оптимизирующий компилятор не в этом, так в другом месте даст
хороший средний результат. Вариант же "всё оптимально руками
переписать на C/ассемблере" для ПО со сроками fk0(37 знак., 02.10.2020 18:11)
- А почему ты все время подразумеваешь что я предлагаю всё переписать, хотя явно везде повторяю что тормоза всегда
концентрируется в маленьком участке кода? - Kabdim(02.10.2020 18:14)
- Потому, что бывает, что нет такого кусочка. Бывает когда когда
генерируется по месту, в зависимости от конкретного типа здесь и
сейчас, с помощью ненавистного тебе метапрограммирования. И
получается масса статических функций которые на ура инлайнятся.
Если убрать шаблоны -- можно сделать в лоб, перенеся всё, что делал
компилятор в рантайм. Но и скорость работы такой реализации очень
не понравится. И хуже того её ещё тестировать теперь в рантайме на
всех возможных вариантах fk0(503 знак., 02.10.2020 18:46)
- Можно пример программы которая равномерно использует весь свой код и хотя бы выбивается из закона Парето? - Kabdim(02.10.2020 19:29)
- Потому, что бывает, что нет такого кусочка. Бывает когда когда
генерируется по месту, в зависимости от конкретного типа здесь и
сейчас, с помощью ненавистного тебе метапрограммирования. И
получается масса статических функций которые на ура инлайнятся.
Если убрать шаблоны -- можно сделать в лоб, перенеся всё, что делал
компилятор в рантайм. Но и скорость работы такой реализации очень
не понравится. И хуже того её ещё тестировать теперь в рантайме на
всех возможных вариантах fk0(503 знак., 02.10.2020 18:46)
- А почему ты все время подразумеваешь что я предлагаю всё переписать, хотя явно везде повторяю что тормоза всегда
концентрируется в маленьком участке кода? - Kabdim(02.10.2020 18:14)
- Это не совсем так или совсем не так. Иногда нужны средние
показатели. Например, чтоб размер бинарника влезал в flash-память
вообще-то для начала. Или чтоб какой-либо компонент в среднем,
работал попросту с приемлимой скоростью (пример: переключение
программ в телевизоре быстрей, чем за две секунды). И
оптимизирующий компилятор не в этом, так в другом месте даст
хороший средний результат. Вариант же "всё оптимально руками
переписать на C/ассемблере" для ПО со сроками fk0(37 знак., 02.10.2020 18:11)
- Странное развитие, повторю поинты: Kabdim(468 знак., 02.10.2020 17:45)
- Развивая твою мысль дальше, для любой функции опираться на
оптимизатор невозможно, т.к. он даёт не гарантированный результат,
и нужно писать на асме... Однако ж пишут на C++. Последний как раз
и даёт возможность построить промежуточный код для LLVM таким
образом, что он может быть оптимизирован. А программирование где
динамический полиморфизм через таблицу виртуальных функций -- не
даёт (что в таблице не известно -- оптимизатор останавливается и
генерируется исключительно fk0(30 знак., 02.10.2020 13:14)