59
Strictness
(cont)
Example: non-strict schedule
T1: W(X) A T2: W(X) A
Problems with handling rollback after aborts:
when
T
1
aborts, don't rollback
(need to retain value written by
T
2
)
when
T
2
aborts, need to rollback to pre-
T
1
(not just pre-
T
2
)
![[prev]](icon/prev.gif){kind=icon}
![[next]](icon/next.gif){kind=icon}