Optimistic Concurrency Control (cont)
Data structures needed for validation:
- S ... 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 S, V, F
- RS(Ti) set of all data items read by Ti
- WS(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}