Mercurial > hg > Papers > 2021 > anatofuz-master

annotate paper/chapter/06-evaluation.tex @ 90:a93c2401753b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
s/for/as/
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Fri, 05 Feb 2021 17:45:51 +0900
parents 26c9cd7b9b21
children 4232c9dc1431
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
60
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \chapter{評価}
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
70
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
3 \section{GearsOSの構文作製}
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
4 GearsOSで使われるInterface、およびそのImplementの型定義ファイルを導入した。
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
5 GearsOSでプログラミングする際に通常のC言語やJavaなどの言語の様に、まず型を作成してからプログラミングすることが可能になった。
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
6
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
7 ただし現状のGearsOSでは1ファイルに1つの型定義しかできない。
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
8 アプリケーションとしてGearsOSを動かす現在の例題ではそこまで問題になっていない。
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
9 しかし、CbC xv6などの実用的なアプリケーションを実装する場合は、ファイルの数が莫大になる可能性がある。
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
10 1ファイル内で様々な型が定義可能になれば、 より見通しの良いプログラミングが可能であると考えられる。
60
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 \section{GearsOSのトランスコンパイラ}
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
70
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
14 \section{GearsOSのメタ計算}