Производительность
Горячие пути: тест с выбором ответа
Суть Тест с выбором на синтез по всему юниту — пять форм, чтение symptom-vs-cause, цепочки parent/child, IPC и TMA, false sharing и security-гейт.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на senior-высоте — в орбитеШесть вопросов поперёк всего юнита. Каждый отражает решение, которое ты принимаешь посреди инцидента с открытым профилем — не определение для заучивания, а диагноз, на котором надо остановиться прежде, чем потратить спринт на неверный фикс.
Цель
Убедись, что связываешь юнит воедино: читаешь широкий лист как симптом, классифицируешь его в одну из форм, находишь место фикса по цепочкам parent/child и учитываешь ограничения, которые добавляет production — счётчики, хвостовую задержку и security-гейт.
Викторина
Completed
Flame graph показывает renderTemplate с 28% self-time. Профиль аллокаций затем показывает внутри fmt.Sprintf на 62% байт аллокаций. Два инженера хотят сменить шаблонизатор. Как читать правильно?
Heads-up Self-time лишь говорит, что сэмплы упали сюда; он не говорит, исполнял ли CPU инструкции или кормил аллокатор. Alloc-профиль переклассифицирует это как allocation-bound, где переписывание алгоритма почти не помогает.
Heads-up Стоимость — это Sprintf + конкатенация в цикле вызывающего, а не внутренности движка. Более быстрый движок всё равно платит за те же аллокации, которые создаёт цикл.
Heads-up Lock contention показывается широко в off-CPU/mutex-профиле и узко on-CPU. Этот фрейм широк on-CPU с явной аллокационной сигнатурой.
Викторина
Completed
Два широких листа выглядят одинаково на flame graph. perf stat показывает лист A с IPC 3.0 и cache-miss rate 1%, а лист B с IPC 0.4 и cache-miss rate 18%. Чем различаются фиксы?
Heads-up IPC 0.4 у B означает, что CPU простаивает ~60% времени, ожидая RAM. Новый алгоритм, который трогает ту же разбросанную память, всё равно стопорит — это memory-bound, не compute-bound.
Heads-up Miss rate классифицирует форму; он не ранжирует impact. Приоритет даёт доля каждого листа в общем времени (Amdahl), а не его miss rate.
Heads-up Allocation-bound показывается как широкие GC-фреймы (mallocgc, scanobject), а не как низкий IPC на самом листе. Cache miss — это паттерн доступа к памяти, а не сигнал GC.
Викторина
Completed
json.Marshal на 28% CPU. В одном сервисе у него один доминирующий родитель (логгер запросов); в другом — двадцать тонких родителей (хендлеры). Куда относится фикс в каждом случае?
Heads-up Случай с одним родителем — это баг вызывающего (энкодинг на каждый запрос ради логов); смена библиотеки там оставляет лишний энкод на месте. Читай parent chain прежде, чем тянуться к библиотеке.
Heads-up С одним доминирующим родителем самый дешёвый выигрыш — в вызывающем (звать реже / вообще не звать). Форму fan-in, а не ширину листа, решает выбор leaf-fix против caller-fix.
Heads-up Стоимость — это работа маршалинга, а не диспетчеризация вызова. Инлайн дублирует код и ничего не даёт фактической стоимости сериализации.
Викторина
Completed
Lock-free массив счётчиков использует atomic add с пер-тред индексами, но под нагрузкой IPC падает до 0.42, cache-miss rate достигает 76%, а пропускная способность ухудшается с ростом числа потоков. Диагноз и фикс?
Heads-up Атомики — не локи, и contention показался бы как off-CPU ожидание, а не как обвал IPC on-CPU. XSNP_HITM подтверждает баунсинг кеш-линий, а не блокировку планировщика.
Heads-up Atomic add — это O(1). Стоимость — это трафик когерентности памяти, который не починит никакое алгоритмическое изменение одноинструкционного add.
Heads-up 16 uint64 — это 128 байт, легко влезает в L1. Проблема — множество ядер пишет в одну 64-байтную линию, а не ёмкость.
Викторина
Completed
Node flame graph показывает доминирующие фреймы InterpreterCallStub в функции, которая должна быть горячей, и всплески задержки, не коррелирующие с трафиком. После переписывания на 'лучший алгоритм' ничего не улучшается. Почему и каков настоящий фикс?
Heads-up CPU-bound код показывает оптимизированные фреймы TurboFan, а не интерпретатора. Фрейм интерпретатора сам по себе сигнал деоптa; никакой алгоритм не починит рантайм, который отказывается оптимизировать код.
Heads-up Allocation-bound показывает широкие GC-фреймы, а не интерпретатор. Пулинг не возвращает TurboFan; стабилизация типов — возвращает.
Heads-up Sample rate влияет на все функции одинаково; он не может избирательно изготовить фреймы интерпретатора для одной функции. Деопт реален.
Викторина
Completed
Инженер ускоряет горячий путь сравнения токена в 3 раза, добавив early-exit ветку на первом несовпавшем байте. Фрейм сузился, p50 улучшился. Почему это всё равно неправильно?
Heads-up Timing side channel — реальный класс атак; constant-time, ветвь-свободная форма существует именно чтобы лишить атакующего этого сигнала. Локальное ускорение, утекающее секрет, — это регресс.
Heads-up Сломано свойство времени, а не конкуррентности. Даже полностью сериализованный, зависящий от данных момент выхода утекает длину совпавшего префикса.
Heads-up Улучшение p50 нерелевантно безопасности. Утечка — в связи между входом и временем, а не в каком-либо перцентиле задержки.
Итог
Юнит — это одно дерево решений: широкий лист называет симптом, а не причину; классифицируй его в форму (CPU, аллокация, кеш, лок, syscall, JIT-деопт или случаи, видимые только через железо — false sharing, native-bridge); находи место фикса по parent chain (один вызывающий против многих) и child chain (работа здесь против на уровень ниже); тянись к аппаратным счётчикам и TMA, когда CPU-bound и memory-bound выглядят одинаково; и проводи любое изменение constant-time или security-чувствительных путей через ревью. Сначала диагноз, потом фикс одной вещи, докажи его diff’ом профиля — и следи за хвостовой задержкой, а не только за средним.