Generalizing and accelerating consistency checking for non-transactional distributed storage systems

Kotikala Raghav, Aman Hassan, Brian Sajeev Kattikat +3

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 W…