A scalable conflict-free replicated set data type

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2013, Pages 186-195

  Deftu, Andrei ^a   Griebsch, Jan ^a  

^a 1 and 1 Internet AG   (Germany)

Author keywords

data replication; distributed systems; eventual consistency

Indexed keywords

COMPLEX DATA STRUCTURES; DATA REPLICATION; DISTRIBUTED SYSTEMS; EVALUATION RESULTS; EVENTUAL CONSISTENCY; GARBAGE COLLECTION; REPLICA CONSISTENCY; SEQUENTIAL EXECUTION;

DISTRIBUTED COMPUTER SYSTEMS; HARDWARE;

ALGORITHMS;

EID: 84893248665     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCS.2013.10     Document Type: Conference Paper

References (27)

1. S. Gilbert and N. Lynch, "Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services," SIGACT News, vol. 33, no. 2, pp. 51-59, Jun. 2002.
2. W. Vogels, "Eventually consistent," ACM Queue, vol. 6, no. 6, pp. 14-19, 2008.
3. Y. Saito and M. Shapiro, "Optimistic replication," ACM Comput. Surv., vol. 37, no. 1, pp. 42-81, Mar. 2005.
4. D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer, and C. H. Hauser, "Managing update conflicts in bayou, a weakly connected replicated storage system," in Proceedings of the fifteenth ACM symposium on Operating systems principles, ser. SOSP '95. New York, NY, USA: ACM, 1995, pp. 172-182.
5. 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," in Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles, ser. SOSP '07. New York, NY, USA: ACM, 2007, pp. 205-220.
6. M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, "Conflictfree replicated data types," in Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems, ser. SSS'11. Berlin, Heidelberg: Springer-Verlag, 2011, pp. 386-400.
7. N. Preguica, J. M. Marques, M. Shapiro, and M. Letia, "A commutative replicated data type for cooperative editing," in Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems, ser. ICDCS '09. Washington, DC, USA: IEEE Computer Society, 2009, pp. 395-403.
8. A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, and D. Terry, "Epidemic algorithms for replicated database maintenance," in Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, ser. PODC '87. New York, NY, USA: ACM, 1987, pp. 1-12.
9. K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers, "Flexible update propagation for weakly consistent replication," in Proceedings of the sixteenth ACM symposium on Operating systems principles, ser. SOSP '97. New York, NY, USA: ACM, 1997, pp. 288-301.
10. B. A. Davey and H. A. Priestley, Introduction to Lattices and Order. Cambridge University Press, 1990.
11. M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, "A comprehensive study of Convergent and Commutative Replicated Data Types," INRIA, Research Report RR-7506, Jan. 2011.
12. D. S. Parker, G. J. Popek, G. Rudisin, A. Stoughton, B. J. Walker, E. Walton, J. M. Chow, D. Edwards, S. Kiser, and C. Kline, "Detection of mutual inconsistency in distributed systems," IEEE Trans. Softw. Eng., vol. 9, no. 3, pp. 240-247, May 1983.
13. P. S. Almeida, C. Baquero, and V. Fonte, "Interval tree clocks," in Proceedings of the 12th International Conference on Principles of Distributed Systems, ser. OPODIS '08. Berlin, Heidelberg: Springer-Verlag, 2008, pp. 259-274.
14. "Redis," http://www.redis.io, [A key-value store].
15. "Apache Cassandra," http://cassandra.apache.org, [A distributed structured key-value store].
16. "Jedis," https://github.com/xetorthio/jedis.
17. B. G. Lindsay, "Notes on distributed databases," IBM Research Laboratory, San Jose, NY, USA, IBM Research Report RJ2571(33471), Jul. 1979.
18. L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Commun. ACM, vol. 21, no. 7, pp. 558-565, Jul. 1978.
19. S. Qadeer, "Verifying sequential consistency on shared-memory multiprocessors by model checking," IEEE Trans. Parallel Distrib. Syst., vol. 14, no. 8, pp. 730-741, Aug. 2003.
20. D. Mosberger, "Memory consistency models," SIGOPS Oper. Syst. Rev., vol. 27, no. 1, pp. 18-26, Jan. 1993.
21. R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon, "Design and implementation or the sun network filesystem," 1985.
22. J. H. Howard, M. L. Kazar, S. G. Menees, D. A. Nichols, M. Satyanarayanan, R. N. Sidebotham, and M. J. West, "Scale and performance in a distributed file system," ACM Trans. Comput. Syst., vol. 6, no. 1, pp. 51-81, Feb. 1988.
23. C. Baquero and F. Moura, "Specification of convergent abstract data types for autonomous mobile computing," Departamento de Inforḿatica, Universidade do Minho, Tech. Rep., Oct. 1997.
24. N. Preguiça, M. Shapiro, and C. Matheson, "Semantics-based reconciliation for collaborative and mobile environments," in COOPIS, ser. Lecture notes in computer science, D. C. S. e. a. Robert Meersman, Zahir Tari, Ed., vol. 2888. Catania, Sicily, Italie: Springer, 2003, pp. 38-55.
25. G. T. Wuu and A. J. Bernstein, "Efficient solutions to the replicated log and dictionary problems," in Proceedings of the third annual ACM symposium on Principles of distributed computing, ser. PODC '84. New York, NY, USA: ACM, 1984, pp. 233-242.
26. "GitHub ericmoritz repository," https://github.com/ericmoritz/ crdt.
27. "GitHub dominictarr repository," https://github.com/ dominictarr/crdt.