view final_main/chapter5.tex @ 15:c8adccdd011a

add src and slide
author menikon
date Wed, 12 Feb 2020 11:28:11 +0900
parents 14feebd2285c
children b67e4c9f0374
line wrap: on
line source

\chapter{CbCによるFileSystemの書き換え}
\section{書き換え方針}
%xv6 を CbC で書き換え、Gears OS の機能と置き換えることで Gears OS に OS の基本構造を持たせたい。
%このためには xv6 をモジュール化することで、xv6 の機能を明らかにする必要がある。
%xv6 の Interface を定義し、Gears OS の機能をこれに合わせることによって実現したい。

%\newpage
\section{FileSystem の Interface の定義(fs.dg)}
\begin{figure}[ht]
     \begin{center}
     \includegraphics[width=100mm]{fig/fsInterface.pdf}
     \end{center}
     \caption{xv6 FileSystem の Interface と実装}
    \label{fig:fsfilesystem}
\end{figure}

%\newpage
FileSystem の Interface を記述したコードをソースコード\ref{fs_interface}に示す。

\lstinputlisting[label=fs_interface,  caption=FileSystem の Interface]{src/fs.dg}

\section{FileSystem の Interface の実装(fs\_impl.cbc)}

\lstinputlisting[label=fs_interface_impl,  caption=FileSystem の Interface の実装]{src/fs_impl1.cbc}