|
146
|
1 ---
|
|
|
2 marp: true
|
|
|
3 title: GearsOSのメタ計算
|
|
|
4 paginate: true
|
|
|
5 ---
|
|
|
6
|
|
|
7
|
|
|
8 # GearsOSのメタ計算
|
|
|
9
|
|
|
10 - 清水 隆博
|
|
|
11 - 琉球大学理工学研究科
|
|
|
12 - 198584B
|
|
|
13 - 河野研
|
|
|
14 - [修論本体](http://www.cr.ie.u-ryukyu.ac.jp/hg/Papers/2021/anatofuz-master/raw-file/tip/paper/master_paper.pdf)
|
|
|
15 - [修論審査スライド](http://www.cr.ie.u-ryukyu.ac.jp/hg/Papers/2021/anatofuz-master/raw-file/tip/slide/index.html)
|
|
|
16
|
|
147
|
17 ---
|
|
|
18 # ノーマル、メタレベルの計算とGearsOS
|
|
|
19 - ノーマル/メタレベルを一貫して記述できる言語にContinuation Based Cがある
|
|
|
20 - CbCを用いてGearsOSを開発している
|
|
|
21 - GearsOSではメタ計算の生成にトランスパイラを使っている
|
|
|
22 - トランスパイラとはコードからコードを生成する処理系のこと
|
|
|
23 - 生成しなければならないメタ計算の量が多いため、自動的に生成する
|
|
|
24 - CMakeとPerlでビルド時にノーマルレベルのコードをメタレベルに変換する
|
|
|
25 - ノーマルレベルで書いた記述がそのままコンパイルされる訳ではない
|
|
|
26
|
|
148
|
27 ---
|
|
|
28 # ノーマルレベル/メタレベルのCodeGear
|
|
|
29
|
|
|
30 - ノーマルレベルのCodeGearから見ると、直接別のCodeGearに継続している
|
|
|
31 - 実際はCodeGearの実行の前後にメタレベルの計算をするCodeGearが実行される
|
|
|
32 - メタレベルの計算をするCodeGearをMetaCodeGearと呼ぶ
|
|
|
33
|
|
|
34 
|
|
|
35
|
|
|
36 ---
|
|
|
37 # GearsOSのシステム構成
|
|
|
38 - MetaDataGearであるContext, TaskManager, Workerによって構成
|
|
|
39
|
|
|
40 
|
|
|
41
|
|
147
|
42
|
|
|
43 ---
|
|
|
44 # GearsOSのビルドシステム
|
|
|
45 - CMakeとPerlを使ってビルドする
|
|
|
46 - CMakeはMakefileやbuild.ninjaを生成する
|
|
|
47 - Perlは2種類のスクリプトが自動的に呼ばれる
|
|
|
48 - Perlによってコード変換・ファイル生成が行われた後にコンパイルが走る
|
|
|
49 - Perlの実行前はノーマルレベルだけのコード、実行後はメタが入る
|
|
|
50
|
|
|
51 
|
|
|
52
|
|
146
|
53
|
|
|
54
|
|
|
55 ---
|
|
|
56
|
|
|
57 # Context
|
|
|
58 - 従来のOSのプロセスに相当するMetaDataGear
|
|
|
59 - GearsOSでのプログラム実行に必要な情報を持っている
|
|
|
60 - DataGearの型定義
|
|
|
61 - CodeGearの名前とStubCodeGearへの対応
|
|
|
62 - goto時に引数を書き込むDataGearごとの場所
|
|
|
63 - DataGearを管理するヒープ情報
|
|
|
64 ---
|
|
|
65 # Context
|
|
|
66 - GearsOSでcontextを触るのはメタ計算部分だけ
|
|
|
67 - ノーマルレベルではcontextに触れない
|
|
|
68 - 従来は手書きでcontext.hの中で定義
|
|
|
69 - Context自体は構造体で定義されている
|
|
|
70 
|
|
|
71
|
|
|
72
|
|
|
73 ---
|
|
|
74 # メタレベルでのDataGearの管理
|
|
|
75 - メタレベルではDataGearを纏めて管理する必要がある
|
|
|
76 - すべてのDataGearはCの共用体を使って定義される
|
|
|
77 - `union Data`型
|
|
|
78 - `union Data`はすべてのDataGearにキャストすることが可能
|
|
|
79 - Contextには`union Data`としてDataGearを保存する
|
|
|
80 - メタレベルの計算では必ずこの`union Data`が利用される
|
|
|
81
|
|
|
82 ```c
|
|
|
83 union Data {
|
|
|
84 struct Stack {
|
|
|
85 ...
|
|
|
86 } Stack;
|
|
|
87 struct SingleLinkedStack {
|
|
|
88 ...
|
|
|
89 } SingleLinkedStack;
|
|
|
90 struct Context Context;
|
|
|
91 ...
|
|
|
92 }
|
|
|
93 ```
|
|
|
94
|
|
|
95 ---
|
|
|
96 # union Dataの定義
|
|
|
97
|
|
|
98 - union Data型はcontext.hに定義されている
|
|
|
99 - 計算で使うすべてのDataGearの構造体の定義を列挙する
|
|
|
100 - 従来は手書きですべて記述
|
|
|
101 - Intefaceの定義を書き、CbCを書き、context.hに追記...
|
|
|
102 - 手書きで生成していたので、いくつかの問題があった
|
|
|
103 - 整理しないと計算に使わないDataGearの定義が残る
|
|
|
104 - Interfaceの定義ファイルと食い違うケースがある
|
|
|
105 - DataGearの数が増えると手書きするのが煩雑
|
|
|
106 - すべてのメタレベルの計算の元となる重要なデータ
|
|
|
107 - 手書きの場合ミスが発生する可能性が高い
|
|
|
108
|
|
|
109
|
|
|
110
|
|
|
111
|
|
|
112 ---
|
|
|
113 # メタレベルに変換されたGearsOSの実装
|
|
|
114 - ノーマルレベルのCodeGearの継続は、contextとCodeGearの番号のみ指定する
|
|
|
115 - 次の継続を番号で指定する
|
|
|
116 - 次の継続への引数も値をcontextに書き込むように変更される
|
|
|
117
|
|
|
118 - CodeGearの継続は直接行かず、MetaCodeGearを経由して継続する
|
|
|
119 - 呼び出したいCodeGearはMetaCodeGearが番号から取り出す
|
|
|
120 - アドレスを直接使うのはメタ計算のみ
|
|
|
121 - 各CodeGearはContextのみ持ち歩き、入力はStubCodeGearから与えられる
|
|
|
122
|
|
|
123 ---
|
|
|
124 # CodeGear、DataGearの番号
|
|
|
125 - Perlで変換するとCodeGear/DataGear番号の形に抽象化される
|
|
|
126 - 番号から具体的なCodeGear/DataGearを取り出すのはメタレベル
|
|
|
127 - `goto meta`でcontextからCodeGearの取り出し
|
|
|
128 - StubCodeGearでcotnextからDataGearの取り出し
|
|
|
129
|
|
|
130 ---
|
|
|
131 # CodeGearの番号
|
|
|
132 - ビルドするCbCファイルをPerlで解析し、`__code`を数え上げる
|
|
|
133 - 連番でenumを生成する
|
|
|
134 - Contextの中にCodeGearの配列がある
|
|
|
135 - StubCodeGearへの参照が含まれている
|
|
|
136
|
|
|
137 ```c
|
|
|
138 enum Code {
|
|
|
139 C_checkAndSetAtomicReference,
|
|
|
140 C_clearSingleLinkedStack,
|
|
|
141 C_clearSynchronizedQueue,
|
|
|
142 C_createTask,
|
|
|
143 C_decrementTaskCountTaskManagerImpl,
|
|
|
144 C_exit_code,
|
|
|
145 C_get2SingleLinkedStack,
|
|
|
146 ...
|
|
|
147 };
|
|
|
148 ```
|
|
|
149 ---
|
|
|
150 # DataGearの番号
|
|
|
151 - union Dataで定義されている構造体一覧からPerlで生成される
|
|
|
152 - context.hの内容に依存する
|
|
|
153
|
|
|
154 ```c
|
|
|
155 enum DataType {
|
|
|
156 D_Code,
|
|
|
157 D_Atomic,
|
|
|
158 D_AtomicReference,
|
|
|
159 D_CPUWorker,
|
|
|
160 D_Context,
|
|
|
161 D_Element,
|
|
|
162 ...
|
|
|
163 };
|
|
|
164 ```
|
|
|
165
|
|
|
166 ---
|
|
|
167 # StubCodeGear
|
|
|
168 - DataGearにアクセスするにはContextから番号を指定して行う
|
|
|
169 - メタレベルのCodeGearは引数はContextのみになっている
|
|
|
170 - CodeGearの引数に指定していたものは、ContextからMetaCodeGearで取り出す必要がある
|
|
|
171 - StubCodeGearはCodeGearの直前に実行されて、DataGearをContextから取得する
|
|
|
172
|
|
|
173
|
|
|
174 
|
|
|
175
|
|
|
176
|
|
|
177 ---
|
|
|
178 # GearsOSの新機能
|
|
|
179 - **自由なMetaCodeGearの作製、継続の入れ替え機能**
|
|
|
180 - Perlトランスパイラの変換ルーチンのデバッグ機能の追加
|
|
|
181 - トランスパイラそのもののデバッグが困難であった
|
|
|
182 - ジェネリクスのサポート
|
|
|
183
|
|
|
184 ---
|
|
|
185 # メタ計算の切り替えAPI
|
|
|
186 - 通常だとCodeGearの実行後、`goto meta`に継続するようにPerlで変換される
|
|
|
187 - 継続するMetaCodeGearを自由に選択したい
|
|
|
188 ```c
|
|
|
189 __code thinkingPhilsImpl(struct Context *context,struct PhilsImpl* phils,
|
|
|
190 struct Fork* fork, enum Code next) {
|
|
|
191 printf("%d: thinking\n", phils->self);
|
|
|
192 goto meta(context, C_pickup_lforkPhilsImpl);
|
|
|
193 }
|
|
|
194 ```
|
|
|
195
|
|
|
196 - 例えばモデル検査用のMetaCodeGear(`mcMeta`)にgotoさせたい
|
|
|
197
|
|
|
198 ```c
|
|
|
199 __code thinkingPhilsImpl(struct Context *context,struct PhilsImpl* phils,
|
|
|
200 struct Fork* fork, enum Code next) {
|
|
|
201 printf("%d: thinking\n", phils->self);
|
|
|
202 goto mcMeta(context, C_pickup_lforkPhilsImpl);
|
|
|
203 }
|
|
|
204 ```
|
|
|
205
|
|
|
206
|
|
|
207 ---
|
|
|
208 # mta.pm
|
|
|
209 - CodeGearが継続するMetaCodeGearを自由に選択できるPerlモジュールを導入した
|
|
|
210 - APIに沿ってPerlモジュールを書くことで特定のCodeGearの継続先を変更可能
|
|
|
211 - Perlトランスパイラがコード変換時に自動ロードして実行する
|
|
|
212 
|
|
|
213
|
|
|
214
|
|
|
215
|
|
|
216 ---
|
|
|
217 # meta.pm
|
|
|
218
|
|
|
219 - `replaceMeta`関数に置換対象と生成する`goto`の組をリストで登録
|
|
|
220 - `qr//`に正規表現リテラルで置換対象のCodeGearの名前を指定
|
|
|
221 - `=>`の先に対応するgoto文の生成関数を指定する
|
|
|
222 - この例では`PhilsImpl`が名前についているCodeGearが一括で`goto mcMeta`になる
|
|
|
223
|
|
|
224 ```perl
|
|
|
225 package meta;
|
|
|
226
|
|
|
227 sub replaceMeta {
|
|
|
228 return (
|
|
|
229 [qr/PhilsImpl/ => \&generateMcMeta],
|
|
|
230 );
|
|
|
231 }
|
|
|
232
|
|
|
233 sub generateMcMeta {
|
|
|
234 my ($context, $next) = @_;
|
|
|
235 return "goto mcMeta($context, $next);";
|
|
|
236 }
|
|
|
237 ```
|
|
|
238
|
|
|
239
|
|
|
240
|
|
|
241 ---
|
|
|
242 # 今後の課題
|
|
|
243 - Perlトランスパイラのリファクタリング・GearsOSのビルド方法の見直し
|
|
|
244 - 機能が充実したが複雑度が全体的に増してしまった
|
|
|
245 - PerlトランスパイラのGearsOS本体への組み込み
|
|
|
246 - Perlトランスパイラが行っている処理はリンカ、ローダーに近い
|
|
|
247 - OSが機能としてサポートしていてほしい
|
|
|
248 - GearsOS自身で記述したい
|
|
|
249 - xv6への組み込み
|
|
|
250 - GearsOSを既存のUNIXの置き換えとして実行したい
|
|
|
251 - ノーマルレベルの記述の純粋関数化、別の言語での定義
|
|
|
252 - CbC/Cベースの記述ではノーマルレベルの記述に限界がある
|
|
|
253 - Perlトランスパイラの機能をさらに拡張すると、PerlでCbCコンパイラを実装することに近くなってしまう
|
|
|
254 ---
|
|
|
255 # まとめ
|
|
|
256 - Perlトランスパイラのフレームワークの機能を充実させた
|
|
|
257 - Interfaceシステムを改良した
|
|
|
258 - 型定義ファイルの導入を行った
|
|
|
259 - 定義方法に一貫性が出た
|
|
|
260 - Perlトランスパイラで警告を発生させるようになった
|
|
|
261 - 従来手書きしていたメタな定義をビルド時に自動的に生成するようにした
|
|
|
262 - 煩雑な処理や手で実装することによるバグの混入を回避
|
|
|
263 - MetaCodeGearの制御をユーザー側で行えるようにした
|
|
|
264 - モデル検査をメタ計算として自在に組み込むことが可能となった
|
|
|
265
|
