#2959: Опрометчивая оптимизация

Начну издалека. Есть такая модель вычислений: demand-driven computation. В ней считается только то, что нужно посчитать. А еще есть common subexpression elimination — это такая техника оптимизации в компиляторах. Проще всего объяснить на примере: из sqrt(2) в пяти местах компилятор один раз сделает double s2 = sqrt(2), после чего везде будет использовать s2. Это можно усугубить, вбив вместо вычисления sqrt(2) просто константу.

Так вот, когда-то давно, когда машины были большие, проводились сравнения разных компиляторов Фортрана. Им подсовывалась тестовая программа, измерялось время компиляции и время работы скомпилированного бинарника. Особенно в этом сравнении отличились два коммерческих компилятора.

Дело в том, что тестовая программа только что-то считала, но не выводила результат. Умный компилятор рассуждал так: если результат никому не нужен, зачем его считать? Это допустимое поведение, но не для Фортрана же! В результате тест был провален, потому что тестовая программа отрабатывала моментально. Да-да, вы правильно догадались. Оптимизированный вариант выглядел так: exit(0).

После этого в тест добавили вывод результата вычислений. Тут уже отличился другой продукт: компилировал тестовую программу он три часа, зато отработала она опять-таки моментально. В оптимизированном коде было нечто вроде printf(result) — программа сразу выводила результат вычислений, который компилятор в поте лица и считал так долго.

Комментарий:

Ещё интересное на этом сайте:

#2958: А Ethernet — на сладкое
Анекдоты и картинки #5464699
Я не жадный, я запасливый!
Анекдоты и картинки #5464665
О чем 20 лет назад говорили только шепотом
Делаем шпору (5 фото)
Концептуальные мотоциклы (29 фото)
Анекдоты и картинки #5463662
Изменение 100-долларовой купюры в течении 150 лет (23 фото)
МакГрубер
Слабак
Анекдоты и картинки #5463252
Анекдоты и картинки #5463251
Анекдоты и картинки #5463250
April 26, 2010
Столкновение с кабанами (3 фото)
#2956: Изоляция FAT'ом
#2955: Баранкин, будь человеком!
#2954: Набежали, обжали, денег отжали
#2953: Самый сильный специалист

« все анекдоты и картинки