Rev 181 | Rev 183 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 181 | Rev 182 | ||
|---|---|---|---|
| Line 250... | Line 250... | ||
| 250 | \section{Analysis} |
250 | \section{Analysis} |
| 251 | \label{analysis} |
251 | \label{analysis} |
| 252 | |
252 | |
| 253 | \begin{figure}[t] |
253 | \begin{figure}[t] |
| 254 | \begin{center} |
254 | \begin{center} |
| 255 | \resizebox*{120mm}{!}{\includegraphics{diag}} |
255 | \resizebox*{125mm}{!}{\includegraphics{diag}} |
| 256 | \caption{Overview of the formalisms and tools proposed.} |
256 | \caption{Overview of the formalisms and tools proposed.} |
| 257 | \label{fig:diag} |
257 | \label{fig:diag} |
| 258 | \end{center} |
258 | \end{center} |
| 259 | \end{figure} |
259 | \end{figure} |
| 260 | |
260 | |
| Line 288... | Line 288... | ||
| 288 | \label{clang} |
288 | \label{clang} |
| 289 | The initial levels of abstraction do not go far from the C source code and common engineering |
289 | The initial levels of abstraction do not go far from the C source code and common engineering |
| 290 | approaches. First, we would certainly like to know whether our code base is compliant with the |
290 | approaches. First, we would certainly like to know whether our code base is compliant with the |
| 291 | programming language specification and passes only the basic semantic checks (proper number |
291 | programming language specification and passes only the basic semantic checks (proper number |
| 292 | and types of arguments passed to functions, etc.). It is perhaps not very surprising that |
292 | and types of arguments passed to functions, etc.). It is perhaps not very surprising that |
| 293 | these decisions can be make by any plain C compiler. However, with the current implementation |
293 | these decisions can be made by any plain C compiler. However, with the current implementation |
| 294 | of HelenOS even this is not quite trivial. |
294 | of HelenOS even this is not quite trivial. |
| 295 | |
295 | |
| 296 | Besides the requirement to support 7 hardware platforms, the system's compile-time configuration |
296 | Besides the requirement to support 7 hardware platforms, the system's compile-time configuration |
| 297 | can be also affected by approximately 65 configuration options, most of which are booleans, |
297 | can be also affected by approximately 65 configuration options, most of which are booleans, |
| 298 | the rest are enumerated types. |
298 | the rest are enumerated types. |