Model
Commit wait under bounded clock uncertainty
The uncertainty is conserved, and you choose where it is billed.
- Uncertainty
- the clock interval is ±ε around the true time
Worked examples, recomputed
Every number the mechanisms quote for this relationship is recomputed from it, so none of them disagrees with it.
Where it appears
Each mechanism states it in its own names. The general symbol each name stands for is shown with it.
- Transactions & Concurrency Control
What happens when many users change the same data at the same time, and how do we keep the result correct?