repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
.
[phd-thesis.git]
/
top
/
green.tex
diff --git
a/top/green.tex
b/top/green.tex
index
98f23cb
..
79843f2
100644
(file)
--- 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}
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{}{
\SetKwProg{Repeatt}{repeat}{}{end}
\KwData{queue = []\;}
\Begin{
\Repeatt{}{
- queue += communicateWithServer\;
+ time = currentTime()\;
+ queue += communicateWithServer()\;
stepped = []\tcp*{tasks stepped in this round}
stepped = []\tcp*{tasks stepped in this round}
- \While{
notEmpty(queue) $\wedge$ earliestDeadline(top(queue)) $\leq$ currentT
ime}{
+ \While{
$\neg$empty(queue) $\wedge$ earliestDeadline(top(queue)) $\leq$ t
ime}{
(task, queue) = pop(queue)\;
task2 = step(task)\tcp*{computes new execution interval}
(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\;
}
}
stepped += task2\;
}
}