Проблемы потерянного обновления

Рассмотрим ситуацию, показанную на рисунке 1. Транзакция А извлекает некоторый кортеж р в момент времени t1. Транзакция В извлекает тот же кортеж в момент времени t2. Затем транзакция А обновляет кортеж p в t3, а В - в t4. Но результат обновления, выполненный транзакцией А, будет утерян, поскольку в момент времени t4 она не будет учтена и потому будет «отменена» операцией обновления, выполненной транзакцией В.

Решение проблем

Обновление, выполненное транзакцией А, затерто обновлением, выполненным транзакцией В

Проблема зависимости от незафиксированного результата

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

Решение проблем

Проблема зависимости от незафиксированного результата

Рассмотрим пример, показанный на рисунке 2. Транзакция А в момент времени t2 встречается с незафиксированным обновлением. Затем это обновление отменяется в момент времени t3. Таким образом, транзакция А выполняется на основе фальшивого предположения, что кортеж p имеет некоторое значение в момент времени t2.

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

Транзакция А становится зависимой от незафиксмрованного изменения в момент времени t2

Проблема зависимости от незафиксированного результата

Рассмотрим пример, показанный на рисунке 3. Здесь не только транзакция А становится зависимой от изменения, незафиксированного в момент времени t2, но также в t3 фактически утрачивается результат обновления, поскольку отмена выполнения транзакции В в момент времени t3 приводит к восстановлению кортежа p к исходному значению.

Проблема анализа несовместимости

Рассмотрим пример, показанный на рисунке 4. Здесь изображены транзакция А, суммирующая балансы, и транзакция В, которая производит перевод суммы 10 со счета 3 на счет 1. Полученный в итоге транзакции А результат 110 неверен, и если он будет записан в БД, то в ней может возникнуть проблема несовместимости.

Матрица совместимости типов

блокировок.

Т р а н з а к ц и я А

Т

р

а

н

з

а

к

ц

и

я

В

"N" -конфликт (запрос транзакции В не может быть немедленно удовлетворен),

"Y" -совместимость (запрос транзакции В может и должен быть немедленно удовлетворен).