Correct memory ordering for atomic counter to check association between mutices and condition variables

Part of

Rust SeqLock And Concurrency Issues