Mercurial > hg > Papers > 2017 > mitsuki-thesis
diff presen/slide.md @ 28:fecc23286565
update
author | mir3636 |
---|---|
date | Thu, 16 Feb 2017 12:36:42 +0900 |
parents | f38236c1362e |
children | 77e8dfb995b3 |
line wrap: on
line diff
--- 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" >