set-state now succeeds unconditionally on :committed txn; unneccessary write-barriers around CAS eliminated; atomic counters declared GLOBAL to reduce chance of being allocated in same cache line (bottleneck)