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 Explicit SDS publishing
                \end{itemize}
        \end{block}
 \end{frame}
@@ -26,6 +27,7 @@
        \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] }
@@ -34,6 +36,52 @@ instance ByteCode arith, boolExpr, ...
        \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}
@@ -41,6 +89,7 @@ instance ByteCode arith, boolExpr, ...
                        \item SDS is lost
                        \item State per device
                        \item Tasks are sent and gone
+                       \item Save bandwidth
                \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
+
+instance sdspub ByteCode where
+       pub (BC x) = BC (censor (\[BCSdsFetch s]->[BCSdsPublish s]) x)
                \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}
@@ -82,6 +153,22 @@ class retrn v where
        \end{block}
 \end{frame}
 
+\subsection{Interpretation}
+\begin{frame}[fragile]
+       \frametitle{mTask implementation}
+       %TODO
+\end{frame}
+
 \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}