Mercurial > hg > Papers > 2019 > anatofuz-prosym
view Slide/slide.pdf.html @ 85:1f4e174f0f1a
add slide
author | Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 08 Jan 2019 19:32:49 +0900 |
parents | |
children | 2c38abf2c77d |
line wrap: on
line source
<!DOCTYPE html> <html> <head> <meta http-equiv="content-type" content="text/html;charset=utf-8"> <title>CbCによるPerl6処理系</title> <meta name="generator" content="Slide Show (S9) v4.0.1 on Ruby 2.5.1 (2018-03-29) [x86_64-darwin17]"> <meta name="author" content="Takahiro Shimizu, Shinji Kono" > <!-- style sheet links --> <link rel="stylesheet" href="s6/themes/screen.css" media="screen"> <link rel="stylesheet" href="s6/themes/print.css" media="print"> <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection"> <!-- JS --> <script src="s6/js/jquery-1.11.3.min.js"></script> <script src="s6/js/jquery.slideshow.js"></script> <script src="s6/js/jquery.slideshow.counter.js"></script> <script src="s6/js/jquery.slideshow.controls.js"></script> <script src="s6/js/jquery.slideshow.footer.js"></script> <script src="s6/js/jquery.slideshow.autoplay.js"></script> <!-- prettify --> <link rel="stylesheet" href="scripts/prettify.css"> <script src="scripts/prettify.js"></script> <style> .slide {page-break-after: always;} </style> </head> <body> <div class="layout"> <div id="header"></div> <div id="footer"> <div align="right"> <img src="s6/images/logo.svg" width="200px"> </div> </div> </div> <div class="presentation"> <div class='slide cover'> <table width="90%" height="90%" border="0" align="center"> <tr> <td> <div align="center"> <h1><font color="#808db5">CbCによるPerl6処理系</font></h1> </div> </td> </tr> <tr> <td> <div align="left"> Takahiro Shimizu, Shinji Kono 琉球大学 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;"> </div> </td> </tr> </table> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="研究目的">研究目的</h2> <ul> <li>スクリプト言語であるPerl5の後継言語としてPerl6が現在開発されている.</li> <li>Perl6は設計と実装が区分されており様々な処理系が開発されている.現在主流なPerl6はRakudoと言われるプロジェクトである.</li> <li>RakudoではPerl6自体をNQP(NotQuitPerl)と言われるPerl6のサブセットで記述し, NQPをVMが解釈するという処理の流れになっている.</li> <li>このVMは任意のVMが選択できるようになっており, 現在はMoarVM, JavaVM, JavaScriptが動作環境として選択可能である.</li> <li>主に利用されているVMにCで書かれたMoarVMが存在する.</li> <li>MoarVMはJITコンパイルなどをサポートしているが, 全体的な起動時間及び処理速度がPerl5と比較し非常に低速である.</li> <li>この問題を解決するためにContinuation based C (CbC)という言語を一部用いてMoarVMの書き換えを行う.</li> <li>CbCを用いたMoarVMの書き換えを検討し,並列デバッグ方法などについて検討する.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="continuation-based-c-cbc">Continuation Based C (CbC)</h2> <ul> <li>Continuation Based C (CbC) はCodeGearとDataGearを単位として用いたプログラミング言語である.</li> <li>CodeGearはCの通常の関数呼び出しとは異なり,スタックに値を積まず, 次のCodeGearにgoto文によって遷移する.</li> <li>このgoto文による遷移を軽量継続と呼ぶ.</li> <li>CbCは軽量継続を取り入れたCの下位言語であり, C言語のAPIを利用可能なCと互換性のある言語である.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="codegearとdetagear">CodeGearとDetaGear</h2> <ul> <li>Cの関数の代わりにCodeGearという単位をCbCでは導入している.</li> <li>CodeGearはCの関数宣言の型名の代わりに<code>__code</code>と書く事で宣言出来る.</li> <li>CodeGearの引数を遷移先のCodeGearと揃えることでレジスタに変数を確保した状態で軽量継続可能である.</li> <li>その為CodeGearの引数は入出力としての意味があり, DataGearと呼んでいる.</li> </ul> <pre><code>extern int printf(const char*,...); int main (){ int data = 0; goto cg1(&data); } __code cg1(int *datap){ (*datap)++; goto cg2(datap); } __code cg2(int *datap){ (*datap)++; printf("%d\n",*datap); } </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="cbcの現在の実装">CbCの現在の実装</h2> <ul> <li>CbCは現在2種類の実装がある. <ul> <li>gcc (version 9.0.0)</li> <li>llvm/clang (version 7.0.0)</li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="言語処理系の応用">言語処理系の応用</h2> <ul> <li>CbCではCodeGearを処理単位として利用でき, これはコンパイラの基本ブロックに相当する.</li> <li>従来のスクリプト言語などの処理系では, 主にcase文で実装していた命令コードディスパッチの箇所をCodeGearの遷移として記述する事が可能である.</li> <li>CodeGearの遷移として記述する事で, 命令処理ごとに分割する事が可能となり, モジュール化が可能となる.</li> <li>CodeGearとCodeGearの遷移時に入出力のインターフェイスを揃える事で, レジスタに変数が割り振られたまま軽量継続が可能となり, レジスタレベルの最適化が可能となる.</li> <li>これらの検証とPerl6の高速化を行う為に, CbCを用いてPerl6処理系の書き換えを行っていく.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6の概要">Perl6の概要</h2> <ul> <li>Perl6とはPerl5の後継言語として当初開発が開始された言語である.</li> <li>仕様と実装が分離しており, 仕様は公式テストスイートであるRoastそのものとなっている.</li> <li>歴史的にHaskellで実装されたPugs, Pythonとの共同基盤を目指したParrotなどの実装が存在する.</li> <li>言語仕様としては漸進的型付け言語であり, 従来のPerl5とは互換性が無い.</li> <li>現在の主要な実装はRakudoと呼ばれる実装である.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="rakudo">Rakudo</h2> <ul> <li>Rakudoとは現在のPerl6の主力な実装である.</li> <li>実行環境のVM, Perl6のサブセットであるNQP(NotQuitPerl), NQPで記述されたPerl6(Rakudo)という構成になっている.</li> <li>VMはCで書かれたPerl6専用のVMであるMoarVM, JavaVMが選択可能である.</li> <li>現在はMoarVMがRakudoの中でも主流なVM実装となっている.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="rakudo-1">Rakudo</h2> <ul> <li>Rakudoにおけるコンパイラは2種類存在する <ul> <li>Perl6やNQPのコードをVMのバイトコードに変換するコンパイラ</li> <li>NQPが出力したVMのバイトコードをネイティブコードに変換するコンパイラ</li> </ul> </li> <li>NQPの処理系nqp及び, Perl6のインタプリタである perl6は, それぞれセルフコンパイルしたものを利用する</li> <li>Perl6は純粋なNQPではなく, Perl6自身によって拡張され記述されている箇所も存在する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvm">MoarVM</h2> <ul> <li>Perl6専用のVMであり, Cで記述されている</li> <li>レジスタマシンとして実装されている.</li> <li>MoarVMはバイトコードインタプリタを <code>src/core/interp.c</code> で定義しており, この中の関数 <code>MVM_interp_run</code> で命令に応じた処理を実行する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="mvm_interp_run">MVM_interp_run</h2> <ul> <li>MVM_interp_runでは次のオペコードをフェッチする際に <code>NEXT_OP</code> マクロを介して計算を行う.</li> <li>オペコードが対応する命令を実行する際は, <code>MVM_CGOTO</code> フラグが立っている場合はCのラベルgotoを利用し, 使えない場合はswitch文を利用して遷移する.</li> </ul> <pre><code>#define NEXT_OP (op = *(MVMuint16 *)(cur_op), cur_op += 2, op) #if MVM_CGOTO #define DISPATCH(op) #define OP(name) OP_ ## name #define NEXT *LABELS[NEXT_OP] #else #define DISPATCH(op) switch (op) #define OP(name) case MVM_OP_ ## name #define NEXT runloop #endif </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="mvm_interp_run-1">MVM_interp_run</h2> <ul> <li>ラベル遷移を利用する場合は配列<code>LABELS</code>にアクセスし, ラベル情報を取得する</li> </ul> <pre><code>static const void * const LABELS[] = { &&OP_no_op, &&OP_const_i8, &&OP_const_i16, &&OP_const_i32, &&OP_const_i64, &&OP_const_n32, &&OP_const_n64, &&OP_const_s, &&OP_set, &&OP_extend_u8, &&OP_extend_u16, &&OP_extend_u32, &&OP_extend_i8, &&OP_extend_i16, </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="mvm_interp_run-2">MVM_interp_run</h2> <ul> <li>DISPATCHマクロは次の様に記述されており, この中の <code>OP</code> で宣言されたブロックがそれぞれオペコードに対応する処理となっている.</li> <li>この中では <code>GET_REG</code> などのマクロを用いてMoarVMのレジスタにアクセスする.</li> <li><code>cur_op</code>は次のオペコードを意味し, マクロ <code>NEXT</code> で決められた方法で次のオペコードに遷移する.</li> </ul> <pre><code>DISPATCH(NEXT_OP) { OP(no_op): goto NEXT; OP(const_i8): OP(const_i16): OP(const_i32): MVM_exception_throw_adhoc(tc, "const_iX NYI"); OP(const_i64): GET_REG(cur_op, 0).i64 = MVM_BC_get_I64(cur_op, 2); cur_op += 10; goto NEXT; OP(pushcompsc): { MVMObject * const sc = GET_REG(cur_op, 0).o; if (REPR(sc)->ID != MVM_REPR_ID_SCRef) MVM_exception_throw_adhoc(tc, "Can only push an SCRef with pushcompsc"); if (MVM_is_null(tc, tc->compiling_scs)) { MVMROOT(tc, sc, { tc->compiling_scs = MVM_repr_alloc_init(tc, tc->instance->boot_types.BOOTArray); }); } MVM_repr_unshift_o(tc, tc->compiling_scs, sc); cur_op += 2; goto NEXT; } } </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="mvm_interp_run-3">MVM_interp_run</h2> <ul> <li>Cの実装の場合, switch文に展開される可能性がある為, 命令ディスパッチが書かれているCソース・ファイルの指定の場所にのみ処理を記述せざるを得ない <ul> <li>その為, 1ファイルあたりの記述量が膨大になり, 命令のモジュール化ができない</li> </ul> </li> <li>Threaded Codeの実装を考えた場合, この命令に対応して大幅に処理系の実装を変更する必要がある.</li> <li>デバッグ時には今どの命令を実行しているか, ラベルテーブルを利用して参照せざるを得ず, 手間がかかる.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqp">NQP</h2> <ul> <li>MoarVM, JVM上で動作する Perl6のサブセットとなっている.</li> <li>NQPの基本文法はPerl6に準拠しているが, 束縛ベースで変数を利用するなどいくつか異なる点が存在する.</li> <li>NQPは最終的にブートストラップを行う処理系であるが, 初回のビルド時には, すでに書かれたMoarVM, JVMのバイトコードを必要とする. <ul> <li>この状態をStage0といい, Stage0を利用してStage1, Stage1を利用してStage2をビルドする事で完成する.</li> </ul> </li> <li>NQPの実行可能なインタプリタである<code>nqp</code>は, MoarVMの実行バイナリ<code>moar</code> にライブラリパスなどを設定し, ビルドしたライブラリなどを引数として渡すシェルスクリプトとなっている.</li> <li><code>nqp</code> を実行する事でREPLが起動され, NQPスクリプトを <code>nqp</code> に入力として与える事で, 通常のスクリプト言語の様に実行する事が可能となる.</li> <li>NQPの設計はRoastで定義されているPerl6とは異なり, 今後も変化していく事が公表されている.</li> </ul> <pre><code>#! nqp sub fib($n) { $n < 2 ?? $n !! fib($n-1) + fib($n - 2); } my $N := 29; my $z := fib($N); say("fib($N) = " ~ fib($N)); </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="cbcによるmoarvm">CbCによるMoarVM</h2> <ul> <li>MoarVMの中心部分はバイトコードを解釈するバイトコードインタプリタである.</li> <li>その為, CbCを用いてMoarVMのバイトコードインタプリタ部分の書き換えを検討する.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="cbcmoarvmのバイトコードディスパッチ">CbCMoarVMのバイトコードディスパッチ</h2> <ul> <li>interp.cではマクロを利用した cur_op (現在のオペコード) の計算及び, マクロ遷移かswitch文を利用して次の命令列に遷移していた</li> <li>CbCMoarVMでは, それぞれの命令に対応するCodeGearを生成し, このCodeGearの集合であるテーブルCODESを作成した</li> <li>このテーブルは<code>cbc_next</code>というCodeGearから参照し, 以降はこのCodeGearの遷移として処理が継続される.</li> </ul> <pre><code>#define NEXT_OP(i) (i->op = *(MVMuint16 *)(i ->cur_op), i->cur_op += 2, i->op) #define DISPATCH(op) {goto (CODES[op])(i);} #define OP(name) OP_ ## name #define NEXT(i) CODES[NEXT_OP(i)](i) static int tracing_enabled = 0; _code cbc_next(INTERP i){ goto NEXT(i); } </code></pre> <pre><code>__code (* CODES[])(INTERP) = { cbc_no_op, cbc_const_i8, cbc_const_i16, cbc_const_i32, cbc_const_i64, cbc_const_n32, cbc_const_n64, cbc_const_s, cbc_set, cbc_extend_u8, cbc_extend_u16, </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="codegearの入出力インターフェイス">CodeGearの入出力インターフェイス</h2> <ul> <li>MoarVMではレジスタの集合や命令列などをMVM_interp_runのローカル変数として利用し, 各命令実行箇所で参照している</li> <li>CodeGearに書き換えた場合, このローカル変数にはアクセスする事が不可能となる.</li> <li>その為, 入出力としてMoarVMの情報をまとめた構造体interpのポインタであるINTERPを受け渡し, これを利用してアクセスする</li> </ul> <pre><code>typedef struct interp { MVMuint16 op; /* Points to the place in the bytecode right after the current opcode. */ /* See the NEXT_OP macro for making sense of this */ MVMuint8 *cur_op; /* The current frame’s bytecode start. */ MVMuint8 *bytecode_start; /* Points to the base of the current register set for the frame we * are presently in. */ MVMRegister *reg_base; /* Points to the current compilation unit . */ MVMCompUnit *cu; /* The current call site we’re constructing. */ MVMCallsite *cur_callsite; MVMThreadContext *tc; } INTER,*INTERP; </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="datagearへの変換">DataGearへの変換</h2> <ul> <li>バイトコードに対応する命令をそれぞれCodeGearに変換していく.</li> <li><code>OP(.*)</code>の<code>(.*)</code>の部分をCodeGearの名前として先頭に <code>cbc_</code> をつけた上で設定する.</li> <li>cur_opなどはINTERPを経由してアクセスする様に修正する.</li> <li>末尾の <code>NEXT</code> を次のCodeGearにアクセスする為に <code>cbc_next</code> に修正する.</li> <li> <p>case文で次のcase文に流れる箇所は, 直接その下のcase文に該当するCodeGearに遷移する.</p> </li> <li>論文執筆時はstaticに修正する必要があったが, その後CbCコンパイラの改良により不要となった.</li> </ul> <pre><code>__code cbc_no_op(INTERP i){ goto cbc_next(i); } __code cbc_const_i8(INTERP i){ goto cbc_const_i16(i); } __code cbc_const_i16(INTERP i){ goto cbc_const_i32(i); } __code cbc_const_i32(INTERP i){ MVM_exception_throw_adhoc(i->tc, "const_iX NYI"); goto cbc_const_i64(i); } __code cbc_const_i64(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); } __code cbc_pushcompsc(INTERP i){ MVMObject * sc; sc = GET_REG(i->cur_op, 0,i).o; if (REPR(sc)->ID != MVM_REPR_ID_SCRef) MVM_exception_throw_adhoc(i->tc, "Can only push an SCRef with pushcompsc"); if (MVM_is_null(i->tc, i->tc->compiling_scs)) { MVMROOT(i->tc, sc, { i->tc->compiling_scs = MVM_repr_alloc_init(i->tc, i->tc->instance->boot_types.BOOTArray); }); } MVM_repr_unshift_o(i->tc, i->tc->compiling_scs, sc); i->cur_op += 2; goto cbc_next(i); } </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmのデバッグ手法">MoarVMのデバッグ手法</h2> <ul> <li>MoarVMはバイトコードをランダムに生成する仕様となっている <ul> <li>一旦moarvmバイトコードとして出力したファイルを実行する場合は同じ処理内容となっている</li> </ul> </li> <li>そのため, MoarVMのデバッグは同じバイトコードを入力として与え, オリジナルのMoarVMと並列してgdbを用いてトレースを行う.</li> <li>この際, 実行するバイトコードの数が膨大となるので, scriptコマンドを用いて実行するバイトコードの番号を吐き出し, ログファイルを用いて比較する.</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmのデバッグ時のbreak-point">MoarVMのデバッグ時のbreak point</h2> <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 /cbc-interp.cbc, line 61. (gdb) command 2 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 >c >end </code></pre> <ul> <li>オリジナルの場合マクロである為, dummy関数をマクロに記述し, この関数にbreakpointを設定する</li> </ul> <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 Breakpoint 1 (dummy) pending. (gdb) command 1 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> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmのトレース">MoarVMのトレース</h2> <ul> <li>トレース時には次の様なデバッグ情報の表示を利用する</li> <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) at src/core/interp.c:119 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) at src/core/interp.c:1169 1169 goto NEXT; $2 = 162 </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmのデバッグ">MoarVMのデバッグ</h2> <ul> <li>cur_opのみをPerlスクリプトなどを用いて抜き出し, 並列にログを取得したオリジナルと差分を図る</li> <li>この際に差異が発生したオペコードを確認し, その前の状態で確認していく</li> </ul> <pre><code>131 : 131 139 : 139 140 : 140 144 : 144 558 : 558 391 : 391 749 : 749 53 : 53 *54 : 8 </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="cbcmoarvmと通常のmoarvmの比較">CbCMoarVMと通常のMoarVMの比較</h2> <ul> <li>CbCMoarVMと通常のMoarVMの速度比較を行った</li> </ul> <pre><code>#! nqp # Example of a while loop my $i := 0; while $i < 10 { say("i={$i++}"); } </code></pre> <pre><code>subset Fizz of Int where * %% 3; subset Buzz of Int where * %% 5; subset FizzBuzz of Int where Fizz&Buzz; subset Number of Int where none Fizz|Buzz; proto sub fizzbuzz ($) { * } multi sub fizzbuzz (FizzBuzz) { "FuzzBuzz" } multi sub fizzbuzz (Fizz) { "Fizz" } multi sub fizzbuzz (Buzz) { "Buzz" } multi sub fizzbuzz (Number $number) { $number } fizzbuzz($_).say for 1..15; </code></pre> </div> </div><!-- presentation --> </body> </html>