Conflict resolution for eventual consistency Martin Kleppmann - - PowerPoint PPT Presentation

▶
conflict resolution for eventual consistency
SMART_READER_LITE
LIVE PREVIEW

Conflict resolution for eventual consistency Martin Kleppmann - - PowerPoint PPT Presentation

Sep 29, 2023 326 likes •1.38k views

Conflict resolution for eventual consistency Martin Kleppmann https://arxiv.org/abs/1608.03960 Demo References (1) 1. Carlos Baquero, Paulo Srgio Almeida, and Carl Lerche: The problem with embedded CRDT counters and a solution, at 2nd

slide-1
SLIDE 1

Conflict resolution for eventual consistency

Martin Kleppmann

slide-2
SLIDE 2
slide-3
SLIDE 3
slide-4
SLIDE 4
slide-5
SLIDE 5
slide-6
SLIDE 6
slide-7
SLIDE 7
slide-8
SLIDE 8
slide-9
SLIDE 9
slide-10
SLIDE 10
slide-11
SLIDE 11
slide-12
SLIDE 12
slide-13
SLIDE 13
slide-14
SLIDE 14
slide-15
SLIDE 15
slide-16
SLIDE 16
slide-17
SLIDE 17
slide-18
SLIDE 18
slide-19
SLIDE 19
slide-20
SLIDE 20
slide-21
SLIDE 21
slide-22
SLIDE 22
slide-23
SLIDE 23
slide-24
SLIDE 24
slide-25
SLIDE 25
slide-26
SLIDE 26
slide-27
SLIDE 27
slide-28
SLIDE 28
slide-29
SLIDE 29
slide-30
SLIDE 30
slide-31
SLIDE 31
slide-32
SLIDE 32
slide-33
SLIDE 33
slide-34
SLIDE 34
slide-35
SLIDE 35
slide-36
SLIDE 36
slide-37
SLIDE 37
slide-38
SLIDE 38
slide-39
SLIDE 39
slide-40
SLIDE 40
slide-41
SLIDE 41
slide-42
SLIDE 42
slide-43
SLIDE 43
slide-44
SLIDE 44
slide-45
SLIDE 45
slide-46
SLIDE 46
slide-47
SLIDE 47
slide-48
SLIDE 48

https://arxiv.org/abs/1608.03960

slide-49
SLIDE 49
slide-50
SLIDE 50
slide-51
SLIDE 51
slide-52
SLIDE 52

Demo

slide-53
SLIDE 53
slide-54
SLIDE 54
slide-55
SLIDE 55
slide-56
SLIDE 56
slide-57
SLIDE 57
slide-58
SLIDE 58
slide-59
SLIDE 59
slide-60
SLIDE 60
slide-61
SLIDE 61
slide-62
SLIDE 62
slide-63
SLIDE 63
slide-64
SLIDE 64
slide-65
SLIDE 65
slide-66
SLIDE 66
slide-67
SLIDE 67
slide-68
SLIDE 68
slide-69
SLIDE 69
slide-70
SLIDE 70
slide-71
SLIDE 71
slide-72
SLIDE 72
slide-73
SLIDE 73
slide-74
SLIDE 74
slide-75
SLIDE 75
slide-76
SLIDE 76
slide-77
SLIDE 77
slide-78
SLIDE 78
slide-79
SLIDE 79
slide-80
SLIDE 80
slide-81
SLIDE 81
slide-82
SLIDE 82
slide-83
SLIDE 83
slide-84
SLIDE 84
slide-85
SLIDE 85
slide-86
SLIDE 86
slide-87
SLIDE 87
slide-88
SLIDE 88
slide-89
SLIDE 89
slide-90
SLIDE 90
slide-91
SLIDE 91
slide-92
SLIDE 92
slide-93
SLIDE 93
slide-94
SLIDE 94
slide-95
SLIDE 95
slide-96
SLIDE 96
slide-97
SLIDE 97
slide-98
SLIDE 98
slide-99
SLIDE 99
slide-100
SLIDE 100

References (1)

  • 1. Carlos Baquero, Paulo Sérgio Almeida, and Carl Lerche: “The problem with embedded

CRDT counters and a solution,” at 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC), April 2016. http://haslab.uminho.pt/cbm/files/ abstractcounterpapocfinal.pdf

  • 2. Russell Brown: “A Bluffers Guide to CRDTs in Riak,” 28 October 2013. https://

gist.github.com/russelldb/f92f44bdfb619e089a4d

  • 3. John Day-Richter: “What’s different about the new Google Docs: Making collaboration

fast,” 23 September 2010. https://drive.googleblog.com/2010/09/whats-different-about-new- google-docs.html

  • 4. Clarence Ellis and S J Gibbs: “Concurrency Control in Groupware Systems,” at ACM

