5 \item New backend for mTask
6 \item Bytecode generation
7 \item Interpreter on client
9 \item Integration with iTasks
14 \subsection{Extending mTask
}
15 \begin{frame
}[fragile
]
16 \frametitle{Adding a View
}
18 :: ByteCode a p = BC (RWS ()
[BC
] BCState ())
19 :: BCValue = E.e: BCValue e & mTaskType, TC e
20 :: BCShare =
{ sdsi :: Int, sdsval :: BCValue, sdsname :: String
}
21 :: BCState =
{ freshl :: Int, freshs :: Int, sdss ::
[BCShare
] }
23 instance ByteCode arith, boolExpr, ...
27 \begin{frame
}[fragile
]
28 \frametitle{Functionality
}
29 \begin{block
}{SDS scope and naming
}
32 \item State per device
33 \item Tasks are sent and gone
37 class namedsds v where
38 namedsds :: ((v t Upd) -> In (Named t String) (Main (v c s)))
39 -> (Main (v c s)) | ...
40 :: Named a b = Named infix
1 a b
45 \begin{frame
}[fragile
]
46 \frametitle{Task scheduling
}
50 \item Tasks start other tasks
56 \item Old system, taskserver, tasks start tasks
57 \item New system, task+strategy
62 \item \CI{OnInterrupt
}
65 \item How to handle termination