Что делает путь горячим: симптом против причины

Что такое hot path

Через десять минут ты будешь знать, как отличить пять очень разных проблем, одинаково выглядящих как «широкий фрейм» — и почему неверный диагноз тратит больше времени, чем отказ от оптимизации вовсе.

Hot path — это цепочка вызовов, в которой программа проводит большую часть времени. Профиль показывает её как стек широких фреймов, поднимающихся от leaf’а к top-level entry. Leaf называет функцию; вопрос — почему эта функция дорогая.

Современное железо превращает ту же «1 секунду CPU» в очень разные проблемы в зависимости от того, что CPU реально делал: исполнял инструкции, ждал памяти, ждал лока, ждал возврата syscall. Диагноз решает, какое семейство правок применимо.

Применение неверной правки к верному hotspot’у — вторая по частоте трата в performance-работе, после оптимизации не того hotspot’а вообще (разобрана в unit’е profile-first).

Метафора приёмной

Приёмная у врача переполнена. Это говорит, что в приёмной много людей — не говорит, почему. Пациенты ждут врача, лабораторию, бумаги, парковку? У каждого варианта своя правка: больше врачей, более быстрая лаборатория, меньше форм, больше мест для парковки.

Широкий фрейм во flame graph — то же самое: приёмная полная; спроси, чего люди ждут внутри.

Bea и Sven: один фрейм, два прочтения

Антон · Браузер находит processOrder на 35% CPU и хочет переписать цикл. Дима · Origin-сервер смотрит внимательнее: большая часть этих 35% — в runtime.scanobject (GC), вызываемом изнутри цикла. Цикл много аллоцирует. Правка — sync.Pool, не новый алгоритм.

Flame graph показал симптом. Причина — на уровень глубже.

Сценарий: regex на каждый запрос

Search-эндпоинт показывает regex.test как широкий leaf. Двое инженеров хотят сменить regex-движок. Третий смотрит на parent: regex компилируется на каждом запросе, потому что паттерн строится из шаблонной строки. Правка — компилировать один раз на старте. Leaf указал на правильную область; баг был в паттерне caller’а, не в самом leaf’е.