X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=mtaskext.bytecode.tex;h=833d96490b2eced1081539ab0b909c6905f6ba8c;hb=35a1897c4e5381ab975188e8e087ea1612e142dd;hp=887a6b56964f0d964d9867b4003934b42d0b4274;hpb=d66b8c6bae6fde77e7ba53759f862364a9505ace;p=msc-thesis1617.git diff --git a/mtaskext.bytecode.tex b/mtaskext.bytecode.tex index 887a6b5..833d964 100644 --- a/mtaskext.bytecode.tex +++ b/mtaskext.bytecode.tex @@ -171,12 +171,12 @@ instance noOp ByteCode where The semantics for the \gls{mTask}-\glspl{Task} bytecode view are different from the semantics of the \gls{C} view. \glspl{Task} in the \gls{C} view can start new \glspl{Task} or even start themselves to continue, while in the bytecode -view, \glspl{Task} run indefinitely, one-shot or on interrupt. To allow interval -and interrupt \glspl{Task} to terminate, a return instruction is added. This -class was not available in the original system and is thus added. It just -writes a single instruction so that the interpreter knows to stop execution. -Listing~\ref{lst:return} shows the classes and implementation for the return -expression. +view, \glspl{Task} run indefinitely, one-shot or on interrupt. To allow +interval and interrupt \glspl{Task} to terminate, a return instruction is +added. This class was not available in the original system and is thus added. +It just writes a single instruction so that the interpreter knows to stop +execution. Listing~\ref{lst:return} shows the classes and implementation for +the return expression. \begin{lstlisting}[label={lst:return},% caption={Bytecode view for the return instruction}]