Как я могу избежать «оптимизации» моих тестовых примеров javascript?

Question

У меня есть jsperf test case, и результат довольно запутанный. У меня есть три «фрагменты»:

• умножения
• деление
• управления (ни операция выполняется)

и большую часть времени, все они выходят примерно с той же скоростью .. даже контроль! Я догадался, что JS JIT-компилятор был removing my "unnecessary" instructions, когда они, похоже, не имели никакого эффекта; поэтому я начал accumulating the results, and logging them to the console, когда тестовый цикл был выполнен, например.

for (var i = 0; i < nNumbers; i++) { 
    result += a[i]/b[i]; 
} 
console.log(result); 

Но тогда у меня были дико отличающиеся результаты, когда консоль была открыта, когда она не была. Замедление работы с консольными протоколами, казалось, подавляло любые другие проблемы с производительностью.

Итак, я попытался прокрутить число итераций внутри каждого «фрагмента», чтобы свести к минимуму количество записей в журнале относительно операций, которые я пытаюсь проверить. Но у меня все еще нет существенной разницы в скорости между тремя фрагментами. Действительно, деление и умножение имеют одинаковую скорость, как оценка константы ?? Я должен делать что-то неправильно. Или jsperf сломан.

Уже есть ответы на связанные вопросы, но ни один из них, который я нашел для теста Javascript.

• How can I prevent the Rust benchmark library from optimizing away my code?
• How can I be sure that the compiler doesn't optimize away my performance test?

Answer 1

Не помещайте console.log в твоих синхронизированных разделах. Это ужасно медленно в сравнении с операциями, которые вы на самом деле хотите измерить, поэтому он искажает ваши результаты. Кроме того, как вы заметили, это зависит от времени, когда консоль открыта или нет.

Вы можете предотвратить деоптимизацию, поставив свои результаты в глобальном массиве. Оптимизатор может только remove code, который не влияет на результат, что невозможно, если он управляет глобальным состоянием.

Конечно, это не обязательно предотвращает loop-invariant code motion, поэтому вам также необходимо убедиться, что ваш синхронизированный код всегда работает с разными данными.