Adding an ABA counter to each queue state doesn’t solve the problem because they all init to 0, so if we have elements bouncing between queues, all those queues to begin with are going to have similar ABA values, i.e. the problem isn’t fixed.
So I need to keep the PRNG code so I can init each per-queue ABA counter to a different value!
loling here 🙂
At least all that PRNG code isn’t wasted!