Mercurial > hg > Papers > 2017 > mitsuki-thesis

changeset 28:fecc23286565

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update
author mir3636
date Thu, 16 Feb 2017 12:36:42 +0900
parents f38236c1362e
children 77e8dfb995b3
files presen/fig/context.svg presen/slide.html presen/slide.md
diffstat 3 files changed, 114 insertions(+), 72 deletions(-) [+]
line wrap: on
line diff
--- a/presen/fig/context.svg	Thu Feb 16 11:27:20 2017 +0900
+++ b/presen/fig/context.svg	Thu Feb 16 12:36:42 2017 +0900
@@ -138,12 +138,12 @@
            id="g96"><path
              id="path98"
              style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
-             d="M 288,135 206.8562,94.45992" /></g><path
+             d="m 198,72 81.8896,57.3227" /></g><path
            id="path100"
            style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
-           d="m 183.6684,136.0843 5.8158,-6.2592 2.6816,5.3674 -8.4974,0.8918 z" /><g
+           d="m 270.4122,93.05833 -4.8335,7.04537 -3.4407,-4.91537 8.2742,-2.13 z" /><g
            transform="matrix(1,0,0,-1,-16.03125,226.9688)"
            id="g102"><path
              id="path104"
              style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
-             d="m 199.6997,90.88446 5.8157,6.25916 2.6816,-5.3674 -8.4973,-0.89176 z" /></g></g></g></g></svg>
\ No newline at end of file
+             d="m 286.4435,133.9104 -4.8335,-7.0454 -3.4408,4.9154 8.2743,2.13 z" /></g></g></g></g></svg>
\ No newline at end of file
--- a/presen/slide.html	Thu Feb 16 11:27:20 2017 +0900
+++ b/presen/slide.html	Thu Feb 16 12:36:42 2017 +0900
@@ -87,17 +87,17 @@
 <!-- === begin markdown block ===
 
       generated by markdown/1.2.0 on Ruby 2.2.0 (2014-12-25) [x86_64-darwin13]
-                on 2017-02-16 09:18:39 +0900 with Markdown engine kramdown (1.9.0)
+                on 2017-02-16 12:35:49 +0900 with Markdown engine kramdown (1.9.0)
                   using options {}
   -->
 
 <!-- _S9SLIDE_ -->
 <h1 id="section">メタ計算の重要性</h1>
 <ul>
-  <li>プログラムを記述する際、通常の処理の他に、メモリ管理やスレッド管理、CPU や GPU の資源管理等、記述しなければならない処理が存在する。これらの計算を Meta Computation と呼ぶ。</li>
-  <li>Meta Computation はノーマルレベルの計算から切り離して記述したい。</li>
+  <li>プログラムを記述する際、ノーマルな処理の他に、メモリ管理やスレッド管理、CPU や GPU の資源管理等、記述しなければならない処理が存在する。これらの計算をメタ計算と呼ぶ。</li>
+  <li>メタ計算はノーマルな計算から切り離して記述したい。</li>
   <li>そのためには処理を細かく分割する必要があるが、関数やクラスなどの単位は容易に分割できない。</li>
-  <li>そこで当研究室では Meta Computation を柔軟に記述するためのプログラミング言語の単位として Code Gear、Data Gear という単位を提案している。</li>
+  <li>そこで当研究室ではメタ計算を柔軟に記述するためのプログラミング言語の単位として Code Gear、Data Gear という単位を提案している。</li>
 </ul>
 
 
@@ -107,7 +107,7 @@
 <h1 id="code-gear--data-gear">Code Gear と Data Gear</h1>
 <ul>
   <li>Code Gear とはプログラムの処理の単位である。</li>
-  <li>Code Gear は関数に比べて細かく分割されているので Meta Computation をより柔軟に記述できる。</li>
+  <li>Code Gear は関数に比べて細かく分割されているのでメタ計算をより柔軟に記述できる。</li>
   <li>Data Gear はデータの単位であり、Code Gear は 任意の数の Input Data Gear を参照して処理を行い、Output Data Gear を出力し処理を終える。</li>
 </ul>
 
