A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions