Многоверсионность

Как убедиться в том, что одна и та же строка может существовать в нескольких версиях?

Создадим таблицу с одной строчкой:

=> CREATE TABLE t(s text);
CREATE TABLE
=> INSERT INTO t VALUES ('Первая версия');
INSERT 0 1

Начнем транзакцию и выведем ее номер:

=> BEGIN;
BEGIN
=> SELECT txid_current();
 txid_current 
--------------
        51546
(1 row)

Транзакция видит первую (и пока единственную) версию строки:

=> SELECT *, xmin, xmax FROM t;
       s       | xmin  | xmax 
---------------+-------+------
 Первая версия | 51545 |    0
(1 row)

Здесь мы дополнительно показываем номера транзакций, ограничивающих видимость данной версии строки. Строка создана предыдущей транзакцией, а xmax=0 означает, что эта версия актуальна.


Теперь начнем другую транзакцию в другом сеансе:

=> BEGIN;
BEGIN
=> SELECT txid_current();
 txid_current 
--------------
        51547
(1 row)

Транзакция видит ту же версию:

=> SELECT *, xmin, xmax FROM t;
       s       | xmin  | xmax 
---------------+-------+------
 Первая версия | 51545 |    0
(1 row)


Теперь изменим строку во второй транзакции.

=> UPDATE t SET s = 'Вторая версия';
UPDATE 1

Вот что получилось:

=> SELECT *, xmin, xmax FROM t;
       s       | xmin  | xmax 
---------------+-------+------
 Вторая версия | 51547 |    0
(1 row)

А что увидит первая транзакция?


Поскольку изменение не зафиксировано, первая транзакция продолжает видеть первую версию строки:

=> SELECT *, xmin, xmax FROM t;
       s       | xmin  | xmax  
---------------+-------+-------
 Первая версия | 51545 | 51547
(1 row)

Обратите внимание на xmax - значение показывает, что в настоящий момент другая транзакция меняет строку. Вообще говоря, такое "подглядывание" нарушает изоляцию, поэтому поля xmin и xmax скрытые и в реальной работе их использовать не стоит.


Теперь зафиксируем изменения.

=> COMMIT;
COMMIT

Что теперь увидит первая транзакция?


Теперь и первая транзакция видит вторую версию строки:

=> SELECT *, xmin, xmax FROM t;
       s       | xmin  | xmax 
---------------+-------+------
 Вторая версия | 51547 |    0
(1 row)

=> COMMIT;
COMMIT

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


Блокировки

Повторим наш опыт, но теперь пусть обе транзакции попытаются изменить одну и ту же строку.

=> BEGIN;
BEGIN
=> UPDATE t SET s = 'Третья версия';
UPDATE 1

И во второй транзакции:

=> BEGIN;
BEGIN
=> UPDATE t SET s = 'Четвертая версия';

Вторая транзакция "повисла": она не может изменить строку, пока первая транзакция не снимет блокировку.


=> COMMIT;
COMMIT

Теперь вторая транзакция может продолжить выполнение:

UPDATE 1
=> COMMIT;
COMMIT

Конец демонстрации.