Papers/2019/anatofuz-prosym: Slide/slide.html comparison

comparison 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

comparison

equal deleted inserted replaced

-:01f148c3de98
+:38ab79fff396
 <li>Rakudoとは現在のPerl6の主力な実装である．</li>
 <li>実行環境のVM, Perl6のサブセットであるNQP(NotQuitPerl), NQPで記述されたPerl6(Rakudo)という構成になっている．</li>
 <li>コンパイラは, NQPで記述されたPerl6コンパイラ, NQPで記述されたNQPコンパイラ, MoarVMバイトコードを解釈するMoarVMという構成である</li>
 </ul>
+<img src="fig/tgraph/1.svg" alt="" width="50%" height="50%" />
 </div>
 <div class='slide'>
 <pre><code>    OP_const_i16:
 OP_const_i32:
 MVM_exception_throw_adhoc(tc, "const_iX NYI");
 OP_const_i64:
 </code></pre>
 </div>
 <li><code>GET_REG</code>はバイトコードに埋められた数値を利用して, レジスタ情報を取得/設定などをする</li>
 <li><code>GET_REG</code>は次の様に展開される</li>
 </ul>
 <pre><code>        reg_base[*((MVMuint16 *)(cur_op + 0))].i64 = MVM_BC_get_I64(cur_op, 2);
 </code></pre>
 <ul>
 <li><code>reg_base</code> はMoarVMの現在のフレームのレジスタ情報が保存されたポインタであり, MVM_interp_runではローカル変数として利用している</li>
 </ul>
 </div>
 <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>
 <li>MoarVMはバイトコードをランダムに生成する仕様となっている
 <ul>
 <li>CbC側では次のオペコードの遷移は <code>cbc_next</code> というCodeGearで行う</li>
 <li>CodeGearは関数として扱える為, これに直接break pointを設定する</li>
 </ul>
 <pre><code>(gdb) b cbc_next
-Breakpoint 2 at 0x7ffff7560288: file src/core
+Breakpoint 2 at 0x7ffff7560288: file src/core/cbc-interp.cbc, line 61.
-/cbc-interp.cbc, line 61.
 (gdb) command 2
-Type commands for breakpoint(s) 2, one per
+Type commands for breakpoint(s) 2, one per line.
-line.
 End with a line saying just "end".
 &gt;p CODES[*(MVMuint16 *)i-&gt;cur_op]
 &gt;p *(MVMuint16 *)i-&gt;cur_op
 &gt;c
 &gt;end
 </code></pre>
 <ul>
 <li>オリジナルの場合マクロである為, dummy関数をマクロに記述し, この関数にbreakpointを設定する</li>
 </ul>
-<pre><code>dalmore gdb --args ../../MoarVM_Original/
+<pre><code>dalmore gdb --args ../../MoarVM_Original/MoarVM/moar --libpath=src/vm/moar/stage0  gen/moar/stage1/nqp
-MoarVM/moar --libpath=src/vm/moar/stage0
-gen/moar/stage1/nqp
 (gdb) b dummy
 Function "dummy" not defined.
-Make breakpoint pending on future shared
+Make breakpoint pending on future shared library load? (y or [n]) y
-library load? (y or [n]) y
 Breakpoint 1 (dummy) pending.
 (gdb) command 1
-Type commands for breakpoint(s) 1, one per
+Type commands for breakpoint(s) 1, one per line.
-line.
 End with a line saying just "end".
 &gt;up
 &gt;p *(MVMuint16 *)(cur_op)
 &gt;c
 &gt;end
 </code></pre>
 </div>
 <ul>
 <li>トレース時には次の様なデバッグ情報の表示を利用する</li>
 <li>デバッガに, breakpointで停止した際のcur_opの値を表示する様に設定する．</li>
 </ul>
-<pre><code>Breakpoint 1, dummy () at src/core/interp.c
+<pre><code>Breakpoint 1, dummy () at src/core/interp.c:46
-:46
+46	}
-46 }
+#1  0x00007ffff75608fe in MVM_interp_run (tc=0x604a20,
-#1 0x00007ffff75608fe in MVM_interp_run (tc=0
+initial_invoke=0x7ffff76c7168 &lt;toplevel_initial_invoke&gt;, invoke_data=0x67ff10)
-x604a20,
-initial_invoke=0x7ffff76c7168 &lt;
-toplevel_initial_invoke&gt;, 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
+Breakpoint 1, dummy () at src/core/interp.c:46
-46 }
+46	}
-#1 0x00007ffff75689da in MVM_interp_run (tc=0
+#1  0x00007ffff75689da in MVM_interp_run (tc=0x604a20,
-x604a20,
+initial_invoke=0x7ffff76c7168 &lt;toplevel_initial_invoke&gt;, invoke_data=0x67ff10)
-initial_invoke=0x7ffff76c7168 &lt;
-toplevel_initial_invoke&gt;, invoke_data
-=0x67ff10)
 at src/core/interp.c:1169
-1169 goto NEXT;
+1169	                goto NEXT;
 $2 = 162
+</code></pre>
+</div>
+<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 &lt;cbc_takeclosure&gt;
+$2 = 162
+Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61
+61	    goto NEXT(i);
+$3 = (void (*)(INTERP)) 0x7ffff7565f86 &lt;cbc_checkarity&gt;
+$4 = 140
+Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61
+61	    goto NEXT(i);
+$5 = (void (*)(INTERP)) 0x7ffff7579d06 &lt;cbc_paramnamesused&gt;
+$6 = 558
 </code></pre>
 </div>
 </div>
 <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>
 <li>MoarVM内のオペコードに対応する処理が分離出来たことにより, オペコードに該当するCodeGearを書き連ねることによってThreadedCodeが実装可能となる</li>
 </ul>
 sub fib($n) {
 $n &lt; 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>
 </div>
 <div class='slide'>
 <!-- _S9SLIDE_ -->
 <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>
 <ul>
 <li>オリジナル
 <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
 <ul>
 <li>6.135 sec</li>
 </div>
 <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>
-</ul>
+<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-&gt;cur_op, 0,i).i64 = MVM_BC_get_I64(i-&gt;cur_op, 2);
+i-&gt;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>

Mercurial > hg > Papers > 2019 > anatofuz-prosym

comparison Slide/slide.html @ 96:38ab79fff396