> The counter itself can have its count updated atomically with a compare & exchange.

At some point you have to consider how that hardware implements atomic variables and cmpxchg, because it is certainly not free.