Рассмотрим следующие транзакции из файла журнала,
[T2 Start]
[T2 A, 8, 15]
[T3 Start]
[Checkpoint {T2, T3 ]
[T3 Commit]
[T4 Start]
[T4 B, 6, 7]
[T2 4,11]
[T2 Abort]
Предположим, что система падает после записи [T2 Abort],
, тогда какой из заданных параметров имеет значение false?
A. Список отмены изначально содержит T2, T3.
B. T3 удаляется из списка отмен после некоторых шагов.
C. T2 удаляется из списка отмен после некоторых шагов.
D. Список отмены изначально содержит T2, T4.
Решение предлагает вариант D.
Почему список отмены изначально не включает T4, тогда как он может включать T2 и T3? Почему T2 и T3 удаляются из списка отмен после некоторых шагов? Должны ли мы отменять только те транзакции, которые есть в списке контрольных точек?