Fixing case 2.2.1 that we store the collision winners, not all the rejected messages

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index ad52a697213b05a5b0f52519faac1913544858c9..3d71c11b136fc676bb96cafe2c35bfcc1ee4c3bd 100644 (file)
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -1040,13 +1040,23 @@ therefore the first one that $\mathsf{C}$ receives after $\mathsf{t}$. Therefore
 $\mathsf{C}$ could not have seen a message after $\mathsf{t}$ with sequence number less \r
 than $\mathsf{s_p}$. In the $\mathsf{PutDataEntries}$ subroutine, $\mathsf{J}$ adds every \r
 %TODO: Check with Thomas about this part\r
-rejected message to $\mathsf{CR(p)}$; so for every $\mathsf{s}$, $\mathsf{1 \leq s < |X|}$, \r
-the $\mathsf{s}$-th element of $\mathsf{X}$ will be recorded in the rejected message list\r
-$\mathsf{CR}$ of all further elements of $\mathsf{X}$; and every element of \r
-$\mathsf{X}$ will be recorded in $\mathsf{CR_C(p)}$. Since every rejected message in \r
-$\mathsf{CR(p)}$ will be in $\mathsf{CR_C(u)}$, ${r_1}$ will be recorded in \r
-$\mathsf{CR_C(p)}$. When $\mathsf{C}$ receives $\mathsf{u}$, $\mathsf{C}$ will throw \r
-an error from the match $\mathsf{\tuple{s_q+1, id_J}}$ in $\mathsf{CR_C(p)}$.\r
+%rejected message to $\mathsf{CR(p)}$; so for every $\mathsf{s}$, $\mathsf{1 \leq s < |X|}$, \r
+%the $\mathsf{s}$-th element of $\mathsf{X}$ will be recorded in the rejected message list\r
+%$\mathsf{CR}$ of all further elements of $\mathsf{X}$; and every element of \r
+%$\mathsf{X}$ will be recorded in $\mathsf{CR_C(p)}$. Since every rejected message in \r
+%$\mathsf{CR(p)}$ will be in $\mathsf{CR_C(u)}$, ${r_1}$ will be recorded in \r
+%$\mathsf{CR_C(p)}$. When $\mathsf{C}$ receives $\mathsf{u}$, $\mathsf{C}$ will throw \r
+%an error from the match $\mathsf{\tuple{s_q+1, id_J}}$ in $\mathsf{CR_C(p)}$.\r
+$\mathsf{cr}$ entry that contains sequence number $\mathsf{s}$ and machine ID \r
+$\mathsf{id}$ of the messsages that win in the collisions before $\mathsf{p}$ into \r
+$\mathsf{CR}$; $\mathsf{CR}$ keeps the collection of live $\mathsf{cr}$ entries, namely\r
+those which not all clients have seen. Hence, for every $\mathsf{s}$, $\mathsf{1 \leq s < |X|}$, \r
+the collision winner that has collided with $\mathsf{s}$-th element of $\mathsf{X}$ \r
+will be recorded in $\mathsf{CR}$. Since all the $\mathsf{cr}$ entries before \r
+$\mathsf{p}$ will also be seen when $\mathsf{u}$ is received, ${l_1}$ will be recorded \r
+in $\mathsf{CR_C}$ as the winner in the collision against ${r_1}$. When $\mathsf{C}$ \r
+receives $\mathsf{u}$, $\mathsf{C}$ will throw an error from the match \r
+$\mathsf{\tuple{s_q+1, id_K}}$ in $\mathsf{CR_C}$.\r
 \item Case 2.2.2.1: \r
 \end{itemize}\r
 \end{itemize}\r