Базы данных
Advisory-блокировки, инструменты миграций и координация деплоя
Kubernetes-деплоймент масштабируется с нуля до трёх реплик одновременно. Все три пода запускаются и каждый пытается выполнить ожидающую миграцию. Без координации все три применяют её параллельно — один успешно, два падают с ошибками дублирования constraint, приложение запускается наполовину в неизвестном состоянии.
Транзакционная семантика DDL в Postgres
Большинство DDL в Postgres транзакционный: BEGIN; CREATE TABLE; ALTER TABLE; COMMIT; либо всё выполняется, либо всё откатывается атомарно. Конкурентные сессии видят изменение только после COMMIT (изоляция снимком MVCC).
Исключения, которые не могут выполняться внутри блока транзакции:
CREATE INDEX CONCURRENTLYREINDEX CONCURRENTLYALTER TYPE ... ADD VALUE(в PG 11 и ниже; транзакционный начиная с PG 12+)
Инструменты миграций по умолчанию оборачивают каждую миграцию в транзакцию. Любая миграция с CONCURRENT-операцией требует аннотации нетранзакционного режима. Большинство инструментов поддерживают это:
- Atlas:
-- atlas:txmode none - golang-migrate:
-- migrate:notransaction - Prisma: не поддерживается нативно; используйте
prisma db executeс raw SQL-файлом
Если вы смешиваете CONCURRENT-операцию с другим DDL в одном файле миграции — разбейте их на два файла.
Паттерн advisory-блокировки для сериализации запуска миграций
Несколько серверов приложения, запускающихся одновременно, могут каждый попытаться выполнить ожидающие миграции. Без координации два процесса могут применить одну и ту же миграцию дважды или конфликтовать на таблице schema_migrations.
Стандартное решение — advisory-блокировка Postgres в начале миграции:
-- Берётся перед выполнением любых миграций:
SELECT pg_advisory_lock(12345); -- 12345 = стабильный целочисленный ключ для этого приложения
-- Здесь выполняются миграции ...
-- Освобождается после завершения всех миграций:
SELECT pg_advisory_unlock(12345);pg_advisory_lock блокируется до получения блокировки. Первый сервер получает её и выполняет миграции; последующие ждут. Когда первый завершает и освобождает блокировку, следующий сервер получает её — но обнаруживает все миграции уже применёнными и ничего не делает.
Большинство инструментов миграций реализуют это автоматически:
- golang-migrate: берёт
pg_advisory_lock(hashInt64(databaseName))при запуске. - Prisma: использует таблицу
_prisma_migrationsс блокировкой на уровне строк. - Atlas: использует
pg_advisory_lockс настраиваемым ключом.
Для неблокирующего поведения при запуске используйте pg_try_advisory_lock с циклом повторов:
-- Возвращает true при успешном получении, false если уже занята
SELECT pg_try_advisory_lock(12345);| Инструмент | lock_timeout | Повторы | DDL-lint | Нетранз. режим |
|---|---|---|---|---|
| Atlas | Да (конфиг) | Да (экспоненциальный откат) | Да (встроен + Squawk) | Да (txmode none) |
| pgroll | Да | Да | Через безопасность view-слоя | Н/Д (обрабатывает CONCURRENT внутренне) |
| Prisma Migrate | Вручную (SET в SQL) | Вручную | Squawk (отдельный CI-шаг) | Ограничен |
| golang-migrate | Вручную (SET в SQL) | Внешний | Squawk (отдельный CI-шаг) | Да (notransaction) |
| Flyway | Вручную (SET в SQL) | Вручную | Только Pro-версия | Да |
Координация деплоя: миграция до раскатки подов
Три распространённых паттерна:
-
Pre-deploy job (рекомендован): k8s Job или CI-шаг запускает
migrate upпротив продакшна до rolling deploy. Деплой кода заблокирован успехом миграции. Старые поды обрабатывают трафик во время миграции; схема аддитивна (только expand). Это чистейший паттерн — чёткое разделение ответственности. -
Init container на каждом поде: каждый новый под запускает
migrate upпри запуске; advisory-блокировка их сериализует. Просто, но медленно — каждый под ждёт проверки миграции, даже если ничего не ожидает. -
Отдельный pipeline миграций: миграция запускается вручную или в собственном ритме, полностью отвязана от деплоя кода. Требует человеческой координации; ненадёжна в масштабе.
Старший дефолт 2026: отдельный pre-deploy job (паттерн 1), заблокированный на успехе миграции. Задание миграции выдаёт метрики; любой сбой страницует on-call и блокирует раскатку кода.
- Atlas (рекомендован для Postgres-команд)
- Декларативный + lint + повторы + dry-run
- pgroll (нулевой простой через виртуальные схемы)
- Views + триггеры, PG 14+
- Prisma Migrate (стеки TS/Node)
- Schema-first, генерирует SQL миграций
- Drizzle (TS/Node, лёгкий)
- Schema-first, похож на Prisma
- golang-migrate (независим от языка)
- Простые up/down SQL-файлы
- Squawk (линтер)
- CI: ловит небезопасный DDL в PR
- Advisory lock при запуске
- Стандарт в golang-migrate, Atlas
Почему это работает
Почему pgroll использует views вместо прямой схемы? Цель pgroll — сделать декларативную миграцию, переименовывающую колонку, похожей для разработчика на одношаговую операцию. Под капотом нужно одновременно поддерживать совместимость для старого и нового кода — views с триггерами — единственный нативный механизм Postgres для представления двух разных имён колонок, поддерживаемых одним хранилищем, без изменений приложения для управления dual-write вручную. Цена — операционная сложность: отладка инцидента миграции требует понимания view-слоя.
Три k8s-пода запускаются одновременно и каждый пытается выполнить ожидающие миграции. Без advisory-блокировки каков наиболее вероятный режим сбоя?
Какой инструмент миграций предлагает встроенный DDL-lint, конфигурацию lock_timeout, повторы и нетранзакционный режим для Postgres в 2026?
- 01Как pg_advisory_lock предотвращает дублирующееся выполнение миграций конкурентными подами и как инструменты это реализуют?
- 02Каков рекомендованный паттерн координации деплоя для k8s-приложения и почему он предпочтительнее выполнения миграций при запуске пода?
- 03Почему CREATE INDEX CONCURRENTLY должен выполняться вне транзакции и как это настроить в инструментах миграций?
DDL в Postgres транзакционный — BEGIN; ALTER TABLE; COMMIT; откатывается атомарно при сбое — за исключением CREATE INDEX CONCURRENTLY и нескольких других операций, которые должны выполняться вне блока транзакции и требуют аннотации на уровне инструмента. Когда несколько подов запускаются одновременно, все могут попытаться выполнить ожидающие миграции; pg_advisory_lock сериализует их, позволяя в момент времени работать только одной сессии. Atlas (декларативная схема, встроенный lint, lock_timeout, повторы, dry-run) — наиболее полный инструмент миграций Postgres в 2026; pgroll добавляет виртуально-схемный нулевой простой для команд с частыми ломающими изменениями; Prisma/Drizzle предоставляют schema-first эргономику для TS-стеков. Рекомендованный паттерн деплоя — pre-deploy job миграции, заблокированный до rolling deploy подов, с CI-lint Squawk, блокирующим небезопасные PR до слияния.
встречается в140
- Почему 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
- Роли 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
- Что такое три сигнала: метрики, логи, трейсыjunior
- Зачем нужны структурные логи: дневник против таблицыjunior
- Схема продакшн-лога: поля, которые несёт каждая строкаmiddle
- PII-редакция и log injectionsenior
- OTel Logs Data Model и audit-логи как подсистемаsenior
- SLI, SLO и error budget: надёжность в числахjunior
- Error budget policy, latency SLO и составные journeysmiddle
- Продакшн-отказы SLO, самонаблюдаемость, безопасность и общая картинаsenior
- Петля инцидента: от пейджера до постмортема до предотвращенияmiddle
- 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