[prev] 4 [next]

Durability (cont)

Consider following scenario:

[Diagram:Pics/txproc/crash.png]

Desired behaviour after system restart:

  • all effects of T1, T2 persist
  • as if T3, T4 were aborted (no effects remain)