PathAcquire: Simplify and eliminate indefinite blocking