Learning Path 9: Consistency

Material

Slides

9.0 Motivation

9.1. Consistency

9.2 Formal Specifications of Consistency Models

Chapter 5 of Principles of Eventual Consistency by Sebastian Burckhardt, Microsoft Research

9.3 Conflict-free Replicated Data Types (CRDTs)

Nuno Preguiça. Conflict-free Replicated Data Types: An Overview

9.4 Programming with CRDTs

Marc Shapiro: Living on the edge, safely

9.5. Thank you!

Exercise 9

(Recommended) Deadline: 14 July

Exercise 9 v2 Exercise 9 material v5

Further material