From: bdemsky <bdemsky@uci.edu>
Date: Wed, 29 Jun 2016 23:39:31 +0000 (-0700)
Subject: Force proof on failed write
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=080ae95b19635e6be2eb3001d0d6b642ab8edd4c;p=iotcloud.git

Force proof on failed write
---

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index 1d4e556..b4dd588 100644
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -76,7 +76,8 @@ entries or all newer data entries.
 \paragraph{Writes:}
 Client sends slot, server verifies that sequence number is valid,
 checks entry hash, and replies with an accept message if all checks
-pass.  On success, client updates its sequence number.
+pass.  On success, client updates its sequence number.  On failure,
+server sends updates slots to client and client validates those slots.
 
 \paragraph{Local state on each client:}
 A list of machines and the corresponding latest sequence numbers