Papers/2017/mitsuki-sigos: paper/sigos.tex comparison

comparison paper/sigos.tex @ 9:9df52fe5b3d7

author	mir3636
date	Sat, 22 Apr 2017 16:44:02 +0900
parents	e04e25ad2f3c
children	52b6be8721f8

comparison

equal deleted inserted replaced

-:e04e25ad2f3c
+:9df52fe5b3d7
 また、当研究室で開発している Gears OS\cite{gears} は Code Gear、 Data Gear の単位を用いて開発されており、CbC で記述されている。
 CbC での記述はメタ計算を含まないノーマルレベルでの記述と、 Code Gear、Data Gear の記述を含むメタレベルの記述の2種類がある。
 メタレベルでもさらに、メタ計算を用いることが可能になっている。
 この2つのレベルはプログラミング言語レベルでの変換として実現される。
-CbC は LLVM 上で実装されており、メタレベルでの変換系は本論文では、Perl による変換スクリプトにより実装されている。
+CbC は LLVM\cite{llvm} 上で実装されており、メタレベルでの変換系は本論文では、Perl による変換スクリプトにより実装されている。
 Code Gear と Data Gear は Interface と呼ばれるまとまりとして記述される。
 Interface は使用される Data Gear の定義と、それに対する操作を行う Code Gear の集合である。
 Interface は複数の実装を持つことができ、Meta Data Gear によって定義される。
 Interface の操作に対応する Code Gear の引数は Interface に定義されている Data Gear を通して行われる。
 \end{figure}
 Gears OS には Context と呼ばれる接続可能な Code Gear、Data Gear のリスト、Temporal Data Gear のためのメモリ空間等を持っている Meta Data Gear を持つ。
 Gears OSは必要なCode Gear、Data Gearに参照したい場合、このContext を通す必要がある。
-\lstinputlisting[label=context, caption=context]{./src/context1.c}
+\lstinputlisting[label=context, caption=Context]{./src/context1.c}
 Data Gear は union と struct によって表現される。
 Context には Data Gear の Data Type の情報が格納されている。
 この情報から確保する Data Gear のサイズなどを決定する。
 Temporal Data Gear のためのメモリ空間は Context 毎に異なり、互いに干渉することはできない。
 Context は Task でもあり、TaskManager によって Context が生成され Task Queue へ挿入する。
 Gears OS における Task Queue は Synchronized Queue で実現される。
 Worker は TaskQueue から Task である Context を取得し、 Input/Output Data Gear の依存関係が解決されたものから並列実行される。
 \section{CbC のコードの例}
-リスト\ref{excbc}は CbC で記述された stack のコードの一部である。
+Code\ref{excbc}は CbC で記述された stack のコードの一部である。
 Code Gear は \_\_code Code Gear で始まり、次の Code Gear へ goto で遷移する。
 %,,,の説明
 %codegearの説明もっとする？
-\lstinputlisting[label=excbc, caption=cbccode]{./src/ex_stack.cbc}
+\lstinputlisting[label=excbc, caption=stack.cbc]{./src/ex_stack.cbc}
 \section{CbC による Gears OS 記述の問題}
 %メタの話
 Gears OS を CbC で実装する上でメタ計算の記述が煩雑であることがわかった。
 これらのメタ計算を自動生成することにより Gears OS を記述する上においてより良い構文をユーザーに提供することにした。
 \section{interface の記述}
-% union data はジェネラルなデータセグメントこれには
-% goto のひきすうとしてつかう　フレームを表している
-%関数呼び出しのabi
-%ひきすうで呼び出されるcg ひきすうはぜんぶ定義されていなければならない
-%メタデータセグメント
-%名前付きの変数が現れる
-%書き込みは**読み込みは*
-%いんたーふぇーすなので実装がいる
 interface は呼び出しの引数になる Data Gear の集合であり、そこで呼び出される Code Gear のエントリである。
 呼び出される Code Gear の引数となる Data Gear はここで全て定義される。
 Code Gear、Data Gear に参照するために Context を通す必要があるが、
 interface を記述することでデータ構造のapiと Data Gear を結びつけることが出来、呼び出しが容易になった。
 %create は関数呼び出しで呼び出され、interface と impliment の初期化と Code Gear のポインタの設定を行う。
 %return で interface を返し、その先で Code Gear や Data Gear へ継続できるようになる。
