update, not working, commit before revamp thesis

diff --git a/pres.system.tex b/pres.system.tex
index 90c4c46..4c8b2fb 100644 (file)
--- a/pres.system.tex
+++ b/pres.system.tex
@@ -17,6 +17,7 @@
                        \item Interpreter on client
                        \item Server in iTasks with integration
                        \item No taskserver generation, onetime programming
                        \item Interpreter on client
                        \item Server in iTasks with integration
                        \item No taskserver generation, onetime programming

+                       \item Explicit SDS publishing

                \end{itemize}
        \end{block}
 \end{frame}
                \end{itemize}
        \end{block}
 \end{frame}


@@ -26,6 +27,7 @@
        \frametitle{Adding a View}
        \begin{lstlisting}
 :: ByteCode a p = BC (RWS () [BC] BCState ())
        \frametitle{Adding a View}
        \begin{lstlisting}
 :: ByteCode a p = BC (RWS () [BC] BCState ())

+:: BC           = BCNop | BCPush BCValue | ...

 :: BCValue      = E.e: BCValue e              & mTaskType, TC e
 :: BCShare      = { sdsi   :: Int, sdsval :: BCValue, sdsname :: String    }
 :: BCState      = { freshl :: Int, freshs :: Int,     sdss    :: [BCShare] }
 :: BCValue      = E.e: BCValue e              & mTaskType, TC e
 :: BCShare      = { sdsi   :: Int, sdsval :: BCValue, sdsname :: String    }
 :: BCState      = { freshl :: Int, freshs :: Int,     sdss    :: [BCShare] }


@@ -34,6 +36,52 @@ instance ByteCode arith, boolExpr, ...
        \end{lstlisting}
 \end{frame}
 
        \end{lstlisting}
 \end{frame}
 

+\begin{frame}[fragile]
+       \frametitle{Implementation}
+       \begin{itemize}
+               \item Writing instruction
+               \item Carrying state
+               \item Hand-crafted helpers
+       \end{itemize}
+       \begin{lstlisting}
+op2 :: (ByteCode a p1) (ByteCode a p2) BC -> ByteCode b Expr
+op2 (BC x) (BC y) bc = BC (x >>| y >>| tell [bc])
+
+tell2 :: [BC] -> (ByteCode a p)
+tell2 x = BC (tell x)
+
+instance arith ByteCode where
+       lit x = tell2 [BCPush (BCValue x)]
+       (+.) x y = op2 x y BCDiv
+       ...
+       \end{lstlisting}
+\end{frame}
+
+\begin{frame}[fragile]
+       \frametitle{Control flow}
+       \begin{itemize}
+               \item Use labels
+               \item Label resolving
+               \pause{}
+               \item Thus no reuse
+       \end{itemize}
+       \pause{}
+       \begin{lstlisting}
+:: BC = ... | BCLab Int | ...
+
+freshlabel = get >>= \st=:{freshl}->put {st & freshl=freshl+1} >>| pure freshl
+
+instance If ByteCode Stmt Stmt Stmt where If b t e = BCIfStmt b t e
+...
+BCIfStmt (BC b) (BC t) (BC e) = BC (
+       freshlabel >>= \else->freshlabel >>= \endif->
+       b >>| tell [BCJmpF else] >>|
+       t >>| tell [BCJmp endif, BCLab else] >>|
+       e >>| tell [BCLab endif]
+       )
+       \end{lstlisting}
+\end{frame}
+

 \begin{frame}[fragile]
        \frametitle{Functionality}
        \begin{block}{SDS scope and naming}
 \begin{frame}[fragile]
        \frametitle{Functionality}
        \begin{block}{SDS scope and naming}


@@ -41,6 +89,7 @@ instance ByteCode arith, boolExpr, ...
                        \item SDS is lost
                        \item State per device
                        \item Tasks are sent and gone
                        \item SDS is lost
                        \item State per device
                        \item Tasks are sent and gone

+                       \item Save bandwidth

                \end{itemize}
                \pause{}
                \begin{lstlisting}
                \end{itemize}
                \pause{}
                \begin{lstlisting}


@@ -48,10 +97,32 @@ class namedsds v where
        namedsds :: ((v t Upd) -> In (Named t String) (Main (v c s)))
                -> (Main (v c s)) | ...
 :: Named a b = Named infix 1 a b
        namedsds :: ((v t Upd) -> In (Named t String) (Main (v c s)))
                -> (Main (v c s)) | ...
 :: Named a b = Named infix 1 a b

+
+instance sdspub ByteCode where
+       pub (BC x) = BC (censor (\[BCSdsFetch s]->[BCSdsPublish s]) x)

                \end{lstlisting}
        \end{block}
 \end{frame}
 
                \end{lstlisting}
        \end{block}
 \end{frame}
 

+\begin{frame}[fragile]
+       \frametitle{Assignment}
+       \begin{lstlisting}
+instance sds ByteCode where
+       sds f = {main = BC (freshshare
+                       >>= \sdsi->pure {BCShare|sdsname="",sdsi=sdsi,sdsval=BCValue 0}
+                       >>= \sds->pure (f (tell2 [BCSdsFetch sds]))
+                       >>= \(v In bdy)->modify (addSDS sds v)
+                       >>| unBC (unMain bdy))
+               }
+
+instance assign ByteCode where
+       (=.) (BC v) (BC e) = BC (e >>| censor makeStore v)
+
+makeStore [BCSdsFetch i]    = [BCSdsStore i]
+makeStore [BCDigitalRead i] = [BCDigitalWrite i]
+makeStore [...]             = [...]
+       \end{lstlisting}
+\end{frame}

 \begin{frame}[fragile]
        \frametitle{Task scheduling}
        \begin{block}{Old}
 \begin{frame}[fragile]
        \frametitle{Task scheduling}
        \begin{block}{Old}


@@ -82,6 +153,22 @@ class retrn v where
        \end{block}
 \end{frame}
 
        \end{block}
 \end{frame}
 

+\subsection{Interpretation}
+\begin{frame}[fragile]
+       \frametitle{mTask implementation}
+       %TODO
+\end{frame}
+

 \subsection{Devices}
 \subsection{Devices}

+\begin{frame}
+       \frametitle{Devices}
+       \begin{itemize}
+               \item Standard C
+               \item Implement some classes in interface
+               \pause{}
+               \item How to handle termination
+       \end{itemize}
+\end{frame}
+

 \subsection{Server}
 \subsection{Examples}
 \subsection{Server}
 \subsection{Examples}