This Article 
 Bibliographic References 
 Add to: 
Overcoming CAP with Consistent Soft-State Replication
Feb. 2012 (vol. 45 no. 2)
pp. 50-58
Kenneth P. Birman, Cornell University
Daniel A. Freedman, Cornell University
Qi Huang, Cornell University
Patrick Dowell, Cornell University
New data-consistency models make it possible for cloud computing developers to replicate soft state without encountering the limitations associated with the CAP theorem.

1. E. Brewer, "Towards Robust Distributed Systems," Proc. 19th Ann. ACM Symp. Principles of Distributed Computing. (PODC 00), ACM, 2000, pp. 7-10.
2. S. Gilbert and N. Lynch, "Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services," ACM SIGACT News, June 2002, pp. 51-59.
3. D. Pritchett, "BASE: An Acid Alternative," ACM Queue, May/June 2008, pp. 48-55.
4. W. Vogels, "Eventually Consistent," ACM Queue, Oct. 2008, pp. 14-19.
5. G. DeCandia et al., "Dynamo: Amazon's Highly Available Key-Value Store," Proc. 21st ACM SIGOPS Symp. Operating Systems Principles (SOSP 07), ACM, 2007, pp. 205-220.
6. K. Birman, "History of the Virtual Synchrony Replication Model," Replication: Theory and Practice, LNCS 5959, Springer, 2010, pp. 91-120.
7. K.P. Birman, D. Malkhi, and R. van Renesse, Virtually Synchronous Methodology for Dynamic Service Replication, tech. report MSR-2010-151, Microsoft Research, 2010.
8. K. Birman and T. Joseph, "Exploiting Virtual Synchrony in Distributed Systems," Proc. 11th ACM Symp. Operating Systems Principles (SOSP 87), ACM, 1987, pp. 123-138.
9. L. Lamport, "Paxos Made Simple," ACM SIGACT News, Dec. 2008, pp. 51-58.
10. L. Lamport, "The Part-Time Parliament," ACM Trans. Computer Systems, May 1998, pp. 133-169.
11. R. van Renesse, F.B. Schneider, "Chain Replication for Supporting High Throughput and Availability," Proc. 6th Symp. Operating Systems Design & Implementation (OSDI 04), Usenix, 2004, pp. 7-7.
12. J. Gray et al., "The Dangers of Replication and a Solution," Proc. ACM SIGMOD Int'l Conf. Management of Data (SIGMOD 96), ACM, 1996, pp. 173-182.
13. H. Wada et al., "Data Consistency Properties and the Trade-offs in Commercial Cloud Storage: The Consumers' Perspective," Proc. 5th Biennial Conf. Innovative Data Systems Research (CIDR 11), ACM, 2011, pp. 134-143.
14. D. Kossman, "What Is New in the Cloud?" keynote presentation, 6th European Conf. Computer Systems (EuroSys 11), 2011; eurosys11-invited.pdf.
15. T. Kraska et al., "Consistency Rationing in the Cloud: Pay Only When It Matters," Proc. VLDB Endowment (VLDB 09), ACM, 2009, pp. 253-264.
16. M. Brantner et al., "Building a Database on S3," Proc. ACM SIGMOD Int'l Conf. Management of Data (SIGMOD 08), ACM, 2008, pp. 251-264.
17. D. Abadi, "Problems with CAP, and Yahoo's Little Known NoSQL System," blog; .
18. P.E. O'Neil, "The Escrow Transactional Method," ACM Trans. Database Systems, Dec. 1986, pp. 405-430.
19. B.F. Cooper et al., "PNUTS: Yahoo!'s Hosted Data Serving Platform," Proc. VLDB Endowment (VLDB 08), ACM, 2008, pp. 1277-1288.
20. H. Garcia-Molina and K. Salem, "Sagas," Proc. ACM SIGMOD Int'l Conf. Management of Data (SIGMOD 87), ACM, 1987, pp. 249-259.
21. S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," Proc. 19th ACM Symp. Operating Systems Principles (SOSP 03), ACM, 2003, pp. 29-43.
22. F. Chang et al., "Bigtable: A Distributed Storage System for Structured Data," Proc. 7th Usenix Symp. Operating Systems Design and Implementation (OSDI 06), Usenix, 2006, pp. 205-218.
23. F.P. Junqueira and B.C. Reed, "The Life and Times of a Zookeeper," Proc. 21st Ann. Symp. Parallelism in Algorithms and Architectures (SPAA 09), ACM, 2009, pp. 4-4.
24. P. Marandi, M. Primi, and F. Pedone, "High-Performance State-Machine Replication," Proc. IEEE/IFIP Int'l Conf. Dependable Systems and Networks (DSN 11), IEEE CS, 2011, pp. 454-465.
25. P.J. Marandi et al., "Ring-Paxos: A High-Throughput Atomic Broadcast Protocol," Proc. IEEE/IFIP Int'l Conf. Dependable Systems and Networks (DSN 10), IEEE CS, 2010, pp. 527-536.
26. W.J. Bolosky et al., "Paxos Replicated State Machines as the Basis of a High-Performance Data Store," Proc. 8th Usenix Symp. Networked Systems Design and Implementation (NSDI 11), Usenix, 2011, pp. 141-154.
27. Y. Vigfusson et al., "Dr. Multicast: Rx for Data Center Communication Scalability," Proc. 5th European Conf. Computer Systems (EuroSys 10), ACM, 2010, pp. 349-362.
28. K. Ostrowski, K. Birman, and D. Dolev, "QuickSilver Scalable Multicast (QSM)," Proc. 7th IEEE Ann. Int'l Symp. Network Computing and Applications (NCA 08), IEEE, 2008, pp. 9-18.

Index Terms:
CAP theorem, Isis², soft-state replication, cloud computing
Kenneth P. Birman, Daniel A. Freedman, Qi Huang, Patrick Dowell, "Overcoming CAP with Consistent Soft-State Replication," Computer, vol. 45, no. 2, pp. 50-58, Feb. 2012, doi:10.1109/MC.2011.387
Usage of this product signifies your acceptance of the Terms of Use.