Force proof on failed write
authorbdemsky <bdemsky@uci.edu>
Wed, 29 Jun 2016 23:39:31 +0000 (16:39 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 29 Jun 2016 23:39:31 +0000 (16:39 -0700)
doc/iotcloud.tex

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