11
|
1 \chapter{xv6 の CbC への書き換え}
|
|
2 Gears OS をハードウェア上で実装するために、ARM\cite{arm} プロセッサを搭載したシングルボードコンピュータである Raspberry Pi\cite{rpi} 上で Gears OS 実装したい。
|
33
|
3 ハードウェア上でのメタレベルの計算や並列実行を行うために、Linax 等に比べてシンプルである xv6 の機能の一部を Gears OS に置き換えることで実現させる。
|
11
|
4 xv6 は UNIX V6 を x86 へ再実装したものであるが、
|
33
|
5 ここでは xv6 を Raspberry pi 用に移植した xv6\_rpi\cite{xv6rpi} を用いて実装する。
|
11
|
6
|
31
|
7 Xv6 は 2006 年に MIT のオペレーティングシステムコースで教育用の目的として開発されたオペレーティングシステムである。
|
|
8 Xv6 はプロセス、仮想メモリ、カーネルとユーザの分離、割り込み、ファイルシステムなどの基本的な Unix の構造を持つにも関わらず、
|
|
9 シンプルで学習しやすい。
|
|
10
|
33
|
11 \section{xv6 の構成要素}
|
31
|
12 xv6 はカーネルと呼ばれる形式をとっている。
|
|
13 カーネルは OS にとって中核となるプログラムである。
|
|
14 xv6 ではカーネルとユーザープログラムは分離されており、カーネルはプログラムにプロセス管理、メモリ管理、I/O やファイルの管理などのサービスを提供する。
|
|
15 ユーザープログラムがカーネルのサービスを呼び出す場合、システムコールを用いてユーザー空間からカーネル空間へ入りサービスを実行する。
|
|
16 カーネルは CPU のハードウェア保護機構を使用して、ユーザー空間で実行されているプロセスが自身のメモリのみアクセスできるように保護している。
|
|
17 ユーザープログラムがシステムコールを呼び出すと、ハードウェアが特権レベルを上げ、カーネルのプログラムが実行される。
|
|
18 この特権レベルを持つプロセッサの状態をカーネルモード、特権のない状態をユーザーモードという。
|
|
19
|
34
|
20 \subsection{システムコール}
|
|
21
|
|
22 ユーザープログラムがカーネルの提供するサービスを呼び出す際にはシステムコールを用いる。
|
|
23 ユーザープログラムがシステムコールを呼び出すと、トラップが発生する。
|
|
24 トラップが発生すると、ユーザープログラムは中断され、カーネルに切り替わり処理を行う。
|
35
|
25 ソースコード \ref{syscall_list} は xv6 のシステムコールのリストである。
|
34
|
26
|
35
|
27 \begin{lstlisting}[frame=lrbt,label=syscall_list,caption={\footnotesize xv6 のシステムコールのリスト}]
|
34
|
28 static int (*syscalls[])(void) = {
|
|
29 [SYS_fork] =sys_fork,
|
|
30 [SYS_exit] =sys_exit,
|
|
31 [SYS_wait] =sys_wait,
|
|
32 [SYS_pipe] =sys_pipe,
|
|
33 [SYS_read] =sys_read,
|
|
34 [SYS_kill] =sys_kill,
|
|
35 [SYS_exec] =sys_exec,
|
|
36 [SYS_fstat] =sys_fstat,
|
|
37 [SYS_chdir] =sys_chdir,
|
|
38 [SYS_dup] =sys_dup,
|
|
39 [SYS_getpid] =sys_getpid,
|
|
40 [SYS_sbrk] =sys_sbrk,
|
|
41 [SYS_sleep] =sys_sleep,
|
|
42 [SYS_uptime] =sys_uptime,
|
|
43 [SYS_open] =sys_open,
|
|
44 [SYS_write] =sys_write,
|
|
45 [SYS_mknod] =sys_mknod,
|
|
46 [SYS_unlink] =sys_unlink,
|
|
47 [SYS_link] =sys_link,
|
|
48 [SYS_mkdir] =sys_mkdir,
|
|
49 [SYS_close] =sys_close,
|
|
50 };
|
|
51 \end{lstlisting}
|
|
52
|
33
|
53 \subsection{プロセス}
|
31
|
54 プロセスとは、カーネルが実行するプログラムの単位である。
|
|
55 xv6 のプロセスは、ユーザー空間メモリとカーネル用のプロセスの状態を持つ空間で構成されている。
|
|
56 プロセスは独立しており、他のプロセスからメモリを破壊されたりすることはない。
|
|
57 また、独立していることでカーネルそのものを破壊することもない。
|
|
58 各プロセスの状態は struct proc によって管理されている。
|
|
59 プロセスは fork システムコールによって新たに生成される。
|
|
60 fork は新しく、親プロセスと呼ばれる呼び出し側と同じメモリ内容の、子プロセスと呼ばれるプロセスを生成する。
|
|
61 fork システムコールは、親プロセスであれば子プロセスのID、子プロセスであれば 0 を返す。
|
|
62 親プロセスと子プロセスは最初は同じ内容を持っているが、それぞれ異なるメモリ、レジスタで実行されているため、片方のメモリ内容を変更してももう片方に影響はない。
|
|
63 exit システムコールはプロセスの停止を行い、メモリを解放する。
|
|
64 wait システムコールは終了した子プロセスのIDを返す。子プロセスが終了するまで待つ。
|
|
65 exec システムコールは呼び出し元のプロセスのメモリをファイルシステムのファイルのメモリイメージと置き換え実行する。
|
|
66 ファイルには命令、データなどの配置が指定されたフォーマット通りになっていなければならない。
|
|
67 xv6 は ELF と呼ばれるフォーマットを扱う。
|
|
68
|
33
|
69 \subsection{ファイルディスクリプタ}
|
31
|
70 ファイルディスクリプタは、カーネルが管理するプロセスが読み書きを行うオブジェクトを表す整数値である。
|
|
71 プロセスは、ファイル、ディレクトリ、デバイスを開く、または既存のディスクリプタを複製することによって、
|
|
72 ファイルディスクリプタを取得する。
|
33
|
73 xv6 はプロセス毎にファイルディスクリプタのテーブルを持っている。
|
|
74 ファイルディスクリプタは普通、0 が標準入力、1 が標準出力、2 がエラー出力として使われる。
|
|
75 ファイルディスクリプタのテーブルのエントリを変更することで入出力先を変更することができる。
|
|
76 1 の標準出力を close し、ファイルを open することでプログラムはファイルに出力することになる。
|
|
77 ファイルディスクリプタはファイルがどのように接続するか隠すことでファイルへの入出力を容易にしている。
|
|
78
|
|
79 \subsection{ファイルシステム}
|
|
80 xv6 のファイルシステムはバイト配列であるデータファイルとデータファイルおよび他のディレクトリの参照を含むディレクトリを提供する。
|
|
81 ディレクトリは root と呼ばれる特別なディレクトリから始まるツリーを形成している。
|
|
82 絶対パスである "/dir1/dir2/file1" というパスは root ディレクトリ内の dir1 という名前のディレクトリ内の dir2 という名前のディレクトリ内の file というデータファイルを指す。
|
|
83 相対パスである "dir2/file2" のようなパスは、現在のディレクトリ内の dir2 という名前のディレクトリ内の file というデータファイルを指す。
|
|
84
|
14
|
85 \section{xv6-rpi の CbC 対応}
|
11
|
86
|
35
|
87 オリジナルの xv6 は x86 アーキテクチャで実装されたものだが、xv6-rpi は Raspberry Pi 用に実装されたものである。
|
11
|
88
|
|
89 xv6-rpi を CbC で書き換えるために、
|
35
|
90 GCC 上で実装した CbC コンパイラを ARM 向けに build し xv6-rpi をコンパイルした。
|
|
91 これにより、 xv6-rpi を CbC で書き換えることができるようになった。
|
|
92
|
|
93 ソースコード \ref{syscall} は syscall() におけるシステムコールの呼び出しを行うコードである。
|
|
94 システムコールはソースコード \ref{syscall_list} の関数のリストから呼び出される。
|
|
95 CbC でも同様に num で指定された番号の cbccodes のリストの Code Gear へ goto する。
|
|
96 引数に持つ cbc\_ret は 継続した先でトラップに戻ってくるための Code Gear である。
|
|
97
|
|
98 \begin{lstlisting}[frame=lrbt,label=syscall,caption={\footnotesize syscall()}]
|
|
99 if((num >= NELEM(syscalls)) && (num <= NELEM(cbccodes)) && cbccodes[num]) {
|
|
100 proc->cbc_arg.cbc_console_arg.num = num;
|
|
101 goto (cbccodes[num])(cbc_ret);
|
|
102 }
|
|
103
|
|
104
|
|
105 if((num > 0) && (num <= NELEM(syscalls)) && syscalls[num]) {
|
|
106 ret = syscalls[num]();
|
|
107
|
|
108 // in ARM, parameters to main (argc, argv) are passed in r0 and r1
|
|
109 // do not set the return value if it is SYS_exec (the user program
|
|
110 // anyway does not expect us to return anything).
|
|
111 if (num != SYS_exec) {
|
|
112 proc->tf->r0 = ret;
|
|
113 }
|
|
114 }
|
|
115 \end{lstlisting}
|
|
116
|
|
117
|
|
118
|
|
119
|
11
|
120
|
33
|
121
|
|
122
|
11
|
123 \section{システムコールの書き換え}
|
|
124
|