@@ -140,9 +140,20 @@
 <ul>
   <li>Gears OS は Code Gear、 Data Gear の単位を用いて開発されており、CbC で記述されている。</li>
   <li>並列実行するための Task を、実行する Code Gear 、実行に必要な Input Data Gear 、Output Data Gear の組で表現する。</li>
-  <li>またGears OS では Meta Computation を Meta Code Gear、Meta Data Gear で表現する。</li>
-  <li>Meta Code Gear は通常の Code Gear の直後に遷移され、Meta Computation を実行する。</li>
-  <li>Meta Code Gear で OS の 機能であるメモリ管理やスレッド管理を行う。</li>
+  <li>またGears OS ではメタ計算を Meta Code Gear、Meta Data Gear で表現する。</li>
+  <li>Meta Code Gear はノーマルの Code Gear の直後に遷移され、メタ計算を実行する。</li>
+  <li>Meta Code Gear で OS の機能であるメモリ管理やスレッド管理を行う。</li>
+</ul>
+
+
+</div>
+<div class='slide '>
+<!-- _S9SLIDE_ -->
+<h1 id="cbc--gears-os-">CbC による Gears OS 記述の問題点</h1>
+<ul>
+  <li>Gears OS を CbC で実装する上でメタ計算の記述が煩雑であることがわかった。</li>
+  <li>本研究ではこれらのメタ計算を自動生成することにより Gears OS を記述する上においてより良い構文をユーザーに提供することにした。</li>
+  <li>そのためのプロトタイプとして perl スクリプトを作成した。</li>
 </ul>
 
 
@@ -151,10 +162,38 @@
 <!-- _S9SLIDE_ -->
 <h1 id="context">Context</h1>
 <ul>
-  <li>Gears OS には Context と呼ばれる接続可能な Code/Data Gear のリスト、Temporal Data Gear のためのメモリ空間等を持っている Meta Data Gear がある。</li>
-  <li>Gears OSは必要なCode/DataGearに参照したい場合、このContext を通す必要がある。</li>
+  <li>Gears OS には Context と呼ばれる接続可能な Code Gear、Data Gear のリスト、Temporal Data Gear のためのメモリ空間等を持っている Meta Data Gear がある。</li>
+  <li>Gears OSは必要なCode Gear、Data Gearに参照したい場合、このContext を通す必要がある。</li>
+</ul>
+
+<p><img src="./fig/context.svg" alt="message" width="400" /></p>
+
+
+</div>
+<div class='slide '>
+<!-- _S9SLIDE_ -->
+<h1 id="interface-">interface の記述</h1>
+<ul>
+  <li>interface を記述することでデータ構造のapiと Data Gear を結びつけることが出来、呼び出しが容易になった。</li>
+  <li>create は関数呼び出しで呼び出され、interface と impliment の初期化と Code Gear のポインタの設定を行う。</li>
 </ul>
 
+<pre lang="impl"><code>Stack* createSingleLinkedStack(struct Context* context) {
+    struct Stack* stack = new Stack();
+    struct SingleLinkedStack* singleLinkedStack = new SingleLinkedStack();
+    stack-&gt;stack = (union Data*)singleLinkedStack;
+    singleLinkedStack-&gt;top = NULL;
+    stack-&gt;push = C_pushSingleLinkedStack;
+    stack-&gt;pop  = C_popSingleLinkedStack;
+    stack-&gt;pop2  = C_pop2SingleLinkedStack;
+    stack-&gt;get  = C_getSingleLinkedStack;
+    stack-&gt;get2  = C_get2SingleLinkedStack;
+    stack-&gt;isEmpty = C_isEmptySingleLinkedStack;
+    stack-&gt;clear = C_clearSingleLinkedStack;
+    return stack;
+}
+</code></pre>
+
 
 </div>
 <div class='slide '>
@@ -162,7 +201,7 @@
 <h1 id="gearefgearimpl">Gearef、GearImpl</h1>
 <ul>
   <li>Context には Allocation で生成した Data Gear へのポインタが格納されている。</li>
