Mercurial > hg > Papers > 2020 > menikon-thesis

comparison final_sub/utf8.tex @ 12:996a70147cb0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author menikon
date Tue, 11 Feb 2020 04:51:05 +0900
parents 102c40310142
children a03d74165189
comparison
equal deleted inserted replaced
11:53114bdcb0c3 12:996a70147cb0
90 \end{figure} 90 \end{figure}
91 91
92 \section{CbCのInterface} 92 \section{CbCのInterface}
93 先述した通り, CbCのInterface は Gears OS のモジュール化の仕組みである. Interface は呼び出しの引数になる Data Gear の集合であり，そこで呼び出される Code Gear のエントリである.呼び出される Code Gear の引数となる Data Gear はここで 全て定義される. Interface を定義することで複数の実装を持つことができる.このInterfaceは,JavaのInterfaceやHaskellの型クラスに対応し,導入することで仕様と実装に分けて記述することが出来る. 93 先述した通り, CbCのInterface は Gears OS のモジュール化の仕組みである. Interface は呼び出しの引数になる Data Gear の集合であり，そこで呼び出される Code Gear のエントリである.呼び出される Code Gear の引数となる Data Gear はここで 全て定義される. Interface を定義することで複数の実装を持つことができる.このInterfaceは,JavaのInterfaceやHaskellの型クラスに対応し,導入することで仕様と実装に分けて記述することが出来る.
94 94
95 \section{xv6 の FileSystem}
96
97 \section{CbC による xv6 FileSystem の書き換え}
98
99 \section{まとめと今後の課題}
95 100
96 \thispagestyle{fancy} 101 \thispagestyle{fancy}
97 %\begin{thebibliography}{9} 102 %\begin{thebibliography}{9}
98 103
99 \nocite{*} 104 \nocite{*}