Наблюдаемость
Native histograms, SLO и паттерны production-сбоев
GitHub, 2023: SLO-алерт на задержку code-search многократно срабатывал без реакции. Расследование обнаружило: алерт был настроен на среднюю задержку — фикс бага, поднявший p99 с 200 мс до 800 мс, едва сдвинул среднее. SLO был переработан на multi-window p99 burn-rate алерты по паттерну Google SRE Workbook. Следующий инцидент был пойман менее чем за 4 минуты.
Native histograms (Prometheus 2.40+)
Классические гистограммы требуют выбора границ бакетов во время инструментации. Если распределение задержки сервиса смещается — например, медленный путь внезапно начинает доминировать в диапазоне 1–5 с — нужен повторный деплой с другими бакетами.
Native histograms (Prometheus 2.40+, также называемые exponential histograms в OTel) используют логарифмическую шкалу с динамически адаптирующимся разрешением. Каждое наблюдение помещается в бакет шириной ~1% относительной точности — e^(2^-scale) — без какого-либо статического списка границ. Преимущества:
- Никакой ручной настройки бакетов.
- Равномерная точность p99 по всему диапазону задержки (не только вблизи SLO).
- Аналогичная стоимость хранения по сравнению с хорошо настроенной классической гистограммой.
- Полная совместимость с PromQL:
histogram_quantileработает так же.
Exponential histograms OTel работают идентично и являются дефолтом для новой инструментации метрик в OTel SDK.
Совместимость: некоторые старые storage-бэкенды (Cortex < 1.15, Thanos < 0.32) требуют обновления версий для чтения native histograms. Проверь storage-слой перед переходом.
| Тип гистограммы | Настройка бакетов | Точность p99 | Совместимость |
|---|---|---|---|
| Классическая (фиксированные бакеты) | Ручная, per-service | Хорошая только вблизи SLO | Универсальная |
| Native / exponential | Не нужна | ~1% везде | Prometheus 2.40+, дефолт OTel SDK |
| Summary (per-replica) | Нет | Корректная per-replica, неверная агрегированная | Нельзя агрегировать по репликам |
Почему усреднение p99 по репликам неверно
Усреднение предварительно вычисленных перцентилей (summary-метрики) по репликам — известный антипаттерн:
Пример: реплика A обслуживает 100 запросов, все по 100 мс. Реплика B обслуживает 100 запросов, все по 1000 мс. p99 у A = 100 мс; p99 у B = 1000 мс; их среднее = 550 мс. Истинный p99 объединённых 200 запросов = 1000 мс (ранг 199 из 200, выше 99-го перцентиля). Среднее ошибается почти вдвое.
Правильный паттерн: гистограммы эмитируют per-replica счётчики бакетов; sum by (le) (rate(...)) агрегирует их во время запроса; histogram_quantile вычисляет истинный fleet-wide перцентиль из агрегированных счётчиков. Точность ±половина бакета. Никакой изоляции по репликам.
RED питает SLO error budget
SLO — это обещание: 99,9% запросов успешно завершаются в пределах 200 мс за 30 дней. Duration и Errors из RED — это именно те метрики, которые наполняют это обещание.
- SLO по доступности:
1 - rate(errors[window]) / rate(total[window])— «99,9% запросов не должны возвращать 5xx» - SLO по задержке:
histogram_quantile(0.99, ...) < 0.200— «99-й перцентиль должен быть ниже 200 мс» - Error budget: оставшиеся минуты или количество запросов до нарушения SLO за месяц.
Без RED-инструментации у тебя нет SLO — есть желание.
Multi-window burn-rate alerting (Google SRE Workbook): алертить, когда error budget сжигается слишком быстро одновременно на двух окнах:
- 1-часовое окно (fast burn): ловит внезапные всплески (неудачный деплой).
- 6-часовое окно (slow burn): ловит медленные регрессии, которые пороговые алерты пропускают.
Пороговый алерт на абсолютное значение p99 («сработать если p99 > 200 мс») пропускает медленные регрессии (p99 растёт со 150 до 190 мс за две недели, всегда ниже порога) и выдаёт false positive при кратких всплесках. Burn-rate алерты ловят оба сценария.
Паттерны production-сбоев в RED+USE
GitHub 2023 (алерт на среднюю задержку): SLO-алерт на среднюю задержку. Регрессия подняла p99 с 200 до 800 мс; среднее сдвинулось с 45 до 55 мс. Алерт не сработал. Фикс: переход на p99 burn-rate алерты с 1h коротким + 6h длинным окнами по SRE Workbook.
Cloudflare 2022 (cardinality explosion): Новый label на request_duration вызвал OOM Prometheus-серверов. Задержка вычисления правил выросла с 100 мс до 4+ с, маскируя алерты сервисов. Собственная метрика Prometheus prometheus_tsdb_head_series была ведущим сигналом — но алерта на неё не было. Фикс: per-team cardinality budget, принудительный в CI; мета-мониторинг собственного RED Prometheus.
Stripe 2024 (PSI memory pressure невидима для free-RAM): Webhook-воркер завис на 11 минут. Дашборды free-RAM показывали 500 МБ свободных. PSI memory full был на уровне 90% — ядро трэшило reclaim. Фикс: перенос saturation-алертинга с MemAvailable < threshold на PSI-алертинг; следующий инцидент пойман за 30 секунд.
Discord 2023 (рост задержки вычисления правил): Рефактор перенёс hot label с одной метрики на две. Cardinality удвоилась молча. Задержка вычисления правил Prometheus выросла с 100 мс до 4 с за две недели, задерживая алерты во время инцидента, видимого пользователям. Фикс: задержка вычисления правил добавлена как первоклассная панель в мета-мониторинг дашборд.
Почему это работает
Самореференциальная наблюдаемость: Prometheus сам эмитирует RED- и USE-метрики. Ключевые self-метрики Prometheus, за которыми нужно следить: prometheus_tsdb_head_series (рост cardinality), prometheus_engine_query_duration_seconds_p99 (задержка запросов), prometheus_rule_evaluation_duration_seconds_p99 (задержки алертов). Каждый observability-слой — OTel Collector, Fluent Bit, Vector — эмитирует собственный RED. В зрелом стеке каждый слой наблюдаемости сам наблюдается. Режим отказа ненаблюдаемого monitoring-слоя — молчаливая ошибка: твои сервисы выглядят нормально, но мониторинговый пайплайн перестал доставлять их данные 20 минут назад.
Команда использует Prometheus summary (предварительно вычисленный p99 per-replica) и усредняет их для получения fleet-wide p99. Почему это математически неверно?
Пороговый алерт срабатывает когда p99 > 200 мс. p99 дрейфует с 140 мс до 185 мс за три недели (никогда не пересекая 200 мс). SLO позволяет 99,9% запросов выполняться в пределах 200 мс. Что пороговый алерт пропускает, что поймал бы burn-rate алерт?
- 01Что такое native (exponential) histogram и какую проблему он решает по сравнению с классическими гистограммами?
- 02Как RED связан с SLO error budget? Какова формула SLO по задержке?
- 03Каковы два burn-rate окна в multi-window alerting и что каждое из них ловит?
Native (exponential) histograms, доступные в Prometheus 2.40+ и как дефолт OTel SDK, используют логарифмическую шкалу бакетов при ~1% относительной точности, устраняя ручную настройку бакетов, необходимую для классических гистограмм. Гистограммы Duration и счётчики Errors из RED — прямой субстрат для измерения SLO: SLO по доступности — 1 - error_rate, SLO по задержке — histogram_quantile(0.99) < цель. Multi-window burn-rate alerting (1h короткое + 6h длинное окна) ловит и внезапные регрессии, и медленный дрейф, которые пороговые алерты пропускают — поимка медленного типа была тем, что потребовал post-mortem инцидента GitHub 2023. Каждый крупный production-сбой в этом блоке — Cloudflare 2022, GitHub 2023, Stripe 2024, Discord 2023 — сводился к одному конкретному пропущенному RED или USE сигналу: cardinality explosion невидимый без self-мониторинга Prometheus, средняя задержка маскирующая p99, free-RAM невидимый для PSI memory pressure и рост задержки вычисления правил маскирующий алерты. Самореференциальная наблюдаемость — мониторинг самого monitoring-пайплайна с той же RED+USE дисциплиной — последняя линия защиты.
встречается в167
- Путь запроса: семь остановок от сокета до ответа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
- Закон Амдала и self-time: потолок любого ускорения, которое ты можешь выпуститьmiddle
- Измерительный цикл: микробенч, макробенч, prod-профиль, эффект наблюдателяmiddle
- Чтение флейм-графов: формы, профайлеры по языкам и 60-секундный сканmiddle
- Статистические baseline''''ы: почему один запуск — не измерениеmiddle
- История профайлеров и ловушки микробенчей: от Кнута до GWPsenior
- Hardware counters, профили холодного старта и безопасность профилейsenior
- Непрерывное профилирование в масштабе: затраты, CI-гейты, корреляция с трейсами и антипаттерныsenior
- Что делает путь горячим: симптом против причиныjunior
- Пять форм hotspot''''а: CPU, аллокации, кэш, лок, syscallmiddle
- Чтение parent и child chains: где применять правкуmiddle
- JIT deopt, цикл fix-and-verify и PR-time профилированиеmiddle
- Аппаратные счётчики и Intel TMA: диагностика подкатегорийsenior
- False sharing и горячие пути нативных мостовsenior
- Горячие пути в production: безопасность, хвостовая латентность и происхождение инструментовsenior
- Иерархия памяти: почему расстояние важнее числа операцийjunior
- Row-major vs column-major: порядок доступа и разрыв в 9xjunior
- Branch prediction: 10–30 циклов штрафа за неожиданный ifmiddle
- Hardware prefetcher, TLB и memory-level parallelismsenior
- Основы GC: за что рантайм берёт налогjunior
- Алгоритмы GC: поколенческая гипотеза, concurrent marking и write barriermiddle
- GC tradeoffs: пауза, throughput, память и давление аллокацийmiddle
- Настройка GC: пейсинг, форма кучи и наблюдаемость аллокацийmiddle
- Внутреннее устройство GC: tri-color инвариант, write barriers и глубокое погружение в рантаймыsenior
- GC в production: наблюдаемость, безопасность, edge cases и управление флотомsenior
- N+1: одна логическая операция, много round-trip''''овjunior
- Семейства фиксов: JOIN, IN, preload и DataLoadermiddle
- Обнаружение N+1: query logs, APM traces и CI gatesmiddle
- DataLoader: батчинг по дереву резолверовmiddle
- Кросс-протокольный N+1: HTTP fan-out и Redis MGETmiddle
- N+1 в масштабе: исчерпание пула, изменения планов и денормализацияsenior
- Batching: амортизируй фиксированную цену каждой операцииjunior
- Окно батчинга: размер и время ожиданияmiddle
- Batching в Kafka и Postgresmiddle
- io_uring и наблюдаемость пакетированияmiddle
- От Nagle до io_uring: эволюция пакетированияmiddle
- Backpressure, изоляция сбоев и безопасность батчей в продакшенеsenior
- Что на самом деле стоит bundle: download, parse, compile, executejunior
- Core Web Vitals: LCP, INP и CLSmiddle
- Code splitting: route-level, component-level, vendor splittingmiddle
- Tree shaking и compression: удаляем то, что не используемmiddle
- Third-party scripts: тихий убийца бюджетаmiddle
- CI enforcement и RUM: делаем бюджеты рабочимиmiddle
- V8 JIT-пайплайн, HTTP-приоритеты и безопасность bundlesenior
- Цикл performance: дисциплина, а не проектjunior
- Классификация и исправление: сопоставление family bottleneck с методамиmiddle
- Observability-стек и CI gates: ловить регрессии до выпускаmiddle
- От инцидента к enforcement: SLO burn до верифицированного исправления за 35 минутmiddle
- Культура, экономика и масштаб performancesenior