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