Mercurial > hg > Papers > 2019 > anatofuz-prosym
diff Slide/slide.html @ 96:38ab79fff396
update
| author | Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 11 Jan 2019 13:59:41 +0900 |
| parents | 01f148c3de98 |
| children | b360b0159390 |
line wrap: on
line diff
--- a/Slide/slide.html Fri Jan 11 11:47:04 2019 +0900 +++ b/Slide/slide.html Fri Jan 11 13:59:41 2019 +0900 @@ -178,6 +178,8 @@ <li>コンパイラは, NQPで記述されたPerl6コンパイラ, NQPで記述されたNQPコンパイラ, MoarVMバイトコードを解釈するMoarVMという構成である</li> </ul> +<img src="fig/tgraph/1.svg" alt="" width="50%" height="50%" /> + </div> @@ -259,7 +261,6 @@ OP_const_i32: MVM_exception_throw_adhoc(tc, "const_iX NYI"); OP_const_i64: - </code></pre> @@ -286,7 +287,6 @@ </ul> <pre><code> reg_base[*((MVMuint16 *)(cur_op + 0))].i64 = MVM_BC_get_I64(cur_op, 2); - </code></pre> <ul> @@ -519,6 +519,51 @@ <div class='slide'> <!-- _S9SLIDE_ --> +<h2 id="nqpのバイトコードとcbc">NQPのバイトコードとCbC</h2> + +<ul> + <li>NQPが生成したMoarVMバイトコードは確実に次に実行される命令がある箇所が複数存在する</li> + <li>静的にCのソースファイルに, NQPが生成したバイトコードと対応するCbCのCodeGearの実行を書くことで決定的に命令を実行可能でえある．</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="cbcmoarvmの利点">CbCMoarVMの利点</h2> + +<ul> + <li>バイトコードインタプリタの箇所をモジュール化する事が可能となり, CodeGearの再利用性や記述生が高まる</li> + <li>デバッグ時にラベルではなくCodeGearにbreakpointを設定可能となり，デバッグが安易となる</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="cbcmoarvmの欠点">CbCMoarVMの欠点</h2> + +<ul> + <li>CbCコンパイラがバグを発生させやすく, 意図しない挙動を示す事がある + <ul> + <li>CbCコンパイラ自体のバグも存在する</li> + </ul> + </li> + <li>MoarVMのオリジナルの更新頻度が高い為, 追従していく必要がある</li> + <li>CodeGear側からCに戻る際に手順が複雑となる</li> + <li>CodeGearを単位として用いる事で複雑なプログラミングが要求される.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> <h2 id="moarvmのデバッグ手法">MoarVMのデバッグ手法</h2> <ul> @@ -545,11 +590,9 @@ </ul> <pre><code>(gdb) b cbc_next -Breakpoint 2 at 0x7ffff7560288: file src/core - /cbc-interp.cbc, line 61. +Breakpoint 2 at 0x7ffff7560288: file src/core/cbc-interp.cbc, line 61. (gdb) command 2 -Type commands for breakpoint(s) 2, one per - line. +Type commands for breakpoint(s) 2, one per line. End with a line saying just "end". >p CODES[*(MVMuint16 *)i->cur_op] >p *(MVMuint16 *)i->cur_op @@ -560,22 +603,19 @@ <li>オリジナルの場合マクロである為, dummy関数をマクロに記述し, この関数にbreakpointを設定する</li> </ul> -<pre><code>dalmore gdb --args ../../MoarVM_Original/ - MoarVM/moar --libpath=src/vm/moar/stage0 - gen/moar/stage1/nqp +<pre><code>dalmore gdb --args ../../MoarVM_Original/MoarVM/moar --libpath=src/vm/moar/stage0 gen/moar/stage1/nqp (gdb) b dummy Function "dummy" not defined. -Make breakpoint pending on future shared - library load? (y or [n]) y +Make breakpoint pending on future shared library load? (y or [n]) y Breakpoint 1 (dummy) pending. (gdb) command 1 -Type commands for breakpoint(s) 1, one per - line. +Type commands for breakpoint(s) 1, one per line. End with a line saying just "end". >up >p *(MVMuint16 *)(cur_op) >c >end + </code></pre> @@ -591,27 +631,20 @@ <li>デバッガに, breakpointで停止した際のcur_opの値を表示する様に設定する．</li> </ul> -<pre><code>Breakpoint 1, dummy () at src/core/interp.c - :46 -46 } -#1 0x00007ffff75608fe in MVM_interp_run (tc=0 - x604a20, - initial_invoke=0x7ffff76c7168 < - toplevel_initial_invoke>, invoke_data - =0x67ff10) +<pre><code>Breakpoint 1, dummy () at src/core/interp.c:46 +46 } +#1 0x00007ffff75608fe in MVM_interp_run (tc=0x604a20, + initial_invoke=0x7ffff76c7168 <toplevel_initial_invoke>, invoke_data=0x67ff10) at src/core/interp.c:119 -119 goto NEXT; +119 goto NEXT; $1 = 159 -Breakpoint 1, dummy () at src/core/interp.c - :46 -46 } -#1 0x00007ffff75689da in MVM_interp_run (tc=0 - x604a20, - initial_invoke=0x7ffff76c7168 < - toplevel_initial_invoke>, invoke_data - =0x67ff10) + +Breakpoint 1, dummy () at src/core/interp.c:46 +46 } +#1 0x00007ffff75689da in MVM_interp_run (tc=0x604a20, + initial_invoke=0x7ffff76c7168 <toplevel_initial_invoke>, invoke_data=0x67ff10) at src/core/interp.c:1169 -1169 goto NEXT; +1169 goto NEXT; $2 = 162 </code></pre> @@ -621,6 +654,32 @@ <div class='slide'> <!-- _S9SLIDE_ --> +<h2 id="cbcmoarvmのデバッグ">CbCMoarVMのデバッグ</h2> + +<pre><code>Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61 +61 goto NEXT(i); +$1 = (void (*)(INTERP)) 0x7ffff7566f53 <cbc_takeclosure> +$2 = 162 + +Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61 +61 goto NEXT(i); +$3 = (void (*)(INTERP)) 0x7ffff7565f86 <cbc_checkarity> +$4 = 140 + +Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61 +61 goto NEXT(i); +$5 = (void (*)(INTERP)) 0x7ffff7579d06 <cbc_paramnamesused> +$6 = 558 + + +</code></pre> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> <h2 id="moarvmのデバッグ">MoarVMのデバッグ</h2> <ul> @@ -665,39 +724,6 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="cbcmoarvmの利点">CbCMoarVMの利点</h2> - -<ul> - <li>バイトコードインタプリタの箇所をモジュール化する事が可能となり, CodeGearの再利用性や記述生が高まる</li> - <li>デバッグ時にラベルではなくCodeGearにbreakpointを設定可能となり，デバッグが安易となる</li> - <li>ThreadedCodeを実装する場合, CodeGearを組み合わせることにより実装する事が可能となる</li> -</ul> - - - -</div> - -<div class='slide'> - <!-- _S9SLIDE_ --> -<h2 id="cbcmoarvmの欠点">CbCMoarVMの欠点</h2> - -<ul> - <li>CbCコンパイラがバグを発生させやすく, 意図しない挙動を示す事がある - <ul> - <li>CbCコンパイラ自体のバグも存在する</li> - </ul> - </li> - <li>MoarVMのオリジナルの更新頻度が高い為, 追従していく必要がある</li> - <li>CodeGear側からCに戻る際に手順が複雑となる</li> - <li>CodeGearを単位として用いる事で複雑なプログラミングが要求される.</li> -</ul> - - - -</div> - -<div class='slide'> - <!-- _S9SLIDE_ --> <h2 id="threadedcodeの実装">ThreadedCodeの実装</h2> <ul> @@ -734,14 +760,11 @@ $n < 2 ?? $n !! fib($n-1) + fib($n - 2); } -my $N := 29; +my $N := 30; -my $t0 := nqp::time_n(); my $z := fib($N); -my $t1 := nqp::time_n(); say("fib($N) = " ~ fib($N)); -say("time = " ~ ($t1-$t0)); </code></pre> @@ -753,6 +776,20 @@ <h2 id="フィボナッチの例題">フィボナッチの例題</h2> <ul> + <li>オリジナル + <ul> + <li>1.379 sec</li> + <li>1.350 sec</li> + <li>1.346 sec</li> + </ul> + </li> + <li>CbCMoarVM + <ul> + <li>1.636 sec</li> + <li>1.804 sec</li> + <li>1.787 sec</li> + </ul> + </li> <li>フィボナッチの例題ではCbCMoarVMが劣る結果となった</li> </ul> @@ -769,7 +806,7 @@ <ul> <li>7.499 sec</li> <li>7.844 sec</li> - <li>6.074 sec</li> + <li>6.746 sec</li> </ul> </li> <li>CbCMoarVM @@ -788,26 +825,34 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="まとめ">まとめ</h2> - -<ul> - <li>速度を計測した所, 現在はCbCMoarVMの方が僅かに劣る結果となった</li> - <li>ただしフィボナッチを求める例題などで, ケースによってはCbCMoarVMの方が高速に動作する場合もある</li> -</ul> - - - -</div> - -<div class='slide'> - <!-- _S9SLIDE_ --> <h2 id="基本ブロックとcodegear">基本ブロックとCodeGear</h2> <ul> <li>コンパイラなどでは, 関数あるいはループの先頭から, 別の関数呼び出し, あるいはジャンプするまでの間のコードを基本ブロックと呼ぶ</li> <li>基本ブロックは入力に影響を受けず, 基本ブロックが決定したタイミングである決定的な処理を行う</li> + <li>予め実行する基本ブロックが確定していれば, その部分のみ抜き出してコンパイルする事が可能である</li> + <li>CbCのCodeGearは, この基本ブロックとみなす事が可能である</li> + <li>その為, NQPの例題の様に, 予め実行する基本ブロックが確定すれば, その部分の処理が可能となる</li> + <li>これを行うことで, CbCを用いてMoarVMのThreadedCode実装が可能となる</li> </ul> +<pre><code>__code cbc_const_i64(INTERP i,__code cbc_next(INTERP i)){ + GET_REG(i->cur_op, 0,i).i64 = MVM_BC_get_I64(i->cur_op, 2); + i->cur_op += 10; + goto cbc_next(i); +} + +goto cbc_const_i64_16(i,cbc_gt_i_01); + +__code cbc_gt_i_01(INTERP i){ + goto cbc_gt_i(i,cbc_unless_i_01); +} + +__code cbc_unless_i_01(INTERP i,cbc_osrpoint_01){ + goto cbc_unless_i(i,cbc_osrpoint_01); +} +</code></pre> + </div>