Как PostgreSQL и другие СУБД обнаруживают и устраняют взаимоблокировки?

Как PostgreSQL и другие СУБД обнаруживают и устраняют взаимоблокировки?

• Для поиска дедлоков, или взаимоблокировок, СУБД анализирует граф блокировок: транзакции представлены узлами, а зависимости по ресурсам — связями
• В PostgreSQL периодически выполняется поиск циклов в wait-for graph
• Когда цикл найден, система выбирает транзакцию-жертву, обычно с наименьшей стоимостью, и откатывает её
• Транзакция-жертва завершается с ошибкой, после чего удерживаемые ею ресурсы освобождаются
• Так устраняется бесконечное ожидание и сохраняется возможность дальнейшей работы системы
• Этот механизм уменьшает последствия взаимоблокировок и помогает поддерживать согласованность данных
• Главная задача — не допустить тупиковой ситуации и повысить эффективность параллельной работы СУБД

Подробный ответ

Основной ответ

Взаимоблокировка (deadlock) в СУБД PostgreSQL появляется, когда две или несколько транзакций ожидают ресурсы, занятые друг другом, и из-за этого навсегда останавливают взаимное выполнение. Для таких случаев PostgreSQL использует автоматический механизм обнаружения и разрешения взаимоблокировок. После обнаружения deadlock одна из транзакций принудительно прерывается и откатывается (rollback), благодаря чему её ресурсы освобождаются, а остальные транзакции могут продолжить работу.

Ключевые моменты

• Обнаружение deadlock: PostgreSQL формирует граф ожидания блокировок, в котором транзакции и запрашиваемые ими блокировки представлены вершинами и ребрами. Наличие цикла в таком графе означает взаимоблокировку. Проверка выполняется периодически во время обработки блокировок.
• Выбор жертвы: Чтобы разорвать deadlock, система определяет транзакцию с наименьшим «весом» — например, с учётом продолжительности выполнения или числа внесённых изменений, — завершает её с ошибкой ERROR: deadlock detected и выполняет откат.
• Предотвращение: Вероятность deadlock можно снизить, если запрашивать ресурсы в согласованном порядке, выбирать явные уровни изоляции и не удерживать блокировки дольше необходимого. При этом PostgreSQL не предотвращает взаимоблокировки самостоятельно, а обнаруживает и устраняет уже возникшие ситуации.

Практический контекст

В прикладных системах с высокой конкуренцией и интенсивным параллелизмом, например в PostgreSQL 14+, обнаружение deadlock помогает сохранять консистентность данных и живучесть (liveness) приложений при 99.9% uptime. Аналитики и DBA нередко проверяют логи на наличие frequent deadlocks, чтобы оптимизировать транзакции или реализовать ретраи на уровне бизнес-логики.