Про правильные методы оптимизации и генерации софта

https://github.com/eschkufz/stoke-release

beginning from binaries compiled by llvm -o0 for 64-bit x86, our prototype implementation, stoke, is able to produce programs which either match or outperform the code produced by gcc -o3, icc -o3, and in some cases, expert handwritten assembly.

Не, понятное дело что для больших программ это не годится. И для мест, где важна корректность - тоже.

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

Почему программы тормозят

...функция - это такая абстракция, которая заставляет внутри делать то, что потом не нужно снаружи.

if(a.count() > 1) {...} via tonsky

Кстати, модные в узких кругах споры, что быстрее - Array of Structures, Structure of Arrays, column-based, row-based и т.д. - это всё то же самое, про абстракции.

Ну и еще оптимизатору effect tracking нужен, конечно.

Причем умный, чтобы знал, что два подряд fsync() можно выбрасывать, а fwrite, fsync, fwrite, fsync - нельзя.