]> rtime.felk.cvut.cz Git - pes-rpp/rpp-simulink.git/blobdiff - doc/rpp_simulink.tex
doc: Update the date of revision 0.7
[pes-rpp/rpp-simulink.git] / doc / rpp_simulink.tex
index 6621468f560f4ba0474324136b3bc9890f01d498..647e6217160cc139763c81219905d53ccc3a4d83 100644 (file)
@@ -10,6 +10,7 @@
 \usepackage{todonotes}
 \usepackage[backend=biber,style=alphabetic,sortcites=true]{biblatex}
 \usepackage{tabularx}
+\usepackage{textcomp}
 \addbibresource{rpp_simulink.bib}
 
 % header
@@ -165,6 +166,37 @@ Michal \textsc{Sojka}\\[\baselineskip]
            0.5.5 & 2015-08-27 & Sojka, Horn & rpp-lib: HAL merged into DRV
                                               layer, FreeRTOS upgraded to version 8.2.2.
            \\\hline
+
+           0.6 & 2015-09-03 & Sojka & Multi-rate models can be
+                                      compiled in multi-tasking mode
+                                      (see
+                                      sec.~\ref{sec-singlet-multit-modes}
+                                      and \ref{sec:mult-multi-thre}).
+                                      Added board init block (sec.
+                                      \ref{sec:block:sfunction_hydctr_init.c}).
+                                      Documented halcogen directory in
+                                      sec.~\ref{sec-rpp-lib-subdirectory-content-description}.
+           \\\hline
+
+           0.6a & 2015-09-11 & Sojka & Removed reference of
+                                       Simulink blocks that are not
+                                       part of Eaton distribution.
+           \\\hline
+
+           0.7 & 2015-10-05 & Sojka & Simulink GIO blocks
+                                      (sec.
+                                      \ref{sec:block:sfunction_gio_in.c},
+                                      \ref{sec:block:sfunction_gio_out.c})
+                                      have different parameters and
+                                      support certain SPI5 pins on the
+                                      tms570\_hydctr board. Parameters
+                                      of old GIO blocks are
+                                      automatically transformed to the
+                                      new ones.
+
+                                      Added section \ref{sec:board-init-hydctr}: ``Hydraulics controller
+                                      initialization demo''.
+           \\\hline
 \end{tabularx}
 
 \tableofcontents
@@ -355,17 +387,17 @@ be found in \texttt{$\langle$rpp\_lib$\rangle$/rpp/include/sys}
 folder.
 
 Large part of this layer was generated by the HalCoGen tool (see
-Section~\ref{sec-halcogen}).
+Section~\ref{sec-halcogen}). Some files were then modified by hand.
 
 \subsection{Drivers layer} 
 \label{sec-drivers-layer}
 The Drivers layer contains code for controlling the RPP peripherals.
 Typically, it contains code implementing IRQ handling, software
 queues, management threads, etc. The layer benefits from the lower
-layers thus it is not too low level, but still there are some
+layer thus it is not too low level, but still there are some
 peripherals like ADC, which need some special procedure for
 initialization and running, that would not be very intuitive for the
-user.
+typical end user.
 
 The source files can be found in
 \texttt{$\langle$rpp\_lib$\rangle$/rpp/src/drv} and the header files can
@@ -1207,7 +1239,19 @@ Section~\ref{sec-running-model-on-hw}.
      \item Solver: \emph{discrete}
      \item Fixed-step size: \emph{Sampling period in seconds. Minimum
          is 0.001.}
-        \item Tasking mode: \textit{SingleTasking}.
+        \item Tasking mode -- choose between the following:
+         \begin{compactitem}
+         \item \textit{Auto} selects SingleTasking modes for
+            single-rate model or MultiTasking mode for multi-rate
+            models. See Section \ref{sec-singlet-multit-modes}
+         \item \textit{SingleTasking} selects SingleTasking mode. See
+            Section \ref{sec-singlet-mode} for details.
+         \item \textit{MultiTasking} select MultiTasking mode. In
+            this mode \textit{Higher priority value indicates higher
+              task priority} should be checked. See Section
+            \ref{sec-multit-mode} for details.
+         \end{compactitem}
+
           \begin{figure}
                 \centering
                 \includegraphics[scale=.45]{images/simulink_solver.png}
