11:00
12:00
Colette Johnen (LaBRI)
Title: Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers
Abstract:
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 this approach to the Counter object, under the assumption that the number of times the Counter is incremented in any execution is at most a known bound.
LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4tr-7gp