|
60
|
1 \chapter{CbCによるMoarVM}
|
|
40
|
2 \section{スクリプト言語のバイトコード}
|
|
|
3 プログラミング言語処理系は一般的に、 コンパイラ又はインタプリタに、 対象のソースコードを入力として与える。
|
|
|
4 処理系はソースコード中の各文字列を、 トークンと呼ばれる形式に変換する。
|
|
|
5 トークンは処理系によってはオブジェクトそのものなどに変換される。
|
|
|
6 このトークンに変換するフェーズを字句解析と呼ぶ。
|
|
|
7 変換されたトークンが、 対象のプログラミング言語の文法などに沿っているかどうかの確認を行う。
|
|
|
8 文法に沿っていた場合、 文法に応じてトークンを木構造に変換する。
|
|
|
9 これを構文解析と呼ぶ。
|
|
|
10 構文解析の後は、 素朴なインタプリタ言語と呼ばれる種類のプログラミング言語の場合、 これらを木構造の根から順次実行する。
|
|
43
|
11 この処理の流れを図\ref{fig:not_use_bytecode_Sample_generally_lang}に示す。
|
|
|
12 直接構文木を実行する場合、 実装そのものは単純になるが、 処理時間などが非常にかかるなどの特徴がある。
|
|
40
|
13
|
|
43
|
14 \begin{figure}[ht]
|
|
|
15 \caption{構文木を直接実行するプログラミング言語の処理の流れ}
|
|
|
16 \begin{center}
|
|
|
17 \includegraphics[width=120mm]{./fig/not_use_bytecode_sample_generally_lang.pdf}
|
|
|
18 \end{center}
|
|
|
19 \label{fig:not_use_bytecode_Sample_generally_lang}
|
|
|
20 \end{figure}
|
|
|
21
|
|
40
|
22 現在の主流なスクリプト言語は、 一旦変換した構文木をバイトコードと呼ばれるバイナリ形式に変換する。
|
|
43
|
23 バイトコードを利用する種類のプログラミング言語の、 処理の流れを図\ref{fig:bytecode_Sample_generally_lang}に示す。
|
|
40
|
24 この場合、 入力されたソースコードをバイトコードに変換する実装と、 変換されたバイトコードを評価する仮想機械に処理系が分けられる。
|
|
|
25 仮想機械はOSのエミュレータではなく、 プロセス仮想マシンと呼ばれるものである。
|
|
|
26 バイトコードを直接出力できる形式のプログラミング言語にJava、 Javaの仮想機械にJVMが存在する。
|
|
|
27 内部的に利用しており直接は出力されない言語に、C言語で実装された MRIと呼ばれるrubyの実装などがあり、 この仮想機械にYARVが存在する。
|
|
|
28 バイトコードを経由することで、 コンパイルを担当する実装と、 評価を担当する仮想機械の実装に分類する事が可能となり、 それぞれに適した最適化処理が実装可能となる。
|
|
|
29 また実行する際の速度もバイトコードを経由することで上昇する。
|
|
|
30
|
|
43
|
31 \begin{figure}[ht]
|
|
|
32 \caption{バイトコードを使用するプログラミング言語の処理の流れ}
|
|
|
33 \begin{center}
|
|
|
34 \includegraphics[width=120mm]{./fig/bytecode_sample_generally_lang.pdf}
|
|
|
35 \end{center}
|
|
|
36 \label{fig:bytecode_Sample_generally_lang}
|
|
|
37 \end{figure}
|
|
40
|
38
|
|
|
39 RakudoではPerl6、 NQPがそれぞれ対象のVMのバイトコードを生成し、 そのバイトコードをVMが実行する。
|
|
|
40 バイトコード生成までの処理をフロントエンドと呼び、 バイトコードから評価を行う処理をバックエンドと呼ぶ。
|
|
51
|
41 これらはJavaの様にバイトコードを出力する事も可能であるが、 オプションで指定しない限りは、 rubyなどの様に内部的にのみバイトコードを利用する。
|
|
|
42 主にRakudoで利用されている仮想機械にC実装のMoarVMがあり、 本研究ではMoarVMのバイトコード評価部分について検討をする。
|
|
40
|
43
|
|
|
44 \section{オリジナルのMoarVMの処理}
|
|
|
45 CbCでMoarVMを書き換える際に、 いきなり全てを実装する事は難しい。
|
|
|
46 スクリプト言語の処理系の中心は、 与えられたバイトコードから実際の処理を逐次実装する部分である。
|
|
|
47 その部分をバイトコードインタプリタと呼ぶ。
|
|
|
48 今回はMoarVMの書き換えを検討する為に、 まずMoarVMのバイトコードインタプリタ部分の書き換えを行う。
|
|
|
49 書き換えを行うにあたり、 MoarVMのオリジナルの箇所の実装を確認する。
|
|
|
50 今回対象とするMoarVMのバージョンは2018.04.01である。
|
|
|
51
|
|
45
|
52 MoarVMのバイトコードは、 フォーマットが決まっており、 複数の意味のあるバイトコードの集合となっている。
|
|
|
53 今回は、MoarVMの命令を実行する際に必要な、 命令コードに対応するバイトコードの部分に着目する。
|
|
|
54 これは、 今回書き換えを検討するMoarVMバイトコードインタプリタが読み込み、 評価するバイトコードの部分が、 命令コードバイトコードに対応する為である。
|
|
44
|
55 MoarVMのバイトコードの中の、 命令に対応するバイトコードの構成を図\ref{fig:bytecode_segment}に示す。
|
|
|
56
|
|
|
57 \begin{figure}[ht]
|
|
|
58 \caption{MoarVMの命令バイトコード}
|
|
|
59 \begin{center}
|
|
|
60 \includegraphics[width=120mm]{./fig/bytecode_segment.pdf}
|
|
|
61 \end{center}
|
|
|
62 \label{fig:bytecode_segment}
|
|
|
63 \end{figure}
|
|
40
|
64
|
|
45
|
65
|
|
46
|
66 MoarVMの命令バイトコードは16ビットである。上位8ビットが、 バンクと呼ばれる命令セットの指定となる。
|
|
|
67 MoarVMの命令はバンクの0から127番までが、 MoarVMのコア機能となっており、 128から255番までが、 拡張可能な命令セットとなっている。
|
|
|
68 下位8ビットは、 バンクの内部の命令指定となっている。
|
|
|
69 命令によっては、 この後のバイトコードで0個以上のオペランドを必要とする物がある。
|
|
|
70 オペランドの中にはレジスタの型指定、 引数などが埋め込まれ、 命令バイトコードとの対応のために16ビットで表現される。
|
|
45
|
71
|
|
|
72
|
|
|
73 MoarVMのバイトコードインタプリタはsrc/core/interp.c中の関数 MVM\_interp\_runで定義されている。
|
|
|
74 この関数ではMoarVMのバイトコードの中の、 命令に対応するバイトコードを解釈する。
|
|
40
|
75 関数内では、 解釈するべきバイトコード列が格納されている変数 cur\_op や、現在と次の命令を指し示すop、 命令に対して受け渡す現在のVM情報であるThreadContex tcなどが変数として利用されている。
|
|
|
76 実際に命令ディスパッチを行っている箇所の一部をソースコード\ref{origin_dispatch}に示す。
|
|
|
77
|
|
|
78 \lstinputlisting[frame=lrbt, label=origin_dispatch, caption=オリジナルのMoarVMの命令ディスパッチ部分]{./codes/src/dispatch.c}
|
|
|
79
|
|
|
80 ソースコード\ref{origin_dispatch}中のOP(.*)と書かれている部分が、 それぞれのバイトコードが示す命令名となっている。
|
|
|
81 例えばno\_opは、 何もしない命令であるため、 マクロNEXTを利用しプログラムカウンタ相当のcur\_opを進めるのみの処理を行う。
|
|
82
|
82 また登場する DISPATCH や OP 、 NEXT などはそれぞれマクロとして定義されている。
|
|
40
|
83 これらMoarVM\_interp\_run中で、 利用されるマクロの定義を、 ソースコード\ref{origin_dispatch_macro}に示す。
|
|
|
84
|
|
|
85 \lstinputlisting[frame=lrbt, label=origin_dispatch_macro, caption=オリジナルのMoarVM\_interp\_runで使用されるマクロ]{./codes/src/orig_macro.c}
|
|
|
86
|
|
82
|
87 このマクロの中では、 利用しているCコンパイラがラベルに対してのgotoが利用できるコンパイラ拡張を実装している場合は MVM\_CGOTOが真となり、 6行目までが実行される。
|
|
40
|
88 それ以外の場合は8行目以降のマクロ定義となる。
|
|
|
89 ラベルgotoが利用できる場合、 マクロDISPATCHは空白として設定され、 マクロOPは、 それぞれの命令に対応したラベルとなる。
|
|
46
|
90 この場合の処理の流れを図\ref{fig:origin_label_goto}に示す。
|
|
|
91
|
|
|
92 \begin{figure}[ht]
|
|
|
93 \caption{ラベルgotoが利用できる場合のオリジナルのMVM\_interp\_runの処理の流れ}
|
|
|
94 \begin{center}
|
|
|
95 \includegraphics[width=50mm]{./fig/origin_label_goto.pdf}
|
|
|
96 \end{center}
|
|
|
97 \label{fig:origin_label_goto}
|
|
|
98 \end{figure}
|
|
|
99
|
|
40
|
100 次の命令に移動する際は、 マクロNEXT\_OPを用いてcur\_opを次の命令に移動させ、 opの値を再設定する。
|
|
|
101 このopが実行すべき命令の番号が格納されている。
|
|
|
102 opを用いて、ソースコード\ref{labels_list}に示す配列LABELSから、 命令に対応するラベルを取得する。
|
|
|
103 LABELSはマクロOPが変換したラベルのリストである。
|
|
46
|
104 ソースコード\ref{origin_dispatch}の場合、no\_opはopが0が代入され、 const\_i8は1が設定されている。
|
|
40
|
105
|
|
|
106
|
|
|
107 \lstinputlisting[frame=lrbt, label=labels_list, caption=MoarVMの命令ラベルが設定されている配列]{./codes/src/oplabels.h}
|
|
|
108
|
|
|
109 ラベルgotoが利用できない場合、 マクロDISPATCHはswitch文に、 OPはcase文にそれぞれ変換される。
|
|
|
110 cur\_opは数値そのものである為、 この場合はラベル配列へのアクセスは行われない。
|
|
46
|
111 case文に変換された場合の処理の流れを\ref{fig:origin_not_use_label_goto}に示す。
|
|
40
|
112
|
|
46
|
113 \begin{figure}[ht]
|
|
|
114 \caption{case文に展開された場合のオリジナルのMVM\_interp\_runの処理の流れ}
|
|
|
115 \begin{center}
|
|
|
116 \includegraphics[width=70mm]{./fig/origin_not_use_label_goto.pdf}
|
|
|
117 \end{center}
|
|
|
118 \label{fig:origin_not_use_label_goto}
|
|
|
119 \end{figure}
|
|
40
|
120
|
|
|
121 またソースコード\ref{origin_dispatch}の中に含まれているマクロGET\_REGは、 ソースコード\ref{get_reg_c}に示す定義がされている。
|
|
|
122
|
|
|
123 \begin{lstlisting}[frame=lrbt,label=get_reg_c,caption=レジスタ情報を取得するマクロGET\_REG]
|
|
|
124 #define GET_REG(pc, idx) reg_base[*((MVMuint16 *)(pc + idx))]
|
|
|
125 \end{lstlisting}
|
|
|
126
|
|
|
127 配列reg\_baseはMoarVM上で利用される、 MoarVMのレジスタのリストである。
|
|
|
128 このマクロ中のpcは、 MVM\_interp\_run上ではcur\_opとなっている。
|
|
|
129 idxは命令ごと個別に設定しており、 例えばconst\_i64内で利用されている GET\_REGは、 idxの値が0に設定されている。
|
|
|
130 これはMoarVMがレジスタ情報を取得する際に、 命令を基本に前後に参照できるレジスタを指定出来る為である。
|
|
|
131 参照しているレジスタ集合の変数reg\_baseは、 MVM\_interp\_run中ではローカル変数として宣言されている。
|
|
|
132
|
|
|
133
|
|
|
134 MoarVMのディスパッチ部分は、case文に変換される可能性がある。
|
|
|
135 従って、 MoarVMの命令コードに対応する処理は、 Cソースファイルの特定の場所に記述せざるを得ない。
|
|
|
136 この方法の場合、命令コードに対応する処理のファイル分割などのモジュール化が行えず、 1ファイル辺りの記述量が膨大になってしまう。
|
|
|
137
|
|
|
138 \section{CbCによるMoarVMの実装}
|
|
|
139 interp.c内のMVM\_interp\_runでは、 命令コードのディスパッチはマクロを利用したcur\_opの計算及びラベルgoto、 もしくはマクロDISPATCHによるswitch-case文で行っていた。
|
|
|
140 このディスパッチ方法では、 case文を利用する可能性があるため、 ファイルが冗長になる事や、 モジュール化が出来ないという問題が生じる。
|
|
|
141
|
|
|
142 CbCによって書き換えを行ったMoarVMである、 CbCMoarVMではこの問題を解決する為に、 CodeGearの概念を導入する。
|
|
|
143 まず、 MoarVMの命令に対応するCodeGearを作成し、 各CodeGearの名前を要素として持つCbCのCodeGearテーブルを作成した。
|
|
|
144 CodeGearのテーブルは、 特定のcbc\_nextというCodeGearから参照する。
|
|
|
145 cbc\_nextから命令ごとのCodeGearに遷移し、 命令に対応する処理をした後に、 cbc\_nextに戻り、 別の命令に対応するCodeGearに遷移を繰り返す。
|
|
|
146 このcbc\_nextは、 元のMVM\_interp\_runで使用されているマクロNEXTを、 CodeGearで書き直したものである。
|
|
|
147 実際に書き直したマクロ及び、 cbc\_nextをソースコード\ref{cbc_next}に示す。
|
|
|
148
|
|
|
149
|
|
|
150 \lstinputlisting[frame=lrbt, label=cbc_next, caption=cbc\_next及びCbCMoarVMでのマクロ例]{./codes/src/cbc-interp-next.cbc}
|
|
47
|
151
|
|
|
152 CodeGear間の軽量継続を中心に設計している為、 switch case文を利用するマクロは削除した。
|
|
82
|
153 また各マクロの引数に変数iを導入している。
|
|
47
|
154 変数i は、 バイトコードインタプリタ内で利用する、 MoarVMのレジスタ情報などが格納された、 構造体へのポインタである。
|
|
|
155 iが示す構造体INTER、 呼び i の型である構造体INTERPは、 ソースコード\ref{cbc_inter}の示すように宣言している。
|
|
|
156 これは、マクロ内部で現在の命令を示すopや、 命令列 cur\_op にアクセスする必要があるが、 従来のマクロの記述ではCbCを利用した場合に、変数にアクセス出来なくなる為に導入している。
|
|
|
157
|
|
|
158 \lstinputlisting[frame=lrbt, label=cbc_inter, caption=MoarVMの情報を格納した構造体INTER]{./codes/src/INTERP.h}
|
|
48
|
159
|
|
|
160 \section{命令実行箇所のCodeGearへの変換}
|
|
|
161
|
|
|
162 命令実行箇所は、 case文又はラベルgotoで移動した先に記述されている。
|
|
|
163 これらの箇所を、 それぞれ専用のCodeGearに変換することで、 命令の実行をCodeGearの遷移としてCbCを利用して実装する。
|
|
|
164 MVM\_interp\_runでは、 ソースコード\ref{origin_dispatch}中で示すとおり、 マクロOPを用いて記述されている。
|
|
|
165
|
|
|
166 OPを用いて記述しているそれぞれの命令は、 通常ソースコード\ref{labels_list}に示すラベル配列、 またはswitch case文で遷移する。
|
|
|
167 従来はソースコード\ref{origin_dispatch_macro}に示す、 変数opの値利用してをマクロNEXTで対象の命令のラベル、 およびswitch文に値を引き渡す処理をしていた。
|
|
|
168 CodeGearでの実装の際も、 このインターフェイスに揃えて実装する。
|
|
|
169 変数opの数値は、 ソースコード\ref{labels_list}に示すラベル配列の、 命令の登場順と対応している。
|
|
82
|
170 その為命令を変換したCodeGearをラベル配列と順序を対応させ、 CodeGearの配列を作成する。
|
|
48
|
171 順序さえ対応させれば、 CodeGearの名前などは問わない。
|
|
|
172 実際に作成したCodeGearのリストをソースコード\ref{codegear_list}に示す。
|
|
|
173 変換したCodeGearは、それぞれCodeGearであることを示す為、 接頭辞としてcbc\_を付けている。
|
|
|
174
|
|
|
175 \lstinputlisting[frame=lrbt, label=codegear_list, caption=CodeGear配列の一部]{./codes/src/oplables-cbc-codes.h}
|
|
|
176
|
|
|
177 変換された各命令に対応するCodeGearの一部を、 ソースコード\ref{cbc_interp}に示す。
|
|
|
178 このCodeGearはソースコード\ref{origin_dispatch}と対応している
|
|
|
179
|
|
|
180 \lstinputlisting[frame=lrbt, label=cbc_interp, caption=CbCMoarVMのバイトコード命令に対応するCodeGear]{./codes/src/cbc_codesegs.cbc}
|
|
|
181
|
|
|
182 各CodeGearは入出力として構造体INTERのポインタを利用する。
|
|
50
|
183 これは、各命令の中で使用している cur\_op や tcなどの変数へのアクセスの為である。
|
|
|
184 通常のMoarVMの場合、 MVM\_interp\_runの関数内でタグgotoや、 switch文を利用する為に、 MVM\_interp\_runのローカル変数に各命令処理の中でアクセスする事が可能である。
|
|
|
185 しかし、 CbCMoarVMの場合、 MVM\_interp\_runから軽量継続を利用し、 CodeGearに遷移してしまう為、 これらローカル変数にアクセスできない。
|
|
|
186
|
|
48
|
187
|
|
|
188 作成したCodeGearのリストCODESは、 ソースコード\ref{cbc_next}に示すとおり、 cbc\_nextというCodeGearのみが取り扱う。
|
|
82
|
189 cbc\_nextはマクロNEXTを利用しているが、 マクロNEXTはCODESにアクセスし、 対象となるCodeGearの名前を取得する。
|
|
|
190 CodeGearを取得後、 引数としてiを渡しgoto文によって命令ごとのCodeGearに遷移する。
|
|
48
|
191
|
|
50
|
192 命令ディスパッチに関するCodeGearの状態遷移図を図\ref{fig:dispatch_cbc}に示す。
|
|
|
193
|
|
|
194 \begin{figure}[ht]
|
|
|
195 \caption{CbCMoarVMの命令バイトコードディスパッチの状態遷移}
|
|
|
196 \begin{center}
|
|
|
197 \includegraphics[width=120mm]{./fig/cbc_next.pdf}
|
|
|
198 \end{center}
|
|
|
199 \label{fig:dispatch_cbc}
|
|
|
200 \end{figure}
|
|
|
201
|
|
|
202 図中の破線部分は通常のC言語の関数呼び出しが行われる。
|
|
|
203 CodeGearからCの関数呼び出しの返り値を利用することなどは通常のC言語と同様に可能である。
|
|
|
204 各命令に対応したCodeGearは、 cbc\_next から遷移し、 処理を行った後 cbc\_next にgoto文で軽量継続する。
|
|
|
205
|
|
|
206 また、 変換した命令の中には switch case文での、 breakが発生せず、 次のcase文に移行する命令が存在する。
|
|
|
207 各CodeGearは1命令に閉じてしまっている為、 cbc\_next ではなく、 明示的に次に次のCodeGearを指定する必要がある。
|
|
|
208 今回は直接 CodeGear 中に遷移先のCodeGearをgoto文を付けて記述した。
|
|
|
209 ソースコード\ref{cbc_interp}中では、 cbc\_const\_i8などが該当する。
|
|
51
|
210
|
|
|
211
|
|
|
212 命令の数は膨大である為、 全てを手作業で変換するのは望ましくない。
|
|
|
213 本研究ではPerlスクリプトを用いて、 interp.c から命令をCodeGearにそれぞれ変換し、 CodeGearのリストを自動的に作成するスクリプトを作成した。
|
|
|
214 このスクリプトは以下の修正手続きを実行する。
|
|
|
215
|
|
|
216
|
|
|
217 \begin{itemize}
|
|
|
218 \item OP(.*)の.*部分をCodeGearの名前として、 先頭にcbc\_をつけた上で設定する。
|
|
|
219 \item cur\_opなど、 構造体INTERのメンバ変数は、 ポインタiから参照するように修正する。
|
|
52
|
220 \item GC対策のためマクロMVMROOTを利用している箇所は、 一度ダミーの関数を経由する。
|
|
51
|
221 \item 末尾のgoto NEXTをgoto cbc\_next(i)に修正する。
|
|
|
222 \item case文で下のcase文に移行する箇所は、 case文に対応するCodeGearに遷移する様にgoto文を付け加える。
|
|
|
223 \end{itemize}
|
|
52
|
224
|
|
|
225 この中の MVMROOT をソースコード\ref{MVMROOT}に示す。
|
|
|
226
|
|
|
227 \begin{lstlisting}[frame=lrbt,label=MVMROOT,caption={MVMROOTの定義}]
|
|
|
228 /* Macros related to rooting objects into the temporaries list, and
|
|
|
229 * unrooting them afterwards. */
|
|
|
230 #define MVMROOT(tc, obj_ref, block) do {\
|
|
|
231 MVM_gc_root_temp_push(tc, (MVMCollectable **)&(obj_ref)); \
|
|
|
232 block \
|
|
|
233 MVM_gc_root_temp_pop(tc); \
|
|
|
234 } while (0)
|
|
|
235 \end{lstlisting}
|
|
|
236
|
|
|
237 MVMROOTは、 行いたい処理の前後で、MVM\_gc\_root\_temp系統のpushとpopのスタック操作の関数を実行する。
|
|
|
238 これは、 MoarVMが所持しているガベージコレクションに、 行いたい処理の間にオブジェクトが回収されるのを防ぐための処理である。
|
|
|
239 ガベージコレクションの回収を防ぐために、 MVM\_gc\_root\_temp\_pushでは、 大域変数の配列に一時的にオブジェクトのアドレスを入れる。
|
|
|
240 このオブジェクトは、 CodeGear中のローカル変数であるが、 CodeGear中のローカル変数は通常別のCodeGearに移動する際に破棄する為、 この様な動きを想定していない。
|
|
|
241 その為、 MVMROOT を呼び出す処理の場合は、 MVMROOT を使う命令を別の関数でラップし、 CodeGearから関数呼び出しの形で命令を呼び出す。
|
|
60
|
242
|
|
|
243
|
|
|
244
|
|
61
|
245 \section{MoarVMのデバッグ}
|
|
60
|
246 CbCで書き換えたMoarVMであるCbCMoarVMは、 現在gcc、 LLVM/clang上に実装しているCbCコンパイラでビルドする事が可能である。
|
|
|
247 また、 それぞれO3までの最適化オプションをビルド時に指定してもビルドする事が可能である。
|
|
|
248
|
|
|
249 MoarVMの書き換えに伴って、 正常にオリジナルのMoarVMと同じ振る舞いをするか確認をしたい。
|
|
61
|
250 MoarVM自体には現在テストコードが存在しない。
|
|
|
251 MoarVMのリポジトリ内のメッセージには、MoarVM上で動作するNQP、 及びRakudoに付随しているテストコードで、 MoarVMの実装をテストする事が推奨されている。
|
|
|
252 NQPやRakudoのテストは、 ソースコード\ref{cbc_test_nqp}に示す様なコードを利用する。
|
|
|
253 実際にNQPとPerl6のインタプリタとしてビルドした、 nqpやperl6コマンドを実行する。
|
|
|
254 実行時に出力された結果と、 期待する結果が一致するかを確認する方式である。
|
|
|
255
|
|
|
256 \lstinputlisting[frame=lrbt, label=cbc_test_nqp, caption=NQPのテストコードの例]{./codes/test.nqp}
|
|
60
|
257
|
|
|
258 NQPやRakudoのテストを行うには、セルフビルドしたそれぞれのインタプリタであるnqp、 perl6を作らなければならない。
|
|
|
259 しかし、 これらをビルドする際にはMoarVMの実行バイナリである moar を動かす必要がある。
|
|
|
260 nqpなどのビルド時には、 入力として与えられたバイトコードを解析し、 命令部分をディスパッチするバイトコードインタプリタを使用せざるを得ない。
|
|
|
261 今回はバイトコードディスパッチ部分を書き換えた為、 この部分にバグが生じていると、 そもそもnqpやperl6を生成する事が出来ない。
|
|
61
|
262 その為、 利用したいnqpやperl6のテストコードを出力を通して確認する事が出来ない。
|
|
82
|
263 従って今回はMoarVM自体にバイトコードを入力として与え、 期待する動作をするかどうかを独自に確認する必要がある。
|
|
61
|
264
|
|
|
265
|
|
|
266 \section{CbCMoarVMのデバッグ}
|
|
62
|
267 CbCMoarVMが正常にバイトコードを実行しているかどうかは、 正常に動くオリジナルのMoarVMと、 実行したバイトコードの差分を検知することで確認する事が可能である。
|
|
|
268 入力として与えたスクリプトは常に同じバイトコードに変換されると考えられるが、 MoarVMはバイトコードにUUIDの様な物を埋め込んでしまう為、 同じファイルを与えても生成されるバイトコードが異なってしまう。
|
|
|
269 その為、 NQPインタプリタのREPLの様な機能を使い、 それぞれのVMが同じ命令から処理を開始する様に調整する。
|
|
61
|
270
|
|
62
|
271 差分は、 バイトコードインタプリタのMVM\_interp\_runのソースコード中で、 次の命令を計算する箇所で、 命令に対応する数値を出力する様に付け加える。
|
|
|
272 その出力を、 gdbなどのデバッガとscriptコマンドなどを用いてログを取り、 perlなどのスクリプトを用いて解析する。
|
|
61
|
273 実際に差分を確認したスクリプトの実行結果の一部を、 ソースコード\ref{cbc_origin_diff}に示す。
|
|
|
274
|
|
|
275 \lstinputlisting[frame=lrbt, label=cbc_origin_diff, caption=MoarVMとCbCMoarVMの実行命令の差分検知]{./codes/diff.txt}
|
|
|
276
|
|
|
277 左行がオリジナルのMoarVMの実行命令であり、 右行がCbCMoarVMの実行命令である。
|
|
|
278 出力している命令番号は、 それぞれLABELやCODESなどの命令リストの配列の番号と対応している為、 対応するCodeGear名を同時に出力している。
|
|
|
279 $\ast$が先頭に付随する行で差異が発生しており、 それぞれ実行している命令の番号が異なる事が確認出来る。
|
|
82
|
280 この例ではオリジナルのMoarVMは invoke\_o 命令を実行しているのに対し、 CbCMoarVMでは takeclosure 命令を実行している。
|
|
63
|
281
|
|
|
282 \section{CbCMoarVMの現在の実装}
|
|
|
283
|
|
82
|
284 CbCMoarVMは現在Perl6のサブセットであるNQP、 NQPで書かれたPerl6のビルドに成功している。
|
|
63
|
285 各言語のインタプリタであるnqp、 perl6共に、 CbCMoarVMの実行バイナリを利用して動作する。
|
|
|
286
|
|
|
287 デバッグ時の利便性などから、 現在はオリジナルのバイトコードインタプリタ部分を実行するか、 CbCで記述されたバイトコードインタプリタを実行するかをオプションを通して選択可能となっている。
|
|
|
288
|
|
|
289 またそれぞれのテストコードは、 移植元のMoarVMと同等のテスト通過率を示している。
|
