# HG changeset patch # User Takato Matsuoka # Date 1643526225 -32400 # Node ID 06592642eedc3ceaa3fb827bb229a10ea6daa7f7 # Parent 6129abd429113bbc1c298e53099faa23476dc815 add figs diff -r 6129abd42911 -r 06592642eedc paper/figs/codegear.png Binary file paper/figs/codegear.png has changed diff -r 6129abd42911 -r 06592642eedc paper/figs/codegear_debugmeta.png Binary file paper/figs/codegear_debugmeta.png has changed diff -r 6129abd42911 -r 06592642eedc paper/figs/gearsDebuggerArchi.drawio.png Binary file paper/figs/gearsDebuggerArchi.drawio.png has changed diff -r 6129abd42911 -r 06592642eedc paper/figs/pdPhils.png Binary file paper/figs/pdPhils.png has changed diff -r 6129abd42911 -r 06592642eedc paper/figs/user_input.png Binary file paper/figs/user_input.png has changed diff -r 6129abd42911 -r 06592642eedc paper/text/cbc.tex --- a/paper/text/cbc.tex Sat Jan 29 20:53:26 2022 +0900 +++ b/paper/text/cbc.tex Sun Jan 30 16:03:45 2022 +0900 @@ -14,9 +14,6 @@ \end{center} \end{figure} -TODO: 簡単なCodeGear遷移の例を作って、記述する。 - - \section{DataGear} CodeGearと同じくCbCにおけるプログラミング単位の一つである。CodeGearから次のCodeGearへの継続の際に、データの受け渡しに用いられるのがDataGearである。 特に、CodeGearからの入力を受け取るDataGearをInputDataGear、CodeGear実行後にCodeGearからの出力を受け取るDataGearをOutputDataGearという。 diff -r 6129abd42911 -r 06592642eedc paper/text/gearsdebugger.tex --- a/paper/text/gearsdebugger.tex Sat Jan 29 20:53:26 2022 +0900 +++ b/paper/text/gearsdebugger.tex Sun Jan 30 16:03:45 2022 +0900 @@ -6,9 +6,15 @@ \subsection{ユーザーインプット機能} ユーザーインプット機能はユーザーが行いたいデバッグ処理を指定するための機能で、プロンプトにより対話形式でデバッグコマンドを入力することでデバッグが可能になった。 -デバッグコマンドは後述するnextやpdコマンドなどが存在する。ソースコード\ref{src:prompt_result}の7行目に(Gears Debugger)があるが、これがユーザーへ入力を促すプロンプトである。 +デバッグコマンドは後述するnextやpdコマンドなどが存在する。図\ref{figs:user_input}に(Gears Debugger)とあるが、これがユーザーへ入力を促すプロンプトである。 -\lstinputlisting[label=src:prompt_result, caption=ユーザーへ入力を促すプロンプト]{src/prompt_result.txt} +\begin{figure}[htbp] + \begin{center} + \includegraphics[width=13cm]{./figs/user_input.png} + \caption{ユーザーへ入力を促すプロンプト} + \label{figs:user_input} + \end{center} +\end{figure} \subsection{CodeGear単位でのデバッグ} GearsOSはCodeGearとDataGearを単位として実行される。そのためデバッグ時においては1つのCodeGearを実行した後の情報を見ることで、そのCodeGearによってどのDataGearがどのように変化したのかを見ることができる。そのため1つのCodeGear実行後にdebugMetaを呼ぶことによりCodeGear単位でのデバッグを実現している。 @@ -16,9 +22,15 @@ \subsection{DataGearの表示} CbCのデータ単位であり、GearsOSの基本単位であるDataGearの表示が可能となった。 -表示する際にはprint DataGearを意味するpdコマンドを入力する。また複数存在するDataGearの指定に対応するため、オプションでDataGear名を指定することで特定のDataGearの表示が出来る。表示の際には全てのDataGearの参照ができるcontextを経由して参照を行う。実際にDPPMCで使用されるDataGearであるPhilsの表示結果をソースコード\ref{src:pd_example}に示す。 +表示する際にはprint DataGearを意味するpdコマンドを入力する。また複数存在するDataGearの指定に対応するため、オプションでDataGear名を指定することで特定のDataGearの表示が出来る。表示の際には全てのDataGearの参照ができるcontextを経由して参照を行う。実際にDPPMCで使用されるDataGearであるPhilsの表示結果を図\ref{figs:pdPhils}に示す。 -\lstinputlisting[label=src:pd_example, caption=pdコマンドを用いたPhilsの表示結果]{src/pd_example.txt} +\begin{figure}[htbp] + \begin{center} + \includegraphics[width=13cm]{./figs/pdPhils.png} + \caption{pdコマンドを用いたPhilsの表示結果} + \label{figs:pdPhils} + \end{center} +\end{figure} \section{DebugWorker} \label{DebugWorker} Debug用のWorkerとしてDebugWorkerの作成を行った。通常のWorkerと異なる部分として、debugMetaの実装が挙げられる。ソースコード\ref{src:debugMeta}がdebugMetaの定義の一部である。ソースコード\ref{src:debugMeta}の1行目の\_\_ncodeは、ユーザーが定義できるMetaCodeGearである。通常のCodeGearの定義はソースコード\ref{src:hello}の1行目のように\_\_codeを用いて定義を行う。この\_\_codeを使った定義の場合はトランスパイラによる変換時にノーマルレベルのCodeGearだと判断され、メタ計算を行うStubCodeGearがトランスパイラによって生成される。しかし\_\_ncodeを使ったCodeGearの定義はトランスパイラによってMetaCodeGearと判断され、Stubの生成などがされない。 diff -r 6129abd42911 -r 06592642eedc paper/thesis.pdf Binary file paper/thesis.pdf has changed