new semantics for acquire and release