International Conference on Management of Data (SIGMOD), pages 399–407, May 1989. http://www-ihm.lri.fr/~mbl/ENS/CSCW/material/papers/Ellis-SIGMOD89.pdf

  • 5. Abdessamad Imine, Pascal Molli, Gérald Oster, and Michaël Rusinowitch: “Proving

Correctness of Transformation Functions in Real-Time Groupware,” at 8th European Conference on Computer-Supported Cooperative Work (ECSCW), pages 277–293, September

  • 2003. http://www.ecscw.org/2003/015Imine_ecscw03.pdf
  • 6. Martin Kleppmann and Alastair R Beresford: “A Conflict-Free Replicated JSON Datatype,”

arXiv:1608.03960, August 2016. http://arxiv.org/abs/1608.03960

slide-101
SLIDE 101

References (2)

  • 7. Brice Nédelec, Pascal Molli, Achour Mostefaoui, and Emmanuel Desmontils: “LSEQ: an

Adaptive Structure for Sequences in Distributed Collaborative Editing,” at 13th ACM Symposium on Document Engineering (DocEng), pages 37–46, September 2013. https:// hal.archives-ouvertes.fr/file/index/docid/921633/filename/fp025-nedelec.pdf

  • 8. David A Nichols, Pavel Curtis, Michael Dixon, and John Lamping: “High-Latency, Low-

Bandwidth Windowing in the Jupiter Collaboration System,” at 8th Annual ACM Symposium

  • n User Interface Software and

Technology (UIST), pages 111–120, November 1995. http:// www.lively-kernel.org/repository/webwerkstatt/projects/Collaboration/paper/Jupiter.pdf

  • 9. Gérald Oster, Pascal Urso, Pascal Molli, and Abdessamad Imine: “Data Consistency for P2P

Collaborative Editing,” at ACM Conference on Computer Supported Cooperative Work (CSCW), November 2006. https://hal.archives-ouvertes.fr/file/index/docid/108523/ filename/OsterCSCW06.pdf

  • 10. Nuno Preguiça, Joan Manuel Marquès, Marc Shapiro, and Mihai Letia: “A commutative

replicated data type for cooperative editing,” at 29th IEEE International Conference on Distributed Computing Systems (ICDCS), June 2009. https://hal.inria.fr/inria-00445975/ document

  • 11. Matthias Ressel, Doris Nitsche-Ruhland, and Rul Gunzenhäuer: “An Integrating,

Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors,” at ACM Conference on Computer Supported Cooperative Work (CSCW), pages 288–297, November 1996. https://pdfs.semanticscholar.org/ 6a31/3d12c90b01efae531e70f8d0cd1d1e8565ae.pdf

slide-102
SLIDE 102

References (3)

  • 12. Hyun-Gul Roh, Myeongjae Jeon, Jin-Soo Kim, and Joonwon Lee: “Replicated abstract data

types: Building blocks for collaborative applications,” Journal of Parallel and Distributed Computing, volume 71, number 3, March 2011. http://csl.skku.edu/papers/jpdc11.pdf

  • 13. Marc Shapiro, Nuno Preguiça, Carlos Baquero, and Marek Zawirski: “A comprehensive study
  • f Convergent and Commutative Replicated Data Types,” INRIA Research Report 7506,

January 2011. http://hal.inria.fr/inria-00555588/

  • 14. Daniel Spiewak: “Understanding and Applying Operational Transformation,” 17 May 2010.

http://www.codecommit.com/blog/java/understanding-and-applying-operational- transformation

  • 15. Chengzheng Sun and Clarence Ellis: “Operational Transformation in Real-Time Group

Editors: Issues, Algorithms, and Achievements,” at ACM Conference on Computer Supported Cooperative Work (CSCW), pages 59–68, November 1998. http://citeseerx.ist.psu.edu/ viewdoc/download?doi=10.1.1.53.933&rep=rep1&type=pdf

  • 16. Chengzheng Sun, Xiaohua Jia,

Yanchun Zhang, Yun Yang, and David Chen: “Achieving Convergence, Causality Preservation, and Intention Preservation in Real-Time Cooperative Editing Systems,” ACM Transactions on Computer-Human Interaction, 5(1), 1998. http:// salvin.jeancharles.free.fr/Documents/Projet%20-%20Boulot/NTU-Singapore/p63-sun.pdf

  • 17. Stéphane Weiss, Pascal Urso, and Pascal Molli: “Logoot-Undo: Distributed Collaborative

Editing System on P2P networks,” IEEE Transactions on Parallel and Distributed Systems, 21(8): 1162–1174, January 2010. https://www.researchgate.net/profile/Pascal_Urso/publication/ 233882440_Logoot-Undo_Distributed_Collaborative_Editing_System/links/ 0fcfd50c84f5194937000000.pdf

slide-103
SLIDE 103
slide-104
SLIDE 104