From ff839b8e46204d9db9a098e76e24c99c07ee11de Mon Sep 17 00:00:00 2001 From: Ali Younis Date: Tue, 4 Oct 2016 12:39:05 -0700 Subject: [PATCH] Added to guarantees --- version2/doc/iotcloud.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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} -- 2.34.1