Mercurial > hg > Papers > 2018 > mitsuki-sigos

changeset 20:57c060703f4a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author mir3636
date Thu, 18 Jan 2018 13:38:10 +0900
parents 4ee64ffd9926
children d5d62b74c219
files Slide/prosym.md
diffstat 1 files changed, 13 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/Slide/prosym.md	Thu Jan 18 10:23:38 2018 +0900
+++ b/Slide/prosym.md	Thu Jan 18 13:38:10 2018 +0900
@@ -36,9 +36,9 @@
 
 # Continuation based C (CbC) 
 - Continuation based C (CbC) はこの Code Gear 単位を用いたプログラミング言語として開発している。
-- Code Gear は 関数呼び出し時の環境を使わずに次の Code Gear へと goto 分によって遷移する。
+- Code Gear は 関数呼び出し時の環境を使わずに次の Code Gear へと goto 文によって遷移する。
 - この goto 文による遷移を軽量継続と呼ぶ。
-- CbC は軽量継続を持つ C と互換性のある言語である。
+- CbC は軽量継続を持ち、C と互換性のある言語である。
 
 # CbC のコード例
 - CbC では Code Gear は \_\_code という型を持つ関数の構文で定義される。
@@ -54,9 +54,19 @@
   goto cs2(c);
 }
 ```
+
 # Gears OS
-- Gears OS は Code Gear、 Data Gear の単位を用いて開発されており、CbC で記述されている。
+- Gears OS は Code Gear とデータの単位である Data Gear を用いて開発されており、CbC で記述されている。
 - 並列実行するための Task を、実行する Code Gear 、実行に必要な Input Data Gear 、Output Data Gear の組で表現する。
+- Input/Output Data Gear の依存関係が解決された Code Gear を並列実行する。
+
+# Data Gear
+- Data Gear は データの単位であり、int や文字列などの Primitive Type を持っている。
+- Code Gear は任意の数の Input Data Gear を参照して処理を行い、Output Data Gear を出力し処理を終える。
+- 接続された Data Gear 以外には参照を行わない。
+
+# Gears でのメタ計算
+
 - またGears OS ではメタ計算を Meta Code Gear、Meta Data Gear で表現する。
 - Meta Code Gear はノーマルの Code Gear の直後に遷移され、メタ計算を実行する。
 - Meta Code Gear で OS の機能であるメモリ管理やスレッド管理を行う。