-\lstinputlisting[label=interface, caption=interface]{./src/Stack.cbc}
+\lstinputlisting[label=interface, caption=Interface]{./src/Stack.cbc}
 \section{Gearef、GearImpl}
 Context には Allocation 等で生成した Data Gear へのポインタが格納されている。
 Code Gear が Context にアクセスする際、ポインタを使用してデータを取り出すため、リスト\ref{gearef1} のようにコードが煩雑になってしまう。
 そこで Code Gear がデータを参照するための Gearef というマクロを定義した。
 Gearef に Context と型を渡すことでデータの参照が行える。
 そこで Context から必要なデータを取り出して Code Gear に接続する stub Code Gear を定義し、これを介して間接的に必要な Data Gear にアクセスする。
 stub Code Gear は Code Gear 毎に生成され、次の Code Gear へと継続する間に挟まれる。
 \section{Context、stub Code Segment の自動生成}
 Gears OS では 通常の計算の他に Context や stub などのメタ計算を記述する必要があが、Gears OS を現在の CbC の機能のみを用いて記述するとこのメタ計算の記述を行わなくてはならず、これには多くの労力を要する。
-この記述を助けるために Context を生成する generate\_context と stub Code Gear を生成する generate\_stub を perl スクリプトで作成した。
+この記述を助けるために Context を生成する generate\_context と stub Code Gear を生成する generate\_stub を Perl スクリプトで作成した。
 \section{stub Code Segment の生成}
 stub Code Gear は Code Gear 間の継続に挟まれる Code Gear が必要な Data Gear を Context から取り出す処理を行うものである。
 Code Gear 毎に記述する必要があり、そのCode Gear の引数を見て取り出す Data Gear を選択する。
 stub Code Gear を 自動生成することによって Code Gear の記述量を約半分にすることができる。
 \lstinputlisting[label=stack_cbc, caption=exampleCG]{./src/ex_cbc}
 \lstinputlisting[label=stack_c, caption=stub]{./src/ex_stub}
 \section{Context の生成}
+generate\_context は Context.h、Interface.cbc、generate\_stub で生成されたImpl.cbc を見て Context を生成する。
+\begin{figure}[ht]
+\begin{center}
+\includegraphics[width=70mm]{./pic/generate_context3.pdf}
+\end{center}
+\caption{generate\_context による Context の生成}
+\label{fig:gc}
+\end{figure}
 Context は Meta Data Gear に相当し、Code Gear や Data Gear を管理している。
-Data Gear を取得するために generate context は context の定義 (Code\ref{context}) を読み宣言されている Data Gear を取得する。
+Data Gear を取得するために generate\_context は context の定義 (Code\ref{context}) を読み宣言されている Data Gear を取得する。
 Code Gear の取得は指定された generate\_stub で生成されたコードから \_\_code 型を見て行う。
 取得した Code Gear、Data Gear の enum の定義は enumCode.h、enumData.h に生成される。
 Code/Data Gear の名前とポインタの対応は generate\_context によって生成される enum Code、enum Data を指定することで接続を行う。
 Data Gear は union Data とその中の struct によって表現される。
 Context には Data Gear の Data Type の情報が格納されている。
 この情報から確保される Data Gear のサイズなどを決定する。
-\lstinputlisting[label=init_context, caption=initcontext]{./src/context2.c}
+\lstinputlisting[label=init_context, caption=init-context]{./src/context2.c}
 \section{今後の課題}
-本研究では LLVM/Clang のデバッグ、interface の記述、CbC ファイルから Gears OS の記述に必要な Context と stub の生成を行う perl スクリプトの生成を行なった。
+本研究では LLVM/Clang のデバッグ、interface の記述、CbC ファイルから Gears OS の記述に必要な Context と stub の生成を行う Perl スクリプトの生成を行なった。
 これにより Gears OS のコードの煩雑さは改善され、ユーザーは Context への接続を意識する必要がなくなった。
-%しかし、現在のスクリプトでは stub
 今後の課題は Code Gear からメタ計算を行う meta Code Gear を生成できるようにし、ユーザーがメタレベルの処理を意識せずにコードを記述できるようにする。
-また、今回 perl スクリプトによって Context や stub の生成を行なったが、LLVM/clang 上で実装しコンパイラで直接 CbC を実行できるようにすることを目的とする。
+また、今回 Perl スクリプトによって Context や stub の生成を行なったが、LLVM/clang 上で実装しコンパイラで直接 CbC を実行できるようにすることを目的とする。
-% めたけいさんをどこに挟むかというのをかく　上
 %\begin{figure}[ht]
 %    \begin{center}
 %        \includegraphics[width=70mm]{./pic/cbc_goto.pdf}
 %    \end{center}

Mercurial > hg > Papers > 2017 > mitsuki-sigos

comparison paper/sigos.tex @ 9:9df52fe5b3d7