Mercurial > hg > Papers > 2018 > parusu-master
changeset 69:14909ebbfacd
Update Todo
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 08 Feb 2018 18:27:56 +0900 |
parents | d7e887a8cdd1 |
children | cfd50f91bf0a |
files | paper/gearsOS.tex paper/interface.tex |
diffstat | 2 files changed, 5 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/gearsOS.tex Thu Feb 08 16:44:30 2018 +0900 +++ b/paper/gearsOS.tex Thu Feb 08 18:27:56 2018 +0900 @@ -1,3 +1,6 @@ +%TODO stub のこうで書きすぎ +% context と stub はジェネラルな紹介だけ + \chapter{Gears OS の概念} Gears OS は信頼性をノーマルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に開発している OSである。
--- a/paper/interface.tex Thu Feb 08 16:44:30 2018 +0900 +++ b/paper/interface.tex Thu Feb 08 18:27:56 2018 +0900 @@ -16,7 +16,8 @@ % Interface 抜きのプログラミングも可能だが, 通常な言語だとアセンブラで書いてるような感覚(決まった位置にデータを書き出す) % Interface はコールフレームの性質を持っている(入出力に使われている変数はInterface で定義する必要がある) % 図のput の位置を直す - +% Context and stub の詳細な説明はここに書く +% stub の説明は スクリプトによる goto の変換後 \chapter{Gears OS のモジュール化} Gears OS は stub Code Gear という Meta Code Gear で Context という全ての Code Gear と Data Gear を持った Meta Data Gear から値を取りだし、ノーマルレベルの Code Gear に値を渡す。 しかし、Gears OS を実際に実装するにつれて、メタレベルからノーマルレベルへの継続の記述が煩雑になることがわかり、Code Gear と Data Gear のモジュール化が必要になった。