Наблюдаемость
Продакшн-отказы SLO, самонаблюдаемость, безопасность и общая картина
Платформенная команда имеет MWMBR-алерты, Sloth-генерированные recording rules и подписанную error budget policy. Половина команд игнорирует SLO-алерты. Проблема не в инструментарии — в том, что SLI не коррелируют с болью пользователя, и policy так и не применялась.
Реальные продакшн-отказы
Четыре кейса, раскрывающие failure mode’ы:
Stripe 2022 — policy сработала: Checkout SLO на 99.99% был нарушен внутренне (инженеры заметили через burn rate), но внешнее SLA (99.9%) было выполнено. Предопределённая error budget policy команды автоматически заморозила новые деплои фич на 3 дня пока команда надёжности расследовала — предотвратив второй инцидент на всё ещё деградированном code path. Policy была активирована, применена, и заморозка держалась без исполнительного переопределения. Урок: когда policy подписана и команда считает её применимой, она работает именно так, как задумано. SLO поймал то, что ручной мониторинг мог пропустить.
GitHub 2023 — SLI был неверным: SLO-платформа GitHub неправильно считала фоновые job-отказы как user-facing события на протяжении квартала, поедая reliability-бюджет и запуская разговоры культуры обвинений. Команды наказывались за «инциденты», которых пользователи никогда не испытывали. Postmortem сбросил определение SLI только на journey-уровень (user-facing запуски GitHub Actions, не обработка внутренних очередей). Урок: определение SLI — самое важное решение — неверное отравляет данные целого квартала и может разрушить доверие к SLO-программе до её установления.
Coinbase 2024 — budget policy остановила рискованное расширение: Multi-region деплой нарушил 99.99% trading API SLO на 8 минут из-за неправильно настроенного load balancer. Error budget policy сработала в течение 24 часов, и команда поставила на паузу новые региональные запуски на неделю. Пауза позволила команде надёжности провести аудит инструментария multi-region деплоя и найти два дополнительных паттерна неправильной конфигурации до того, как они вызвали инциденты. Урок: заморозка — не наказание, а forcing function, направляющий инженерные усилия на хрупкость, только что проявившую себя.
Netflix 2024 — SLO намеренно ослабили: Внутренний SLO Netflix для воспроизведения видео был ослаблен с 99.99% до 99.95% после шестимесячного обзора, показавшего что пользователи не могут ощутить разницу при 99.95%, но инженерная стоимость поддержания лишней девятки была значительной. Урок: SLO — живые цели, эволюционирующие с системой и пользовательскими исследованиями. «Жёстче — всегда лучше» — ложь. Ежеквартальный обзор существует для проведения именно этого эксперимента.
Общий паттерн для всех четырёх: SLO управляют инженерными решениями, а не наоборот. Компании, получающие ценность от SLO — те где бюджетное число меняет то, что делают команды: замораживать, расследовать, ослаблять, ужесточать — не те, где SLO — метрика на дашборде, на которую никто не реагирует.
Наблюдаемость для самих SLO
Мета-вопрос: как узнать что SLO-платформа работает?
Сигнал 1 — ratio_total никогда не должен быть NaN:
Если SLI знаменатель равен нулю (нет трафика, граничный случай малого трафика, сброс счётчика), recording rule производит NaN. NaN burn rate невидим: алерт ни правильно срабатывает, ни правильно очищается. Мониторить sum(rate(http_request_total[5m])) == 0 и алертить на это отдельно — «у нас нет сигнала трафика» само по себе условие алерта.
Сигнал 2 — долгооконный burn rate должен быть стационарным: Построй 3д burn rate за 90 дней. Он должен осциллировать около 1x в среднем (точно выполняя SLO; некоторые недели выше, некоторые ниже). Устойчивое среднее 1.5x значит SLO-цель слишком жёсткая для текущей системы — постоянный стресс, постоянный риск заморозки. Устойчивое среднее 0.3x значит цель слишком свободная — сверхинжениринг надёжности, которая никому не нужна. Стационарность около 1x значит цель откалибрована.
Сигнал 3 — исходы policy должны соответствовать истории горения: Если история burn rate за 3 месяца показывает три периода ухода бюджета в минус без активированных заморозок, policy переопределяется. Либо policy не имеет реальных полномочий (нужна повторная подпись на уровне директора), либо команды не знают что она применима к ним (пробел коммуникации). SLO-мета-дашборд должен отслеживать: количество активных SLO, количество текущих горящих выше 1x, средний оставшийся бюджет, время последней заморозки на SLO.
| Мета-сигнал | Что раскрывает | Действие |
|---|---|---|
| ratio_total == 0 / NaN | Нет трафика; знаменатель SLI сломан | Алерт на NaN; добавить синтетические пробы |
| 3д burn avg > 1.5x устойчиво | SLO-цель слишком жёсткая для системы | Ежеквартальный обзор: ослабить или починить |
| 3д burn avg < 0.3x устойчиво | SLO-цель слишком свободная | Ежеквартальный обзор: ужесточить |
| Бюджет ≤ 0 без активированной заморозки | Policy не применяется | Повторная подпись policy; расследовать переопределение |
- Бюджет при 99.9% SLO, 1M req/день, 28 дней
- 28 000 ошибок
- Burn rate 14.4x error rate при 99.9% SLO
- 1.44% rate отказов запросов
- Составной потолок: 5 сервисов при 99.9%
- ~99.5%
- Типичный буфер SLA vs SLO
- 0.05–0.5 процентных пункта
- Триггер postmortem по одному инциденту
- ≥ 20% 28-дневного бюджета сожжено
- Ослабление SLO Netflix: с 99.99% → 99.95%
- Пользователи не замечали разницы; инженерная стоимость снизилась
Безопасность и SLO: два пересечения
Пересечение 1 — бот-трафик перекашивает SLI: Успешный но злонамеренный запрос считается «хорошим» в availability SLI — атака credential stuffing, возвращающая 200 OK, проходит SLO. Бот-трафик раздувает знаменатель и может маскировать реальные проблемы пользователей: 1000 бот-запросов в секунду могут разбавить 1% error rate на легитимном трафике до измеренного 0.01% error rate. Сениорный паттерн: считать SLO по фильтрованному трафику (отбрасывать известных ботов, rate-limited IP, сканерный трафик из тестирования безопасности). SLI должен отслеживать здоровье реальных пользователей, не всего трафика.
Пересечение 2 — SLO-горение как сигнал безопасности: Падение доступности без причины в инфре — нет деплоев, нет изменений конфигурации, нет деградации upstream — может быть первым симптомом DDoS или бэкенд-эксплойта. Несколько incident-response playbook’ов включают «проверить SLO burn rate» как шаг в чеклист security-инцидента, наряду с проверками аномалий логов и анализом сетевого трафика. Spike burn rate в 3 ночи в субботу без коррелированного infra-события заслуживает security-взгляда даже до нахождения инфраструктурного объяснения.
Общая картина
SLO — не число на дашборде. Это контракт, превращающий продуктовые решения в инженерную арифметику. Error budget — мост между «хотим шипить» и «хотим быть надёжными». MWMBR-алерт — мост между «бюджет тратится» и «разбудить инженера». Error budget policy — мост между алертом и org chart.
Почему это работает
Причина выживания SLO-фреймворка при каждой смене поколений инструментов мониторинга — он не зависит от инструментов. Он зависит от того, что команда взяла на себя обязательство по одному числу — SLO-цели — с которой согласны все (product, engineering, operations). Prometheus заменяется Datadog; Datadog заменяется чем-то ещё. SLO переживает каждую миграцию потому что является обязательством, а не инфраструктурой.
Почему команды бросают SLO:
- SLI не коррелирует с болью пользователя → алерты — шум → команда учится их игнорировать
- SLO-цель слишком жёсткая → постоянные заморозки → давление продукта переопределяет → policy теряет силу
- Policy никогда не подписана на уровне директора → «совещательные» SLO, на которые никто не реагирует
- Нет ежеквартального обзора → SLO дрейфует от реальных нужд пользователей → неверный сигнал два года
Почему команды преуспевают с SLO:
- Начинают с одного journey, валидируют SLI против реальных репортов пользователей
- Ставят консервативную начальную цель, ужесточают ежеквартально
- Проводят fire drill перед запуском
- Получают подпись директора до первого freeze-события (не во время него)
- Проводят ежеквартальный обзор с участием продукта
Платформенная команда разворачивает SLO на 80 сервисах. Через шесть месяцев половина команд игнорирует SLO-алерты даже при правильно настроенном MWMBR. Какова наиболее вероятная первопричина?
Recording rule ratio_total для сервиса возвращает NaN в Prometheus. Что это значит для SLO-алертинга?
- 01Каковы три организационных failure mode'а, заставляющих команды бросать SLO после первоначального внедрения?
- 02Опиши три мета-сигнала, говорящих работает ли сама SLO-платформа правильно.
- 03Почему SLO-фреймворк переживает миграции инструментов когда конкретные инструменты мониторинга — нет?
Реальные продакшн-отказы SLO раскрывают failure mode’ы: GitHub неправильно считал фоновые jobs как user-facing события и испортил данные квартала; error budget policy Coinbase сработала правильно и предотвратила каскад; Netflix намеренно ослабил цель после пользовательских исследований показавших что лишняя девятка невидима для пользователей. Наблюдение за самой SLO-системой требует трёх мета-сигналов: ratio_total никогда не должен быть NaN (нет трафика → тихий отказ алерта), долгооконный burn rate должен быть стационарным около 1x (дрейф раскрывает неправильно откалиброванные цели), и события пробитого бюджета должны производить активации заморозок (пробел раскрывает policy без силы). Безопасность пересекается с SLO в двух местах: бот-трафик разбавляет знаменатель SLI, а спайки burn rate без infra-причины могут быть инцидентами безопасности. SLO-фреймворк переживает каждое поколение инструментов потому что является контрактом — продукт и инженерия взяли обязательство по одному числу — а не конфигурацией. Инструменты мигрируют; контракты сохраняются.
встречается в175
- Почему GraphQL получает N+1junior
- Механика DataLoader: батчинг на границе тикаmiddle
- Контракты batch-функции: порядок, формы, ошибкиmiddle
- Federation и lookahead: батчинг за пределами DataLoadermiddle
- Защита сложности запросов: depth, cost, persisted queriesmiddle
- Senior GraphQL API: scheduling-контракт, изоляция арендаторов, наблюдаемостьsenior
- Зачем идемпотентность: безопасные retryjunior
- Серверный state machine: четыре состояния idempotency keymiddle
- Outbox и inbox: effectively-once через dual-write границуmiddle
- Конкурентность и архитектура кеша для идемпотентности на масштабеsenior
- Наблюдаемость, production-инциденты и дизайн для глобального масштабаsenior
- Event loop: один поток, три очередиjunior
- Задачи, микрозадачи и scheduler.yield()middle
- Голодание микрозадач, длинные задачи и LoAFsenior
- Event loop Node.js: фазы, nextTick и задержка циклаsenior
- React, Vue и наблюдаемость INP в продакшенеsenior
- Render pipeline: шесть стадий от байтов до пикселейjunior
- Цена стадий и модель процесса рендерераmiddle
- Инвалидация, dirty-биты и containmiddle
- Слои композитора: продвижение, перекрытие и память GPUmiddle
- Флейм-стрип DevTools и жизненный цикл кадраmiddle
- Layout thrash: форсированная синхронная компоновкаsenior
- BeginMainFrame, анимации на потоке compositor и память GPUsenior
- Observability в проде: LoAF, INP и полная поверхность атакиsenior
- Что такое V8 и почему производительность различается в 100 разjunior
- Четырёхуровневый JIT-конвейер V8 и профилированная тиеризацияmiddle
- Hidden classes, деревья переходов и расположение в памятиmiddle
- Inline caches, состояния IC и деоптимизацияmiddle
- Orinoco GC: параллельный scavenger, конкурентная разметка и барьеры записиmiddle
- Спекулятивный движок TurboFan и ловушка deopt-loopsenior
- V8 в production: Isolates, сжатие указателей и реальные аварииsenior
- Жизненный цикл service worker и стратегии кешированияmiddle
- Граничные случаи service worker: version skew, долговременность и ловушка навигацииsenior
- Что делает реконсилер: render vs commitjunior
- Объект fiber и дерево с двойной буферизациейmiddle
- Чистота фазы render и подшаги фазы commitmiddle
- Реконсиляция: эвристики диффа и ловушка ключейmiddle
- Приоритетные lanes, time-slicing и useTransitionmiddle
- Bailout, мемоизация и tearingsenior
- React Profiler, компилятор и продакшн-наблюдаемостьsenior
- Стратегии рендеринга: SSG, SSR, ISR, streaming и гидратацияjunior
- SSG, SSR, ISR, streaming и RSC — как работает каждая стратегияmiddle
- Цена гидратации: selective, progressive, острова, resumabilitymiddle
- Hydration mismatch: причины, обнаружение и правило детерминизмаsenior
- RSC, стратегия на маршрут и production-наблюдаемостьsenior
- Core Web Vitals: что измеряют LCP, INP и CLSjunior
- CLS: почему происходят сдвиги лейаута и как их остановитьmiddle
- Трейдоффы метрик, RUM-атрибуция и цикл CI+полеsenior
- Общая картина: от URL до LCP до INP как эстафетаjunior
- Восемь слоёв трассировки: от service worker до второй навигацииmiddle
- Пять канонических поломок: где производство стабильно ломаетсяsenior
- Метод трёх треков: чтение трасс и построение системы мониторингаsenior
- Что такое cache stampede и почему он делает всё хужеjunior
- Лок и single-flight: ограничение параллельных rebuildmiddle
- XFetch: вероятностное раннее истечение без координацииmiddle
- Stale-while-revalidate и CDN request coalescingmiddle
- Детектирование stampede и дизайн TTL для продакшенаmiddle
- Метастабильный сбой, fencing-токены и production-постмортемыsenior
- Что такое отношение: таблицы, строки, ключи и ограниченияjunior
- Ограничения, ключи и типы данных Postgresmiddle
- Нормальные формы, денормализация и почему схемы «прилипают»middle
- JSONB, массивы и когда side table побеждаетmiddle
- Heap-хранилище, TOAST и выравнивание колонокsenior
- Целостность схемы: deferral, версионирование и сбои в продакшнеsenior
- Реляционная модель vs документные, wide-column, граф и key-valuesenior
- Index-only scan, Visibility Map и INCLUDEsenior
- Типичные сбои в продакшне и аудит индексовsenior
- pg_statistic, ANALYZE и производственная наблюдаемостьmiddle
- Производственные режимы отказа и стабильность плановsenior
- MVCC: как Postgres раздаёт согласованные снимкиjunior
- Заголовок tuple и механика снимковmiddle
- HOT-обновления и уровни изоляцииmiddle
- VACUUM, bloat и autovacuummiddle
- CLOG, XID wraparound и MultiXactsenior
- SSI и production-тюнинг autovacuumsenior
- Реальные провалы MVCC, deployment-паттерны и распределённые снимки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
- Что такое миграция схемы и почему она заменяет ad-hoc DDLjunior
- ADD COLUMN: мгновенно в PG 11+ против перезаписи в старом Postgresjunior
- Режим отказа очереди блокировок: почему мгновенный DDL может заморозить базуmiddle
- Безопасные DDL-паттерны: NOT VALID, CONCURRENTLY и исправления небезопасных операцийmiddle
- Expand-contract: нулевой простой для ломающих изменений схемыmiddle
- Advisory-блокировки, инструменты миграций и координация деплояsenior
- Таксономия сбоев миграций и дисциплина продакшнаsenior
- Зачем нужно шардирование: потолок одного Postgresjunior
- Выбор ключа шарда: стратегии hash, range, list и directorymiddle
- Партиционирование против шардирования: одно слово, два разных понятияmiddle
- Ко-локация и Citus: инвариант, делающий шардирование пригодным к использованиюmiddle
- Режим отказа hot shard: обнаружение, изоляция и долгосрочная политикаmiddle
- Schema-based шардирование и альтернативы мультиарендностиsenior
- Онлайн-решардинг, 2PC и операционная стоимость шардированияsenior
- Семь актов: от CREATE TABLE до Citusjunior
- Акты 1–3 в глубину: схема, индексы и статистика планировщикаmiddle
- Акты 4–6 в глубину: MVCC bloat, connection pooling и безопасные миграцииmiddle
- Акт 7 в глубину: шардинг, co-location и семиуровневый каскад трейдоффовmiddle
- Наблюдаемость, антипаттерны и производственный триажsenior
- Роли Raft, term и почему majority-кворум предотвращает split brainjunior
- Как Raft реплицирует log entry и решает, что его безопасно коммититьmiddle
- Выборы лидера в Raft: таймауты, правила голосования и четыре свойства безопасностиmiddle
- Raft в реальном мире: partition, медленный диск и клиентская маршрутизацияmiddle
- Расширения Raft: pre-vote, learner, snapshot и линеаризуемые чтенияsenior
- Raft в production: membership change, Multi-Raft и observabilitysenior
- Где происходит data fetching — и почему это решает LCPjunior
- Fetch waterfall''''ы — диагностика и лечение через Promise.allmiddle
- React Server Components и Suspense streamingmiddle
- Клиентский кэш: TanStack Query, SWR и stale-while-revalidatemiddle
- LCP, prefetch и race conditions в интерактивном fetchingmiddle
- Senior internals: RSC payload, слои кэша и production паденияsenior
- Трёхстороннее рукопожатие TCPjunior
- Номера последовательности и состояние соединенияmiddle
- DNS: что делает и зачем существуетjunior
- Обход резолвера: перенаправления, типы записей и gluemiddle
- TTL, кеширование и распространение DNSmiddle
- Рукопожатие за 1 RTT: key share и ECDHEmiddle
- Возобновление сессии и 0-RTTmiddle
- WebSocket: HTTP-апгрейд до постоянного соединенияjunior
- Формат WebSocket-фрейма: opcodes, маскирование, фрагментацияmiddle
- Backpressure в WebSocket: когда клиенты не успеваютmiddle
- Реконнект: jittered backoff, thundering herd, восстановление сообщенийsenior
- WebSocket в масштабе: HTTP/2 мультиплексирование, permessage-deflate, C10Msenior
- WebSocket в production: прокси, безопасность и распределённая архитектураsenior
- Что делают обратные проксиjunior
- Health checks, connection draining и slow startmiddle
- Session affinity, consistent hashing и правильное решениеmiddle
- Retry-бури, circuit breakers и load sheddingsenior
- Устойчивая архитектура LB: anycast, zone-aware маршрутизация и observabilitysenior
- Почему QUIC, а не TCP+TLSjunior
- Connection ID и миграция сетиmiddle
- Возобновление 0-RTT и шифрование пакетовsenior
- DDoS: что это и почему работаетjunior
- Атаки усиления и истощение состоянияmiddle
- Ограничение скорости: алгоритмы и архитектураmiddle
- WAF, межсетевые экраны, mTLS и HSTSmiddle
- Отравление DNS-кэша и BGP-перехватsenior
- Эшелонированная защита и экономика атакsenior
- DNS, TCP, TLS по очереди: куда уходят миллисекундыmiddle
- Перехват прокси и шлюзы безопасности: rate limiter, WAF, mTLSmiddle
- Альтернативные пути: QUIC 0-RTT, WebSocket upgrade, миграция соединенияmiddle
- Наблюдаемость: распределённые трейсы, USE/RED и семплированиеsenior
- Устойчивость: каскадные повторы, circuit breakers и error budgetsenior
- Cache lines и false sharing: когда параллелизм замедляет кодmiddle
- SIMD и data layout: AoS vs SoA и разница в 4–8xmiddle
- Cache-oblivious алгоритмы, PGO и production failuressenior
- GC в production: наблюдаемость, безопасность, edge cases и управление флотомsenior
- Batching: амортизируй фиксированную цену каждой операцииjunior
- Окно батчинга: размер и время ожиданияmiddle
- Batching в Kafka и Postgresmiddle
- io_uring и наблюдаемость пакетированияmiddle
- От Nagle до io_uring: эволюция пакетированияmiddle
- Backpressure, изоляция сбоев и безопасность батчей в продакшенеsenior
- CI enforcement и RUM: делаем бюджеты рабочимиmiddle
- V8 JIT-пайплайн, HTTP-приоритеты и безопасность bundlesenior
- Цикл performance: дисциплина, а не проектjunior
- Классификация и исправление: сопоставление family bottleneck с методамиmiddle
- Observability-стек и CI gates: ловить регрессии до выпускаmiddle
- От инцидента к enforcement: SLO burn до верифицированного исправления за 35 минутmiddle
- Культура, экономика и масштаб performancesenior
- At-most-once, at-least-once, exactly-once: три контракта доставкиjunior
- Три ножки сбоя — где реально происходят дубликаты и потериmiddle
- Consumer-side dedup: самый дешёвый путь к exactly-once processingmiddle
- Kafka exactly-once semantics: idempotent producer и транзакцииmiddle
- SQS visibility timeout, DLQ и outbox patternmiddle
- Exactly-once в production: impossibility-доказательство, гибридные паттерны и реальные инцидентыsenior
- Что такое OAuth и почему пароли — не ответjunior
- Authorization code flow с PKCEmiddle
- Валидация ID-токена и управление JWKS-кешемmiddle
- Ротация refresh-токенов и scope-based least privilegemiddle
- Sender-constrained токены: DPoP и mTLSsenior
- OAuth в production: audience атаки, observability и реальные провалыsenior