X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fgreen.tex;h=79843f2204745d5977c97315e222f79a18b485c5;hb=d6c8d6cbc9c88d449ac784eda20a213fd6b46669;hp=98f23cb448b7990b830cc70714784bf0a1a78be9;hpb=a4bb863836abcafe5b813b14233a24228dc4198e;p=phd-thesis.git

diff --git a/top/green.tex b/top/green.tex
index 98f23cb..79843f2 100644
--- a/top/green.tex
+++ b/top/green.tex
@@ -398,17 +398,18 @@ Executed tasks are temporarily stored in the \cleaninline{stepped} set instead o
 A task that produces a stable value is completed and is not queued again.
 
 \begin{algorithm}
-\DontPrintSemicolon
+%\DontPrintSemicolon
 \SetKwProg{Repeatt}{repeat}{}{end}
 \KwData{queue = []\;}
 \Begin{
 	\Repeatt{}{
-		queue += communicateWithServer\;
+		time = currentTime()\;
+		queue += communicateWithServer()\;
 		stepped = []\tcp*{tasks stepped in this round}
-		\While{notEmpty(queue) $\wedge$ earliestDeadline(top(queue)) $\leq$ currentTime}{
+		\While{$\neg$empty(queue) $\wedge$ earliestDeadline(top(queue)) $\leq$ time}{
 			(task, queue) = pop(queue)\;
 			task2 = step(task)\tcp*{computes new execution interval}
-			\If{$\neg$ isStable(task2)\tcp*{not finished after step}}{
+			\If(\tcp*[f]{not finished after step}){$\neg$ isStable(task2)}{
 				stepped += task2\;
 			}
 		}