X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fgreen.tex;h=83734feab61bcd3d79d848be19f4e4a653d70cc0;hb=48685f7c608c566a9b6935e02e39196dea783b4c;hp=4fb209a2ce853291c667cb4cf16eccd515c87492;hpb=4e17593a20e8c3af4c82a0b14bc648ddc180c25d;p=phd-thesis.git

diff --git a/top/green.tex b/top/green.tex
index 4fb209a..83734fe 100644
--- 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}