From: Ali Younis Date: Tue, 4 Oct 2016 19:39:05 +0000 (-0700) Subject: Added to guarantees X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ff839b8e46204d9db9a098e76e24c99c07ee11de;p=iotcloud.git Added to guarantees --- diff --git a/version2/doc/iotcloud.tex b/version2/doc/iotcloud.tex index 3acd7aa..ce1142f 100644 --- a/version2/doc/iotcloud.tex +++ b/version2/doc/iotcloud.tex @@ -286,7 +286,8 @@ Live Status of entries: \item No currently valid data can be lost by the system and go undetected. \item Devices can operate offline and re-sync with the system and get a consistent view of the system \item If the server tries to hold a device on an older version of the data structure, that device can eventually rejoin the main data structure without problems. - \item Devices that have a transaction aborted will be able to be notified about the abort indefinately (no time frame when notification must be accepted). + \item Devices that have a transaction aborted will be able to be notified about the abort indefinitely (no time frame when notification must be accepted). + \items Server cannot hold a device on an old version of the data structure and then move them to a newer version of the data structure without being detected (The server sequence numbers would reveal conflicts or gaps or both). \end{itemize}