Acquire-Release Semantics