.

[phd-thesis.git] / top / green.tex

diff --git a/top/green.tex b/top/green.tex
index 4fb209a..83734fe 100644 (file)
--- a/top/green.tex
+++ b/top/green.tex
@@ -2,16 +2,19 @@
 
 \input{subfilepreamble}
 
+\setcounter{chapter}{6}
+
 \begin{document}
 \input{subfileprefix}
-
 \chapter{Green computing with \texorpdfstring{\gls{MTASK}}{mTask}}%
 \label{chp:green_computing_mtask}
 \begin{chapterabstract}
-       This chapter demonstrate the energy saving features of \gls{MTASK}.
-       First it gives an overview of general green computing measures for edge devices.
-       Then \gls{MTASK}'s task scheduling is explained and it is shown how to customise it so suit the applications and energy needs.
-       Finally it shows how to use interrupts in \gls{MTASK} to reduce the need for polling.
+       \noindent This chapter demonstrate the energy saving features of \gls{MTASK} by
+       \begin{itemize}
+               \item giving an overview of general green computing measures for edge devices;
+               \item explaining \gls{MTASK}'s task scheduling, and it is shown how to customise it so suit the applications and energy needs;
+               \item showing how to use interrupts in \gls{MTASK} to reduce the need for polling.
+       \end{itemize}
 \end{chapterabstract}
 
 The edge layer of the \gls{IOT} contains small devices that sense and interact with the world and it is crucial to lower their energy consumption.
@@ -192,7 +195,7 @@ Evaluating a task earlier should not change its result but just consumes more en
 \end{equ}
 
 \subsubsection{Sequential combinators}
-For the step combinator (\cref{R:step})---and all other derived sequential combinators---the refresh rate of the left-hand side task is taken since that is the only task that is rewritten.
+For the step combinator (\cref{R:step})---and all other derived sequential combinators\nobreak---\nobreak\hskip0ptthe refresh rate of the left-hand side task is taken since that is the only task that is rewritten.
 Only after stepping, the combinator rewrites to the right-hand side.
 
 \subsubsection{Repeating combinators}
@@ -347,7 +350,7 @@ timedPulseNaive = declarePin D0 PMOutput \d0->
        }
 \end{lstClean}
 
-\section{Task scheduling in the \texorpdfstring{\gls{MTASK}}{mTask} engine}
+\section{Task scheduling in the \texorpdfstring{\gls{MTASK}}{mTask} engine}\label{sec:scheduling}
 The rewrite rates from the previous section only tell us how much the next evaluation of the task can be delayed.
 An \gls{IOT} edge devices executes multiple tasks may run interleaved.
 In addition, it has to communicate with a server to collect new tasks and updates of \glspl{SDS}.
@@ -584,5 +587,8 @@ Evaluating interrupt task node in the task tree is trivial because all of the wo
 The task emits the status of the pin as a stable value if the information in the task shows that it was triggered.
 Otherwise, no value is emitted.
 
+\section{Conclusion}
+\todo[inline]{Conclusion}
+
 \input{subfilepostamble}
 \end{document}