The task combinator \cleaninline{rpeat} restarts the child task in the evaluation if the previous produced a stable result.
However, in some cases it is desirable to postpone the restart of the child.
For this, the \cleaninline{rpeatEvery} task is introduced which receives an extra argument, the refresh rate, as shown in \cref{lst:rpeatevery}.
-Instead of immediately restarting the child once it yields a stable value, it checks whether the lower bound of the provided timing interval has passed since the start of the task.\footnotemark{}
+Instead of immediately restarting the child once it yields a stable value, it checks whether the lower bound of the provided timing interval has passed since the start of the task\footnotemark.
\footnotetext{In reality, it also compensates for time drift by taking into account the upper bound of the timing interval.
If the task takes longer to stabilise than the upper bound of the timing interval, this upper bound is taken as the start of the task instead of the actual start.}
repositories / phd-thesis.git / blobdiff