Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers

Colette Johnen, Adnane Khattabi, Alessia Milani +1

Relaxing the sequential specification of a shared object is a way to obtain an implementation with better performance compared to implementing the original specification. We apply…