Client-centric Consistency Formalization and Verification for System with Large-Scale Distributed Data Storage

Yuqing Zhu,Jianmin Wang
DOI: https://doi.org/10.1016/j.future.2010.06.006
IF: 7.307
2010-01-01
Future Generation Computer Systems
Abstract:Customized consistency is necessary in systems with large-scale distributed data storage, which have to make a tradeoff between consistency and performance. Client-centric consistency is intuitive for applications to specify their consistency requirements, but the properties of system implementations that satisfy client-centric consistency are not clear. So constraints on implementation and costs in performance are not known. In this paper, we formally define the four client-centric consistencies and their basis, i.e. eventual consistency, borrowing the framework from the theory of database concurrency control. Based on their definitions, we prove relations among these consistencies. Such relations imply how the implementation of one consistency can be made upon another. Besides, with these formal definitions, we can make simple consistency verification on system implementations.
What problem does this paper attempt to address?