[prev] 91 [next]

Optimistic Concurrency Control (cont)

Case 1: reading overlaps validation/writing
  • T2 starts while T1 is validating/writing
  • if some X being read by T2 is in WS(T1)
  • then T2 may not have read the updated version of X
  • so, T2 must start again

[Diagram:Pics/txproc/occ1.png]