RootCauseunvalidated

The pure load is correct: `acquire` is the minimum for correctness. — The CAS in `pop` is too strong in the success order. Tension: too weak in the fail order (`acquire` is needed to set up for the next iteration. Outcome: This prevents you from allowing a compiler to make the success path faster on ISAs like ARMv7.

7e8f5fe1-66ee-42b6-a233-4ccfe996231b

The pure load is correct: acquire is the minimum for correctness. — The CAS in pop is too strong in the success order. Tension: too weak in the fail order (acquire is needed to set up for the next iteration. Outcome: This prevents you from allowing a compiler to make the success path faster on ISAs like ARMv7.