Проблема потери результатов обновления
Решение проблем параллелизма при помощи блокировок
Рассмотрим, как будут себя вести транзакции, вступающие в конфликт при доступе к данным, если они подчиняются протоколу доступа к данным.
Две транзакции по очереди записывают некоторые данные в одну и ту же строку и фиксируют изменения.
| Транзакция A | Время | Транзакция B |
S-блокировка  - успешна
| 
| --- |
Чтение 
| 
| --- |
| --- | 
| S-блокировка - успешна
|
| --- | 
| Чтение
|
| X-блокировка - отвергается
| 
| --- |
| Ожидание… | 
| X-блокировка - отвергается
|
| Ожидание… | 
| Ожидание… |
| Ожидание… | Ожидание… |
Обе транзакции успешно накладывают S-блокировки и читают объект . Транзакция A пытается наложить X-блокирокировку для обновления объекта . Блокировка отвергается, т.к. объект уже S-заблокирован транзакцией B. Транзакция A переходит в состояние ожидания до тех пор, пока транзакция B не освободит объект. Транзакция B, в свою очередь, пытается наложить X-блокирокировку для обновления объекта . Блокировка отвергается, т.к. объект уже S-заблокирован транзакцией A. Транзакция B переходит в состояние ожидания до тех пор, пока транзакция A не освободит объект.
Результат. Обе транзакции ожидают друг друга и не могут продолжаться. Возникла ситуация тупика.
Проблема незафиксированной зависимости (чтение "грязных" данных, неаккуратное считывание)
Транзакция B изменяет данные в строке. После этого транзакция A читает измененные данные и работает с ними. Транзакция B откатывается и восстанавливает старые данные.
| Транзакция A | Время | Транзакция B |
| --- |
| S-блокировка - успешна
|
| --- |
| Чтение
|
| --- |
| X-блокировка - успешна
|
| --- |
| Запись 
|
| S-блокировка - отвергается
|
| --- |
| Ожидание… |
| Откат транзакции 
(Блокировка снимается)
|
| S-блокировка - успешна
|
| --- |
| Чтение
| 
| --- |
Работа с прочитанными данными 
| 
| --- |
| --- | 
| --- |
| Фиксация транзакции | 
| --- |
| Все правильно |
Результат. Транзакция A притормозилась до окончания (отката) транзакции B. После этого транзакция A продолжила работу в обычном режиме и работала с правильными данными. Конфликт разрешен за счет некоторого увеличения времени работы транзакции A (потрачено время на ожидание снятия блокировки транзакцией B).