Validation
- Inconsistent snapshot
- As reads are made, other transactions may change previously read values
- Inconsistent snapshot may lead to:
- Memory protection faults
- Infinite loops
- Verify consistency of the snapsot
- On every read--expensive!
- Explicit user calls--burden on programmer.
- Catch faults and add random validations on every read
- Algorithm
For each entry in transaction descriptor check it against its orec.