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

Future Generation Computer Systems

Volumn 26, Issue 8, 2010, Pages 1180-1188

  Zhu, Yuqing ^a   Wang, Jianmin ^a,b,c  

^a TSINGHUA UNIVERSITY   (China)

^b BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^c TSINGHUA NATIONAL LABORATORY FOR INFORMATION SCIENCE AND TECHNOLOGY   (China)

Author keywords

Availability; Consistency; Distributed data management; Replication

Indexed keywords

CONSISTENCY; CONSISTENCY REQUIREMENTS; DATABASE CONCURRENCY; DISTRIBUTED DATA; EVENTUAL CONSISTENCY; FORMAL DEFINITION; SYSTEM IMPLEMENTATION;

DATA STORAGE EQUIPMENT; FORMAL LOGIC;

CONCURRENCY CONTROL;

EID: 77955514121     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2010.06.006     Document Type: Article

References (16)

1. E.A. Brewer Towards robust distributed systems (abstract) PODC'00: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing 2000 ACM Portland, Oregon, United States 7
2. A.S. Tanenbaum, and M.V. Steen Distributed Systems: Principles and Paradigms 2nd ed. 2006 Prentice Hall, Inc. Upper Saddle River, NJ, USA
3. D.B. Terry, A.J. Demers, K. Petersen, M. Spreitzer, M. Theimer, and B.W. Welch Session guarantees for weakly consistent replicated data PDIS'94: Proceedings of the Third International Conference on Parallel and Distributed Information Systems 1994 IEEE Computer Society Washington, DC, USA 140 149
4. R.L. Grossman, Y. Gu, M. Sabala, and W. Zhang Compute and storage clouds using wide area high performance networks Future Gener. Comput. Syst. 25 2 2009 179 183
5. M. Tang, B.-S. Lee, X. Tang, and C.-K. Yeo The impact of data replication on job scheduling performance in the data grid Future Gener. Comput. Syst. 22 3 2006 254 268
6. W. Vogels, Data access patterns in the amazon.com technology platform, in: VLDB'07: Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB Endowment, 2007, p. 1.
7. G. DeCandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman, A. Pilchin, S. Sivasubramanian, P. Vosshall, and W. Vogels Dynamo: Amazon's highly available key-value store SIGOPS Oper. Syst. Rev. 41 6 2007 205 220
8. B.F. Cooper, R. Ramakrishnan, U. Srivastava, A. Silberstein, P. Bohannon, H.-A. Jacobsen, N. Puz, D. Weaver, R. Yerneni, Pnuts: Yahoo!'s hosted data serving platform, Proc. VLDB Endow. 1 (2) (2008) 12771288.
9. D.B. Terry, K. Petersen, M.J. Spreitzer, and M.M. Theimer The case for non-transparent replication: examples from Bayou IEEE Data Eng. Bull. 21 4 1998 12 20
10. T. Kraska, M. Hentschel, G. Alonso, D. Kossmann, Consistency rationing in the cloud: pay only when it matters, Proc. VLDB Endow. 2 (1) (2009) 253264.
11. W. Zhou, L. Wang, and W. Jia An analysis of update ordering in distributed replication systems Future Gener. Comput. Syst. 20 4 2004 565 590 Advanced Services for Clusters and Internet Computing
12. Y. Saito, and M. Shapiro Optimistic replication ACM Comput. Surv. 37 1 2005 42 81
13. J. Gray, and A. Reuter Transaction Processing: Concepts and Techniques 1992 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA
14. R. Agrawal, A. Ailamaki, P.A. Bernstein, E.A. Brewer, M.J. Carey, S. Chaudhuri, A. Doan, D. Florescu, M.J. Franklin, H. Garcia-Molina, J. Gehrke, L. Gruenwald, L.M. Haas, A.Y. Halevy, J.M. Hellerstein, Y.E. Ioannidis, H.F. Korth, D. Kossmann, S. Madden, R. Magoulas, B.C. Ooi, T. O'Reilly, R. Ramakrishnan, S. Sarawagi, M. Stonebraker, A.S. Szalay, and G. Weikum The claremont report on database research Commun. ACM 52 6 2009 56 65
15. J. Brzezinski, C. Sobaniec, and D. Wawrzyniak Session guarantees to achieve pram consistency of replicated shared objects Parallel Processing and Applied Mathematics 2004 1 8
16. J. Brzezinski, A. Kobusinska, M. Szychowiak, Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee, in: Parallel and Distributed Processing Symposium, 2006, IPDPS 2006, 20th International, 2006, pp. 815.