From 4d54501b1d2a031fe85913181300b41181be047c Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Mon, 22 Aug 2016 16:12:14 -0700
Subject: [PATCH] Adding rollback/mismatch detection when updating last
 sequence number

---
 doc/iotcloud.tex | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index 1016f55..9d10557 100644
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -310,6 +310,15 @@ $MaxSMSeqN(SM_s)= s$ \textit{such that} $\tuple{s, id} \in SM_s
 \If{$s_t = \emptyset$}
 	\State $MS_s[id_s] = s_s$  \Comment{First occurrence}
 \Else
+	\If{$id_s = id_{self}$}
+		\If{$s_t \neq s_s$}\Comment{Check for mismatch on $s$}
+			\State \Call{Error}{'Mismatch on $s$ for $id_{self}$'}
+		\EndIf
+	\Else
+		\If{$s_t > s_s$}\Comment{Check for rollback on $s$}
+			\State \Call{Error}{'Rollback on $s$ for $id_s$'}
+		\EndIf
+	\EndIf
 	\State $MS_S[id_s] \gets max(s_t, s_s)$
 \EndIf
 \State \Return{$MS_s$}
-- 
2.34.1