-  <li>Code Gear が Context にアクセスする際、ポインタを使用してデータを取り出すためコードが煩雑になってしまう。</li>
+  <li>Code Gear が Context にアクセスする際、ポインタを用いてデータを取り出すためコードが煩雑になってしまう。</li>
 </ul>
 
 <pre><code>__code clearSingleLinkedStack_stub(struct Context* context) {
@@ -190,8 +229,8 @@
 <h1 id="stub-code-gear">stub Code Gear</h1>
 <ul>
   <li>Code Gear が必要とする Data Gear を取り出す際に Context を通す必要がある。</li>
-  <li>しかし、Context を直接扱うのはセキュリティ上好ましくない。</li>
-  <li>そこで Context から必要なデータを取り出して Code Gear に接続する stub Code Gear を定義し、これを介して間接的に必要な Data Gear にアクセスする。</li>
+  <li>しかし、メタであるContext をノーマルレベルの Code Gear から直接アクセスするのはよろしくない。</li>
+  <li>そこで Context から必要なデータを取り出して Code Gear に接続する、メタレベルの stub Code Gear を定義し、これを介して間接的に必要な Data Gear にアクセスする。</li>
 </ul>
 
 <pre lang="stub"><code>__code clearSingleLinkedStack(struct Context *context,struct SingleLinkedStack* stack,enum Code next) {
@@ -210,36 +249,10 @@
 </div>
 <div class='slide '>
 <!-- _S9SLIDE_ -->
-<h1 id="interface-">interface の記述</h1>
-<ul lang="impl">
-  <li>interface を記述することで Context を通して Code Gear が参照できるようになった。</li>
-  <li>create は関数呼び出しで呼び出され、interface と impliment の初期化と Code Gear のポインタの設定を行う。</li>
-  <li>return で interface を返し、その先で inter face の持つ Code Gear へと継続できるようになる。</li>
-</ul>
-<pre><code>Stack* createSingleLinkedStack(struct Context* context) {
-    struct Stack* stack = new Stack();
-    struct SingleLinkedStack* singleLinkedStack = new SingleLinkedStack();
-    stack-&gt;stack = (union Data*)singleLinkedStack;
-    singleLinkedStack-&gt;top = NULL;
-    stack-&gt;push = C_pushSingleLinkedStack;
-    stack-&gt;pop  = C_popSingleLinkedStack;
-    stack-&gt;pop2  = C_pop2SingleLinkedStack;
-    stack-&gt;get  = C_getSingleLinkedStack;
-    stack-&gt;get2  = C_get2SingleLinkedStack;
-    stack-&gt;isEmpty = C_isEmptySingleLinkedStack;
-    stack-&gt;clear = C_clearSingleLinkedStack;
-    return stack;
-}
-</code></pre>
-
-
-</div>
-<div class='slide '>
-<!-- _S9SLIDE_ -->
 <h1 id="contextstub-code-gear-">Context、stub Code Gear の自動生成</h1>
 <ul>
-  <li>Gears OS では通常の計算の他に Context や stub などの meta computation を記述する必要がある。</li>
-  <li>現在の CbC で Gears OS を記述すると、この meta computation の記述も行わなくてはならず、これには多くの労力を要する。</li>
+  <li>Gears OS ではノーマルレベルの計算の他に Context や stub などのメタ計算を記述する必要がある。</li>
+  <li>現在の CbC で Gears OS を記述すると、このメタ計算の記述も行わなくてはならず、これには多くの労力を要する。</li>
   <li>この記述を助けるために Context を生成する generate_context と stub Code Gear を生成する generate_stub を perl スクリプトで作成した。</li>
 </ul>
 
@@ -256,6 +269,18 @@
   <li>cbc ファイルのから、生成した stub Code Gear を加えて、c ファイルを生成する。</li>
 </ul>
 
+<pre lang="stub"><code>__code clearSingleLinkedStack(struct Context *context,struct SingleLinkedStack* stack,enum Code next) {
+    stack-&gt;top = NULL;
+    goto meta(context, next);
+}
+
+__code clearSingleLinkedStack_stub(struct Context* context) {
+        SingleLinkedStack* stack = (SingleLinkedStack*)GearImpl(context, Stack, stack);
+        enum Code next = Gearef(context, Stack)-&gt;next;
+        goto clearSingleLinkedStack(context, stack, next);
+}
+</code></pre>
+
 
 </div>
 <div class='slide '>
@@ -265,7 +290,9 @@
   <li>Context は Meta Data Gear に相当し、Code Gear や Data Gear を管理している。</li>
   <li>generate_context は context.h から Data Gear、c ファイルから Code Gear を取得。</li>
   <li>取得した Code/Data Gear の enum の定義は enumCode.h、enumData.h に生成される。</li>
+  <li>Code/Data Gear の名前とポインタの対応は この enum と関数ポインタによって表現される。</li>
   <li>generate_context は取得した Code/Data Gear から Context の生成を行うコードを生成する。</li>
+  <li>Context には Allocation で生成した Data Gear へのポインタも格納されているが、Data Gear の Allocation を行うコードは dataGearInit.c に生成される。</li>
   <li>これらを自動生成することで Gears OS の記述量を約半分にすることができます。
 <img src="./fig/generate_context.svg" alt="message" width="800" /></li>
 </ul>
@@ -278,8 +305,8 @@
 <ul>
   <li>本研究では interface の記述、CbC ファイルから Gears OS の記述に必要な Context と stub の生成を行う perl スクリプトの生成を行なった。</li>
   <li>これにより Gears OS のコードの煩雑さは改善され、ユーザーは Context への接続を意識する必要がなくなった。</li>
-  <li>今後の課題は Code Gear から meta computation を行う meta Code Gear を生成できるようにし、ユーザーがメタレベルの処理を意識せずにコードを記述できるようにする。</li>
-  <li>また、今回 perl スクリプトによって Context や stub の生成を行なったが、LLVM/clang 上で実装しコンパイラで直接 CbC を実行できるようにすることも優先する。</li>
+  <li>今後の課題は Code Gear からメタ計算を行う meta Code Gear を生成できるようにし、ユーザーがメタレベルの処理を意識せずにコードを記述できるようにする。</li>
+  <li>また、今回 perl スクリプトによって Context や stub の生成を行なったが、LLVM/clang 上で実装しコンパイラで直接 CbC を実行できるようにすることを目的とする。</li>
 </ul>
 <!-- === end markdown block === -->
 </div>
--- a/presen/slide.md	Thu Feb 16 11:27:20 2017 +0900
+++ b/presen/slide.md	Thu Feb 16 12:36:42 2017 +0900
@@ -12,7 +12,7 @@
 
 # Code Gear と Data Gear
 - Code Gear とはプログラムの処理の単位である。
-- Code Gear は関数に比べて細かく分割されているので Meta Computation をより柔軟に記述できる。
+- Code Gear は関数に比べて細かく分割されているのでメタ計算をより柔軟に記述できる。
 - Data Gear はデータの単位であり、Code Gear は 任意の数の Input Data Gear を参照して処理を行い、Output Data Gear を出力し処理を終える。
 
 # Continuation based C (CbC)
@@ -44,14 +44,35 @@
 - そのためのプロトタイプとして perl スクリプトを作成した。
 
 # Context
-- Gears OS には Context と呼ばれる接続可能な Code/Data Gear のリスト、Temporal Data Gear のためのメモリ空間等を持っている Meta Data Gear がある。
-- Gears OSは必要なCode/DataGearに参照したい場合、このContext を通す必要がある。
+- Gears OS には Context と呼ばれる接続可能な Code Gear、Data Gear のリスト、Temporal Data Gear のためのメモリ空間等を持っている Meta Data Gear がある。
+- Gears OSは必要なCode Gear、Data Gearに参照したい場合、このContext を通す必要がある。
+
+<img src="./fig/context.svg" alt="message" width="400" >
+
+# interface の記述
+- interface を記述することでデータ構造のapiと Data Gear を結びつけることが出来、呼び出しが容易になった。
+- create は関数呼び出しで呼び出され、interface と impliment の初期化と Code Gear のポインタの設定を行う。
 
-<img src="./fig/context.svg" alt="message" width="800" >
+```impl
+Stack* createSingleLinkedStack(struct Context* context) {
+    struct Stack* stack = new Stack();
+    struct SingleLinkedStack* singleLinkedStack = new SingleLinkedStack();
+    stack->stack = (union Data*)singleLinkedStack;
+    singleLinkedStack->top = NULL;
+    stack->push = C_pushSingleLinkedStack;
+    stack->pop  = C_popSingleLinkedStack;
+    stack->pop2  = C_pop2SingleLinkedStack;
+    stack->get  = C_getSingleLinkedStack;
+    stack->get2  = C_get2SingleLinkedStack;
+    stack->isEmpty = C_isEmptySingleLinkedStack;
+    stack->clear = C_clearSingleLinkedStack;
+    return stack;
+}
+```
 
 # Gearef、GearImpl
 - Context には Allocation で生成した Data Gear へのポインタが格納されている。
-- Code Gear が Context にアクセスする際、ポインタを使用してデータを取り出すためコードが煩雑になってしまう。
+- Code Gear が Context にアクセスする際、ポインタを用いてデータを取り出すためコードが煩雑になってしまう。
 
 ```
 __code clearSingleLinkedStack_stub(struct Context* context) {
@@ -89,27 +110,6 @@
 }
 ```
 
-# interface の記述
-- interface を記述することで Context を通して Code Gear が参照できるようになった。
-- create は関数呼び出しで呼び出され、interface と impliment の初期化と Code Gear のポインタの設定を行う。
-- return で interface を返し、その先で inter face の持つ Code Gear へと継続できるようになる。
-```impl
-Stack* createSingleLinkedStack(struct Context* context) {
-    struct Stack* stack = new Stack();
-    struct SingleLinkedStack* singleLinkedStack = new SingleLinkedStack();
-    stack->stack = (union Data*)singleLinkedStack;
-    singleLinkedStack->top = NULL;
-    stack->push = C_pushSingleLinkedStack;
-    stack->pop  = C_popSingleLinkedStack;
-    stack->pop2  = C_pop2SingleLinkedStack;
-    stack->get  = C_getSingleLinkedStack;
-    stack->get2  = C_get2SingleLinkedStack;
-    stack->isEmpty = C_isEmptySingleLinkedStack;
-    stack->clear = C_clearSingleLinkedStack;
-    return stack;
-}
-```
-
 # Context、stub Code Gear の自動生成
 - Gears OS ではノーマルレベルの計算の他に Context や stub などのメタ計算を記述する必要がある。
 - 現在の CbC で Gears OS を記述すると、このメタ計算の記述も行わなくてはならず、これには多くの労力を要する。
@@ -122,11 +122,26 @@
 - 引数と interface を照らし合わせ、Gearef または GearImpl を決定する。
 - cbc ファイルのから、生成した stub Code Gear を加えて、c ファイルを生成する。
 
+```stub
+__code clearSingleLinkedStack(struct Context *context,struct SingleLinkedStack* stack,enum Code next) {
+    stack->top = NULL;
+    goto meta(context, next);
+}
+
+__code clearSingleLinkedStack_stub(struct Context* context) {
+        SingleLinkedStack* stack = (SingleLinkedStack*)GearImpl(context, Stack, stack);
+        enum Code next = Gearef(context, Stack)->next;
+        goto clearSingleLinkedStack(context, stack, next);
+}
+```
+
 # Context の生成
 - Context は Meta Data Gear に相当し、Code Gear や Data Gear を管理している。 
 - generate_context は context.h から Data Gear、c ファイルから Code Gear を取得。
 - 取得した Code/Data Gear の enum の定義は enumCode.h、enumData.h に生成される。
+- Code/Data Gear の名前とポインタの対応は この enum と関数ポインタによって表現される。
 - generate_context は取得した Code/Data Gear から Context の生成を行うコードを生成する。
+- Context には Allocation で生成した Data Gear へのポインタも格納されているが、Data Gear の Allocation を行うコードは dataGearInit.c に生成される。
 - これらを自動生成することで Gears OS の記述量を約半分にすることができます。
 <img src="./fig/generate_context.svg" alt="message" width="800" >