@@ -1353,7 +1397,8 @@ The following are the development guidelines used for developing the RPP API:
 \begin{compactitem}
        \item User documentation should be placed in header files, not in source
 code, and should be Doxygen formatted using autobrief. Documentation for each
-function present is mandatory.
+function present is mandatory and must mention whether the function is
+thread safe or not.
        \item Function declarations in the headers files is for public functions
 only. Do not declare local/static/private functions in the header.
        \item Documentation in source code files should be non-doxygen formatted
@@ -1446,6 +1491,14 @@ This file is used by all applications that need to tun on the RPP
 board, including the Simulink models and test suite. It includes
 instructions for the CGT Linker about target memory layout and where
 to place various code sections.
+
+\item[halcogen/] HalCoGen project files for the supported boards and
+  scripts for automated conversion of HalCoGen-generated files for use
+  in rpp-lib.
+
+  Note: This is work in progress. Currently only ``pinmux'' files for
+  tms570\_hydctr board were produced by the scripts here.
+
 \item[os/] OS layers directory. See
   Section~\ref{sec-operating-system-layer} for more information about
   currently available operating system versions and
@@ -1648,7 +1701,7 @@ target, described in Chapter~\ref{chap-simulink-coder-target}, the
 template for generation of the \texttt{ert\_main.c} file, containing
 the main function, has to be modified to use proper functions for task
 creation, task timing and semaphores. The template is stored in
-\texttt{\repo/rpp/rpp/rpp\_srmain.tlc} file.
+\texttt{\repo/rpp/rpp/rpp\_mrmain.tlc} file.
 
 \chapter{Simulink Coder Target}
 \label{chap-simulink-coder-target}
@@ -1678,10 +1731,9 @@ board.
 
 \begin{itemize}
 \item Sampling frequencies up to 1\,kHz.
