Search papers, labs, and topics across Lattice.
This paper generalizes the classic Wing-Gong linearizability checking algorithm to enhance the versatility of linearizability checkers for non-transactional distributed storage systems. By enabling checks for various consistency guarantees, including system-specific constraints, the authors demonstrate significant improvements in testing efficiency, achieving up to 370x faster checks and reducing false negatives. The approach not only simplifies the detection of consistency violations but also uncovers six new bugs, five of which were undetectable by existing tools.
Transforming linearizability checking could lead to a dramatic reduction in false negatives and faster debugging in distributed storage systems.
Linearizability checkers check if an operation history, observed by concurrent clients, is linearizable. They are used in testing distributed storage systems, and use the classic Wing-Gong (WG) linearizability checking algorithm. In this paper, we generalize the WG algorithm to make linearizability checkers more versatile: we can check other non-transactional consistency guarantees, like ordered sequential consistency provided by Zookeeper. Equipped with this generalization, we can also check for system-specific consistency guarantees that introduce additional ordering constraints over operations in a history, as per the system's specification. Our experiments with 8 distributed storage systems show that checking for system-specific consistency guarantees is easy to realize, reduces false negatives in testing, helps debug consistency violations, can be up to 370x faster, and can scale to more concurrent clients within the same checking time budget. We report 6 new consistency violation bugs, out of which 5 could not be found with existing consistency checkers.
