Mercurial > hg > Events > OSC2019
view slide.html @ 18:1fc9d0bd924f default tip
update
| author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sat, 20 Apr 2019 18:06:35 +0900 |
| parents | a176ea5c0264 |
| children |
line wrap: on
line source
<!DOCTYPE html> <html> <head> <meta http-equiv="content-type" content="text/html;charset=utf-8"> <title>Perl6の内部表現</title> <meta name="generator" content="Slide Show (S9) v4.1.0 on Ruby 2.6.3 (2019-04-16) [x86_64-darwin17]"> <meta name="author" content="Takahiro Shimizu" > <!-- style sheet links --> <link rel="stylesheet" href="s6/themes/projection.css" media="screen,projection"> <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> <script> $(document).ready( function() { Slideshow.init(); $('code').each(function(_, el) { if (!el.classList.contains('noprettyprint')) { el.classList.add('prettyprint'); } }); prettyPrint(); } ); </script> <!-- Better Browser Banner for Microsoft Internet Explorer (IE) --> <!--[if IE]> <script src="s6/js/jquery.microsoft.js"></script> <![endif]--> </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">Perl6の内部表現</font></h1> </div> </td> </tr> <tr> <td> <div align="left"> Takahiro Shimizu <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>Perl6の主要な実装であるRakudoの内部構造を探ります</li> <li>Rakudoの内部で利用されているVMや， Perl6のサブセットなどについて探索します</li> <li>スクリプト言語で主に使われているバイトコードインタプリタの気持ちになります</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="内容">内容</h2> <ul> <li>Perl6とは?</li> <li>スクリプト言語処理系の動き</li> <li>Perl6の内部構造 <ul> <li>NQP</li> <li>MoarVM <ul> <li>NQPとMoarVMのバイトコード対応</li> <li>バイトコードインタプリタのC言語実装</li> <li>MoarVMの詳細</li> </ul> </li> </ul> </li> <li>MoarVMのバイトコード実行</li> <li>まとめ</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6とは">Perl6とは</h2> <ul> <li>当初Perl5の時期バージョンとして開発されていたプログラミング言語 <ul> <li>現在は別の言語として開発がそれぞれ進んでいる</li> </ul> </li> <li>仕様と実装が分離しており， 現在はテストが仕様となっている</li> <li>実装は歴史上複数存在しているが，主流な実装はRakudo <ul> <li>Haskellで実装されたPugs</li> <li>Pythonとの共同基板を目指したParrot</li> </ul> </li> <li>言語的にはスクリプト言語であり， 漸進的型付き言語</li> <li>動作環境は、独自のVMのMoarVM, JVM、一部JavaScript上で動作する</li> </ul> <p><img src="fig/2000px-Camelia.svg.png" alt="" style="width: 31%; height: auto;" /></p> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="現在のperl6">現在のPerl6</h2> <ul> <li>現在のバージョンは <code>6.d</code></li> <li><a href="https://perl6.github.io/6pad/">ブラウザ上で実行可能な環境</a>が存在する</li> <li><a href="https://commaide.com/">IDE</a>が開発されている</li> <li>WebApplicationFrameworkなども開発されており、 Perl5のモジュールを移行したものがいくつか存在する</li> <li>日本では趣味のプロダクト以外社会では使用されていない <ul> <li>海外では実際に使われているケースも存在する</li> </ul> </li> <li>処理速度では一部Perl5に勝っているが、それでも大分遅い</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="参考perl5のソースコード">[参考]Perl5のソースコード</h2> <ul> <li>Perl5時代 <ul> <li>スカラ、配列、ハッシュの3種類</li> <li>それぞれの変数への参照であるリファレンスが使用可能</li> </ul> </li> </ul> <pre><code class="language-perl">use ustrict; use warnings; my $scalar_value = "hello!"; print "$scalar_value\n"; my @array = (1..10); print "$array[0]\n"; my %hash = ( this_is_key => "this_is_value"); print "$hash{this_is_key}\n"; my $hash_ref = \%hash; print "$hash_ref->{this_is_key}\n"; </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6のソースコード概要">Perl6のソースコード概要</h2> <ul> <li>Perl5の文法とは比較的変更が多い <ul> <li>雰囲気は似ている</li> </ul> </li> <li>変数がオブジェクトと化した事により， 変数からsayメソッドを呼ぶことが可能</li> </ul> <pre><code>my $str_value = 'hello world!'; $str_value.say; # hello world! </code></pre> <ul> <li>Perl5と同様に，変数にはデフォルトでは型がないような振る舞いをする</li> </ul> <pre><code>my $sample_value = 'hello world!'; $sample_value.say; # hello world! $sample_value = '31'; $sample_value.say; # 31 say($sample_value * 3); </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6の言語的な特徴">Perl6の言語的な特徴</h2> <ul> <li>漸進的型付き言語である為， 型を強制することも可能となる</li> </ul> <pre><code>my Int $int_value = 31; $int_value = "hello"; # Compile error! </code></pre> <pre><code>$ perl6 type_invalid.p6 Type check failed in assignment to $int_value; expected Int but got Str ("hello") in block <unit> at type_invalid.p6 line 4 </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6の言語的な特徴-1">Perl6の言語的な特徴</h2> <ul> <li>型を独自に定義することも可能</li> <li>入力の型によって実行する関数を変える事などができる</li> </ul> <pre><code class="language-perl6">my subset Fizz of Int where * %% 3; my subset Buzz of Int where * %% 5; my subset FizzBuzz of Int where Fizz&Buzz; my 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> <ul> <li>型を利用したFizzBuzz</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="スクリプト言語">スクリプト言語</h2> <ul> <li>Perl6は現状コンパイルすることはできない <ul> <li>スクリプト言語の分類</li> </ul> </li> <li>現在広く使われているスクリプト言語(Perl,Python,Ruby…)などとPerl6の構成は類似している</li> <li>今回はPerl6の実装を追いながら、最近のスクリプト言語処理系の大まかな実装を理解する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="スクリプト言語処理系">スクリプト言語処理系</h2> <ul> <li>スクリプト言語は入力として与えられたソースコードを、 直接評価せずにバイトコードにコンパイルする形式が主流となっている</li> <li>その為スクリプト言語の実装は大きく2つで構成されている <ul> <li>バイトコードに変換するフロントエンド部分</li> <li>バイトコードを解釈する仮想機械</li> </ul> </li> </ul> <p><img src="fig/bytecode_sample_generally_lang.svg" width="80%" /></p> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6以外のスクリプト言語">Perl6以外のスクリプト言語</h2> <ul> <li>現在使われているプロセスVMは言語に組み込まれているものが多い</li> <li>JVMやElixirなどのVMは複数の言語で使用されている</li> <li>Java <ul> <li>JVM</li> </ul> </li> <li>Ruby <ul> <li>YARV</li> </ul> </li> <li>Python <ul> <li>PythonVM</li> </ul> </li> <li>Erlang</li> <li>Elixir <ul> <li>BEAM</li> </ul> </li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6の処理系の構成">Perl6の処理系の構成</h2> <ul> <li>Perl6の処理系で現在主流なものはRakudoと呼ばれる実装である(歴史上複数存在する)</li> <li>Rakudoは3つのレイヤーから構成されている <ul> <li>Perl6インタプリタ</li> <li>Perl6インタプリタを記述するPerl6のサブセットNQP</li> <li>Perl6のバイトコードを解釈するMoarVM</li> </ul> </li> <li>Perl6/NQPがフロントエンドに相当し、MoarVMがバックエンドに相当する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="rakudoの構成図">Rakudoの構成図</h2> <p><img src="fig/Rakudo_overview.svg" alt="" /></p> <p>(http://brrt-to-the-future.blogspot.com/2015/03/advancing-jit-compiler.html)</p> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6とnqp">Perl6とNQP</h2> <ul> <li>NQP(NotQuitPerl Perl) <ul> <li>Perl6のサブセット。Perl6っぽい言語</li> </ul> </li> <li>Perl6、 NQP自体がNQPで記述されている</li> <li>NQPもNQPで記述されている為、 セルフビルド(自分自身で自分自身をコンパイルする)を行う</li> <li>NQPはPerl6の文法をベースにしているが、 制約がいくつか存在する</li> <li>元々はPerl6の主力実装がParrotだった時代に登場 <ul> <li>文法がアップデートされており、当時の資料は古くなっている</li> </ul> </li> </ul> <pre><code>my $value := "hello!"; say($value); </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqpスクリプト">NQPスクリプト</h2> <ul> <li>変数は束縛 <code>:=</code> を使う</li> <li>関数の間に空白を入れてはいけない</li> <li>再帰呼び出しを使うフィボナッチ数列</li> </ul> <pre><code>#! nqp sub fib($n) { $n < 2 ?? $n !! fib($n-1) + fib($n - 2); } my $N := 29; my $z := fib($N); nqp::say("fib($N) = " ~ fib($N)); </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqpスクリプトnまでの整数の和">NQPスクリプト(nまでの整数の和)</h2> <pre><code class="language-perl6">sub add_test($n){ my $sum := 0; while ( $n > 1) { $sum := $sum + $n; --$n; } return $sum; } say(add_test(10000)); </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqp">NQP</h2> <ul> <li>NQPはPerl6の中で一番レイヤーが低い言語</li> <li>その為、 実行するVMのオペコード(処理単位)を使用することができる</li> <li>NQPオペコードは、 Perl6の内部の抽象構文木でも使用されている</li> <li>また、 Perl6と同様に型を指定することが可能</li> </ul> <pre><code class="language-perl6">sub add_test(int $n){ mu $sum := 0; while nqp::isgt_i($n,1) { $sum := nqp::add_i($sum,$n); $n := nqp::sub_i($n,1); } return $sum; } </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqpとmoarvm">NQPとMoarVM</h2> <ul> <li>NQPは実行する際にMoarVM/JVMが必要となる <ul> <li>NQPコンパイラが各VMに対応したバイトコードに変換する</li> </ul> </li> <li>MoarVMの場合は、MoarVMのバイナリ moar に、 NQPのインタプリタのバイトコードをライブラリや入力として与える</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="perl6のvm">Perl6のVM</h2> <ul> <li>MoarVM, JVM , JavaScriptが選択可能 <ul> <li>メインで開発されているのはMoarVMであり、 他のVMは機能が実装されていないものが存在する</li> </ul> </li> <li><code>rakudo-star</code> というPerl6のパッケージ環境では、 MoarVMがデフォルトでインストールされる</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvm">MoarVM</h2> <ul> <li>Metamodel On A Runtime</li> <li>C言語で記述されているPerl6専用の仮想機械</li> <li>レジスタマシン <ul> <li>型情報を持つレジスタに対しての演算として処理される</li> <li>Rubyなどはスタックマシンとして実装されている</li> </ul> </li> <li>Unicodeのサポートや、LuaJITなどを利用したJITコンパイルなども可能</li> <li>Perl6やNQPは、MoarVMに対してライブラリなどを設定して起動する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="バイトコード">バイトコード</h2> <ul> <li>Perl6も、Rakudo/NQPはバイトコードに変換され、 バイトコードをVMが実行する</li> <li>Perl6/NQPはバイトコードにコンパイルすることが可能 <ul> <li>直接実行することはできない</li> </ul> </li> </ul> <pre><code>$nqp --target=mbc --output=fib.moarvm fib.nqp </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="バイトコード-1">バイトコード</h2> <ul> <li>バイナリ形式で表現される為、 VMがどのように読み取るかでバイトコードの意味が異なる</li> <li>スクリプト言語系のVMは、 VMという名前の通り、 計算機をエミュレートしている <ul> <li>その為、通常のCPUのストア命令などに相当する命令が実装されている</li> <li>スクリプト言語は、その命令の実行を繰り返すことでプログラムを評価する</li> </ul> </li> <li>スクリプト言語で重要なバイトコード表現は、「仮想機械がどの命令を実行するか」のバイトコード <ul> <li>CPUに対するアセンブラの数値に対応する</li> </ul> </li> <li>どういった構成なのかは仮想機械によって異なる</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="バイトコードとmoarvm">バイトコードとMoarVM</h2> <ul> <li>MoarVMバイトコードはMoarVMの実行バイナリ <code>moar</code> でディスアセンブルすることが可能</li> </ul> <pre><code> annotation: add_test.nqp:1 00003 const_i64_16 loc_2_int, 0 00004 hllboxtype_i loc_3_obj 00005 box_i loc_3_obj, loc_2_int, loc_3_obj 00006 set loc_1_obj, loc_3_obj label_1: 00007 decont loc_3_obj, loc_0_obj 00008 smrt_numify loc_4_num, loc_3_obj 00009 const_i64_16 loc_2_int, 1 00010 coerce_in loc_5_num, loc_2_int 00011 gt_n loc_2_int, loc_4_num, loc_5_num 00012 unless_i loc_2_int, label_2(00031) 00013 osrpoint annotation: add_test.nqp:3 00014 decont loc_3_obj, loc_1_obj 00015 smrt_numify loc_5_num, loc_3_obj 00016 decont loc_3_obj, loc_0_obj 00017 smrt_numify loc_4_num, loc_3_obj 00018 add_n loc_4_num, loc_5_num, loc_4_num 00019 hllboxtype_n loc_3_obj 00020 box_n loc_3_obj, loc_4_num, loc_3_obj 00021 set loc_1_obj, loc_3_obj 00022 decont loc_3_obj, loc_0_obj 00023 smrt_numify loc_4_num, loc_3_obj 00024 coerce_ni loc_6_int, loc_4_num 00025 const_i64_16 loc_7_int, 1 00026 sub_i loc_7_int, loc_6_int, loc_7_int 00027 hllboxtype_i loc_3_obj 00028 box_i loc_3_obj, loc_7_int, loc_3_obj 00029 set loc_0_obj, loc_3_obj 00030 goto label_1(00007) </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqpとバイトコードの対応">NQPとバイトコードの対応</h2> <pre><code>say(add_test(10000)); </code></pre> <pre><code> annotation: add_test.nqp:1 label_1: 00020 getlex_no loc_7_obj, '&say' 00021 decont loc_7_obj, loc_7_obj 00022 const_s loc_3_str, '&add_test' 00023 getlexstatic_o loc_8_obj, loc_3_str 00024 decont loc_8_obj, loc_8_obj 00025 const_i64_16 loc_5_int, 10000 00026 prepargs Callsite_1 00027 arg_i 0, loc_5_int 00028 invoke_o loc_8_obj, loc_8_obj 00029 prepargs Callsite_0 00030 arg_o 0, loc_8_obj 00031 invoke_v loc_7_obj 00032 null loc_7_obj 00033 return_o loc_7_obj </code></pre> <ul> <li>Perl6の変数は直接実態を参照せず、中身が入っているコンテナを参照するようになっている。</li> <li>その為 <code>decont</code> 命令で、コンテナの中身をレジスタに設定する必要がある</li> <li><code>const_i64_16</code> などは64bitの数という意味で、 <code>int</code> 型としてレジスタに登録している</li> <li><code>prepargs</code> で引数の確認を行い, <code>invoke_o</code> で実際にサブルーチンに移行する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqpとバイトコードの対応-1">NQPとバイトコードの対応</h2> <pre><code>my $sum := 0; </code></pre> <pre><code> annotation: add_test.nqp:1 00003 const_i64_16 loc_2_int, 0 00004 hllboxtype_i loc_3_obj 00005 box_i loc_3_obj, loc_2_int, loc_3_obj 00006 set loc_1_obj, loc_3_obj </code></pre> <ul> <li>まず <code>loc_2</code> レジスタをint型の整数0で初期化する</li> <li>変数 <code>$sum</code> はint型の指定がないので、 obj型で登録しなければならない</li> <li>その為, 整数として登録された <code>loc_2</code> から、 obj型に一旦キャストし、 <code>loc_3</code> レジスタに設定したものを、 <code>loc_1</code> レジスタに設定する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="nqpとバイトコードの対応-2">NQPとバイトコードの対応</h2> <pre><code> while ( $n > 1) { </code></pre> <pre><code> label_1: 00007 decont loc_3_obj, loc_0_obj 00008 smrt_numify loc_4_num, loc_3_obj 00009 const_i64_16 loc_2_int, 1 00010 coerce_in loc_5_num, loc_2_int 00011 gt_n loc_2_int, loc_4_num, loc_5_num 00012 unless_i loc_2_int, label_2(00031) 00013 osrpoint </code></pre> <ul> <li>比較にもint型の指定がない為、 <code>num</code> 型にキャストし、 <code>num</code> 型のレジスタでの大小を比較する</li> <li>比較命令は <code>gt_n</code> であり、 結果により <code>unless_i</code> 命令で、別のラベルにジャンプする</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="decode命令">decode命令</h2> <pre><code> while ( $n > 1) { </code></pre> <pre><code>00007 decont loc_3_obj, loc_0_obj </code></pre> <p><img src="fig/decont_perl6_loc3.svg" alt="" /></p> <ul> <li>変数 <code>$n</code> と 整数 <code>1</code> を大小比較する為、 まず <code>$n</code> から値を取り出す</li> <li>とりだした時点では、何の型で使うかは決定していない為、 obj型として判定する</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="smrt_nomify">smrt_nomify</h2> <pre><code> while ( $n > 1) { </code></pre> <pre><code>00008 smrt_numify loc_4_num, loc_3_obj </code></pre> <ul> <li><code>smrt_numify</code> はレジスタ上のオブジェクトを、 num型に変換し、 別のレジスタに登録する命令</li> <li>今回の整数の比較では、 int型の強制がない為、 数値として比較するためにn64型にキャストしている <ul> <li>numはn64型であり、 64ビットの浮動小数点定数の意味</li> </ul> </li> </ul> <p><img src="fig/perl6_num_convert.svg" alt="" /></p> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="const_i64_16とcoerece_in">const_i64_16とcoerece_in</h2> <pre><code> while ( $n > 1) { </code></pre> <pre><code>00009 const_i64_16 loc_2_int, 1 00010 coerce_in loc_5_num, loc_2_int </code></pre> <ul> <li>64ビット整数として1をレジスタ <code>loc_2</code> に設定する</li> <li>その後、 numでの比較のためにキャストし, <code>loc_5</code> レジスタに設定している</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="比較とif文の判定">比較とif文の判定</h2> <pre><code> while ( $n > 1) { </code></pre> <pre><code>00011 gt_n loc_2_int, loc_4_num, loc_5_num 00012 unless_i loc_2_int, label_2(00031) </code></pre> <ul> <li><code>gt_n</code> で <code>loc_4</code> (nが入っている) レジスタと <code>loc_5</code> (1が入っているレジスタ)を比較する <ul> <li>結果により <code>loc_2</code> レジスタに真偽値がint型で代入される</li> </ul> </li> <li>その結果を <code>unless_i</code> で読み取り、 値が偽であったら <code>label_2(00031)</code> にジャンプする</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="c言語での実装へ">C言語での実装へ</h2> <ul> <li>今まではスクリプトレベルでの実装を見てきました</li> <li>スクリプトが実行されるVMの実装をCレベルで見ていきましょう</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmのバイトコードインタプリタ部分">MoarVMのバイトコードインタプリタ部分</h2> <p>MoarVMなどの言語処理系のバイトコードインタプリタは次のことを繰り返している</p> <ol> <li>入力されたバイトコード列から命令に対応する部分を読み取る</li> <li>読み込んだ数値から、 対応する命令を取得する</li> <li>命令部分を実行する</li> <li>バイトコード列を次に進め、繰り返す</li> </ol> <ul> <li>この部分の実装は大体次のようなパターンで記述されている</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="巨大なswitch文を使うケース">巨大なswitch文を使うケース</h2> <ul> <li>命令に対応するバイトコードを数値に変換できるようにし、 switch-case文で分岐させる</li> <li>実行のたびにループで先頭に戻り、次の命令を計算する必要があるので低速</li> </ul> <pre><code> while( pc != NULL) { switch(pc){ case ADD_INSTRUCTION: // instruction.... break; case SUBD_INSTRUCTION: // instruction.... break; } } </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="cコンパイラのラベルgotoを使うケース">Cコンパイラのラベルgotoを使うケース</h2> <ul> <li>巨大なcase文とループではなく、 次の命令の実行場所に直接jmpで移動する</li> <li>GCC拡張でサポートしている場合「<code>&&ラベル名</code> 」でラベルのアドレスが取得できる <ul> <li>取得したアドレスに対して「goto アドレス」でgoto文でjmpする</li> </ul> </li> <li>次の命令に対応するラベルを取得する必要があるが、 ループする必要がなく高速</li> <li>ラベルgotoであり、 Cコンパイラの拡張機能として搭載されている <ul> <li>gccおよびLLVM/clangには実装されている</li> </ul> </li> </ul> <pre><code> static const void *CODES[] = {&&ADD_INSTRUCTION, &&SUB_INSTRCUTION}; goto *CODES[pc]; ADD_INSTRUCTION: // instruction... pc++; goto *CODES[pc]; SUB_INSTRUCTION: // instruction... pc++; goto *CODES[pc]; </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmでは">MoarVMでは</h2> <ul> <li>ラベルgotoが利用できる場合は利用する</li> <li>使えないコンパイラの場合は、 switch文を利用する <ul> <li>この判断はマクロで処理をしている</li> </ul> </li> <li>一般的にはラベルgotoの方が高速である為、他のスクリプト言語でもラベルgotoが使われている</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmのc言語での実装">MoarVMのC言語での実装</h2> <ul> <li><a href="https://github.com/MoarVM/MoarVM">GitHub上にリポジトリ</a>がある</li> <li><code>src/core/interp.c</code> がバイトコードインタプリタの実装コード</li> <li>この中でマクロを使いつつ、 バイトコードに対応した命令を処理している</li> <li><code>MVM_interp_run</code>が実際にバイトコードを解釈している</li> </ul> <pre><code>/* This is the interpreter run loop. We have one of these per thread. */ void MVM_interp_run(MVMThreadContext *tc, void (*initial_invoke)(MVMThreadContext *, void *), void *invoke_data) { #if MVM_CGOTO #include "oplabels.h" #endif /* 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 = NULL; /* The current frame's bytecode start. */ MVMuint8 *bytecode_start = NULL; /* Points to the base of the current register set for the frame we * are presently in. */ MVMRegister *reg_base = NULL; /* Points to the current compilation unit. */ MVMCompUnit *cu = NULL; /* The current call site we're constructing. */ MVMCallsite *cur_callsite = NULL; /* Stash addresses of current op, register base and SC deref base * in the TC; this will be used by anything that needs to switch * the current place we're interpreting. */ tc->interp_cur_op = &cur_op; tc->interp_bytecode_start = &bytecode_start; tc->interp_reg_base = &reg_base; tc->interp_cu = &cu; /* With everything set up, do the initial invocation (exactly what this does * varies depending on if this is starting a new thread or is the top-level * program entry point). */ initial_invoke(tc, invoke_data); </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="moarvmのレジスタ構成">MoarVMのレジスタ構成</h2> <ul> <li>レジスタはそれぞれの型を共用体のデータ構造で持っている</li> <li>型名は各命令の接尾辞に対応している</li> </ul> <pre><code>/* Different views of a register. */ union MVMRegister { MVMObject *o; MVMString *s; MVMint8 i8; MVMuint8 u8; MVMint16 i16; MVMuint16 u16; MVMint32 i32; MVMuint32 u32; MVMint64 i64; MVMuint64 u64; MVMnum32 n32; MVMnum64 n64; }; </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="mvm_interp_runの登場人物">MVM_interp_runの登場人物</h2> <ul> <li><code>cur_op</code> が読み取るのバイトコード列の先頭ポインタを保存している</li> <li><code>op</code> が現在実行する命令の数値が入っている</li> <li><code>reg_base</code> がMoarVMのレジスタの集合配列</li> </ul> <pre><code> /* 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 = NULL; /* The current frame's bytecode start. */ MVMuint8 *bytecode_start = NULL; /* Points to the base of the current register set for the frame we * are presently in. */ MVMRegister *reg_base = NULL; </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="mvm_interp_runメインループ">MVM_interp_runメインループ</h2> <ul> <li><code>runloop</code>がメインのループで処理を行っている <ul> <li><code>DISPATCH</code>部分で命令をバイトコード列から取り出している</li> </ul> </li> </ul> <pre><code> /* Enter runloop. */ runloop: { MVMuint16 op; #if MVM_TRACING if (tracing_enabled) { char *trace_line; trace_line = MVM_exception_backtrace_line(tc, tc->cur_frame, 0, cur_op); fprintf(stderr, "Op %d%s\n", (int)*((MVMuint16 *)cur_op), trace_line); /* slow tracing is slow. Feel free to speed it. */ MVM_free(trace_line); } #endif /* The ops should be in the same order here as in the oplist file, so * the compiler can can optimise the switch properly. To check if they * are in the same order as the oplist use the * tools/compare-oplist-interp-order.sh helper script. */ 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; </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="mvm_interp_runメインループ-1">MVM_interp_runメインループ</h2> <ul> <li><code>DISPATCH</code>はマクロになっている <ul> <li>ラベルgotoが使えるケースはDISPATCHは何も意味を持たない</li> <li>使えない場合はswitch文に展開される <ul> <li><code>op</code> に実行する命令の数値が格納されているので、 これに応じてswitchで飛ぶ</li> </ul> </li> </ul> </li> </ul> <pre><code>#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メインループ-2">MVM_interp_runメインループ</h2> <ul> <li><code>OP</code> が命令のスコープを切るマクロとなっている <ul> <li>gotoが使える場合 <ul> <li><code>##name</code> に展開され、 それぞれの命令の名前を持つラベルになる</li> </ul> </li> <li>gotoが使えない場合 <ul> <li>case文に展開される</li> </ul> </li> </ul> </li> </ul> <pre><code>#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メインループ-3">MVM_interp_runメインループ</h2> <ul> <li>次の命令には <code>NEXT</code> マクロで移動する <ul> <li>gotoが使える場合 <ul> <li>次のラベルに対応したアドレスを配列LABELSから取り出しgotoする</li> </ul> </li> <li>gotoが使えない場合 <ul> <li><code>runloop</code>に対してgotoする(先頭へのループ)</li> </ul> </li> </ul> </li> </ul> <pre><code>#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="それぞれの命令の実装">それぞれの命令の実装</h2> <ul> <li>マクロ <code>GET_REG</code> でレジスタ情報を取得する <ul> <li>末尾で型を指定する</li> </ul> </li> <li>よしなに処理をした後に、バイトコード列 <code>cur_op</code> をインクリメントする <ul> <li>計算機のプログラムカウンタを進めることに対応する</li> </ul> </li> </ul> <pre><code> OP(add_i): GET_REG(cur_op, 0).i64 = GET_REG(cur_op, 2).i64 + GET_REG(cur_op, 4).i64; cur_op += 6; goto NEXT; OP(sub_i): GET_REG(cur_op, 0).i64 = GET_REG(cur_op, 2).i64 - GET_REG(cur_op, 4).i64; cur_op += 6; goto NEXT; OP(mul_i): GET_REG(cur_op, 0).i64 = GET_REG(cur_op, 2).i64 * GET_REG(cur_op, 4).i64; cur_op += 6; goto NEXT; </code></pre> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="本日の展示について">本日の展示について</h2> <ul> <li>現在当研究室で開発しているContinuationBasedC(CbC)で一部Perl6の処理系を書いています</li> <li>また、 CbCを用いたGearsOSの展示も行っています</li> </ul> </div> <div class='slide'> <!-- _S9SLIDE_ --> <h2 id="まとめ">まとめ</h2> <ul> <li>Perl6の内部構造に迫りました</li> <li>スクリプト言語の中身も通常の計算機と同じような処理をしています</li> <li>OSSなので皆さん読んで改造してみましょう!!</li> </ul> </div> </div><!-- presentation --> </body> </html>