Здравствуйте, Друзья!
Изучаю документацию на http://postgrespro.ru. Познакомился с Главой 13. Управление конкурентным доступом.

Хочу уточнить некоторые моменты понимания механизма блокировок.

1. На уровне таблицы.

http://postgrespro.ru/doc/explicit-locking.html "ACCESS SHARE

Команда SELECT получает такую блокировку для таблиц, на которые она ссылается. Вообще говоря, блокировку в этом режиме получает любой запрос, который только читает таблицу, но не меняет её данные."

Я верно понимаю, что при любом Select, независимо от уровня изоляции, накладывается данная блокировка, которую мы можем видеть в pg_locks?

http://postgrespro.ru/doc/explicit-locking.html ROW SHARE

Команды SELECT FOR UPDATE и SELECT FOR SHARE получают такую блокировку для своих целевых таблиц (помимо блокировок ACCESS SHARE для любых таблиц, которые используется в этих запросов, но не в предложении FOR UPDATE/FOR SHARE).

2. На уровне строки.

http://postgrespro.ru/doc/explicit-locking.html FOR UPDATE

В режиме FOR UPDATE строки, выданные оператором SELECT, блокируются как для изменения.
...

Вопрос! Получается, что Команда "SELECT FOR UPDATE" устанавливает две блокировки: блокировка на таблицу ROW SHARE и блокировка на строку FOR UPDATE? И данные блокировки живут до конца транзакции?

Спасибо, vyegorov!

vyegorovДва типа: одна на таблицу `ACCESS SHARE` (на таблицы — табличные блокировки), + на каждую запись `ROW SHARE`.

Т.е. в документации ошибка?

http://postgrespro.ru/doc/explicit-locking.html Помните, что все эти режимы работают на уровне таблицы, даже если имя режима содержит слово "row"; такие имена сложились исторически.

Что касается `ACCESS SHARE`, то в документации написано, что при установке ROW SHARE на уровне таблицы:

http://postgrespro.ru/doc/explicit-locking.html помимо блокировок ACCESS SHARE для любых таблиц, которые используется в этих запросов, но не в предложении FOR UPDATE/FOR SHARE

т.е. здесь сказано, что `ACCESS SHARE` устанавливается при select, но если будет SELECT FOR UPDATE/FOR SHARE, то блокировка `ACCESS SHARE` установлена не будет, а будет установлена ROW SHARE.

Я так это понимаю. Так написано в документации :), если понимать все дословно, на уровне сериализации :).

vyegorovБлокировки не зависят от уровня изоляции.

Какую тогда роль играют блокировки на каждом уровне изоляции для обеспечения согласованности данных?
Прочитав про работу уровней изоляции для обеспечения согласованности данных, я не нашел там место для блокировок.

Каждый уровень изоляции обеспечивает собственный уровень согласованности данных, не используя блокировки.

Read Committed - операторы DML, если на момент COMMIT версии строк были изменены, вновь попытаются проделать свои манипуляции;
Repeatable read - если на момент фиксации изменений в транзакции (COMMIT) версии строк были изменены, то будет ошибка:
http://postgrespro.ru/doc/transaction-iso.html ОШИБКА: не удалось сериализовать доступ из-за параллельного изменения;
Serializable - все тоже самое, что и в Repeatable read + http://postgrespro.ru/doc/transaction-iso.html он дополнительно отслеживает условия, при которых результат параллельно выполняемых сериализуемых транзакций может не согласовываться с результатом этих же транзакций, выполняемых по очереди.

Т.о. уровни изоляции, используя механизм MVCC полностью обеспечивают согласованность данных в транзакции. С какого "бока припека" тут блокировки? Для чего они нужны? И, в тоже время, они устанавливаются автоматически. Зачем блокировки?

Спасибо.

В голове моей прояснилось :).

Я верно понимаю, что команда SELECT FOR UPDATE накладывает блокировку с гранулярностью Таблица - ROW SHARE и блокировку FOR UPDATE с гранулярностью Строка. В матрице совместимости блокировок ROW SHARE не конфликтует сама с собой. Тогда как FOR UPDATE не совместима сама с собой - т.о. получается, что:

qwwqписатели же встают друг за другом в очередь

или (тоже как синоним фразы)

vyegorovпока не будет фиксации, сессия2 будет ждать при любой изоляции (это обеспечивают блокировки)

Запись ждет запись :).

Есть здесь очень важный нюанс: блокировка произошла на уровне записи, а не таблицы - нет избыточной блокировки. Я верно понимаю :)?

vyegorov, Спасибо, согласен.

А вот если мы производим Insert, Update, то какие тогда накладываются блокировки? ROW EXCLUSIVE - блокировка на уровне таблицы, а вот на уровне строк будут ли какие-либо блокировки?

Потому, как если больше блокировок не будет, то очереди не будет, т.к. ROW EXCLUSIVE совместима сама с собой :).