Entry Consistency
Acquire and Release as with Release Consistency
In addition:
- Associate all shared variables with different locks
- When Acquire, make only the associated variables consistent
In comparison, Lazy consistency must at Acquire time determine empirically which variables it needs