Mercurial > hg > Papers > 2021 > anatofuz-master
annotate paper/chapter/04-interface.tex @ 78:4ebaa7322c4d
...
| author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Thu, 04 Feb 2021 21:30:59 +0900 |
| parents | 951cb9681030 |
| children | 3022da6f729f |
| rev | line source |
|---|---|
| 51 | 1 \chapter{GearsOSのInterfaceの改良} |
| 2 | |
| 16 | 3 \section{GearsOSのInterfaceの構文の改良} |
| 4 GearsOSのInterfaceでは、 従来はDataGearとCodeGearを分離して記述していた。 | |
| 5 CodeGearの入出力をDataGearとして列挙する必要があった。 | |
| 6 CodeGearの入出力として\texttt{\_\_code()}の間に記述したDataGearの一覧と、Interface上部で記述したDataGearの集合が一致している必要がある。 | |
|
53
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
7 ソースコード\ref{src:old-stack}はStackのInterfaceの例である。 |
|
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
8 \lstinputlisting[label=src:old-stack, caption=従来のStack Interface]{src/old-stack.h} |
| 16 | 9 |
| 10 従来の分離している記法の場合、 このDataGearの宣言が一致していないケースが多々発生した。 | |
| 58 | 11 またInterfaceの入力としてのDataGearではなく、 フィールド変数としてDataGearを使うプログラミングスタイルを取るケースも見られた。 |
| 16 | 12 GearsOSでは、 DataGearやフィールド変数をオブジェクトに格納したい場合、 Interface側ではなくImpl側に変数を保存する必要がある。 |
| 13 Interface側に記述してしまう原因は複数考えられる。 | |
| 14 GearsOSのプログラミングスタイルに慣れていないことも考えられるが、構文によるところも考えられる。 | |
| 15 CodeGearとDataGearはInterfaceの場合は密接な関係性にあるが、 分離して記述してしまうと「DataGearの集合」と「CodeGearの集合」を別個で捉えてしまう。 | |
| 16 あくまでInterfaceで定義するCodeGearとDataGearはInterfaceのAPIである。 | |
| 17 これをユーザーに強く意識させる必要がある。 | |
| 18 | |
| 19 golangにもInterfaceの機能が実装されている。 | |
| 20 golangの場合はInterfaceは関数の宣言部分のみを記述するルールになっている。 | |
| 21 変数名は含まれていても含まなくても問題ない。 | |
| 22 | |
| 23 \begin{lstlisting}[frame=lrbt,label=src:golang_interface,caption={golangのinterface宣言}] | |
| 24 type geometry interface { | |
| 25 area() float64 | |
| 26 perim() float64 | |
| 27 } | |
| 28 \end{lstlisting} | |
| 29 | |
|
53
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
30 GearsOSのInterfaceは入力と出力のAPIを定義するものであるので、 golangのInterfaceのように、関数のAPIを並べて記述するほうが簡潔であると考えた。 |
| 54 | 31 改良したInterfaceの構文でStackを定義したものをソースコード\ref{src:stack}に示す。 |
|
53
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
32 \lstinputlisting[label=src:stack, caption=変更後のStack Interface]{src/stack.h} |
|
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
33 |
| 54 | 34 |
| 58 | 35 従来のInterfaceでは\texttt{<Type, Impl>}キーワードが含まれていた。 |
| 54 | 36 これはジェネリクスの機能を意識して導入された構文である。 |
| 37 \texttt{Impl}キーワードは実装自身の型を示す型変換として使われていた。 | |
| 38 しかし基本Interfaceの定義を行う際にGearsOSのシステム上、CodeGearの第一引数は\texttt{Impl}型のポインタが来る。 | |
| 39 これはオブジェクト指向言語で言う\texttt{self}に相当するものであり、 自分自身のインスタンスを示すポインタである。 | |
| 40 Implキーワードは共通して使用されるために、 宣言部分からは取り外し、デフォルトの型キーワードとして定義した。 | |
| 41 \texttt{Type}キーワードは型変数としての利用を意識して導入されていたが、現在までのGearsOSの例題では導入されていなかった。 | |
| 42 ジェネリクスとしての型変数の利用の場合は\texttt{T}などの1文字変数がよく使われる。 | |
| 43 変更後の構文ではのちのジェネリクス導入のことを踏まえて、\texttt{Type}キーワードは削除した。 | |
| 44 | |
| 45 | |
| 56 | 46 |
|
53
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
47 構文を変更するには、 GearsOSのビルドシステム上でInterfaceを利用している箇所を修正する必要がある。 |
|
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
48 Interfaceはgenerate\_stub.plで読み込まれ、 CodeGearと入出力のDataGearの数え上げが行われる。 |
|
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
49 この処理はInterfaceのパースに相当するものである。 |
|
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
50 当然ではあるが、パース対象のInterfaceの構文は、変更前の構文にしか対応していない。 |
|
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
51 |
|
1a4d4e64f0b8
add Stack Interface code
anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
52
diff
changeset
|
52 |
| 56 | 53 \section{Implementの型定義ファイルの導入} |
| 54 Interfaceを使う言語では、 Interfaceが決まるとこれを実装するクラスや型が生まれる。 | |
| 55 GearsOSもInterfaceに対応する実装が存在する。 | |
| 56 例えばStack Interfaceの実装はSingleLinkedStackであり、 Queueの実装はSingleLinkedQueueやSynchronizedQueueが存在する。 | |
| 57 | |
| 58 このSynchronizedQueueはGearsOSではDataGearとして扱われる。 | |
| 58 | 59 Interfaceの定義と同等な型定義ファイルが、 実装の型については存在しなかった。 |
| 56 | 60 従来はcontext.hのDataGearの宣言部分に、構造体の形式で表現したものを手で記述していた。(ソースコード\ref{src:singleContext.h}) |
| 61 \lstinputlisting[label=src:singleContext.h, caption=cotnext.hに直接書かれた型定義]{src/singleContext.h} | |
| 62 | |
| 58 | 63 CbCファイルからはcontext.hをインクルードすることで問題なく型の使用は可能である。 |
| 56 | 64 Perlのトランスコンパイラであるgenerate\_stub.plはInterfaceの型定義ファイルをパースしていた。 |
| 58 | 65 しかし型定義ファイルの存在の有無がInterfaceと実装で異なっている為に、 generate\_stub.plでImplementの型に関する操作ができない。 |
| 56 | 66 Implementの型も同様に定義ファイルを作製すれば、generate\_stub.plで型定義を用いた様々な処理が可能となり、ビルドシステムが柔軟な挙動が可能となる。 |
| 67 また型定義は一貫して\texttt{*.h}に記述すれば良くなるため、 プログラマの見通しも良くなる。 | |
| 68 本研究では新たにImplementの型定義ファイルを考案する。 | |
| 69 | |
| 70 GearsOSではすでにInterfaceの型定義ファイルを持っている。 | |
| 71 Implementの型定義ファイルも、 Interfaceの型定義ファイルと似たシンタックスにしたい。 | |
| 72 Implementの型定義ファイルで持たなければいけないのは、 どのInterfaceを実装しているかの情報である。 | |
| 73 この情報は他言語ではInterfaceの実装を持つ型の宣言時に記述するケースと、型名の記述はせずに言語システムが実装しているかどうかを確認するケースが存在する。 | |
| 74 Javaでは\texttt{implements}キーワードを用いてどのInterfaceを実装しているかを記述する。\cite{javaimpl} | |
| 75 ソースコード\ref{src:javaimpl}では、\texttt{Pig}クラスは\texttt{Animal} Interfaceを実装している。 | |
| 76 \lstinputlisting[label=src:javaimpl, caption=JavaのImplementキーワード]{src/java-interface-implements.java} | |
| 77 golangではInterfaceの実装は特にキーワードを指定せずに、 そのInterfaceで定義しているメソッドを、Implementに相当する構造体がすべて実装しているかどうかでチェックされる。 | |
| 78 これはgolangはクラスを持たず、構造体を使ってInterfaceの実装を行う為に、 構造体の定義にどのInterfaceの実装であるかの情報をシンタックス上書けない為である。 | |
| 79 GearsOSでは型定義ファイルを持つことができるために、 golangのような実行時チェックは行わず、 Javaに近い形で表現したい。 | |
| 80 | |
| 81 導入した型定義でSynchronizedQueueを定義したものをソースコード\ref{src:syncqueue}に示す。 | |
| 82 大まかな定義方法はInterface定義のものと同様である。 | |
| 83 違いとして\texttt{impl}キーワードを導入した。 | |
| 84 これはJavaの\texttt{implements}に相当する機能であり、 実装したInterfaceの名前を記述する。 | |
| 85 現状のGearsOSではImplが持てるInterfaceは1つのみであるため、\texttt{impl}の後ろにはただ1つの型が書かれる。 | |
| 86 型定義の中では独自に定義したCodeGearを書いてもいい。 | |
| 87 これはJavaのプライベートメソッドに相当するものである。 | |
| 88 特にプライベートメソッドがない場合は、 実装側で所持したい変数定義を記述する。 | |
| 89 SynchronizedQueueの例では\texttt{top}などが実装側で所持している変数である。 | |
| 90 \lstinputlisting[label=src:syncqueue, caption=SynchronizedQueueの定義ファイル]{src/SynchronizedQueue.h} | |
| 91 従来context.hに直接記述していたすべてのDataGearの定義は、 スクリプトで機械的にInterfaceおよびImplementの型定義ファイルに変換している。 | |
| 92 | |
| 37 | 93 \section{Implementの型をいれたことによる間違ったGearsプログラミング} |
| 94 Implementの型を導入したが、 GearsOSのプログラミングをするにつれていくつかの間違ったパターンがあることがわかった。 | |
| 95 自動生成されるStubCodeGearは、 goto metaから遷移するのが前提であるため、 引数をContextから取り出す必要がある。 | |
| 96 Contextから取り出す場合は、 実装しているInterfaceに対応している置き場所からデータを取り出す。 | |
| 97 この置き場所は\texttt{data}配列であり、 配列の添え字は\texttt{enum Data}と対応している。 | |
| 98 また各CodeGearからgotoする際に、 遷移先のInterfaceに値を書き込みに行く。 | |
| 99 | |
| 100 | |
| 101 Interfaceで定義したCodeGearと対応しているImplementのCodeGearの場合はこのデータの取り出し方で問題はない。 | |
| 102 しかしImplementのCodeGearから内部でgotoするCodeGearの場合は事情が異なる。 | |
| 58 | 103 内部でgotoするCodeGearは、 Javaなどのプライベートメソッドとして使用できる。 |
| 37 | 104 このCodeGearのことをprivate CodeGearと呼ぶ。 |
| 105 privateCodeGearにgotoする場合、 goto元のCodeGearからは\texttt{goto meta}経由で遷移する。 | |
| 58 | 106 goto metaが発行されるとStub Code Gearに遷移するが、現在のシステムではInterfaceから値を取得しに行く。 |
| 66 | 107 private CodeGearの入力もStubから取得したいと考え、 ImplementをInterfaceのつもりでGearsOSのコードを記述した。 |
| 108 | |
| 44 | 109 |
| 68 | 110 \section{Interfaceのパーサーの構築} |
| 78 | 111 従来のGearsOSのトランスコンパイラでは、 generate\_stub.plがInterfaceファイルを開き、情報を解析していた。 |
| 112 この情報解析はgetDataGear関数で行われていた。 | |
| 113 しかしこの関数は、CbCファイルのCodeGear、DataGearの解析で使用するルーチンと同じものである。 | |
| 114 従って、 Interface特有のパースが出来ていなかった。 | |
| 115 | |
| 116 例えば開いたヘッダファイルがInterfaceのファイルでも、そうでないCのヘッダファイルでも同様の解析をしてしまう。 | |
| 117 Interfaceの定義ファイルの構文はすでに統一されたものを使用している。 | |
| 118 この構文で実装されていないInterfaceファイルを読み込んだ場合は、 エラーとして処理したい。 | |
| 119 また、Interfaceが満たすべきCodeGearの種類やInputDataGearの数の管理も行いたい。 | |
| 120 さらにInterfaceではなく、Implementの定義ファイルも同様にパースし、情報を解析したい。 | |
| 121 | |
| 122 これらを実現するには、最初からInterfaceに特化したパーサーが必要となる。 | |
| 123 本研究ではGears::Interfaceモジュールとして実装した。 | |
| 124 | |
| 125 \subsection{Gears::Interfaceの構成} | |
| 126 | |
| 68 | 127 |
| 60 | 128 \section{Interfaceの実装のCbCファイルへの構文の導入} |
| 37 | 129 |
| 58 | 130 \section{GearsCbCのInterfaceの実装時の問題} |
| 39 | 131 |
| 58 | 132 Interfaceとそれを実装するImplの型が決定すると、最低限満たすべきCodeGearのAPIは一意に決定する。 |
| 133 ここで満たすべきCodeGearは、Interfaceで定義したCodeGearと、 Impl側で定義した privateなCodeGearとなる。 | |
| 134 例えばStack Interfaceの実装を考えると、各Implで\texttt{pop}, push, shift, isEmptyなどを実装する必要がある。 | |
| 39 | 135 |
| 58 | 136 従来はプログラマが手作業でヘッダーファイルの定義を参照しながら\texttt{.cbc}ファイルを作成していた。 |
| 137 手作業での実装のため、 コンパイル時に下記の問題点が多発した。 | |
| 45 | 138 |
| 139 \begin{itemize} | |
| 58 | 140 \item CodeGearの入力のフォーマットの不一致 |
| 141 \item Interfaceの実装のCodeGearの命名規則の不一致 | |
| 142 \item 実装を忘れているCodeGearの発生 | |
| 45 | 143 \end{itemize} |
| 144 | |
| 48 | 145 |
| 58 | 146 特にGearsOSの場合はPerlスクリプトによって純粋なCbCに一度変換されてからコンパイルが行われる。 |
| 147 実装の状況とトランスコンパイラの組み合わせによっては、 CbCコンパイラレベルでコンパイルエラーを発生させないケースがある。 | |
| 148 この場合は実際に動作させながら、gdb, lldbなどのCデバッガを用いてデバッグをする必要がある。 | |
| 149 またCbCコンパイラレベルで検知できても、すでに変換されたコード側でエラーが出る。 | |
| 150 このため、 トランスコンパイラの挙動をトレースしながらデバッグをする必要がある。 | |
| 151 Interfaceの実装が不十分であることのエラーは、 GearsOSレベル、最低でもCbCコンパイラのレベルで完全に検知したい。 | |
| 48 | 152 |
| 58 | 153 \section{Interfaceを満たすコード生成の他言語の対応状況} |
| 48 | 154 |
| 58 | 155 Interfaceを機能として所持している言語の場合、Interfaceを完全に見たいしているかどうかはコンパイルレベルか実行時レベルで検知される。 |
| 156 例えばJavaの場合はInterfaceを満たしていない場合はコンパイルエラーになる。 | |
| 157 | |
| 158 | |
| 159 InterfaceのAPIを完全に実装するのを促す仕組みとして、Interfaceの定義からエディタやツールが満たすべき関数と引数の組を自動生成するツールがある。 | |
| 45 | 160 |
| 58 | 161 Javaでは様々な手法でこのツールを実装している。 |
| 162 Microsoftが提唱しているIDEとプログラミング言語のコンパイラをつなぐプロトコルにLanguage Serverがある。 | |
| 163 Language Serverはコーディング中のソースコードをコンパイラ自身でパースし、 型推論やエラーの内容などをIDE側に通知するプロトコルである。 | |
| 164 主要なJavaのLanguage Serverの実装であるeclipse.jdt.ls\cite{eclipse.jdt.ls}では、 LanguageServerの機能として未実装のメソッドを検知する機能が実装されている。\cite{eclipse_pull322} | |
| 165 この機能を応用してvscode上から未実装のメソッドを特定し、 雛形を生成する機能がある。 | |
| 166 他にもIntelliJ IDEなどの商用IDEでは、 IDEが独自に未実装のメソッドを検知、雛形を生成する機能を実装している。 | |
| 167 | |
| 168 | |
| 169 golangの場合は主に\texttt{josharian/impl}\cite{golang_impl}が使われている。 | |
| 170 これはインストールすると\texttt{impl}コマンドが使用可能になり、 実装したいInterfaceの型と、 Interfaceを実装するImplの型(レシーバ)を与えることで雛形が生成される。 | |
| 171 主要なエディタであるvscodeのgolangの公式パッケージである\texttt{vscode-go}\cite{vscode-go}でも導入されており、 vscodeから呼び出すことが可能である。 | |
| 172 vscode以外にもvimなどのエディタからの呼び出しや、 シェル上で呼び出して標準出力の結果を利用することが可能である。 | |
| 46 | 173 |
| 58 | 174 \section{GearsOSでのInterfaceを満たすCbCの雛形生成} |
| 175 GearsOSでも同様のInterfaceの定義から実装するCodeGearの雛形を生成したい。 | |
| 176 LanguageServerの導入も考えられるが、 今回の場合はC言語のLanguageServerをCbC用にまず改良し、 さらにGearsOS用に書き換える必要がある。 | |
| 177 現状のGearsOSが持つシンタックスはCbCのシンタックスを拡張しているものではあるが、これはCbCコンパイラ側には組み込まれていない。 | |
| 178 LanguageServerをGearsOSに対応する場合、 CbCコンパイラ側にGearsOSの拡張シンタックスを導入する必要がある。 | |
| 179 CbCコンパイラ側への機能の実装は、 比較的難易度が高いと考えらる。 | |
| 180 CbCコンパイラ側に手をつけず、 Interfaceの入出力の検査は既存のGearsOSのビルドシステム上に組み込みたい。 | |
| 181 | |
| 182 対してgolangの\texttt{impl}コマンドのように、 シェルから呼び出し標準出力に結果を書き込む形式も考えられる。 | |
| 183 この場合は実装が比較的容易かつ、 コマンドを呼び出して標準出力の結果を使えるシェルやエディタなどの各プラットフォームで使用可能となる。 | |
| 184 先行事例を参考に、コマンドを実行して雛形ファイルを生成するコマンド\texttt{impl2cbc.pl}をGearsOSに導入した。 | |
| 185 \texttt{impl2cbc.pl}の処理の概要を図\ref{fig:impl2cbc}に示す。 | |
| 46 | 186 |
| 187 | |
| 58 | 188 \begin{figure}[hp] |
| 189 \begin{center} | |
| 190 \includegraphics[width=130mm]{drawio/impl2cbc.pdf} | |
| 191 \end{center} | |
| 192 \caption{impl2cbcの処理の流れ} | |
| 193 \label{fig:impl2cbc} | |
| 194 \end{figure} | |
| 48 | 195 |
| 58 | 196 \subsection{雛形生成の手法} |
| 197 | |
| 198 | |
| 199 Interfaceでは入力の引数がImplと揃っている必要があるが、 第一引数は実装自身のインスタンスがくる制約となっている。 | |
| 200 実装自身の型は、Interface定義時には不定である。 | |
| 201 その為、 GearsOSではInterfaceのAPIの宣言時にデフォルト型変数\texttt{Impl}を実装の型として利用する。 | |
| 202 デフォルト型\texttt{Impl}を各実装の型に置換することで自動生成が可能となる。 | |
| 52 | 203 |
| 204 | |
| 58 | 205 実装すべきCodeGearはInterfaceとImpl側の型を見れば定義されている。 |
| 206 \texttt{\_\_code}で宣言されているものを逐次生成すればよいが、 継続として呼び出されるCodeGearは具体的な実装を持たない。 | |
| 207 GearsOSで使われているInterfaceには概ね次の継続である\texttt{next}が登録されている。 | |
| 208 \texttt{next}そのものはInterfaceを呼び出す際に、入力として与える。 | |
| 209 その為各Interfaceに入力として与えられた\texttt{next}を保存する場所は存在するが、 nextそのものの独自実装は各Interfaceは所持しない。 | |
| 210 したがってこれをInterfaceの実装側で明示的に実装することはできない。 | |
| 211 雛形生成の際に、入力として与えられるCodeGearを生成してしまうと、プログラマに混乱をもたらしてしまう。 | |
| 212 | |
| 213 入力として与えられているCodeGearは、Interfaceに定義されているCodeGearの引数として表現されている。 | |
| 214 コードに示す例では、\texttt{whenEmpty}は入力して与えられているCodeGearである。 | |
| 215 雛形を生成する場合は、入力として与えられたCodeGearを除外して出力を行う。 | |
| 216 順序はInterfaceをまず出力した後に、 Impl側を出力する。 | |
| 217 | |
| 218 | |
| 219 \subsection{コンストラクタの自動生成} | |
| 220 雛形生成では他にコンストラクタの生成も行う。 | |
| 221 GearsOSのInterfaceのコンストラクタは、 メモリの確保及び各変数の初期化を行う。 | |
| 222 メモリ上に確保するのは主にInterfaceとImplのそれぞれが基本となっている。 | |
| 223 Interfaceによっては別のDataGearを内包しているものがある。 | |
| 224 その場合は別のDataGearの初期化もコンストラクタ内で行う必要があるが、 自動生成コマンドではそこまでの解析は行わない。 | |
| 225 | |
| 226 | |
| 227 コンストラクタのメンバ変数はデフォルトでは変数は0、ポインタの場合はNULLで初期化するように生成する。 | |
| 228 このスクリプトで生成されたコンストラクタを使う場合、 CbCファイルから該当する部分を削除すると、\texttt{generate\_stub.pl}内でも自動的に生成される。 | |
| 229 自動生成機能を作成すると1CbCファイルあたりの記述量が減る利点がある。 | |
| 230 | |
| 231 | |
| 232 | |
| 233 明示的にコンストラクタが書かれていた場合は、 Perlスクリプト内での自動生成は実行しないように実装した。 | |
| 234 これはオブジェクト指向言語のオーバーライドに相当する機能と言える。 | |
| 235 現状のGearsOSで使われているコンストラクタは、 基本は\texttt{struct Context*}型の変数のみを引数で要求している。 | |
| 236 しかしオブジェクトを識別するためにIDを実装側に埋め込みたい場合など、 コンストラクタ経由で値を代入したいケースが存在する。 | |
| 237 この場合はコンストラクタの引数を増やす必要や、 受け取った値をインスタンスのメンバに書き込む必要がある。 | |
| 238 具体的にどの値を書き込めば良いのかまではPerlスクリプトでは判定することができない。 | |
| 239 このような細かな調整をする場合は、 generate\_stub.pl側での自動生成はせずに、 雛形生成されたコンストラクタを変更すれば良い。 | |
| 240 あくまで雛形生成スクリプトはプログラマ支援であるため、 いくつかの手動での実装は許容している。 | |
| 59 | 241 |
| 242 | |
| 243 \section{Interfaceの引数の検知} | |
| 244 | |
| 72 | 245 \section{InterfaceのAPIの未実装の検知} |
| 246 | |
| 247 \section{par goto のInterface経由の呼び出しの対応} |