Improved Time Bounds for Linearizable Implementations of Abstract Data Types

Jiaqi Wang, Edward Talmage, Hyunyoung Lee, Jennifer L. Welch
2014 2014 IEEE 28th International Parallel and Distributed Processing Symposium  
Linearizability is a well-known consistency condition for shared objects in concurrent systems. We focus on the problem of implementing linearizable objects of arbitrary data types in message-passing systems with bounded, but uncertain, message delay and bounded, but non-zero, clock skew. We present an algorithm that exploits axiomatic properties of different operations to reduce the running time of each operation below that obtainable with previously known algorithms. We also prove lower
more » ... on the time complexity of various kinds of operations, specified by the axioms they satisfy, resulting in reduced gaps in some cases and tight bounds in others.
doi:10.1109/ipdps.2014.77 dblp:conf/ipps/WangTLW14 fatcat:ugdqcethirclfibkpm53jf2htu