Optimistic Concurrency Control (cont)
Data structures needed for validation:
- A ... set of txs that are reading data and computing results
- V ... set of txs that have reached validation (not yet committed)
- F ... set of txs that have finished (committed data to storage)
- for each Ti, timestamps for when it reached A, V, F
- R(Ti) set of all data items read by Ti
- W(Ti) set of all data items to be written by Ti
Use the V timestamps as ordering for transactions
- assume serial tx order based on ordering of V(Ti)'s
|
![[prev]](icon/prev.gif){kind=icon}
![[next]](icon/next.gif){kind=icon}