42
Durability
(cont)
Consider following scenario:
Desired behaviour after system restart:
all effects of T1, T2 persist
as if T3, T4 were aborted (no effects remain)