4.2.05. Guarantee cost

T₂ ends up waiting for read access to X
Either after T₁ finished

T₁ cannot release X even though it has finished using it
Incorrect phase (still expanding)

Or before T₁ has used it

T₁ has to claim X during expansion, even if it doesn’t use
it until later

Cost: limits the amount of concurrency