Перейти к содержимому

Примеры.

Версия 1.32 от Alexandr Fokin на 2025/09/19 15:03
Необходимый уровень изоляцииЗапросКомментарий
  Замечание: в приведенных ниже примерах не рассматриваются сценарии с использованием Оптимистичная блокировка.
READ COMMITTEDBEGIN;

UPDATE accounts
SET balance = balance + @payment
WHERE acctnum = @account1

UPDATE accounts
SET balance = balance - @payment
WHERE acctnum = @account2

COMMIT;
  • Относительное изменения значения (а не константное).
  • Без проверок.

(В данном случае строка заблокируется в момент обновления, чтение (select) с проверкой без явного указания updlock, то строка может быть изменена после проверки условия).

REPEATABLE READ
MSSQLSET TRANSACTION ISOLATION LEVEL REPEATABLE READ;  
BEGIN TRANSACTION

 if (SELECT balance FROM accounts /*FOR UPDATE*/ where acctnum = @account2 ) < @payment
  //error
 END IF

UPDATE accounts
SET balance = balance + @payment
WHERE acctnum = @account1

UPDATE accounts
SET balance = balance - @payment
WHERE acctnum = @account2

COMMIT;		 
PostgresBEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;

 if (SELECT balance FROM accounts where acctnum = @account2 ) < @payment
   RAISE EXCEPTION ''
 END IF

UPDATE accounts
SET balance = balance + @payment
WHERE acctnum = @account1

UPDATE accounts
SET balance = balance - @payment
WHERE acctnum = @account2

COMMIT;		 
   
  • Предварительная проверка условия перед изменением строк.
    Гарантия, что значение не будет изменено другими транзакциями после проверки (или их изменение будет обнаружено и приведет к ошибке).
  • В запросе могут использоваться как относительные, так и константные значения, при условии что значение было сформировано после проверки допустимости операции.

(В данном случае чтение (select) накладывает share блокировку, что гарантирует, что строка не будет изменена).

Данное поведение также может быть реализовано на уровне READ COMMITTED, но для этого нужно использовать механизм явных блокировок (обычно это что-то вроде UPDLOCK).
(Причем для данного примера явная блокировка была бы обязательна только для проверяемого аккаунта, с которого выполняется списание).