Optimistic Concurrency Control
The Verify trick is optimistic concurrency control
Main idea - execute operations on shared data without setting locks. At commit time, test if there were conflicts on the locks (that you didn’t set).
Often used in client/server systems
- Client does all updates in cache without shared locks
- At commit time, try to get locks and perform updates