From 2a9048a1f87a2fcff1d9fcdd035108cec4b44a14 Mon Sep 17 00:00:00 2001 From: Aviral Goel Date: Mon, 19 Dec 2016 14:23:50 -0500 Subject: Added lattice diagram for the state based pn counter --- chapter/6/counters.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'chapter/6/counters.md') diff --git a/chapter/6/counters.md b/chapter/6/counters.md index a2709af..95b6c5d 100644 --- a/chapter/6/counters.md +++ b/chapter/6/counters.md @@ -299,8 +299,11 @@ The figure below shows an execution trace of three replicas confirming to this s State based increment and decrement counter (correct) -This design converges to the correct value. This provides us an eventually consistent state based increment and decrement counter. +This design converges to the correct value. This provides us an eventually consistent state based increment and decrement counter. You can take a look at the lattice to convince yourself. +
+ State based increment and decrement counter(correct) lattice +
## 3. References -- cgit v1.2.3