Collaborative offline web applications using conflict-free replicated data types

ABSTRACT

The use cases for Conflict-free Replicated Data Types (CRDTs) that are studied in the literature are limited to collaborative editing applications and data stores. The communication protocols used to distribute replica updates in these scenarios are usually assumed to be some form of highly scalable gossip protocol. In this paper, a new type of application for CRDTs is introduced and studied: collaborative offline web applications. We demonstrate the feasibility of CRDTs in this scenario, and analyze the trade-offs of three existing communication protocols that can be employed for these applications.

References

1. Google Drive. URL: https://www.google.com/drive/
2. Microsoft Office Online - Word, Excel, and PowerPoint on the web. URL: https://office.live.com/start/default.aspx
3. M. Ahmed-Nacer, P. Urso, V. Balegas, and N. Preguiça. Concurrency control and awareness support for multi-synchronous collaborative editing. In 2013 9th International Conference Conference on Collaborative Computing: Networking, Applications and Worksharing (Collaboratecom), pages 148--157.
4. Mehdi Ahmed-Nacer, Claudia-Lavinia Ignat, Gérald Oster, Hyun-Gul Roh, and Pascal Urso. Evaluating CRDTs for real-time document editing. In Proceedings of the 11th ACM Symposium on Document Engineering, DocEng '11, page 103112. ACM. 13.
5. Paulo Sérgio Almeida and Carlos Baquero. Scalable eventually consistent counters over unreliable networks. 0.
6. Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. Efficient state-based CRDTs by decomposition. In Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, PaPEC '14, page 3:13:2. ACM.
7. Khaled Aslan, Pascal Molli, Hala Skaf-Molli, and Stéphane Weiss. C-set: a commutative replicated data type for semantic stores. 9.
8. Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, and Sérgio Duarte. An optimized conflict-free replicated set.
9. Russell Brown, Sean Cribbs, Christopher Meiklejohn, and Sam Elliott. Riak DT map: A composable, convergent replicated dictionary. In Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, PaPEC '14, page 1:11:1. ACM.
10. A. Deftu and J. Griebsch. A scalable conflict-free replicated set data type. In 2013 IEEE 33rd International Conference on Distributed Computing Systems (ICDCS), pages 186--195.
11. P. Th. Eugster, R. Guerraoui, S. B. Handurukande, P. Kouznetsov, and A.-M. Kermarrec. Lightweight probabilistic broadcast. ACM Trans. Comput. Syst., 21(4): 341--374.
12. Dean Jacobs. Enterprise software as service. Queue, 3(6): 3642.
13. Eng Keong Lua, J. Crowcroft, M. Pias, R. Sharma, and S. Lim. A survey and comparison of peer-to-peer overlay network schemes. IEEE Communications Surveys Tutorials, 7(2): 72--93. 1287.
14. S. Martin, M. Ahmed-Nacer, and P. Urso. Controlled conflict resolution for replicated document. In 2012 8th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), pages 471--480.
15. Ahmed-Nacer Mehdi, Pascal Urso, Valter Balegas, and Nuno Preguiça. Merging OT and CRDT algorithms. In Proceedings of the First Workshop on Principles and Practice of Eventual Consistency, PaPEC '14, page 9:19:4. ACM.
16. David Mosberger. Memory consistency models. 27(1): 18--26.
17. Brice Nédelec, Pascal Molli, Achour Mostefaoui, and Emmanuel Desmontils. Concurrency effects over variable-size identifiers in distributed collaborative editing. In Proceedings of the International workshop on Document Changes: Modeling, Detection, Storage and Visualization, Florence, Italy, September 10, 2013, volume 1008, pages 0--7.
18. Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine. Data consistency for p2p collaborative editing. In Proceedings of the 2006 20th Anniversary Conference on Computer Supported Cooperative Work, CSCW '06, pages 259--268. ACM. 128.
19. N. Preguiça, J. M. Marques, M. Shapiro, and M. Letia. A commutative replicated data type for cooperative editing. In 29th IEEE International Conference on Distributed Computing Systems, 2009. ICDCS '09, pages 395--403. 18.
20. Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. Conflict-free replicated data types. In Xavier Dfago, Franck Petit, and Vincent Villain, editors, Stabilization, Safety, and Security of Distributed Systems, number 6976 in Lecture Notes in Computer Science, pages 386--400. Springer Berlin Heidelberg. 58.
21. Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski. A comprehensive study of convergent and commutative replicated data types. January 2011. 50.
22. Spyros Voulgaris, Márk Jelasity, and Maarten van Steen. A robust and scalable peer-to-peer gossiping protocol. In Gianluca Moro, Claudio Sartori, and Munindar P. Singh, editors, Agents and Peer-to-Peer Computing, number 2872 in Lecture Notes in Computer Science, pages 47--58. Springer Berlin Heidelberg.
23. S. Weiss, P. Urso, and P. Molli. Logoot-undo: Distributed collaborative editing system on p2p networks. IEEE Transactions on Parallel and Distributed Systems, 21(8): 1162--1174.
24. H. Zarzour, T. Abid, and M. Sellami. Conflict-free collaborative decision-making over mind-mapping. In 2014 Fourth International Conference on Advanced Computing Communication Technologies (ACCT), pages 509--515.

Index Terms

• Information systems

  • Information retrieval

  • Information storage systems

• Software and its engineering

  • Software notations and tools

    • General programming languages

      • Language features

        • Data types and structures

• Theory of computation

  • Models of computation

    • Concurrency

      • Parallel computing models