CPUИсполнение · РЕДАКЦИОННЫЙ МАТЕРИАЛ
Условные переходы и предсказание
Как ветвления влияют на поток инструкций и что проверять в тесте.
Зачем предсказывать
При условном переходе следующий адрес зависит от результата вычисления. Предсказатель помогает ядру продолжать выборку до того, как условие окончательно известно. При ошибке часть спекулятивной работы отбрасывается. Стоимость зависит от ядра, кода и состояния конвейера; единой константы для всех CPU нет.
Похожий код — разные данные
Условие, которое почти всегда истинно, и условие с труднопредсказуемым исходом могут вести себя по-разному. При этом случайный вход способен одновременно менять обращения к памяти. Поэтому разница времени сама по себе ещё не доказывает, что причина только в предсказателе.
Безусловный код не всегда быстрее
Замена ветвления вычислением обоих вариантов увеличивает объём работы. Компилятор может сам применить условное перемещение или векторизацию. Прежде чем переписывать исходник, посмотрите оптимизированный машинный код и измерьте реальную нагрузку. Читаемость тоже имеет стоимость сопровождения.
План эксперимента
Оставьте одинаковыми размер входа, размещение данных и число операций. Сравните несколько распределений условий. Запишите время и доступные счётчики переходов. Отдельно проверьте корректность результата на крайних значениях. Не отключайте системные защиты ради красивой цифры в учебном тесте.
Проверить по первоисточнику
Общий материал проверен по документации 26 октября 2026 года. Детали конкретного процессора уточняйте в его руководстве.