-\item Multi-rate models are executed in a single thread in
-  non-preemptive manner. Support for multi-threaded execution will be
-  available in the final version and will require careful audit of the
-  RPP library with respect to thread-safe code.
+\item Multi-rate models can be executed in a single or multiple OS
+  tasks. Multi-tasking mode allows high-rate tasks to preempt low-rate
+  tasks. See Section \ref{sec-singlet-multit-modes} for more details.
 \item No External mode support yet. We work on it.
 \item Custom compiler options, available via OPTS variable in
   \emph{Make command} at \emph{Code Generation} tab (see Figure
@@ -1790,6 +1842,41 @@ downloader.
        \item[rpp/rpp] Contains set of support script for the Code Generator.
 \end{description}
 
+\section{Tasking modes}
+\label{sec-singlet-multit-modes}
+
+This section describes two different modes (single- and multi-tasking)
+of how generated code of multi-rate models can be executed. Tasking
+mode can be selected for every model in the configuration dialog as
+described in Section \ref{sec-crating-new-model}.
+
+For single-rate models, the mode selection does not matter. For
+multi-rate models, the mode selection becomes important as it may
+influence certain system properties such as safety or performance.
+
+\subsection{SingleTasking mode}
+\label{sec-singlet-mode}
+In this mode all Simulink tasks, defined by their sampling rate, run
+in a single operating system task (thread). This means that the period
+of the highest rate Simulink task cannot be greater than the
+worst-case execution time of all Simulink tasks together. On the other
+hand, using this mode reduces the risk of failures caused by task
+synchronization errors, e.g. race conditions, deadlocks.
+
+\subsection{MultiTasking mode}
+\label{sec-multit-mode}
+
+In this mode every Simulink task, defined by its sampling rate, runs
+in its own operating system task (thread). Thread priorities are
+assigned based on task rates in such a way that tasks with higher
+rates can preempt tasks with lower rates. This means that the period
+of the fastest sampling rate is limited only by the execution time of
+this task and not of all the tasks in the system.
+
+This mode offers more efficient use of system resources (CPU) but
+there is a possibility of failures caused by task synchronization
+errors.
+
 \section{Block Library Overview}
 \label{sec-block-library-overview}
 The Simulink Block Library is a set of blocks that allows Simulink models to use
@@ -2406,13 +2493,13 @@ This demo will print \texttt{Hello Simulink} to the Serial Communication Interfa
 character per second. The output speed is driven by the Simulink model step which is set to one
 second.
 
-\subsection{Multi-rate single thread demo}
+\subsection{Multi-rate SingleTasking demo}
 \label{sec:mult-single-thre}
 
 \begin{figure}[H]\begin{center}
 \noindent
 \includegraphics[scale=.45]{images/demo_multirate_st.png}
-\caption{Multi-rate singlet hread Simulink demo for RPP.}
+\caption{Multi-rate SingleTasking Simulink demo for RPP.}
 \end{center}\end{figure}
 
 \textbf{Description:}
@@ -2421,7 +2508,7 @@ This demo will toggle LEDs on the Hercules Development Kit with
 different rate. This is implemented with multiple Simulink tasks, each
 running at different rate. In the generated code, these tasks are
 called from a singe thread and therefore no task can preempt another
-one.
+one. See Section \ref{sec-singlet-mode} for more details.
 
 The state of each LED is printed to the Serial Communication Interface
 (115200-8-N-1) when toggled.
@@ -2438,6 +2525,59 @@ The state of each LED is printed to the Serial Communication Interface
        \label{tab:multirate_st_led_desc}
 \end{center}
 
+\subsection{Multi-rate MultiTasking demo}
+\label{sec:mult-multi-thre}
+
+\begin{figure}[H]\begin{center}
+\noindent
+\includegraphics[scale=.45]{images/demo_multirate_mt.png}
+\caption{Multi-rate MultiTasking Simulink demo for RPP.}
+\label{fig:multitasking-demo}
+\end{center}\end{figure}
+
+\textbf{Description:}
+
+This demo toggles LEDs on the Hercules Development Kit with different
+rate (different colors in Figure~\ref{fig:multitasking-demo}). This is
+implemented with multiple Simulink tasks, each running at different
+rate. In the generated code, every subrate task runs in its own
+operating system thread. See Section \ref{sec-multit-mode} for more
+details.
+
+The state of each LED is also printed to the Serial Communication
+Interface (115200-8-N-1) when toggled.
+
+\begin{center}
+       \begin{tabular}{lll}
+    \rowcolor[gray]{0.9}
+               LED & pin & rate [s] \\
+               1 & NHET1\_25 & 0.3 \\
+               2 & NHET1\_05 & 0.5 \\
+               3 & NHET1\_00 & 1.0 \\
+       \end{tabular}
+       \captionof{table}{LEDs connection and rate}
+       \label{tab:multirate_mt_led_desc}
+\end{center}
+
+\subsection{Hydraulics controller initialization demo}
+\label{sec:board-init-hydctr}
+\begin{figure}[H]
+  \centering
+  \includegraphics[scale=0.45]{images/demo_board_init_hydctr.png}
+  \caption{board\_init\_hydctr demo}
+  \label{fig:board_init_hydctr}
+\end{figure}
+
+\paragraph{Description}
+
+This demo shows how to use the \emph{Board Init} block to initialize
+SPI devices on the Hydraulics Controller board. Additionally, it shows
+how to use unused SPI pins on the MCU as general-purpose IOs. If both
+Board Init and GIO SPI blocks are used together, care must be taken
+about the order in which the blocks are initialized. GIO blocks that
+represent SPI pins must be initialized \emph{after} the Board Init
+block. This can be ensured by giving the GIO blocks higher priority
+than the Board Init block.
 
 \chapter{Command line testing tool}
 \label{chap-rpp-test-software}