Mercurial > hg > Papers > 2020 > koo-thesis
diff Slide/Slide.pdf.html @ 7:d38af6a6aece
add Slide
author | e165727 <e165727@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 13 Feb 2020 02:15:57 +0900 |
parents | |
children | e2d2da777af0 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Slide/Slide.pdf.html Thu Feb 13 02:15:57 2020 +0900 @@ -0,0 +1,539 @@ + + + + + +<!DOCTYPE html> +<html> +<head> + <meta http-equiv="content-type" content="text/html;charset=utf-8"> + <title>Perl6(Raku)のサーバーを使った高速実行</title> + + <meta name="generator" content="Slide Show (S9) v4.0.1 on Ruby 2.3.7 (2018-03-28) [universal.x86_64-darwin18]"> + <meta name="author" content="Kouki Fukuda, 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">Perl6(Raku)のサーバーを使った高速実行</font></h1> + </div> + </td> + </tr> + <tr> + <td> + <div align="left"> + Kouki Fukuda, 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>現在開発の進んでいる言語に Raku がある. +スクリプト言語 Raku は任意の VM が選択できるようになっており, 主に利用されている VM に C で書かれた MoarVM が存在する.</li> + <li>MoarVM は JIT コンパイルなどをサポートしているが, 全体的な起動時間及び処理速度が Perl5 や Python , Ruby などの他のスクリプト言語と比較し非常に低速である. +その為, 現在日本国内では Raku は実務としてあまり使われていない.</li> + <li>Raku の持つ言語機能や型システムは非常に柔軟かつ強力であるため, 実用的な処理速度に達すれば, 言語の利用件数が向上することが期待される.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="研究概要">研究概要</h2> +<ul> + <li>Raku の実装の一つであるRakudoは、Byte code である MoarVM と、それ上で動作する Raku のsubsetであるnqp (Not Quite Perl)上に構成されている。</li> + <li>現状のRakuの実行はRakuで記述されたコンパイラをloadしてJITしながら実行すること自体に時間がかかっている。</li> + <li>そこで, 同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し, サーバー上でコンパイルを行う手法を提案し実装する.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="raku-と他言語の起動時間の比較">Raku と他言語の起動時間の比較</h2> +<ul> + <li>perl6と他言語の起動時間の比較行なった.</li> + <li>実行環境</li> +</ul> + +<pre><code>macOS Mojave version 10.14.5 +メモリ8GB +プロセッサ2.7GHz Intel Core i5 +</code></pre> + +<ul> + <li>比較言語</li> +</ul> +<table style="border-collapse: collapse;" border="1" width="400" height="300"> + <tr> + <th>Language</th> + <th>Version</th> + </tr> + <tr> + <td>raku</td> + <td>2019.03.1</td> + </tr> + <tr> + <td>perl5</td> + <td>v5.18.4</td> + </tr> + <tr> + <td>python</td> + <td>2.7.10</td> + </tr> + <tr> + <td>ruby</td> + <td>2.3.7p456</td> + </tr> +</table> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="raku-と他言語の起動時間の比較-1">Raku と他言語の起動時間の比較</h2> +<ul> + <li>perl5,ruby,raku,pythonでhelloworldを出力するプログラムを用いて行なった実行結果である.</li> +</ul> + +<table style="border-collapse: collapse;" border="1" width="400" height="300"> + <tr> + <th>Language</th> + <th>Time</th> + </tr> + <tr> + <td>raku</td> + <td>0.249 sec</td> + </tr> + <tr> + <td>perl5</td> + <td>0.004 sec</td> + </tr> + <tr> + <td>python</td> + <td>0.013 sec</td> + </tr> + <tr> + <td>ruby</td> + <td>0.083 sec</td> + </tr> +</table> + +<p>Raku は 最も早いperl5 の約62.25倍, pythonの約19倍, rubyの約3倍起動速度が遅いことがわかる.</p> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="rakudo">Rakudo</h2> +<ul> + <li>Rakudoとは現在のRakuの主力な実装である.(Raku は言語名, Rakudo はコンパイラ)</li> + <li>Rakudo は MoarVM, と NQP と呼ばれる Raku のサブセット, NQP と Raku 自身で記述された Raku という構成である.</li> + <li>Rakudo は MoarVMの他に JVM やJava Script を動作環境として選択可能である.</li> +</ul> + +<p><img src="fig/Rakudo.svg" alt="" /></p> +<ul> + <li>Rakudoの構成</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="nqp">NQP</h2> +<ul> + <li>NQPとはNot Quite Perl の略で Raku のサブセットである.</li> + <li>基本的な文法などは Raku に準拠しているが, 変数を束縛で宣言するなどの違いがある.</li> + <li>NQPコンパイラ自身もNQPで記述されている</li> + <li>NQP は MoarVM や JVMの違いを吸収してAPIを提供している</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="moarvm">MoarVM</h2> +<ul> + <li>MoarVM は Raku に特化したVM</li> + <li>C 言語で実装されている</li> + <li>JIT コンパイルなどが現在導入されているが, 起動時間などが低速である問題がある</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="perl6-の名称変更">Perl6 の名称変更</h2> +<ul> + <li>Raku はPerlの次期メジャーバージョンとして設計が始められ, 元々Perl6という名称であったが, Perl6 は言語仕様及び処理実装が Perl5 と大幅に異なっており, 言語的な互換性が存在しないため別名がつけられました.</li> + <li>現在有力な処理系である Rakudo から名前を取り Raku という別名がつけられた.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="rakudoの語源">Rakudoの語源</h2> +<ul> + <li>ちなみに Rakudo の語源は, 楽土と駱駝道で</li> + <li>楽土の方はLallyが楽に言語を作りたいという意味で Rakudo</li> + <li>駱駝道の方は Perlのマスコットキャラクターが🐪だったからです + <ul> + <li>http://blogs.perl.org/users/zoffix_znet/2017/07/the-hot-new-language-named-rakudo.html</li> + </ul> + </li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="rakuが遅い理由">Rakuが遅い理由</h2> +<ul> + <li>通常 Ruby のようなスクリプト言語ではまず YARV などのプロセスVM が起動し,その後スクリプトを Byte code に変換して実行という手順を踏む.</li> + <li>Rakudo はインタプリタの起動時間及び, 全体的な処理時間が他のスクリプト言語と比較して低速である.</li> + <li>これは Rakudo 自体が Raku と NQP で書かれているため, MoarVMを起動し, Rakudo と NQP のByte codeを読み取り, Rakudoを起動し, その後スクリプトを読み取り, スクリプトの Byte code 変換というような手順で進むためである.</li> + <li>また Raku は実行時の情報が必要であり, メソッドを実行する際に invoke が走ることも遅い原因である. + <ul> + <li>invoke はMoarVM の method 呼び出しのbyte codeです.</li> + </ul> + </li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="raku-による-abyss-server-の実装">Raku による Abyss Server の実装</h2> +<ul> + <li>提案手法に沿い『Abyss Server』を実装した.</li> + <li>Abyss Server はUnix domain socketを用いて送信した Raku スクリプトを実行するための Server である.</li> + <li>下記の図は, Abyss Server を用いたスクリプト言語の実行手順です.</li> +</ul> + +<p><img src="fig/Abyss.svg" alt="" /></p> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="raku-の-unix-domain-socket-実装">Raku の Unix domain socket 実装</h2> +<ul> + <li>Unix domain socket でなくINET で実装した場合, 他者からスクリプトを送りつけられる可能性がある. + <ul> + <li>そのため今回はUnix domain socket を用いて実装しました.</li> + </ul> + </li> + <li>Rakuには現在Unix domain socketの実装がないため, Unix domain socket の実装を行なった.</li> + <li>IO::Socketがroleとして定義されている + <ul> + <li>Raku での role は他の言語の interface に相当するものである</li> + </ul> + </li> + <li>現状 Raku にはIO::Socket::INETとIO::Socket::Asyncの実装がある + <ul> + <li>先ほど上で説明したようにINETとAsyncはセキュリティの問題で使えない</li> + </ul> + </li> + <li>IO::Socketを実装した IO::Socket::Unix を実装した + <ul> + <li>IO::Socket::Unixの中ではnqpの機能を使う必要がある</li> + </ul> + </li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="通常実行と提案手法の速度比較">通常実行と提案手法の速度比較</h2> +<ul> + <li>今回は,提案手法での実行速度と通常実行での実行速度, この二つの速度の比較を行う</li> + <li>題材として行うのはhelloworldを出力するだけのプログラムとフィボナッチ数列の例題である.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="予測">予測</h2> +<ul> + <li>前述した通り, Raku はコンパイラの起動に時間がかかっているため, 提案手法を用いることで起動時間分早く実行することができると予測する.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="実行結果">実行結果</h2> + +<ul> + <li>通常実行 + <ul> + <li>0.2695 sec</li> + <li>0.2131 sec</li> + <li>0.3143 sec</li> + </ul> + </li> + <li>提案手法 + <ul> + <li>0.0238 sec</li> + <li>0.0219 sec</li> + <li>0.0275 sec</li> + </ul> + </li> + <li>提案手法は通常実行に比べて約10倍早い実行結果になった</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="フィボナッチ数列の例題">フィボナッチ数列の例題</h2> + +<ul> + <li>通常実行 + <ul> + <li>0.2128 sec</li> + </ul> + </li> + <li>提案手法 + <ul> + <li>0.0415 sec</li> + </ul> + </li> + <li>先ほどと同様,提案手法は通常実行に比べて早い結果となり,約5倍早い実行結果になった</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="abyss-server側の実装">Abyss Server側の実装</h2> +<ul> + <li>Abyss Server は起動すると, まず自身にファイルパスを転送するためのソケットを生成し, その後ファイルを受け取るための待機ループに入る.</li> + <li>ファイルパスを受け取ると, ファイルを開き実行する.</li> +</ul> + +<pre><code>unit class Abyss::Server:ver<0.0.1>; +use MONKEY-SEE-NO-EVAL; +use IO::Socket::Unix; + +method readeval { + my $listen = IO::Socket::Unix.new( + :listen, + :localhost<localhost>, + :localport(3333) + ); + loop { + my $conn = $listen.accept; + while my $buf = $conn.read(1024) { + EVALFILE $buf.decode; + } + $conn.close; + } +} +</code></pre> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="abyss-client側の実装">Abyss Client側の実装</h2> +<ul> + <li>ユーザーは Abyss Server を起動後,ファイルパスをサーバーに送信する.</li> +</ul> + +<pre><code>use IO::Socket::Unix; + +my $conn = IO::Socket::Unix.new( :host<localhost>, + :port(3333) ); + +$conn.print: 'FILEPASS'; +</code></pre> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="raku-のeval">Raku のEVAL</h2> +<ul> + <li>Raku では EVAL 関数があり文字列を Raku のソースコード自身として評価できる</li> + <li>Raku では, EVAL は通常は使用できないようになっており, MONKEY-SEE-NO-EVAL という pragma を実行することで使うことができるようになる.</li> +</ul> + +<pre><code>use MONKEY-SEE-NO-EVAL; + +EVAL "say { 5 + 5 }"; # OUTPUT: 10 +</code></pre> + +<ul> + <li>EVALFILEはファイルパスを受け取ると, ファイルの中身をバイト文字列に変換し, それをEVALと同様に解釈する.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="abyss-serverの利点">Abyss Serverの利点</h2> +<ul> + <li>Abyss Serverを用いて実行することで, サーバー上で事前に起動した Rakudo を再利用し, 投げられた Raku スクリプトの実行を行うため, Rakudo の起動時間を短縮できる. + <ul> + <li>約10倍早くなる</li> + </ul> + </li> + <li>一度投げられたスクリプトのバイトコード, もしくは計算結果をキャッシュで保存しておき, 再度実行する際に, そのキャッシュを用いてコンパイル時間を省くような仕組みを入れやすいと考えられる.</li> + <li>他の起動時間遅いスクリプト言語や, モジュールの読み込みが遅い言語などにも, 応用しやすいと考えられる.</li> + <li>普通のスクリプト言語だと実行するたびにforkして実行しインタプリタの立ち上げという処理になるが, プロセス毎回起動しなくて済む</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="abyss-serverの欠点">Abyss Serverの欠点</h2> +<ul> + <li>現在 Abyss Server には 一度スクリプトを実行した後にサーバー内の環境をリセットする機能が存在しないため,スクリプトがサーバー内の環境に影響を及ぼした場合,通常実行と違う挙動をする危険性がある</li> + <li>Raku に eval の出力を socket に切り替える機能が存在しないので出力が Server 側に返ってしまい,ユーザー側に返ってこない</li> + <li>同時に二つ以上のタスクを与えられると実行順のスケジューリングができない + <ul> + <li>与えられた順番に処理していく</li> + </ul> + </li> + <li>異常に長いタスクが投げられた場合, 次のタスクが前のタスクが終わるまで実行ができない</li> + <li>起動時のオプションが選択出来ない</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="まとめと今後の課題">まとめと今後の課題</h2> +<ul> + <li>Raku の新たな実行方法の提案,及び実装を行なった.</li> + <li>Raku にUnix domain socket の実装を行なった.</li> + <li>Raku の速度改善において, 同一ホスト内でサーバープロセスを生成し,サーバープロセス内であらかじめコンパイラを立ち上げて起き, 実行するファイル名を転送し,サーバープロセス上でコンパイルを行う手法は有効であると考えられる</li> + <li>今後は一度投げられたスクリプトをキャッシュで保存しておき,再度実行する際に,そのキャッシュを用いてコンパイル時間を省くような仕組みを入れて開発を進めたいです.</li> +</ul> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="raku-の実装に関わる様々な言語">Raku の実装に関わる様々な言語</h2> +<ul> + <li>Raku は, Larry wall により設計されたオブジェクト指向スクリプト言語である.</li> + <li>また Raku は漸進的型付け言語である.</li> +</ul> + +<p><img src="fig/Raku.svg" alt="" /></p> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="rakuの導入">Rakuの導入</h2> + + +</div> + + +</div><!-- presentation --> +</body> +</html>