From: bdemsky <bdemsky@uci.edu>
Date: Mon, 11 Jul 2016 20:12:30 +0000 (-0700)
Subject: clean up some definitions plus get function
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5643597d7af0e3e1d46bf7ffb44d4f6c36431266;p=iotcloud.git

clean up some definitions plus get function
---

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index 4f59ad8..315b84e 100644
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -2,6 +2,7 @@
 \newcommand{\tuple}[1]{\ensuremath \langle #1 \rangle}
 \usepackage{color}
 \usepackage{amsthm}
+\usepackage{amsmath}
 \usepackage{algpseudocode}% http://ctan.org/pkg/algorithmicx
 \newtheorem{theorem}{Theorem}
 \newtheorem{defn}{Definition}
@@ -124,33 +125,18 @@ Client can make a request to resize the queue. This is done as a write that comb
 	(b) a request to the server
 
 \subsection{Server Algorithm}
-\textbf{Key-Value $\langle K,V \rangle$ Pair} \\
-$k \in K$ \\
-$v \in V$ \\
-$\langle k,v \rangle \in P \subseteq K \times V$ \\
-$s \in SN \subseteq P*$ \\
-$slot_s = \langle s,E( \langle k,v \rangle ) \rangle$ \\
-$SN = \{sn_1, sn_2, \dots, sn_n\}$ \\
-$Q = \{slot_{sn_1}, slot_{sn_2}, \dots, slot_{sn_n}\}$ \\
+$s \in SN$ is a sequence number\\
+$sv \in SV$ is a slot's value\\
+$slot_s = \tuple{s, sv} \in Q \subseteq SN \times SV$ \\
 
-\textbf{States} \\
-\textit{Q = queue of slots on server} \\
-\textit{SN = set of existing sequence numbers $\leftrightarrow$
-$SN = \{sn_1, sn_2, \dots, sn_n\}$} \\
+\textbf{State} \\
+\textit{Q = set of live slots on server} \\
 \textit{max = maximum number of slots (input only for resize message)} \\
 \textit{n = number of slots} \\
-\textit{d = distance between two subsequent $sn_i$, e.g. 1 for 1, 2, 3, 
-$\dots$} \\
 
 \begin{algorithmic}[1]
-\Function{Get}{$s,Data$}
-\If{$s \in SN$}
-	\State $Data \gets \{slot_{s}, \dots, slot_{sn_n}\} \forall $
-    $slot_i = \langle i,E( \langle k,v \rangle ) \rangle \in Q$
-\Else
-	\State $Data \gets \emptyset$
-\EndIf
-\State \Return{$Data$}
+\Function{Get}{$s'$}
+\State \Return{$\{\tuple{s, sv} \in Q \mid s \geq s'\}$}
 \EndFunction
 \end{algorithmic}