|
0
|
1 # CbC による xv6 の FileSystem の書き換え
|
|
2
|
2 - 並列信頼研
|
|
0
|
3
|
|
2
|
4 - 坂本昂弘
|
|
0
|
5 ## 研究目的
|
|
|
6 - OSに対し高い信頼性を実現させたい
|
|
|
7
|
|
|
8 - そのために当研究室ではContinuation based C (CbC)を用いたGearsOSを設計中である
|
|
|
9
|
|
|
10 - 前段階としてシンプルであるが基本的な機能を揃えたOSであるxv6をCbCで書き換える
|
|
|
11
|
|
2
|
12 - xv6のFilleSystemをCbCで記述し、なるべく処理を細分化実装してやる
|
|
|
13
|
|
|
14 ---
|
|
|
15
|
|
|
16 # Continuation based C
|
|
|
17 - 状態遷移ベースで記述できる言語(以下CbC)
|
|
|
18 - C の関数呼び出しとは異なり、stack に値を積まない
|
|
|
19 - Code Gear
|
|
|
20 - 基本的な処理の単位
|
|
|
21 - goto 文で遷移する
|
|
|
22 - Data Gear
|
|
|
23 - Code Gear からアクセスできるデータの単位
|
|
|
24 - 引数など
|
|
|
25
|
|
|
26
|
|
|
27 ---
|
|
|
28 # Code Gear による継続
|
|
|
29 - Code Gear の処理の間を goto によって遷移していく
|
|
|
30 - __code CodeGear名 で定義
|
|
|
31 
|
|
|
32
|
|
|
33
|
|
|
34 ---
|
|
|
35
|
|
|
36 # Data Gear の受け渡し
|
|
|
37 - Code Gear からアクセスできるデータ
|
|
|
38 - Code Gear の計算の入力と、計算の出力が存在する
|
|
|
39
|
|
|
40 
|
|
|
41
|
|
|
42
|
|
|
43 ---
|
|
|
44
|
|
|
45 # Data Gear の一種であるContext
|
|
0
|
46
|
|
2
|
47 - Contextには実行するプログラムの全てのData Gear と Code Gear が登録されている
|
|
|
48 - ユーザープロセスに対応して1つのcontextが存在する
|
|
|
49 - CodeGearの入出力は、一度Contextに書き込まれる
|
|
|
50 - Contextは実行している処理の状態を保持している
|
|
|
51 - そのためContextを見れば、実行中の処理がわかる
|
|
|
52 
|
|
|
53
|
|
|
54 ---
|
|
|
55
|
|
|
56 # Xv6
|
|
|
57 - MIT の講義用教材として作られたOS
|
|
|
58 - xv6 は Unix の基本的な構造を持っている。
|
|
|
59 - プロセス
|
|
|
60 - 仮想メモリ
|
|
|
61 - ファイルシステム
|
|
|
62 - Xv6 をCbCで書き換える
|
|
0
|
63
|
|
2
|
64 ---
|
|
|
65
|
|
|
66 # Xv6のFileSystem
|
|
|
67 - FileSystem は コンピュータの資源を操作するための OS が持つ機能である
|
|
|
68 - xv6 の FileSystem は、デバイスやプロセス、カーネル内の処理をする際の情報などをファイルとして扱う
|
|
|
69 - inodeを用いファイルの管理や操作を行う
|
|
|
70 - inodeはディスク上にブロックを持つ木構造のデータ構造
|
|
|
71 ---
|
|
|
72
|
|
|
73 # Xv6の書き換え方針
|
|
|
74 - 段階的に書き換えていきたい
|
|
|
75 - FileSystem を書き換える理由
|
|
|
76 - FileSystem は状態が複雑に変化するため、信頼性を保証する必要がある
|
|
|
77 - インターフェースを定義、実装する
|
|
|
78 - 状態遷移ベースにしてやる
|
|
|
79
|
|
|
80 ---
|
|
0
|
81
|
|
2
|
82 # インターフェースの導入
|
|
|
83 - CbC のモジュール化の方法
|
|
|
84 - Javaのインターフェースと同様
|
|
|
85 - インターフェースによるメリット
|
|
|
86 - 複雑な状態の解消
|
|
|
87 - 入力の切り替えによる実装の入れ替え
|
|
|
88 - 実装は別で定義し、呼び出す
|
|
|
89 - 後ほど説明
|
|
|
90
|
|
|
91 ---
|
|
|
92
|
|
|
93 # インターフェースの定義
|
|
|
94 - Xv6 の FileSystem の インターフェース
|
|
|
95 - typedef struct の直後にインターフェース名(fs)を書く
|
|
|
96 - fs で使う Code Gear を登録する
|
|
|
97 - Code Gear は __code CodeGear名(引数); で記述する
|
|
|
98 - 引数が Data Gear に相当する
|
|
|
99 - 第1引数の Impl* fs がインターフェースの実装の型になる
|
|
|
100 - privateな実装側のヘッダーファイルも インターフェース と同じように用意する
|
|
|
101 ``` c
|
|
|
102 typedef struct fs<Type,Impl> {
|
|
|
103 __code readsb(Impl* fs, uint dev, struct superblock* sb, __code next(...));
|
|
|
104 __code iinit(Impl* fs, __code next(...));
|
|
|
105 __code ialloc(Impl* fs, uint dev, short type, __code next(...));
|
|
|
106 __code iupdate(Impl* fs, struct inode* ip, __code next(...));
|
|
|
107 __code idup(Impl* fs, struct inode* ip, __code next(...));
|
|
|
108 ....
|
|
|
109 } fs;
|
|
|
110 ```
|
|
|
111 ---
|
|
|
112
|
|
|
113
|
|
|
114 # インターフェース実装内の CbC
|
|
|
115 - for文やif文がある場合はさらに実装を分ける
|
|
|
116 - Basic Block をもとに状態遷移ベースで記述することを目標とする
|
|
|
117 - インターフェースは外から呼び出されるAPI
|
|
|
118 - それに対してインターフェースの実装の Code Gearから明示的に呼び出される Code Gearは、Java の private メソッドのように扱われる。
|
|
|
119 - 実際に書き換えた一部の例として fs.c の ialloc の実装を分けた記述を説明する
|
|
0
|
120
|
|
2
|
121 
|
|
|
122 ```clike
|
|
|
123 __code iallocfs_impl(struct fs_impl* fs, uint dev, short type, __code next(...)) {
|
|
|
124 goto allocinode(fs, dev, sb, next(...));
|
|
|
125 }
|
|
|
126 ```
|
|
|
127 - 関数が呼び出されるとprivate実装に遷移する
|
|
|
128
|
|
|
129 ---
|
|
|
130
|
|
|
131 # ialloc の CbCによる書き換え
|
|
|
132 - FileSystemの代表的なAPIであるiallocをCbCで書き直した
|
|
|
133 - ialloc
|
|
|
134 - inodeにi-numberという番号を割り当てている
|
|
0
|
135
|
|
2
|
136 ## 元ソースコード
|
|
|
137 - ialloc のソースコードの一部
|
|
|
138 - for文の中でif文の処理が行われ、複雑である
|
|
|
139 - for文とif文を切り分けてやる
|
|
|
140 ```clike
|
|
|
141 for (inum = 1; inum < sb.ninodes; inum++) {
|
|
|
142 bp = bread(dev, IBLOCK(inum));
|
|
|
143 dip = (struct dinode*) bp->data + inum % IPB;
|
|
0
|
144
|
|
2
|
145 if (dip->type == 0) {
|
|
|
146 memset(dip, 0, sizeof(*dip));
|
|
|
147 dip->type = type;
|
|
|
148 log_write(bp);
|
|
|
149 brelse(bp);
|
|
|
150 return iget(dev, inum);
|
|
|
151 }
|
|
|
152 ....
|
|
|
153 }
|
|
|
154 panic("ialloc: no inodes");
|
|
|
155
|
|
|
156 ```
|
|
|
157
|
|
|
158 ## iallocの処理の流れ
|
|
|
159 
|
|
|
160
|
|
|
161 ## CbCで書き換えたiallc
|
|
|
162 ### 書き換え前
|
|
|
163 - まずfor文のループするかどうか、条件を確認する
|
|
|
164 ```clike
|
|
|
165 for (inum = 1; inum < sb.ninodes; inum++) {
|
|
|
166 ....
|
|
0
|
167 }
|
|
|
168 ```
|
|
2
|
169 ### 書き換え後
|
|
|
170 - ループの条件に合うかどうかを確認するためのCodeGearに遷移する
|
|
|
171 ```clike
|
|
|
172 __code allocinode(struct fs_impl* fs_impl, uint dev, struct superblock* sb, __code next(...)){ //:skip
|
|
|
173 ....
|
|
|
174 goto allocinode_loopcheck(fs_impl, inum, dev, sb, bp, dip, next(...));
|
|
|
175 }
|
|
|
176 ```
|
|
|
177 - allocinode_loopcheckに遷移しループの条件の確認を行う
|
|
|
178 ```clike
|
|
|
179 __code allocinode_loopcheck(struct fs_impl* fs_impl, uint inum, uint dev, struct superblock* sb, struct buf* bp, struct dinode* dip, __code next(...)){ //:skip
|
|
|
180 if( inum < sb->ninodes){
|
|
|
181 goto allocinode_loop(fs_impl, inum, dev, type, sb, bp, dip, next(...));
|
|
|
182 }
|
|
|
183 ....
|
|
|
184 }
|
|
|
185 ```
|
|
|
186 - ループ文の条件に当てはまらなかった場合panicへ遷移し処理が終わる
|
|
|
187 ```clike
|
|
|
188 __code allocinode_loopcheck(struct fs_impl* fs_impl, uint inum, uint dev, struct superblock* sb, struct buf* bp, struct dinode* dip, __code next(...)){ //:skip
|
|
|
189 ....
|
|
|
190 char* msg = "failed allocinode...";
|
|
|
191 struct Err* err = createKernelError(&proc->cbc_context);
|
|
|
192 Gearef(cbc_context, Err)->msg = msg;
|
|
|
193 goto meta(cbc_context, err->panic);
|
|
|
194 }
|
|
|
195 ```
|
|
|
196 ### 書き換え前
|
|
|
197 - for文の中で処理が行われているif文
|
|
|
198 - ループを抜けるか確認
|
|
|
199 ```clike
|
|
|
200 if (dip->type == 0) {
|
|
|
201 ....
|
|
|
202 }
|
|
|
203 ```
|
|
|
204 ### 書き換え後
|
|
|
205 - ループから抜けるかどうかを確認する
|
|
|
206 - 抜ける場合はallocinode_noloopへ遷移する
|
|
|
207 ```clike
|
|
|
208 __code allocinode_loop(struct fs_impl* fs_impl, uint inum, uint dev, short type, struct superblock* sb, struct buf* bp, struct dinode* dip, __code next(...)){ //:skip
|
|
|
209 ....
|
|
|
210 if(dip->type = 0){
|
|
|
211 goto allocinode_noloop(fs_impl, inum, dev, sb, bp, dip, next(...));
|
|
|
212 }
|
|
|
213 ....
|
|
|
214 }
|
|
|
215 ```
|
|
|
216 - ループから抜けなかった場合
|
|
|
217 - inumの値をインクリメント
|
|
|
218 - 再びallocinode_loopcheckへと遷移する
|
|
|
219 ```clike
|
|
|
220 __code allocinode_loop(struct fs_impl* fs_impl, uint inum, uint dev, short type, struct superblock* sb, struct buf* bp, struct dinode* dip, __code next(...)){ //:skip
|
|
|
221 ....
|
|
|
222 inum++;
|
|
|
223 goto allocinode_loopcheck(fs_impl, inum, dev, type, sb, bp, dip, next(...));
|
|
|
224 }
|
|
|
225 ```
|
|
|
226 ### 書き換え前
|
|
|
227 - 処理が抜けた場合
|
|
|
228 - 変更された値などを更新
|
|
|
229 - logに書き込んでやり保持していた値解放
|
|
|
230 - returnでigetを返し終了
|
|
|
231 ```clike
|
|
|
232 memset(dip, 0, sizeof(*dip));
|
|
|
233 dip->type = type;
|
|
|
234 log_write(bp);
|
|
|
235 brelse(bp);
|
|
|
236 return iget(dev, inum);
|
|
|
237 ```
|
|
|
238 ### 書き換え後
|
|
|
239 - 処理を抜けた場合allocinode_noloopへ遷移
|
|
|
240 - 処理を行い値を返し終了
|
|
|
241 ```clike
|
|
|
242 __code allocinode_noloop(struct fs_impl* fs_impl, uint inum, uint dev, short type, struct superblock* sb, struct buf* bp, struct dinode* dip, __code next(int ret, ...)){ //:skip
|
|
|
243 memset(dip, 0, sizeof(*dip));
|
|
|
244 dip->type = type;
|
|
|
245 log_write(bp);
|
|
|
246 brelse(bp);
|
|
|
247 ret = iget(dev, inum);
|
|
|
248 goto next(ret, ...);
|
|
|
249 }
|
|
0
|
250
|
|
|
251 ```
|
|
|
252
|
|
2
|
253 ---
|
|
|
254 # 書き換えの評価
|
|
|
255 - 今回はfor文やif文がある場合切り出してやり、Basic Block 単位に書き換えることができた
|
|
|
256 - Basic Block 単位に書き換えたことによって、組み合わせを変え処理の改善などに利用可能
|
|
0
|
257
|
|
|
258
|
|
|
259 ## まとめと今後の方針
|
|
2
|
260 - OS 内部で CbC インターフェースを扱えるようになった
|
|
|
261 - CbC の書き換えが完了すれば、継続の入力と出力を検査することで OS の信頼性を保証したり、インターフェースの実装の入れ替えが可能になり拡張性が実現可能
|
|
|
262 - デバックをまだ行っていないため正常に動くかどうか確認することが求められる
|
|
|
263
|
|
|
264
|
|
|
265
|
