Client-centric consistency formalization and verification for system with large-scale distributed data storage

Authors:
Yuqing Zhu;Jianmin Wang
Affiliations:
Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China;School of Software, Tsinghua University, Beijing, 100084, China and Key Laboratory for Information System Security, Ministry of Education, China and Tsinghua National Laboratory for Information Sc ...
Venue:
Future Generation Computer Systems
Year:
2010

Citing 14
Cited 1

Towards robust distributed systems (abstract)

Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Transaction Processing: Concepts and Techniques

Transaction Processing: Concepts and Techniques
Session Guarantees for Weakly Consistent Replicated Data

PDIS '94 Proceedings of the Third International Conference on Parallel and Distributed Information Systems
An analysis of update ordering in distributed replication systems

Future Generation Computer Systems - Special issue: Advanced services for clusters and internet computing
Optimistic replication

ACM Computing Surveys (CSUR)
Distributed Systems: Principles and Paradigms (2nd Edition)

Distributed Systems: Principles and Paradigms (2nd Edition)
Dynamo: amazon's highly available key-value store

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Data access patterns in the Amazon.com technology platform

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Compute and storage clouds using wide area high performance networks

Future Generation Computer Systems
PNUTS: Yahoo!'s hosted data serving platform

Proceedings of the VLDB Endowment
The Claremont report on database research

Communications of the ACM - One Laptop Per Child: Vision vs. Reality
Consistency rationing in the cloud: pay only when it matters

Proceedings of the VLDB Endowment
The impact of data replication on job scheduling performance in the Data Grid

Future Generation Computer Systems
Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing

Toward a principled framework for benchmarking consistency

HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability

Quantified Score

Hi-index	0.00

Visualization

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.