From c701de5fbdb875ad9c2257f6fb54ebc8f7805d77 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 17 May 2017 14:34:51 +0200 Subject: [PATCH] add bit about communication --- methods.arch.tex | 30 ++++++++++++++++++++++++++++++ thesis.tex | 9 +++++---- 2 files changed, 35 insertions(+), 4 deletions(-) diff --git a/methods.arch.tex b/methods.arch.tex index b556398..cd9918d 100644 --- a/methods.arch.tex +++ b/methods.arch.tex @@ -55,3 +55,33 @@ of. The exact specification is listed in Listing~\ref{lst:devicespec} \todo{Explain specification, combine task and share space} \subsection{Communication} +The communication to and fro a device runs via a single \gls{SDS}. Every +device has a specific resource that is used to connect to the device. The +current system supports connecting devices via a serial connection and via a +\gls{TCP} connection. Every device has the type \CI{MTaskDevice} and which +is listed in Listing~\ref{lst:mtaskdevice}. When a device is added a background +task is started that runs the \CI{synFun}. The \CI{synFun} is the task that +synchronizes the channel \gls{SDS} with the actual device. For the \gls{TCP} +device this is a simple \CI{tcpconnect}. The \CI{TaskId} of the background task +is saved to be able to stop the task in the future. When the task is unable to +connect it will set the \CI{deviceError} field to notify the user. +\todo{netter maken} + +\begin{lstlisting}[language=Clean,caption={Device type},label={lst:mtaskdevice}] +:: Channels :== ([MTaskMSGRecv], [MTaskMSGSend], Bool) +:: MTaskResource + = TCPDevice TCPSettings + | SerialDevice TTYSettings +:: MTaskDevice = + { deviceTask :: Maybe TaskId + , deviceError :: Maybe String + , deviceChannels :: String + , deviceName :: String + , deviceTasks :: [MTaskTask] + , deviceData :: MTaskResource + , deviceSpec :: Maybe MTaskDeviceSpec + } + +class MTaskDuplex a where + synFun :: a (Shared Channels) -> Task () +\end{lstlisting} diff --git a/thesis.tex b/thesis.tex index d6f9973..eb150e9 100644 --- a/thesis.tex +++ b/thesis.tex @@ -12,6 +12,7 @@ \newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine} \newacronym{LTN}{LTN}{Low Throughput Network} \newacronym{IDE}{IDE}{Integrated Development Environment} +\newacronym{TCP}{TCP}{Transmission Control Protocol} \newglossaryentry{Clean}{name=Clean, description={is a pure lazy functional programming language based on graph rewriting}} @@ -57,7 +58,7 @@ \tableofcontents \mainmatter{} -\glsresetall +\glsresetall{} \chapter{Introduction}\label{chp:introduction} \input{introduction.tex} @@ -77,8 +78,8 @@ \chapter{Device client interface}\label{app:device-interface} \input{appendix-device-interface.tex} -\cleardoublepage -\phantomsection +\cleardoublepage{} +\phantomsection{} \addcontentsline{toc}{chapter}{List of \ldots} \begingroup \let\clearpage\relax @@ -87,7 +88,7 @@ \lstlistoflistings{} \endgroup -\cleardoublepage +\cleardoublepage{} \addcontentsline{toc}{chapter}{Glossaries \& Acronyms} \begingroup -- 2.20.1