Многоуровневая отмена

Семантика транзакций довольно легко распространяется и на многоуровневую отмену (если вспомнить концепции StackPtr, о которых говорилось выше). Существует два основных варианта реализации.

Класс LockPtr со стеками образов

Самый прямолинейный вариант реализации многоуровневой отмены для транзакций - включение стека старых образов в каждый LockPtr. Эта идея позаимствована из рассмотренного выше кода StackPtr. Тем не менее, она подходит лишь для консервативной блокировки. В случае с агрессивной блокировкой объект может быть впервые заблокирован уже после изменения остальных объектов. Это усложняет отмену нескольких изменений, поскольку стеки разных LockPtr не синхронизируются.

Стеки пар LockPtr/образ

К проблеме можно подойти и иначе - включить в Transaction стек, в котором хранятся пары старый образ/LockPtr. На каждом уровне стека хранятся лишь те LockPtr, которые существовали на момент закрепления. В общем случае это решение работает лучше, к тому же оно чуть более эффективно - вы используете один большой стек вместо множества маленьких.