Производительность
Чтение parent и child chains: где применять правку
Сеньор открывает pprof и видит json.Marshal на 28% CPU. Он не тянется за более быстрой JSON-библиотекой. Он проверяет parent chain. Один широкий parent: логгер запросов. Правка не в библиотеке — в логгере, который вызывает Marshal на каждом запросе независимо от уровня логирования.
Чтение parent chain
Parent chain отвечает: «откуда вызывается этот широкий leaf?»
Концентрированный fan-in (один широкий parent-путь): leaf вызывается многократно из одного места. Правь caller’а — вызывать реже, кэшировать результаты, батчить или устранить вызов.
Распределённый fan-in (много узких parents): leaf — это shared-инфраструктура, используемая многими caller’ами. Правь сам leaf, потому что оптимизация любого одного caller’а оставляет остальных девятнадцать неизменными.
Классический пример: json.Marshal широкий с одним широким путём от логгера — значит, проблема в логгере; не меняй JSON-библиотеку, чини логгер. Тот же json.Marshal широкий и вызываемый из двадцати handler’ов — значит, JSON и есть bottleneck; меняй библиотеку или pre-encode.
Production-grade pprof и Pyroscope позволяют переключаться между leaf-up и caller-down view одним кликом; использовать оба — сеньорная привычка.
Чтение child chain (self-time vs cum-time)
Child chain отвечает: «эта функция делает работу сама или делегирует callee?»
Leaf с большим self-time и узкими детьми: функция делает работу сама. Правка внутри функции.
Parent с thin self-time и широким cum-time: это диспетчер. Цена — на уровень ниже в callee. Правь callee, не этот слой.
Правило чтения: иди от leaf’а с высоким self-time вниз по parent chain. Найди уровень, где cum-time резко падает при движении вверх. Этот уровень — «граница содержательной работы» — выше диспетчеризация, ниже исполнение. Правку применяй внутри этой границы.
Неверное определение этой границы — причина переписывания middleware, оборачивающего медленный DB-вызов, или оптимизации HTTP-роутеров, когда цена в теле handler’а.
| Сигнал | Что означает | Уровень правки |
|---|---|---|
| Широкий leaf, один доминирующий parent | Концентрированный call-site | Caller (реже вызывать / батчить / кэшировать) |
| Широкий leaf, много тонких parents | Shared-инфраструктура | Сам leaf |
| Высокий self-time, узкие children | Функция делает работу сама | Внутри функции |
| Thin self-time, широкий cum-time | Диспетчер | Внутри callee (уровнем ниже) |
Амортизация fan-in
Когда одна функция вызывается из многих caller’ов, оптимизация leaf’а складывается по каждому caller’у. 30% локальное улучшение в shared-функции, используемой двадцатью путями, даёт 30% по каждому из путей.
Обратный случай — fan-out: один caller, бьющий по многим callees. Оптимизация каждого callee — локальное сокращение одного пути.
Сеньорный приём: смотри fan-in/fan-out shape до выбора leaf vs caller fix. Высокий fan-in (shared infra) — leaf fix амплифицируется. Высокий fan-out (один caller, много callees) — caller fix (батчинг, кэширование, устранение вызова) амплифицируется. Эта математика часто перевешивает выбор семейства правок: даже маленький fix на высоко-fan-in leaf’е может перебить большую правку на single-caller-пути.
Bottom-up vs top-down views
pprof, Pyroscope и Intel VTune поддерживают два дополняющих друг друга view.
Bottom-up: ранжирование функций по self-time, leaf-first. Лучше для поиска одной функции, съедающей больше всего CPU.
Top-down: ранжирование функций по cum-time от корня, parent-first. Лучше для поиска подсистемы, ответственной за бо́льшую часть времени.
Сеньорная привычка чтения: сначала bottom-up — назвать горячий leaf, затем top-down — увидеть, какой entry-point его держит. Leaf, горячий под одним entry-point’ом — локализованная правка; leaf, горячий под многими — shared-инфраструктура.
Почему это работает
Intel Top-Down Microarchitecture Analysis (TMA) расширяет это дальше, классифицируя каждый горячий фрейм в front-end bound, back-end bound, retiring или bad speculation. TMA разобран в уроке об аппаратных счётчиках. Чтение parent/child chain здесь — пресреквизит: TMA добавляет CPU-уровень поверх.
Go API имеет p99 600 мс. Профиль показывает runtime.mallocgc на 18% и runtime.scanobject на 14%. Трассируй диагноз и правку.
Node-сервис имеет широкий leaf JSON.parse на 24% CPU. Трассируй, почему наивная смена парсера может не помочь.
Расставь шаги цикла атаки на hot path по порядку, как их выполняет сеньор-инженер:
- 1 Открой профиль и найди самый широкий leaf по self-time
- 2 Прочти parent chain (один caller или много?) и children (реальная цена уровнем ниже?)
- 3 Классифицируй hotspot: CPU, аллокации, кэш, лок, syscall или JIT deopt
- 4 Выбери категориальное семейство правок, соответствующее классификации
- 5 Напиши только предсказанное изменение, без scope creep
- 6 Сними свежий профиль под той же нагрузкой
- 7 Diff: локальный фрейм сжался И headline-метрика улучшилась? Оба условия обязательны для релиза
- 8 Если headline не сдвинулся, найди новый топ hotspot — он был маскирован первым
Широкая leaf-функция вызывается из двадцати разных parent-путей, каждый вносит тонкий вклад. Где применять правку?
- 01Почему важно читать и parent chain, И children при диагностике широкого leaf'а, и что каждое направление говорит?
- 02Что означает «граница содержательной работы» в pprof и как её найти?
Parent chain и child chain — две линзы на один и тот же широкий leaf. Parent chain раскрывает форму fan-in: один caller — правь call-site, двадцать caller’ов — правь leaf. Child chain раскрывает, несёт ли функция цену сама или является pass-through к callee. Граница между диспетчеризацией и исполнением указывает, где находится эффективное место правки. Bottom-up и top-down view профилей делают оба прочтения механическими: bottom-up называет горячий leaf, top-down показывает, какая подсистема его держит. Вместе эти два прочтения устраняют самую частую ошибку выбора уровня в performance-работе.
- Аппаратные счётчики и Intel TMA: диагностика подкатегорийsenior
- False sharing и горячие пути нативных мостовsenior
- Горячие пути в production: безопасность, хвостовая латентность и происхождение инструментовsenior
- Горячие пути: диагностируй и почини две формыsenior
- Горячие пути: тест с выбором ответаsenior
- Горячие пути: чтение кода и счётчиковsenior
- Горячие пути: тест на свободное припоминаниеsenior
встречается в159
- Путь запроса: семь остановок от сокета до ответаjunior
- Accept и парсинг: от очереди ядра до типизированного запросаmiddle
- Маршрутизация и middleware: что выполняется и в каком порядкеmiddle
- Обработчик и ответ: от бизнес-логики до байтов на проводеmiddle
- Стриминг и backpressure: когда клиент читает медленнее, чем вы пишетеsenior
- Таймауты и хвостовая задержка: бюджеты, дедлайны и ловушка fan-outsenior
- Middleware и DI: два паттерна, формирующие любой backendjunior
- Пишем middleware: сигнатуры, next() и три модели фреймворковmiddle
- Инверсия управления: как зависимости добираются до классаmiddle
- Скоупы и время жизни DI: singleton, request, transientmiddle
- DI как шов для тестов: фейки, моки и граница, которая важнаsenior
- DI-контейнеры в продакшене: графы разрешения, циклы и когда не стоитsenior
- Блокирующий vs неблокирующий I/O: два способа ждатьjunior
- Event loop: один поток, упорядоченные фазыmiddle
- Что блокирует цикл: CPU-работа и синхронные вызовыmiddle
- Вынос CPU-работы: worker threads и пул libuvmiddle
- Backpressure и ограниченная конкурентностьsenior
- Пропускная способность под нагрузкой: хвостовая задержка и насыщениеsenior
- Зачем пул: цена создания соединенияjunior
- Размер пула: почему больше не значит быстрееmiddle
- Взятие и таймауты: очередь ожидания — настоящий дроссель задержкиmiddle
- Стратегии retry: backoff, jitter и thundering herdmiddle
- Наблюдаемость, production-инциденты и дизайн для глобального масштабаsenior
- Задачи, микрозадачи и scheduler.yield()middle
- Точность таймеров, троттлинг и фоновая работаmiddle
- Event loop Node.js: фазы, nextTick и задержка циклаsenior
- Стратегии рендеринга: SSG, SSR, ISR, streaming и гидратацияjunior
- SSG, SSR, ISR, streaming и RSC — как работает каждая стратегияmiddle
- Цена гидратации: selective, progressive, острова, resumabilitymiddle
- Core Web Vitals: что измеряют LCP, INP и CLSjunior
- LCP: четыре фазы, одна доминирующая стоимостьmiddle
- INP: input delay, processing, presentationmiddle
- Lab vs field: почему они расходятся и как использовать каждыйmiddle
- Трейдоффы метрик, RUM-атрибуция и цикл CI+полеsenior
- Общая картина: от URL до LCP до INP как эстафетаjunior
- Восемь слоёв трассировки: от service worker до второй навигацииmiddle
- Пять канонических поломок: где производство стабильно ломаетсяsenior
- Метод трёх треков: чтение трасс и построение системы мониторингаsenior
- Что такое индекс и как он ускоряет запросыjunior
- Leading-column rule: почему порядок столбцов в composite-индексе важенmiddle
- Partial, expression и covering-индексыmiddle
- Типы индексов: GIN, GiST, BRIN, Hash, Bloom и HOT-обновленияmiddle
- Index-only scan, Visibility Map и INCLUDEsenior
- Типичные сбои в продакшне и аудит индексовsenior
- Упражнение по проектированию индексов: стратегия полнотекстового поискаsenior
- EXPLAIN и планы выполнения: что решает планировщик и почемуjunior
- Типы сканирования: Seq, Index, Bitmap, Index-Onlymiddle
- Алгоритмы соединения и каскад ошибок оценки строкmiddle
- pg_statistic, ANALYZE и производственная наблюдаемостьmiddle
- Расширенная статистика: исправление ошибок оценки для коррелированных колонокsenior
- Кеш планов, настройка константных стоимостей и внутренности планировщикаsenior
- Производственные режимы отказа и стабильность плановsenior
- Connection pool: зачем амортизировать стоимость backend Postgresjunior
- Режимы PgBouncer: session, transaction и statementmiddle
- Размер пула: формула (ядра × 2) + шпинделей и двухуровневый стекmiddle
- Исчерпание пула и idle-in-transaction: сценарий отказа в 3 ночиmiddle
- Миграция на transaction mode: план развёртывания и prepared statements в PgBouncer 1.21middle
- Процессная модель Postgres и почему увеличение max_connections снижает производительностьsenior
- Ландшафт пулеров 2026, serverless connection storms и полная таксономия отказовsenior
- ADD COLUMN: мгновенно в PG 11+ против перезаписи в старом Postgresjunior
- Режим отказа очереди блокировок: почему мгновенный DDL может заморозить базуmiddle
- Безопасные DDL-паттерны: NOT VALID, CONCURRENTLY и исправления небезопасных операцийmiddle
- Таксономия сбоев миграций и дисциплина продакшнаsenior
- Выбор ключа шарда: стратегии hash, range, list и directorymiddle
- Ко-локация и Citus: инвариант, делающий шардирование пригодным к использованиюmiddle
- Режим отказа hot shard: обнаружение, изоляция и долгосрочная политикаmiddle
- Онлайн-решардинг, 2PC и операционная стоимость шардированияsenior
- Семь актов: от CREATE TABLE до Citusjunior
- Акты 1–3 в глубину: схема, индексы и статистика планировщикаmiddle
- Акты 4–6 в глубину: MVCC bloat, connection pooling и безопасные миграцииmiddle
- Акт 7 в глубину: шардинг, co-location и семиуровневый каскад трейдоффовmiddle
- Наблюдаемость, антипаттерны и производственный триажsenior
- Биты в проводеjunior
- Математика задержкиmiddle
- Bufferbloat и перегрузкаsenior
- Граница физического уровняsenior
- Номера последовательности и состояние соединенияmiddle
- Управление потоком и перегрузкойmiddle
- BBR, производственная наблюдаемость и за пределами TCPsenior
- CDN: контент по соседствуjunior
- Anycast и GeoDNS: маршрутизация к ближайшему edgemiddle
- Многоуровневый кеш и Cache-Controlmiddle
- Заголовок Vary и cache keysmiddle
- Stale-while-revalidate и cache stampedesenior
- Edge workers и edge-side compositionsenior
- CDN: операции и observabilitysenior
- WebSocket: HTTP-апгрейд до постоянного соединенияjunior
- WebSocket vs SSE vs long-polling: выбор правильного транспортаmiddle
- Backpressure в WebSocket: когда клиенты не успеваютmiddle
- Реконнект: jittered backoff, thundering herd, восстановление сообщенийsenior
- WebSocket в масштабе: HTTP/2 мультиплексирование, permessage-deflate, C10Msenior
- WebSocket в production: прокси, безопасность и распределённая архитектураsenior
- Что делают обратные проксиjunior
- Алгоритмы балансировки: от round-robin до power-of-two-choicesmiddle
- L4 vs L7 балансировка и сохранение IP клиентаmiddle
- Health checks, connection draining и slow startmiddle
- Retry-бури, circuit breakers и load sheddingsenior
- Устойчивая архитектура LB: anycast, zone-aware маршрутизация и observabilitysenior
- Почему QUIC, а не TCP+TLSjunior
- QUIC-потоки и head-of-line blockingjunior
- Объединённое рукопожатие и 1-RTTmiddle
- Connection ID и миграция сетиmiddle
- Обнаружение потерь и управление перегрузкойmiddle
- Возобновление 0-RTT и шифрование пакетовsenior
- Развёртывание и стоимость CPUsenior
- DDoS: что это и почему работаетjunior
- Атаки усиления и истощение состоянияmiddle
- Ограничение скорости: алгоритмы и архитектураmiddle
- WAF, межсетевые экраны, mTLS и HSTSmiddle
- Отравление DNS-кэша и BGP-перехватsenior
- Эшелонированная защита и экономика атакsenior
- Двенадцать слоёв: один URL, семь действующих лицjunior
- DNS, TCP, TLS по очереди: куда уходят миллисекундыmiddle
- Критический путь рендеринга и Core Web Vitalsmiddle
- Перехват прокси и шлюзы безопасности: rate limiter, WAF, mTLSmiddle
- Альтернативные пути: QUIC 0-RTT, WebSocket upgrade, миграция соединенияmiddle
- Наблюдаемость: распределённые трейсы, USE/RED и семплированиеsenior
- Устойчивость: каскадные повторы, circuit breakers и error budgetsenior
- Что такое три сигнала: метрики, логи, трейсыjunior
- Метрики и cardinality: cost-модель time-series databasemiddle
- Логи и объём: cost-модель структурного логированияmiddle
- Трейсы и сэмплирование: cost-модель distributed tracingmiddle
- Join-ключи и exemplar''''ы: как три сигнала становятся компонуемымиmiddle
- Observability 2.0: широкие события и сдвиг стоимостиsenior
- Режимы сбоя и инженерная практика: cardinality budget''''ы, PII и сэмплированиеsenior
- Зачем нужны структурные логи: дневник против таблицыjunior
- Схема продакшн-лога: поля, которые несёт каждая строкаmiddle
- Log levels и маршрутизация алертовmiddle
- Стратегии sampling и стоимость логовmiddle
- PII-редакция и log injectionsenior
- Propagation trace-контекста в логахsenior
- OTel Logs Data Model и audit-логи как подсистемаsenior
- Сигналы OTel, Semantic Conventions и проводной формат OTLPmiddle
- Авто-инструментирование и ручные спаны: правило 80/20 в OTelmiddle
- Collector OTel: receivers, processors, exporters и паттерны развёртыванияmiddle
- Стратегии сэмплирования: head, tail и parent-basedmiddle
- Vendor-нейтральность, eBPF-инструментирование, Operator и OTel в браузере и serverlesssenior
- Эксплуатация OTel Collector: надёжность, version skew, режимы отказа и управлениеsenior
- RED и USE: два чек-листа, одна дисциплина триажаjunior
- Инструментация RED в Prometheus: счётчики, гистограммы и дисциплина cardinalitymiddle
- USE на Linux: CPU, память, диск, сеть и PSImiddle
- Golden signals, структура дашборда и auto-RED в service meshmiddle
- Cardinality как драйвер затрат: label, PII, exemplars и семплированиеmiddle
- Native histograms, SLO и паттерны production-сбоевmiddle
- Выбор SLI и SLO-целей: отношения, не ощущенияmiddle
- Multi-window multi-burn-rate-алертинг: почему AND лучше ORmiddle
- Error budget policy, latency SLO и составные journeysmiddle
- Iceberg SLI, математика составного SLO и SLA vs SLOsenior
- Flame graph: читаем картинку, которая показывает, куда ушло времяjunior
- Sampling vs instrumentation profiling: почему 99 Гц побеждает в productionmiddle
- Типы профилей: CPU, память, off-CPU, mutex — какой когда братьmiddle
- Continuous profiling: always-on flame graphs с eBPF и корреляцией trace-idmiddle
- Как flame graph строится из сэмплов и как использовать его в productionmiddle
- Linux perf, внутренности eBPF, PGO и ограничения sampling''''аsenior
- Profiling в production: безопасность, war stories, OTel profiles и дизайн инфраструктурыsenior
- Debugging-воронка: SLO → RED → trace → profilejunior
- Архитектура OTel: один SDK, четыре сигнала, один wire-форматmiddle
- Экономия на observability: удерживаем затраты в пределах 5% inframiddle
- Масштаб, безопасность и ROI наблюдаемых системsenior