Что это
В любой момент в базе есть активные транзакции. У каждой - снимок (см. snapshot), который может потребовать версии строк, существовавшие на момент её старта. Поэтому VACUUM не имеет права удалять версию, если хоть одна живая транзакция могла бы её увидеть.
Граница, отделяющая «точно никому не нужно» от «ещё может понадобиться»,
и называется горизонтом. Технически это минимум backend_xmin по всем
активным бэкендам. Внутри VACUUM это число зовётся removable cutoff
(OldestXmin).
Правило удаления
Версия удаляема, если её xmax (см. xmin-xmax) закоммичен и строго
старше горизонта.
Если xmax новее или равен горизонту - версия остаётся, даже если
фактически уже мёртвая. В отчёте VACUUM VERBOSE такие версии попадают в
строку N dead but not yet removable.
Кто держит горизонт
Горизонт двигается вперёд только когда завершаются старые транзакции. Удержать его может:
- долгий аналитический запрос или транзакция
REPEATABLE READ; - забытая транзакция в состоянии
idle in transaction; - подготовленная (
PREPARE TRANSACTION) и не завершённая транзакция; - долгий запрос на реплике при включённом
hot_standby_feedback(см. hot-standby-feedback) - он отодвигает горизонт мастера.
Диагностика
SELECT pid, state, backend_xmin,
now() - xact_start AS xact_age, query
FROM pg_stat_activity
WHERE state IN ('active', 'idle in transaction')ORDER BY xact_start;
Самая старая транзакция вверху - вероятный держатель горизонта. Защита от
забытых транзакций - idle_in_transaction_session_timeout.
Почему это важно
Застрявший горизонт - причина половины проблем с раздуванием. VACUUM отрабатывает, но почти ничего не удаляет (см. vacuum), мусор копится, а заодно не двигается граница заморозки (см. freeze). Поэтому при жалобах на bloat первым делом ищут длинную транзакцию.