From 3669079b028ba52769a2f1f90e49d392b3f596a0 Mon Sep 17 00:00:00 2001 From: thibauth Date: Fri, 22 Apr 2011 16:21:06 +0000 Subject: Peers now store the seeding phase duration git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@9 30fcff6e-8de6-41c7-acce-77ff6d1dd07b --- stage/article.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/stage/article.tex b/stage/article.tex index b373384..8e3df34 100644 --- a/stage/article.tex +++ b/stage/article.tex @@ -55,7 +55,7 @@ pulse during this phase, where: \begin{itemize} \item $i$ is the round number. \item \textsf{seed$^i$} is the seed of round $i$. - \item $T$ is the length of the seeding phase. + \item $T$ is the duration of the seeding phase. \item \textsf{S$^i_{pulse}$} is \textsf{sign($\langle$$i$, seed$^i$, $T$$\rangle$, KS$_{priv}$)}. \end{itemize} @@ -130,6 +130,7 @@ seed$^i$, $T$, S$^i_{seed}$)}}] let nreplies$^i$ = 0; let replies$^i$ = $\emptyset$; let included$^i$ = $\bot$; + let duration$^i$ = T; let phase$^i$ = SEEDING; end if \end{lstlisting} -- cgit v1.2.3-70-g09d2