annotate paper/abstract.tex @ 22:d5f62ca8d3e9

update
author mir3636
date Sun, 03 Feb 2019 03:55:49 +0900 (2019-02-02)
parents 11ddab4e5b07
children 75efd3df0c7e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
1 %OS研究会のまま、要相談
3
mir3636
parents: 1
diff changeset
2 %これ俺のも par goto 書くの?
0
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
3 \chapter*{要旨}
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
4 現代の OS では拡張性と信頼性を両立させることが要求されている。
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
5 信頼性をノーマルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Gears OS を設計中である。
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
6
3
mir3636
parents: 1
diff changeset
7 Gears OS は Continuation based C (CbC) によってアプリケーションと OS そのものを記述する。
mir3636
parents: 1
diff changeset
8 OS の下ではプログラムの記述は通常の処理の他に、メモリ管理、スレッドの待ち合わせやネットワークの管理、
mir3636
parents: 1
diff changeset
9 エラーハンドリング等の記述しなければならない処理が存在する。
mir3636
parents: 1
diff changeset
10 これらの計算をメタ計算と呼ぶ。
mir3636
parents: 1
diff changeset
11 メタ計算を通常の計算から切り離して記述するために、Code Gear、Data Gear という単位を提案している。
0
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
12 CbC はこの Code Gear と Data Gear の単位でプログラムを記述する。
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
13
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
14 システムやアプリケーションを記述するためにCode Gear と Data Gear を柔軟に再利用する必要がある。
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
15 このときに機能を接続するAPIと実装の分離が可能であることが望ましい。
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
16 Gears OS の信頼性を保証するために、形式化されたモジュールシステムを提供する必要がある。
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
17
12
mir3636
parents: 3
diff changeset
18 本論文では、Interface を用いたモジュールシステムの説明と、
mir3636
parents: 3
diff changeset
19 ハードウェア上でメタレベルの処理、および並列実行を可能とするために、
3
mir3636
parents: 1
diff changeset
20 Raspberry Pi 上での Gears OS の実装についての考察も行う。
mir3636
parents: 1
diff changeset
21
0
e8e6cd60b9b3 add file
mir3636
parents:
diff changeset
22 \chapter*{Abstract}
1
9100f20b8797 copy mitsuki-sigos
mir3636
parents: 0
diff changeset
23 %英語論文