#7 Paul Osman on CRDTs - Commutative Replicated Data Types

This is a past event

29 people went

Location image of event venue


Important: unfortunately the elevator at the Shopify office is out of service for repairs, and we are on the fourth floor. If you need any assistance getting up the stairs, please call or message the phone number that I'll leave on signage in the front lobby!


Paul (https://twitter.com/paulosman) will be presenting CRDTs: Consistency without concurrency control (http://pagesperso-systeme.lip6.fr/Marc.Shapiro/papers/RR-6956.pdf) by Mihai Letia, Nuno Preguica and Marc Shapiro. He’ll walk through the paper and demonstrate some practical use cases for CRDTs.


In this paper, Marc Shapiro et al describe CRDTs. A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, the authors exhibit a non-trivial CRDT: a shared edit buffer called Treedoc. They outline the design, implementation and performance of Treedoc. They discuss how the CRDT concept can be generalised, and its limitations.

Paper Link: http://pagesperso-systeme.lip6.fr/Marc.Shapiro/papers/RR-6956.pdf

Doors open at 6:30 pm, presentation will begin at 7:00 pm. There will be food and refreshments provided by Shopify.


Paul Osman ( https://twitter.com/paulosman ) is the Platform Engineering Manager at PagerDuty (https://pagerduty.com (https://pagerduty.com/)). Even though he’s paid to manage people, he still enjoys writing software and thinking about hard technical problems. He has a particular interest in distributed systems and building scalable infrastructure. When he’s not doing stuff with computers, he’s usually cycling, traveling, buying too many records or watching football (NFL, not CFL. Come on now).