Mercurial > hg > Papers > 2019 > tobaru-sigos

comparison slide/sig-os2019.md @ 23:4f000f6f9fa4 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add figure meta data gear meta code gear
author tobaru
date Wed, 29 May 2019 18:03:39 +0900
parents a1e8e4702416
children
comparison
equal deleted inserted replaced
22:a1e8e4702416 23:4f000f6f9fa4
21 - Paging 21 - Paging
22 - Segmentation 22 - Segmentation
23 - GearsOS での Paging 23 - GearsOS での Paging
24 - User Space で Page Table を操作する利点 24 - User Space で Page Table を操作する利点
25 - Xv6からの書き換え 25 - Xv6からの書き換え
26
27
28
29
30 26
31 ## GearsOS 27 ## GearsOS
32 - 以下を目的として GearsOS を開発している 28 - 以下を目的として GearsOS を開発している
33 - 並列実行のサポート 29 - 並列実行のサポート
34 - 信頼性の保証 30 - 信頼性の保証
57 53
58 ## ノーマルレベルとメタレベル 54 ## ノーマルレベルとメタレベル
59 - ノーマルレベルからメタレベルへの変換は Perl による変換スクリプトで実装している。 55 - ノーマルレベルからメタレベルへの変換は Perl による変換スクリプトで実装している。
60 - Meta Code Gear は Code Gear の直前と直後に挿入し、メタ計算を行う。 56 - Meta Code Gear は Code Gear の直前と直後に挿入し、メタ計算を行う。
61 57
62 - 図: ノーマルレベルとメタレベルの継続の見え方 58 <div align="center"><img src="./images/meta_cg_dg.svg" style="center"></div>
63 59
64 ## Meta Compitation 60 ## Meta Compitation
65 - Gears OS では通常の処理を Compitation として扱う。 61 - Gears OS では通常の処理を Compitation として扱う。
66 - Compitation のための Compitation を Meta Compitation と呼ぶ。 62 - Compitation のための Compitation を Meta Compitation と呼ぶ。
67 - GearsOS では Meta Compitation を Meta Code Gear, Meta Data Gear で表現する。 63 - GearsOS では Meta Compitation を Meta Code Gear, Meta Data Gear で表現する。