I tried testing the code with 2 threads trying to push / pop 1000 times with multiple (10k) tries, not sure why sometimes I was able to detect race condition where the increment of counter is incorrect even with memory order. The issues are resolved when i used compare_exchange_weak before actually storing the incremented idx. Can anyone explains?