Как работают явные блокировки в PostgreSQL?

Question

[artemfisher]

Добрый день!
Немного запутался.
В PostgreSQL каждая транзакция работает со снимком. Явные блокировки таблиц, строк объявляются внутри транзакции. Следовательно, они тоже работают со снимком. Тогда непонятно как они блокируют таблицы и строки для других транзакций? Получается они блокируют таблицы и строки ТОЛЬКО для операторов в той же транзакции и для подтранзакций текущей транзакции?

Comments

[Everything_is_bad]

снимок это одно, блокировка это другое

[vreitech]

В PostgreSQL каждая транзакция работает со снимком.

В PostgreSQL каждая транзакция работает не просто со снимком, а со снимком данных. Блокировки не являются данными.

Тогда непонятно как они блокируют таблицы и строки для других транзакций?

В соответствии с документацией: https://postgrespro.ru/docs/postgresql/17/explicit...
То есть блокируя в том или ином, перечисленном в документации, режиме, на том или ином уровне. Уровни опять же приведены в документации. Обратите внимание, что уровня "снимок данных" в документации нет.
В частности, при блокировке на уровне строк информация о блокировке хранится в самих строках.

Больше подробностей есть в статьях Егора Рогова:

• https://habr.com/ru/companies/postgrespro/articles...
  
• https://habr.com/ru/companies/postgrespro/articles...
  

Answer 1

[Melkij]

Блокировки строк и блокировки таблиц (и прочих объектов) - два разных механизма. (а serializable изоляция и вовсе частично третий)

Блокировки строк отмечают информацию о себе специальными флагами в заголовке самой заблокированной строки. Запросы, которым нужна блокировка строки сначала проверяют, не отмечена ли эта строка блокировкой, затем проверяют что сейчас с той транзакцией, идентификатор transaction ID которой указан в информации о блокировке. Если транзакция ещё в работе - то начинаем ждать её завершение (или пропускаем строку для skip locked или кидает ошибку если nowait)
Блокировки строк, будь то select for share/for update или пишущие запросы, всегда работают с самой актуальной версией строки.

В то же самое время, любой запрос, трогающий таблицу (даже select) берёт блокировку на эту таблицу соответствующего своим потребностям уровня. Пока не возьмёт блокировку на таблицу - вообще не начнёт выполняться. Информация об этих блокировках размещается в сегменте shared memory памяти, потому доступны всем процессам базы. Если другие бекенды не держат блокировку таблицы конфликтующую с желаемым нашей транзакцией (или ещё только ждут блокировку более высокого уровня), то запрос блокировки удовлетворяется и работа продолжается.

Answer 2

[Сергей Соловьев]

Явные блокировки таблиц, строк объявляются внутри транзакции. Следовательно, они тоже работают со снимком

Откуда такие умозаключения?

Для хранения блокировок используется отдельное место в общей памяти - они доступны всех бэкэндам.

Снимки используются только для определения того, видны ли данные (кортеж) или нет - они локальны для каждого бэкэнда.

Answer 3

[Jack444]

Представь что под капотом есть некая очередь транзакций.
Если несколько транзакций пытаются модифицировать один и тот же ресурс, PostgreSQL обрабатывает их по принципу "первый пришёл — первый обслужен".
Например:
Транзакция A изменяет строку и удерживает блокировку.
Транзакция B пытается изменить ту же строку и переходит в состояние ожидания.
Когда Транзакция A завершается (COMMIT или ROLLBACK), блокировка снимается, и Транзакция B получает доступ.