Eventually Consistent Computations

Eventually Consistent Computations

React 2014; Lightning Talk

3e09fee7b359be847ed5fa48f524a3d3?s=128

Christopher Meiklejohn

November 18, 2014
Tweet

Transcript

  1. 14.

    semantic resolution “In all such systems, we find developers spend

    a significant fraction of their time building extremely complex and error-prone mechanisms to cope with eventual consistency and handle data that may be out of date.” “F1: A Distributed SQL Database That Scales” (VLDB 2013)
  2. 16.

    strong eventual consistency “Systems in which replica conflicts are impossible

    by design exhibit Strong Eventual Consistency (SEC).” - Wikipedia, ”Eventual Consistency”
  3. 23.

    the Constraint Store* σ P1 P2 Pn-1 Pn … *

    monotonic; single-assignment
  4. 24.

    the Constraint Store* σ P1 P2 Pn-1 Pn … *

    monotonic; single-assignment read(X) bind(X, 1)
  5. 25.

    the Constraint Store* σ P1 P2 Pn-1 Pn … *

    monotonic; lattice variables
  6. 26.

    the Constraint Store* σ P1 P2 Pn-1 Pn … *

    monotonic; lattice variables read(X) bind(X, 1) bind(X, 2) read(X, 2)
  7. 29.

    the Distribution Model 4 6 5 the Application 1 3

    2 read(X) bind(Y, 2) read(Y) bind(X, 1)
  8. 37.

    the Distribution Model 1 3 2 4 6 5 the

    Application 1 4 ⊕ 2 5
  9. 39.

    the Distribution Model 1 3 2 4 6 5 the

    Application 1 4 ⊕ 2 5 5 2 ⊔ ⊔
  10. 41.

    C1 C2 C3 S1 S2 M1 M2 M3 the Ad

    Counter the Diagram
  11. 42.

    C1 C2 C3 S1 S2 M1 M2 M3 view inc

    rem view view the Ad Counter the Diagram
  12. 44.
  13. 51.

    thanks peter Van Roy russell Brown marc Shapiro annette Bieniusa

    manuel Bravo jordan West sean Cribbs carlos Baquero nuno Preguica joao Leitao ryan Zezeski tom Santero peter Alvaro image credits: Wikipedia, “The Village (The Prisoner)” slides: https://speakerdeck.com/cmeiklejohn/eventually-consistent-computations prototype: https://github.com/cmeiklejohn/derflow