Mercurial > hg > Papers > 2019 > koo-prosym



<!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/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(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 などの他のスクリプト言語と比較し非常に低速である.
その為, 現在日本国内では Perl6 は実務としてあまり使われていない.</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

ruby 2.3.7p456
python 2.7.10
raku 2019.03.1
perl5 v5.18.4
</code></pre>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="raku-と他言語の起動時間の比較-1">Raku と他言語の起動時間の比較</h2>
<ul>
  <li>perl5,ruby,perl6,pythonでhelloworldを出力するだけのプログラムを用いて行なった実行結果である.</li>
</ul>

<pre><code>perl5
real	0m0.011s
user	0m0.004s
sys	0m0.005s
=====

Raku
real	0m0.209s
user	0m0.249s
sys	0m0.048s
====

ruby
real	0m0.131s
user	0m0.083s
sys	0m0.038s
====

python
real	0m0.036s
user	0m0.013s
sys	0m0.021s
====
</code></pre>

<p>Raku は 最も早いperl5 の約62.25倍起動速度が遅いことがわかる.</p>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="rakudo">Rakudo</h2>
<ul>
  <li>Rakudoとは現在のRakuの主力な実装である．</li>
  <li>Rakudo は MoarVM, と NQP と呼ばれる Raku のサブセット, NQP と Raku 自身で記述された Raku という構成である.</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>
</ul>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="moarvm">MoarVM</h2>
<ul>
  <li>MoarVM は Perl6 に特化した 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="rakuが遅い理由">Rakuが遅い理由</h2>
<ul>
  <li>後で書く</li>
</ul>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="予測">予測</h2>
<ul>
  <li>前述した通り,Rakuは起動に時間がかかっているため</li>
</ul>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="raku-による-abyssサーバーの実装">Raku による Abyssサーバーの実装</h2>
<ul>
  <li>提案手法に沿い『Abyssサーバー』を実装した.</li>
  <li>AbyssサーバーはUnix domain socketを用いて送信した Raku スクリプトを実行するためのサーバーである.</li>
  <li>下記の図は,Abyss サーバーを用いたスクリプト言語の実行手順である.</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>後で書く</li>
</ul>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="予測-1">予測</h2>
<ul>
  <li>前述した通り, Raku はコンパイラの起動に時間がかかっているため,提案手法を用いることで起動時間分早く実行することができると予測する.</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>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="abyss-server側の実装">Abyss Server側の実装</h2>
<ul>
  <li>Abyss サーバーは起動すると, まず自身にファイルパスを転送するためのソケットを生成し, その後 ファイルを受け取るための待機ループに入る.</li>
  <li>ファイルパスを受け取ると,ファイルを開き実行する.</li>
</ul>

<pre><code>unit class Abyss::Server:ver&lt;0.0.1&gt;;
use MONKEY-SEE-NO-EVAL;
use IO::Socket::Unix;

method readeval {
  my $listen = IO::Socket::Unix.new(
    :listen,
    :localhost&lt;localhost&gt;,
    :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のサーバーを起動後,ファイルパスをサーバーに送信する.</li>
</ul>

<pre><code>use IO::Socket::Unix;

my $conn = IO::Socket::Unix.new( :host&lt;localhost&gt;,
                                 :port(3333) );

$conn.print: 'FILEPASS';
</code></pre>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="raku-のeval">Raku のEVAL</h2>
<ul>
  <li>Raku では EVAL 関数があり文字列を Perl6 のソースコード自身として評価できる</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>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="abyss-serverの利点">Abyss Serverの利点</h2>
<ul>
  <li>Abyss Serverを用いて実行することで, サーバー上で事前に起動した Rakudo を再利用し, 投げられた Perl6 スクリプトの実行を行うため, Rakudo の全体的な処理時間を短縮できる.</li>
</ul>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="abyss-serverの欠点">Abyss Serverの欠点</h2>
<p>-</p>


</div>

<div class='slide'>
  <!-- _S9SLIDE_ -->
<h2 id="まとめと今後の課題">まとめと今後の課題</h2>
<ul>
  <li>Raku の新たな実行方法の提案,及び実装を行なった.</li>
  <li>Raku にUnix domain socket の実装を行なった.</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><!-- presentation -->
</body>
</html>
author	e165727 <e165727@ie.u-ryukyu.ac.jp>
date	Wed, 08 Jan 2020 22:40:16 +0900
parents	4627ec7c3d1b
children	172524516d06