Mercurial > hg > Papers > 2019 > anatofuz-prosym
annotate Slide/slide.md @ 85:1f4e174f0f1a
add slide
| author | Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 08 Jan 2019 19:32:49 +0900 |
| parents | 6c69fdd1716c |
| children | 2c38abf2c77d |
| rev | line source |
|---|---|
|
84
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 title: CbCによるPerl6処理系 |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 author: Takahiro Shimizu, Shinji Kono |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 profile: 琉球大学 |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 lang: Japanese |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 code-engine: coderay |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 |
| 85 | 8 ## 研究目的 |
|
84
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 - スクリプト言語であるPerl5の後継言語としてPerl6が現在開発されている． |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 - Perl6は設計と実装が区分されており様々な処理系が開発されている．現在主流なPerl6はRakudoと言われるプロジェクトである． |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 - RakudoではPerl6自体をNQP(NotQuitPerl)と言われるPerl6のサブセットで記述し, NQPをVMが解釈するという処理の流れになっている． |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 - このVMは任意のVMが選択できるようになっており, 現在はMoarVM, JavaVM, JavaScriptが動作環境として選択可能である． |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 - 主に利用されているVMにCで書かれたMoarVMが存在する． |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 - MoarVMはJITコンパイルなどをサポートしているが, 全体的な起動時間及び処理速度がPerl5と比較し非常に低速である． |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 - この問題を解決するためにContinuation based C (CbC)という言語を一部用いてMoarVMの書き換えを行う． |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 - CbCを用いたMoarVMの書き換えを検討し,並列デバッグ方法などについて検討する. |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 |
|
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 |
| 85 | 19 ## Continuation Based C (CbC) |
| 20 | |
| 21 - Continuation Based C (CbC) はCodeGearとDataGearを単位として用いたプログラミング言語である. | |
| 22 - CodeGearはCの通常の関数呼び出しとは異なり，スタックに値を積まず, 次のCodeGearにgoto文によって遷移する. | |
| 23 - このgoto文による遷移を軽量継続と呼ぶ． | |
| 24 - CbCは軽量継続を取り入れたCの下位言語であり, C言語のAPIを利用可能なCと互換性のある言語である． | |
| 25 | |
| 26 ## CodeGearとDetaGear | |
| 27 | |
| 28 - Cの関数の代わりにCodeGearという単位をCbCでは導入している． | |
| 29 - CodeGearはCの関数宣言の型名の代わりに`__code`と書く事で宣言出来る． | |
| 30 - CodeGearの引数を遷移先のCodeGearと揃えることでレジスタに変数を確保した状態で軽量継続可能である． | |
| 31 - その為CodeGearの引数は入出力としての意味があり, DataGearと呼んでいる． | |
| 32 | |
| 33 ``` | |
| 34 extern int printf(const char*,...); | |
| 35 int main (){ | |
| 36 int data = 0; | |
| 37 goto cg1(&data); | |
| 38 } | |
| 39 __code cg1(int *datap){ | |
| 40 (*datap)++; | |
| 41 goto cg2(datap); | |
| 42 } | |
| 43 __code cg2(int *datap){ | |
| 44 (*datap)++; | |
| 45 printf("%d\n",*datap); | |
| 46 } | |
| 47 ``` | |
| 48 | |
| 49 ## CbCの現在の実装 | |
| 50 | |
| 51 - CbCは現在2種類の実装がある． | |
| 52 - gcc (version 9.0.0) | |
| 53 - llvm/clang (version 7.0.0) | |
| 54 | |
| 55 ## 言語処理系の応用 | |
| 56 - CbCではCodeGearを処理単位として利用でき, これはコンパイラの基本ブロックに相当する． | |
| 57 - 従来のスクリプト言語などの処理系では, 主にcase文で実装していた命令コードディスパッチの箇所をCodeGearの遷移として記述する事が可能である． | |
| 58 - CodeGearの遷移として記述する事で, 命令処理ごとに分割する事が可能となり, モジュール化が可能となる． | |
| 59 - CodeGearとCodeGearの遷移時に入出力のインターフェイスを揃える事で, レジスタに変数が割り振られたまま軽量継続が可能となり, レジスタレベルの最適化が可能となる． | |
| 60 - これらの検証とPerl6の高速化を行う為に, CbCを用いてPerl6処理系の書き換えを行っていく． | |
| 61 | |
| 62 ## Perl6の概要 | |
| 63 | |
| 64 - Perl6とはPerl5の後継言語として当初開発が開始された言語である． | |
| 65 - 仕様と実装が分離しており, 仕様は公式テストスイートであるRoastそのものとなっている． | |
| 66 - 歴史的にHaskellで実装されたPugs, Pythonとの共同基盤を目指したParrotなどの実装が存在する． | |
| 67 - 言語仕様としては漸進的型付け言語であり, 従来のPerl5とは互換性が無い． | |
| 68 - 現在の主要な実装はRakudoと呼ばれる実装である． | |
| 69 | |
| 70 ## Rakudo | |
| 71 - Rakudoとは現在のPerl6の主力な実装である． | |
| 72 - 実行環境のVM, Perl6のサブセットであるNQP(NotQuitPerl), NQPで記述されたPerl6(Rakudo)という構成になっている． | |
| 73 - VMはCで書かれたPerl6専用のVMであるMoarVM, JavaVMが選択可能である． | |
| 74 - 現在はMoarVMがRakudoの中でも主流なVM実装となっている． | |
| 75 | |
| 76 ## Rakudo | |
| 77 - Rakudoにおけるコンパイラは2種類存在する | |
| 78 - Perl6やNQPのコードをVMのバイトコードに変換するコンパイラ | |
| 79 - NQPが出力したVMのバイトコードをネイティブコードに変換するコンパイラ | |
| 80 - NQPの処理系nqp及び, Perl6のインタプリタである perl6は, それぞれセルフコンパイルしたものを利用する | |
| 81 - Perl6は純粋なNQPではなく, Perl6自身によって拡張され記述されている箇所も存在する | |
| 82 | |
| 83 ## MoarVM | |
| 84 | |
| 85 - Perl6専用のVMであり, Cで記述されている | |
| 86 - レジスタマシンとして実装されている． | |
| 87 - MoarVMはバイトコードインタプリタを `src/core/interp.c` で定義しており, この中の関数 `MVM_interp_run` で命令に応じた処理を実行する | |
| 88 | |
| 89 ## MVM_interp_run | |
| 90 | |
| 91 - MVM_interp_runでは次のオペコードをフェッチする際に `NEXT_OP` マクロを介して計算を行う． | |
| 92 - オペコードが対応する命令を実行する際は, `MVM_CGOTO` フラグが立っている場合はCのラベルgotoを利用し, 使えない場合はswitch文を利用して遷移する． | |
| 93 | |
| 94 | |
| 95 ``` | |
| 96 #define NEXT_OP (op = *(MVMuint16 *)(cur_op), cur_op += 2, op) | |
| 97 | |
| 98 #if MVM_CGOTO | |
| 99 #define DISPATCH(op) | |
| 100 #define OP(name) OP_ ## name | |
| 101 #define NEXT *LABELS[NEXT_OP] | |
| 102 #else | |
| 103 #define DISPATCH(op) switch (op) | |
| 104 #define OP(name) case MVM_OP_ ## name | |
| 105 #define NEXT runloop | |
| 106 #endif | |
| 107 ``` | |
| 108 | |
| 109 ## MVM_interp_run | |
| 110 | |
| 111 - ラベル遷移を利用する場合は配列`LABELS`にアクセスし, ラベル情報を取得する | |
| 112 | |
| 113 ``` | |
| 114 static const void * const LABELS[] = { | |
| 115 &&OP_no_op, | |
| 116 &&OP_const_i8, | |
| 117 &&OP_const_i16, | |
| 118 &&OP_const_i32, | |
| 119 &&OP_const_i64, | |
| 120 &&OP_const_n32, | |
| 121 &&OP_const_n64, | |
| 122 &&OP_const_s, | |
| 123 &&OP_set, | |
| 124 &&OP_extend_u8, | |
| 125 &&OP_extend_u16, | |
| 126 &&OP_extend_u32, | |
| 127 &&OP_extend_i8, | |
| 128 &&OP_extend_i16, | |
| 129 ``` | |
| 130 | |
| 131 ## MVM_interp_run | |
| 132 | |
| 133 - DISPATCHマクロは次の様に記述されており, この中の `OP` で宣言されたブロックがそれぞれオペコードに対応する処理となっている． | |
| 134 - この中では `GET_REG` などのマクロを用いてMoarVMのレジスタにアクセスする． | |
| 135 - `cur_op`は次のオペコードを意味し, マクロ `NEXT` で決められた方法で次のオペコードに遷移する． | |
| 136 | |
| 137 ``` | |
| 138 DISPATCH(NEXT_OP) { | |
| 139 OP(no_op): | |
| 140 goto NEXT; | |
| 141 OP(const_i8): | |
| 142 OP(const_i16): | |
| 143 OP(const_i32): | |
| 144 MVM_exception_throw_adhoc(tc, "const_iX NYI"); | |
| 145 OP(const_i64): | |
| 146 GET_REG(cur_op, 0).i64 = MVM_BC_get_I64(cur_op, 2); | |
| 147 cur_op += 10; | |
| 148 goto NEXT; | |
| 149 OP(pushcompsc): { | |
| 150 MVMObject * const sc = GET_REG(cur_op, 0).o; | |
| 151 if (REPR(sc)->ID != MVM_REPR_ID_SCRef) | |
| 152 MVM_exception_throw_adhoc(tc, "Can only push an SCRef with pushcompsc"); | |
| 153 if (MVM_is_null(tc, tc->compiling_scs)) { | |
| 154 MVMROOT(tc, sc, { | |
| 155 tc->compiling_scs = MVM_repr_alloc_init(tc, tc->instance->boot_types.BOOTArray); | |
| 156 }); | |
| 157 } | |
| 158 MVM_repr_unshift_o(tc, tc->compiling_scs, sc); | |
| 159 cur_op += 2; | |
| 160 goto NEXT; | |
| 161 } | |
| 162 } | |
| 163 | |
| 164 ``` | |
| 165 | |
| 166 ## MVM_interp_run | |
| 167 | |
| 168 - Cの実装の場合, switch文に展開される可能性がある為, 命令ディスパッチが書かれているCソース・ファイルの指定の場所にのみ処理を記述せざるを得ない | |
| 169 - その為, 1ファイルあたりの記述量が膨大になり, 命令のモジュール化ができない | |
| 170 - Threaded Codeの実装を考えた場合, この命令に対応して大幅に処理系の実装を変更する必要がある． | |
| 171 - デバッグ時には今どの命令を実行しているか, ラベルテーブルを利用して参照せざるを得ず, 手間がかかる． | |
| 172 | |
| 173 ## NQP | |
| 174 - MoarVM, JVM上で動作する Perl6のサブセットとなっている． | |
| 175 - NQPの基本文法はPerl6に準拠しているが, 束縛ベースで変数を利用するなどいくつか異なる点が存在する． | |
| 176 - NQPは最終的にブートストラップを行う処理系であるが, 初回のビルド時には, すでに書かれたMoarVM, JVMのバイトコードを必要とする． | |
| 177 - この状態をStage0といい, Stage0を利用してStage1, Stage1を利用してStage2をビルドする事で完成する． | |
| 178 - NQPの実行可能なインタプリタである`nqp`は, MoarVMの実行バイナリ`moar` にライブラリパスなどを設定し, ビルドしたライブラリなどを引数として渡すシェルスクリプトとなっている． | |
| 179 - `nqp` を実行する事でREPLが起動され, NQPスクリプトを `nqp` に入力として与える事で, 通常のスクリプト言語の様に実行する事が可能となる． | |
| 180 - NQPの設計はRoastで定義されているPerl6とは異なり, 今後も変化していく事が公表されている． | |
| 181 | |
| 182 ``` | |
| 183 #! nqp | |
| 184 | |
| 185 sub fib($n) { | |
| 186 $n < 2 ?? $n !! fib($n-1) + fib($n - 2); | |
| 187 } | |
| 188 | |
| 189 my $N := 29; | |
| 190 | |
| 191 my $z := fib($N); | |
| 192 | |
| 193 say("fib($N) = " ~ fib($N)); | |
| 194 ``` | |
| 195 | |
| 196 ## CbCによるMoarVM | |
| 197 | |
| 198 - MoarVMの中心部分はバイトコードを解釈するバイトコードインタプリタである． | |
| 199 - その為, CbCを用いてMoarVMのバイトコードインタプリタ部分の書き換えを検討する． | |
| 200 | |
| 201 ## CbCMoarVMのバイトコードディスパッチ | |
| 202 | |
| 203 - interp.cではマクロを利用した cur_op (現在のオペコード) の計算及び, マクロ遷移かswitch文を利用して次の命令列に遷移していた | |
| 204 - CbCMoarVMでは, それぞれの命令に対応するCodeGearを生成し, このCodeGearの集合であるテーブルCODESを作成した | |
| 205 - このテーブルは`cbc_next`というCodeGearから参照し, 以降はこのCodeGearの遷移として処理が継続される． | |
| 206 | |
| 207 ``` | |
| 208 #define NEXT_OP(i) (i->op = *(MVMuint16 *)(i | |
| 209 ->cur_op), i->cur_op += 2, i->op) | |
| 210 #define DISPATCH(op) {goto (CODES[op])(i);} | |
| 211 #define OP(name) OP_ ## name | |
| 212 #define NEXT(i) CODES[NEXT_OP(i)](i) | |
| 213 static int tracing_enabled = 0; | |
| 214 | |
| 215 _code cbc_next(INTERP i){ | |
| 216 goto NEXT(i); | |
| 217 } | |
| 218 ``` | |
|
84
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
219 |
| 85 | 220 ``` |
| 221 __code (* CODES[])(INTERP) = { | |
| 222 cbc_no_op, | |
| 223 cbc_const_i8, | |
| 224 cbc_const_i16, | |
| 225 cbc_const_i32, | |
| 226 cbc_const_i64, | |
| 227 cbc_const_n32, | |
| 228 cbc_const_n64, | |
| 229 cbc_const_s, | |
| 230 cbc_set, | |
| 231 cbc_extend_u8, | |
| 232 cbc_extend_u16, | |
| 233 ``` | |
| 234 | |
| 235 ## CodeGearの入出力インターフェイス | |
| 236 | |
| 237 - MoarVMではレジスタの集合や命令列などをMVM_interp_runのローカル変数として利用し, 各命令実行箇所で参照している | |
| 238 - CodeGearに書き換えた場合, このローカル変数にはアクセスする事が不可能となる． | |
| 239 - その為, 入出力としてMoarVMの情報をまとめた構造体interpのポインタであるINTERPを受け渡し, これを利用してアクセスする | |
| 240 | |
| 241 | |
| 242 ``` | |
| 243 typedef struct interp { | |
| 244 MVMuint16 op; | |
| 245 /* Points to the place in the bytecode | |
| 246 right after the current opcode. */ | |
| 247 /* See the NEXT_OP macro for making sense | |
| 248 of this */ | |
| 249 MVMuint8 *cur_op; | |
| 250 /* The current frame’s bytecode start. */ | |
| 251 MVMuint8 *bytecode_start; | |
| 252 /* Points to the base of the current | |
| 253 register set for the frame we | |
| 254 * are presently in. */ | |
| 255 MVMRegister *reg_base; | |
| 256 /* Points to the current compilation unit | |
| 257 . */ | |
| 258 MVMCompUnit *cu; | |
| 259 /* The current call site we’re | |
| 260 constructing. */ | |
| 261 MVMCallsite *cur_callsite; | |
| 262 MVMThreadContext *tc; | |
| 263 } INTER,*INTERP; | |
| 264 ``` | |
| 265 | |
| 266 ## DataGearへの変換 | |
| 267 | |
| 268 - バイトコードに対応する命令をそれぞれCodeGearに変換していく． | |
| 269 - `OP(.*)`の`(.*)`の部分をCodeGearの名前として先頭に `cbc_` をつけた上で設定する． | |
| 270 - cur_opなどはINTERPを経由してアクセスする様に修正する． | |
| 271 - 末尾の `NEXT` を次のCodeGearにアクセスする為に `cbc_next` に修正する． | |
| 272 - case文で次のcase文に流れる箇所は, 直接その下のcase文に該当するCodeGearに遷移する． | |
| 273 | |
| 274 - 論文執筆時はstaticに修正する必要があったが, その後CbCコンパイラの改良により不要となった． | |
| 275 | |
| 276 ``` | |
| 277 __code cbc_no_op(INTERP i){ | |
| 278 goto cbc_next(i); | |
| 279 } | |
| 280 __code cbc_const_i8(INTERP i){ | |
| 281 goto cbc_const_i16(i); | |
| 282 } | |
| 283 __code cbc_const_i16(INTERP i){ | |
| 284 goto cbc_const_i32(i); | |
| 285 } | |
| 286 __code cbc_const_i32(INTERP i){ | |
| 287 MVM_exception_throw_adhoc(i->tc, "const_iX NYI"); | |
| 288 goto cbc_const_i64(i); | |
| 289 } | |
| 290 __code cbc_const_i64(INTERP i){ | |
| 291 GET_REG(i->cur_op, 0,i).i64 = MVM_BC_get_I64(i->cur_op, 2); | |
| 292 i->cur_op += 10; | |
| 293 goto cbc_next(i); | |
| 294 } | |
| 295 __code cbc_pushcompsc(INTERP i){ | |
| 296 MVMObject * sc; | |
| 297 sc = GET_REG(i->cur_op, 0,i).o; | |
| 298 if (REPR(sc)->ID != MVM_REPR_ID_SCRef) | |
| 299 MVM_exception_throw_adhoc(i->tc, "Can only push an SCRef with pushcompsc"); | |
| 300 if (MVM_is_null(i->tc, i->tc->compiling_scs)) { | |
| 301 MVMROOT(i->tc, sc, { | |
| 302 i->tc->compiling_scs = MVM_repr_alloc_init(i->tc, i->tc->instance->boot_types.BOOTArray); | |
| 303 }); | |
| 304 } | |
| 305 MVM_repr_unshift_o(i->tc, i->tc->compiling_scs, sc); | |
| 306 i->cur_op += 2; | |
| 307 goto cbc_next(i); | |
| 308 } | |
| 309 ``` | |
| 310 | |
| 311 ## MoarVMのデバッグ手法 | |
| 312 | |
| 313 - MoarVMはバイトコードをランダムに生成する仕様となっている | |
| 314 - 一旦moarvmバイトコードとして出力したファイルを実行する場合は同じ処理内容となっている | |
| 315 - そのため, MoarVMのデバッグは同じバイトコードを入力として与え, オリジナルのMoarVMと並列してgdbを用いてトレースを行う． | |
| 316 - この際, 実行するバイトコードの数が膨大となるので, scriptコマンドを用いて実行するバイトコードの番号を吐き出し, ログファイルを用いて比較する． | |
| 317 | |
| 318 ## MoarVMのデバッグ時のbreak point | |
| 319 | |
| 320 - CbC側では次のオペコードの遷移は `cbc_next` というCodeGearで行う | |
| 321 - CodeGearは関数として扱える為, これに直接break pointを設定する | |
|
84
6c69fdd1716c
add slide.md (template...)
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
322 |
| 85 | 323 ``` |
| 324 (gdb) b cbc_next | |
| 325 Breakpoint 2 at 0x7ffff7560288: file src/core | |
| 326 /cbc-interp.cbc, line 61. | |
| 327 (gdb) command 2 | |
| 328 Type commands for breakpoint(s) 2, one per | |
| 329 line. | |
| 330 End with a line saying just "end". | |
| 331 >p CODES[*(MVMuint16 *)i->cur_op] | |
| 332 >p *(MVMuint16 *)i->cur_op | |
| 333 >c | |
| 334 >end | |
| 335 ``` | |
| 336 - オリジナルの場合マクロである為, dummy関数をマクロに記述し, この関数にbreakpointを設定する | |
| 337 | |
| 338 ``` | |
| 339 dalmore gdb --args ../../MoarVM_Original/ | |
| 340 MoarVM/moar --libpath=src/vm/moar/stage0 | |
| 341 gen/moar/stage1/nqp | |
| 342 (gdb) b dummy | |
| 343 Function "dummy" not defined. | |
| 344 Make breakpoint pending on future shared | |
| 345 library load? (y or [n]) y | |
| 346 Breakpoint 1 (dummy) pending. | |
| 347 (gdb) command 1 | |
| 348 Type commands for breakpoint(s) 1, one per | |
| 349 line. | |
| 350 End with a line saying just "end". | |
| 351 >up | |
| 352 >p *(MVMuint16 *)(cur_op) | |
| 353 >c | |
| 354 >end | |
| 355 ``` | |
| 356 | |
| 357 ## MoarVMのトレース | |
| 358 | |
| 359 - トレース時には次の様なデバッグ情報の表示を利用する | |
| 360 - デバッガに, breakpointで停止した際のcur_opの値を表示する様に設定する． | |
| 361 | |
| 362 ``` | |
| 363 Breakpoint 1, dummy () at src/core/interp.c | |
| 364 :46 | |
| 365 46 } | |
| 366 #1 0x00007ffff75608fe in MVM_interp_run (tc=0 | |
| 367 x604a20, | |
| 368 initial_invoke=0x7ffff76c7168 < | |
| 369 toplevel_initial_invoke>, invoke_data | |
| 370 =0x67ff10) | |
| 371 at src/core/interp.c:119 | |
| 372 119 goto NEXT; | |
| 373 $1 = 159 | |
| 374 Breakpoint 1, dummy () at src/core/interp.c | |
| 375 :46 | |
| 376 46 } | |
| 377 #1 0x00007ffff75689da in MVM_interp_run (tc=0 | |
| 378 x604a20, | |
| 379 initial_invoke=0x7ffff76c7168 < | |
| 380 toplevel_initial_invoke>, invoke_data | |
| 381 =0x67ff10) | |
| 382 at src/core/interp.c:1169 | |
| 383 1169 goto NEXT; | |
| 384 $2 = 162 | |
| 385 ``` | |
| 386 ## MoarVMのデバッグ | |
| 387 | |
| 388 - cur_opのみをPerlスクリプトなどを用いて抜き出し, 並列にログを取得したオリジナルと差分を図る | |
| 389 - この際に差異が発生したオペコードを確認し, その前の状態で確認していく | |
| 390 | |
| 391 ``` | |
| 392 131 : 131 | |
| 393 139 : 139 | |
| 394 140 : 140 | |
| 395 144 : 144 | |
| 396 558 : 558 | |
| 397 391 : 391 | |
| 398 749 : 749 | |
| 399 53 : 53 | |
| 400 *54 : 8 | |
| 401 ``` | |
| 402 ## 現在のCbCMoarVM | |
| 403 | |
| 404 - 現在はNQP, Rakudoのセルフビルドが達成でき, オリジナルと同等のテスト達成率を持っている | |
| 405 - moarの起動時のオプションとして `--cbc` を与えることによりCbCで動き, そうでない場合は通常のCで記述された箇所で実行される | |
| 406 | |
| 407 ## CbCMoarVMの利点 | |
| 408 | |
| 409 - バイトコードインタプリタの箇所をモジュール化する事が可能となり, CodeGearの再利用性や記述生が高まる | |
| 410 - デバッグ時にラベルではなくCodeGearにbreakpointを設定可能となり，デバッグが安易となる | |
| 411 - ThreadedCodeを実装する場合, CodeGearを組み合わせることにより実装する事が可能となる | |
| 412 | |
| 413 ## CbCMoarVMの欠点 | |
| 414 | |
| 415 - CbCコンパイラがバグを発生させやすく, 意図しない挙動を示す事がある | |
| 416 - MoarVMのオリジナルの更新頻度が高い為, 追従していく必要がある | |
| 417 - CodeGear側からCに戻る際に手順が複雑となる | |
| 418 - CodeGearを単位として用いる事で複雑なプログラミングが要求される. | |
| 419 | |
| 420 ## CbCMoarVMと通常のMoarVMの比較 | |
| 421 | |
| 422 - CbCMoarVMと通常のMoarVMの速度比較を行った | |
| 423 | |
| 424 ``` | |
| 425 #! nqp | |
| 426 # Example of a while loop | |
| 427 | |
| 428 my $i := 0; | |
| 429 while $i < 10 { | |
| 430 say("i={$i++}"); | |
| 431 } | |
| 432 ``` | |
| 433 | |
| 434 ``` | |
| 435 subset Fizz of Int where * %% 3; | |
| 436 subset Buzz of Int where * %% 5; | |
| 437 subset FizzBuzz of Int where Fizz&Buzz; | |
| 438 subset Number of Int where none Fizz|Buzz; | |
| 439 | |
| 440 proto sub fizzbuzz ($) { * } | |
| 441 multi sub fizzbuzz (FizzBuzz) { "FuzzBuzz" } | |
| 442 multi sub fizzbuzz (Fizz) { "Fizz" } | |
| 443 multi sub fizzbuzz (Buzz) { "Buzz" } | |
| 444 multi sub fizzbuzz (Number $number) { $number } | |
| 445 | |
| 446 fizzbuzz($_).say for 1..15; | |
| 447 | |
| 448 ``` |