Mercurial > hg > Papers > 2020 > koo-thesis
changeset 22:b96b3244307b
update paper & slide
author | e165727 <e165727@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 16 Feb 2020 18:20:36 +0900 |
parents | 32db366529dd |
children | 58dd8e127e4b |
files | .DS_Store Paper/165727F.pdf Paper/chapter1.tex Paper/chapter3.tex Paper/chapter4.tex Paper/code/client.p6 Paper/main.pdf Prepaper/165727F-pre.pdf Prepaper/code/abyss.p6 Prepaper/code/client.p6 Prepaper/pre.pdf Prepaper/pre.tex Slide/Slide.html Slide/Slide.md Slide/Slide.pdf.html |
diffstat | 15 files changed, 296 insertions(+), 393 deletions(-) [+] |
line wrap: on
line diff
--- a/Paper/chapter1.tex Sun Feb 16 16:23:52 2020 +0900 +++ b/Paper/chapter1.tex Sun Feb 16 18:20:36 2020 +0900 @@ -15,7 +15,7 @@ %Raku は MoarVM に基づくJIT コンパイラを持っており,コンパイルされた結果はプロセッサが実行可能な機械語に相当する. %Raku のような言語に JITコンパイラを持ち, 起動時間が遅い PyPy などの言語がある. -本研究では, スクリプト言語 Raku の起動時間及び, 処理速度の改善を図り, 研究をするにあたり得られた, OS上でscript言語を実行する場合の利点と欠点について述べ, 今後の展望について記載する. +本研究では, スクリプト言語 Raku の起動時間及び, 処理速度の改善を図り, 研究をするにあたり得られた, OS上でスクリプト言語を実行する方法の改善点ついて述べ, 今後の展望について記載する. また, その手法として同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し,サーバー上でコンパイルを行う手法を提案する. 著者らは, この提案手法に沿って『Abyss サーバー』を実装している.
--- a/Paper/chapter3.tex Sun Feb 16 16:23:52 2020 +0900 +++ b/Paper/chapter3.tex Sun Feb 16 18:20:36 2020 +0900 @@ -89,6 +89,22 @@ 提案手法 & 0.0238 sec \\ \hline \end{tabular} \end{center} - \caption{通常実行と提案手法の速度比較} + \caption{helloworldの速度比較} \end{table} -提案手法は通常実行に比べて約10倍早い実行結果になった + +提案手法は通常実行に比べて約10倍早い実行結果になった \\ + +実験結果 +\begin{table}[H] + \begin{center} + \begin{tabular}{|l|l|} \hline + Language& Time \\ \hline + 通常実行 & 0.2128 sec \\ + 提案手法 & 0.0415 sec \\ \hline + \end{tabular} + \end{center} + \caption{フィボナッチ数列の例題の速度比較} +\end{table} + +先ほどと同様, 提案手法は通常実行に比べて早い結果となり, 約5倍早い実行結果になった \\ +内部で処理が走っている時間だけさが縮まったと考えられる.
--- a/Paper/chapter4.tex Sun Feb 16 16:23:52 2020 +0900 +++ b/Paper/chapter4.tex Sun Feb 16 18:20:36 2020 +0900 @@ -2,20 +2,24 @@ \section{比較} \begin{itemize} -\item{Microsoft CLR} -\\ +\item{Microsoft CLR}\\ .NET Framework には, 共通言語ランタイム(Common Language Runtime)と呼ばれるランタイム環境がある. .NET対応のソフトウェアは, 様々なプログラミング言語で書かれたソースコードから, いったん共通中間言語 (Common Intermediate Language)による形式に変換されて利用者のもとに配布される. CIL 形式のプログラムを解釈し, コンピュータが直に実行可能な機械語によるプログラムに変換して実行するソフトウェアが CLR である. -現状の Abyss サーバーはプロセスとして立ち上げているが, CLR は OS に直接組み込む必要があるが, Abyss サーバーはプロセス上で実行しているため OS に手を加えず実装が容易である. -\\ -\item{PyPy} -\\ -PyPy は Python の 実装の一つであり, Cpython のサブセットである RPython で記述された 処理系である. -\\ +現状の Abyss サーバーはプロセスとして立ち上げているが, CLR は OS に直接組み込む必要があるが, Abyss サーバーはプロセス上で実行しているため OS に手を加えず実装が容易である. \\ + +\item{FastCGI}\\ +FastCGI とは CGI を改良したものである. +通常のCGIは, ユーザーから要求があるたびにプロセスを生成しプログラムを実行し,プロセスを破棄する. +FastCGIでは一度プログラムが起動し, ロードされるとメモリ上にしばらく残り, 次回実行される際にそのプログラムを再利用する. \\ +FastCGI は Abyss Server とよく似ているが, FastCGI と Abyss Server の違いは. FastCGI は HTTPリクエストが起動のトリガーになっており, Abyss Server はユーザーが実行したいプログラムを送信することが起動のトリガーになっていることである + +\item{PyPy}\\ +PyPy は Python の 実装の一つであり, Cpython のサブセットである RPython で記述された 処理系である. + PyPy は JIT コンパイル を採用しており, 実行時にコードを機械語にコンパイルして効率的に実行させることができる. PyPy は Cpython より実行速度が速いが起動速度は Cpython と比較して約3倍遅い. -Perl6 と同様, PyPyは Cpython と比較して起動時間が遅いため今回提案した手法を応用できると予測できる. +Raku と同様, PyPyは Cpython と比較して起動時間が遅いため今回提案した手法を応用できると予測できる. \\ \end{itemize} \section{Abyss Server の利点}
--- a/Paper/code/client.p6 Sun Feb 16 16:23:52 2020 +0900 +++ b/Paper/code/client.p6 Sun Feb 16 18:20:36 2020 +0900 @@ -1,15 +1,16 @@ use IO::Socket::Unix; -use NativeCall; - -sub close(int32) returns int32 is native { ... } -sub dup(int32 $old) returns int32 is native { ... } -sub dup2(int32 $old, int32 $new) returns int32 is native { ... } my $conn = IO::Socket::INET.new( :host<localhost>, :port(3333) ); $conn.print: 'Absolute file path'; -say $conn.lines; +my $sock_msg; -$conn.close; +while my $buf = $conn.recv(:bin) +{ + $sock_msg = $buf.decode; + last; +} + +say $sock_msg;
--- a/Prepaper/code/abyss.p6 Sun Feb 16 16:23:52 2020 +0900 +++ b/Prepaper/code/abyss.p6 Sun Feb 16 18:20:36 2020 +0900 @@ -1,17 +1,34 @@ -unit class Abyss::Server:ver<0.0.1>; +use v6.c; +unit class Abyss::Server:ver<0.0.1>:auth<cpan:ANATOFUZ>; use MONKEY-SEE-NO-EVAL; +use IO::Socket::Unix; +use NativeCall; + +sub close(int32) returns int32 is native { ... } +sub dup(int32 $old) returns int32 is native { ... } +sub dup2(int32 $new, int32 $old) returns int32 is native { ... } -method readeval { - my $listen = IO::Socket::INET.new( - :listen, - :localhost<localhost>, - :localport(3333) - ); - loop { - my $conn = $listen.accept; - while my $buf = $conn.read(1024) { - EVALFILE $buf.decode; +method readeval +{ + my $listen = IO::Socket::Unix.new( :listen, + :localhost<localhost>, + :localport(3333) ); + my $backup = dup(1); + say DateTime.now; + + loop + { + my $conn = $listen.accept; + my $sock_msg; + my $buf = $conn.recv(); + $sock_msg = $buf; + close(1); + dup2($conn.native-descriptor(), 1); + EVALFILE $sock_msg; + dup2($backup, 1); + close($backup); + $conn.close; } - $conn.close; - } + + $listen.close; }
--- a/Prepaper/code/client.p6 Sun Feb 16 16:23:52 2020 +0900 +++ b/Prepaper/code/client.p6 Sun Feb 16 18:20:36 2020 +0900 @@ -1,5 +1,10 @@ +use IO::Socket::Unix; + my $conn = IO::Socket::INET.new( :host<localhost>, :port(3333) ); -$conn.print: 'FILEPASS'; +$conn.print: 'Absolute file path'; +say $conn.lines; + +$conn.close;
--- a/Prepaper/pre.tex Sun Feb 16 16:23:52 2020 +0900 +++ b/Prepaper/pre.tex Sun Feb 16 18:20:36 2020 +0900 @@ -37,13 +37,19 @@ \end{onecolabstract}] \thispagestyle{fancy} \section{スクリプト言語の高速実行} - -スクリプト言語RakuはMoarVMというVM上で動作するが,起動時間がPerl5やPython,Rubyなどの主要なスクリプト言語に比べて非常に低速である.この問題を解決するために,Rakuプログラムの,サーバーを用いた実行手法の提案を行う. -ここでいうサーバーとは転送したスクリプトを実行する環境のことである. +現在多くのスクリプト言語はインタプリタ型言語であり, 実行時にインタプリタの立ち上げ, モジュールを読み込み, スクリプトの解釈, スクリプトの実行 といったような処理を担っている. +これらの処理の中にはOS上で事前に行うことで, より起動時間, 及び処理時間の短縮が予想される. -またサーバーでは,サーバーに投げられたRakuをコンパイラで実行する際に,そのスクリプトが次に実行するスクリプトに影響を与えないことを保証する必要がある. -この問題を解決するために,サーバーのコンテナ化を行う. +現在開発の進んでいる言語に スクリプト言語 Raku がある. +Raku は任意の VM が選択できるようになっており, 主に利用されている VM に C で書かれた MoarVM が存在する. +MoarVM は JIT コンパイルなどをサポートしているが, 全体的な起動時間及び処理速度が Perl5 や Python , Ruby などの他のスクリプト言語と比較し非常に低速である. +%Raku は MoarVM に基づくJIT コンパイラを持っており,コンパイルされた結果はプロセッサが実行可能な機械語に相当する. +%Raku のような言語に JITコンパイラを持ち, 起動時間が遅い PyPy などの言語がある. +本研究では, スクリプト言語 Raku の起動時間及び, 処理速度の改善を図り, 研究をするにあたり得られた, OS上でscript言語を実行する場合の利点と欠点について述べ, 今後の展望について記載する. + +また, その手法として同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し,サーバー上でコンパイルを行う手法を提案する. +著者らは, この提案手法に沿って『Abyss サーバー』を実装している. \section{Raku} Rakuは元はPerl5の後継言語のPerl6として開発されていたが,現在は名称が変更されRakuとなっている. Rakuの現在の主流な実装はRakudoである.RakudoはMoarVM,とNQPと呼ばれるRakuのサブセット,NQPとRaku自身で記述されたRakuという構成である. @@ -87,7 +93,7 @@ ここではAbyssサーバーについて説明する.AbyssサーバーはRakuで書かれている. クライアント側から投げられたRakuを実行するためのサーバーである. 図1はAbyssサーバーを用いたスクリプト言語実行手順である. AbyssサーバーはユーザーがRakuを実行する際,クライアント側から転送されてきたファイルを事前に起動してあるサーバー側が処理し,その実行結果を返す構造となっている. -この手法を用いることで,サーバー上で事前にRakudoを起動したRakudoを再利用し,投げられたRakuスクリプトの実行を行うためRakudoの起動時間を短縮できると推測できる. +この手法を用いることで,サーバー上で事前に起動したRakudoを再利用し,投げられたRakuスクリプトの実行を行うためRakudoの起動時間を短縮できると推測できる. \begin{figure}[H] @@ -103,7 +109,6 @@ ファイルパスを受け取るとファイルパスをバッファーに変換し読み込む,その後読み込んだバッファーを文字列にデコードし,ファイルパスの文字列を読み込み,ファイルの中身を式として評価するEVALFILEを用いて,プログラムを実行する. Code1の2行目にあるMONKEY−SEE−NO−EVALはRaku上でEVALFILEを使用可能にするpragmaである. -現状のRakuのEVALFILEでは,出力がサーバー側に返っているので,クライアント側から出力を見るためにクライアント側に返す必要がある. \lstinputlisting[label=codeseg, caption=Abyssサーバーのsource code]{code/abyss.p6} \lstinputlisting[label=codeseg, caption=クライアント側のsource code]{code/client.p6} @@ -111,11 +116,11 @@ %\section{問題点} \section{まとめ} -中間予稿までにPerl6スクリプトを投げて実行するサーバーの実装、および「自分でプロセス立ち上げてPerl6実行する手法」と「既にあるサーバーに投げてPerl6スクリプトを実行する手法」の差を測るために時間の計測を行った。 +Perl6スクリプトを投げて実行するサーバーの実装, および「自分でプロセス立ち上げてPerl6実行する手法」と「既にあるサーバーに投げてPerl6スクリプトを実行する手法」の差を測るために時間の計測を行った. + -今回実装したサーバーでは,別のスクリプトを実行する前にサーバーのコンテナ化をできていないので次回以降の課題とする. -今回の実装ではTCPソケットを用いたがTCPソケットを用いるとサーバーを立ち上げた際に外部からファイルを転送される可能性があるので,Unix domain socketの実装を行い,それを用いたクライアント・サーバーを作成することで安全性が高まると考えた -Rakuには現状Unix domainソケットの実装がないので、Unix domainソケットを実装し、自分以外が実行できないようにすることが今後の課題に挙げられる. +\section{今後の課題} + また今回例題として用いたものはスクリプト言語Rakuであったが,その他のスクリプト言語にも応用が利くかどうか検討する必要はある 今回用いたRakuのEVALFILE自体にクライアント側に出力を返す実装追加することも今後の課題に挙げられる.
--- a/Slide/Slide.html Sun Feb 16 16:23:52 2020 +0900 +++ b/Slide/Slide.html Sun Feb 16 18:20:36 2020 +0900 @@ -91,27 +91,21 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="研究背景">研究背景</h2> +<h2 id="スクリプト言語の高速実行">スクリプト言語の高速実行</h2> <ul> - <li>現在開発の進んでいる言語に Raku がある. -スクリプト言語 Raku は任意の VM が選択できるようになっており, 主に利用されている VM に C で書かれた MoarVM が存在する.</li> - <li>MoarVM は JIT コンパイルなどをサポートしているが, 全体的な起動時間及び処理速度が Perl5 や Python , Ruby などの他のスクリプト言語と比較し非常に低速である. -その為, 現在日本国内では Raku は実務としてあまり使われていない.</li> - <li>Raku の持つ言語機能や型システムは非常に柔軟かつ強力であるため, 実用的な処理速度に達すれば, 言語の利用件数が向上することが期待される.</li> + <li>現在多くのスクリプト言語はインタプリタ型言語であり, 実行時にインタプリタの立ち上げ, モジュールを読み込み, スクリプトの解釈, スクリプトの実行 といったような処理を担っている.</li> + <li>これらの処理の中にはOS上で事前に行うことで, より起動時間, 及び処理時間の短縮が予想される.</li> + <li>頻繁にコードを書き換え実行するスクリプト言語では起動時間をできるだけ短くしたい.</li> + <li>その手法として同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し, サーバー上でコンパイルを行う手法を提案する</li> + <li>この提案手法に沿って『Abyss サーバー』を実装した.</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> +<!-- +## 研究概要 +- Raku の実装の一つであるRakudoは、Byte code である MoarVM と、それ上で動作する Raku のsubsetであるnqp (Not Quite Perl)上に構成されている。 +- 現状のRakuの実行はRakuで記述されたコンパイラをloadしてJITしながら実行すること自体に時間がかかっている。 +- そこで, 同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し, サーバー上でコンパイルを行う手法を提案し実装する. +--> @@ -121,7 +115,7 @@ <!-- _S9SLIDE_ --> <h2 id="raku-と他言語の起動時間の比較">Raku と他言語の起動時間の比較</h2> <ul> - <li>perl6と他言語の起動時間の比較行なった.</li> + <li>Raku と他言語の起動時間の比較行なった.</li> <li>実行環境</li> </ul> @@ -180,61 +174,28 @@ <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> - +<!-- +## NQP +- NQPとはNot Quite Perl の略で Raku のサブセットである. +- 基本的な文法などは Raku に準拠しているが, 変数を束縛で宣言するなどの違いがある. +- NQPコンパイラ自身もNQPで記述されている +- NQP は MoarVM や JVMの違いを吸収してAPIを提供している - -</div> - -<div class='slide'> - <!-- _S9SLIDE_ --> -<h2 id="perl6-の名称変更">Perl6 の名称変更</h2> -<ul> - <li>Raku はPerlの次期メジャーバージョンとして設計が始められ, 元々Perl6という名称であったが, Perl6 は言語仕様及び処理実装が Perl5 と大幅に異なっており, 言語的な互換性が存在しないため別名がつけられました.</li> - <li>現在有力な処理系である Rakudo から名前を取り Raku という別名がつけられた.</li> -</ul> - - +## MoarVM +- MoarVM は Raku に特化したVM +- C 言語で実装されている +- JIT コンパイルなどが現在導入されているが, 起動時間などが低速である問題がある -</div> +## Perl6 の名称変更 +- Raku はPerlの次期メジャーバージョンとして設計が始められ, 元々Perl6という名称であったが, Perl6 は言語仕様及び処理実装が Perl5 と大幅に異なっており, 言語的な互換性が存在しないため別名がつけられました. +- 現在有力な処理系である Rakudo から名前を取り Raku という別名がつけられた. -<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> +## Rakudoの語源 +- ちなみに Rakudo の語源は, 楽土と駱駝道で +- 楽土の方は日本語で「楽園」という意味で +- 駱駝道の方は Perlのマスコットキャラクターが🐪だったからです + - http://blogs.perl.org/users/zoffix_znet/2017/07/the-hot-new-language-named-rakudo.html +--> @@ -269,36 +230,18 @@ <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> +<!-- +## Raku の Unix domain socket 実装 +- Unix domain socket でなくINET で実装した場合, 他者からスクリプトを送りつけられる可能性がある. + - そのため今回はUnix domain socket を用いて実装しました. +- Rakuには現在Unix domain socketの実装がないため, Unix domain socket の実装を行なった. +- IO::Socketがroleとして定義されている + - Raku での role は他の言語の interface に相当するものである +- 現状 Raku にはIO::Socket::INETとIO::Socket::Asyncの実装がある + - 先ほど上で説明したようにINETとAsyncはセキュリティの問題で使えない +- IO::Socketを実装した IO::Socket::Unix を実装した + - IO::Socket::Unixの中ではnqpの機能を使う必要がある +--> @@ -383,24 +326,34 @@ <li>ファイルパスを受け取ると, ファイルを開き実行する.</li> </ul> -<pre><code>unit class Abyss::Server:ver<0.0.1>; -use MONKEY-SEE-NO-EVAL; -use IO::Socket::Unix; +<pre><code>sub close(int32) returns int32 is native { ... } +sub dup(int32 $old) returns int32 is native { ... } +sub dup2(int32 $new, int32 $old) returns int32 is native { ... } + +method readeval +{ + my $listen = IO::Socket::Unix.new( :listen, + :localhost<localhost>, + :localport(3333) ); + my $backup = dup(1); + say DateTime.now; -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; + loop + { + my $conn = $listen.accept; + my $sock_msg; + my $buf = $conn.recv(); + $sock_msg = $buf; + close(1); + dup2($conn.native-descriptor(), 1); + EVALFILE $sock_msg; + dup2($backup, 1); + close($backup); + $conn.close; } - $conn.close; - } -} + + $listen.close; +}} </code></pre> @@ -414,34 +367,28 @@ <li>ユーザーは Abyss Server を起動後,ファイルパスをサーバーに送信する.</li> </ul> -<pre><code>use IO::Socket::Unix; - -my $conn = IO::Socket::Unix.new( :host<localhost>, +<pre><code>my $conn = IO::Socket::INET.new( :host<localhost>, :port(3333) ); -$conn.print: 'FILEPASS'; -</code></pre> +$conn.print: 'Absolute file path'; - - -</div> +say $conn.lines; -<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> +$conn.close; +</code></pre> +<!-- +## Raku のEVAL +- Raku では EVAL 関数があり文字列を Raku のソースコード自身として評価できる +- Raku では, EVAL は通常は使用できないようになっており, MONKEY-SEE-NO-EVAL という pragma を実行することで使うことができるようになる. -<pre><code>use MONKEY-SEE-NO-EVAL; +``` +use MONKEY-SEE-NO-EVAL; EVAL "say { 5 + 5 }"; # OUTPUT: 10 -</code></pre> +``` -<ul> - <li>EVALFILEはファイルパスを受け取ると, ファイルの中身をバイト文字列に変換し, それをEVALと同様に解釈する.</li> -</ul> +- EVALFILEはファイルパスを受け取ると, ファイルの中身をバイト文字列に変換し, それをEVALと同様に解釈する. +--> @@ -470,7 +417,6 @@ <h2 id="abyss-serverの欠点">Abyss Serverの欠点</h2> <ul> <li>現在 Abyss Server には 一度スクリプトを実行した後にサーバー内の環境をリセットする機能が存在しないため,スクリプトがサーバー内の環境に影響を及ぼした場合,通常実行と違う挙動をする危険性がある</li> - <li>Raku に eval の出力を socket に切り替える機能が存在しないので出力が Server 側に返ってしまい,ユーザー側に返ってこない</li> <li>同時に二つ以上のタスクを与えられると実行順のスケジューリングができない <ul> <li>与えられた順番に処理していく</li> @@ -494,29 +440,6 @@ <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>
--- a/Slide/Slide.md Sun Feb 16 16:23:52 2020 +0900 +++ b/Slide/Slide.md Sun Feb 16 18:20:36 2020 +0900 @@ -2,10 +2,13 @@ author: Kouki Fukuda, Shinji Kono profile: 琉球大学 -## 研究背景 +## スクリプト言語の高速実行 - 現在多くのスクリプト言語はインタプリタ型言語であり, 実行時にインタプリタの立ち上げ, モジュールを読み込み, スクリプトの解釈, スクリプトの実行 といったような処理を担っている. - これらの処理の中にはOS上で事前に行うことで, より起動時間, 及び処理時間の短縮が予想される. - - 頻繁にコードを書き換え実行するスクリプト言語では起動時間をできるだけ短くしたい + - 頻繁にコードを書き換え実行するスクリプト言語では起動時間をできるだけ短くしたい. + - その手法として同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し, サーバー上でコンパイルを行う手法を提案する + - この提案手法に沿って『Abyss サーバー』を実装した. + - またスクリプト言語の速度改善を行うにあたり, 本研究では Raku というスクリプト言語を用いた. <!-- ## 研究概要 @@ -30,30 +33,37 @@ <th>Language</th> <th>Version</th> <th>Time</th> + <th>Ratio</th> </tr> <tr> <td>raku</td> <td>2019.03.1</td> <td>249 ms</td> + <td>62.25</td> </tr> <tr> <td>perl5</td> <td>v5.18.4</td> <td>4 ms</td> + <td>1</td> </tr> <tr> <td>python</td> <td>2.7.10</td> <td>13 ms</td> + <td>3.25</td> </tr> <tr> <td>ruby</td> <td>2.3.7p456</td> <td>83 ms</td> + <td>20.75</td> </tr> </table> -Raku は最も早い perl5 の約62.25倍, python の約19倍, ruby の約3倍起動速度が遅いことがわかる. +Perl5 を基準とすると Raku はその62.25倍と非常に起動時間が遅いことがわかる. + +<!-- ## Rakudo - Rakudoとは現在のRakuの主力な実装である.(Raku は言語名, Rakudo はコンパイラ) - Rakudo は MoarVM, と NQP と呼ばれる Raku のサブセット, NQP と Raku 自身で記述された Raku という構成である. @@ -61,30 +71,36 @@ ![](fig/Rakudo.svg) - Rakudoの構成 +--> +<!-- ## NQP - NQPとはNot Quite Perl の略で Raku のサブセットである. - 基本的な文法などは Raku に準拠しているが, 変数を束縛で宣言するなどの違いがある. - NQPコンパイラ自身もNQPで記述されている - NQP は MoarVM や JVMの違いを吸収してAPIを提供している +--> ## MoarVM - MoarVM は Raku に特化したVM - C 言語で実装されている - JIT コンパイルなどが現在導入されているが, 起動時間などが低速である問題がある +<!-- ## Perl6 の名称変更 - Raku はPerlの次期メジャーバージョンとして設計が始められ, 元々Perl6という名称であったが, Perl6 は言語仕様及び処理実装が Perl5 と大幅に異なっており, 言語的な互換性が存在しないため別名がつけられました. - 現在有力な処理系である Rakudo から名前を取り Raku という別名がつけられた. ## Rakudoの語源 - ちなみに Rakudo の語源は, 楽土と駱駝道で -- 楽土の方はLallyが楽に言語を作りたいという意味で Rakudo +- 楽土の方は日本語で「楽園」という意味で - 駱駝道の方は Perlのマスコットキャラクターが🐪だったからです - http://blogs.perl.org/users/zoffix_znet/2017/07/the-hot-new-language-named-rakudo.html +--> ## Rakuが遅い理由 - 通常 Ruby のようなスクリプト言語ではまず YARV などのプロセスVM が起動し,その後スクリプトを Byte code に変換して実行という手順を踏む. +- - Rakudo はインタプリタの起動時間及び, 全体的な処理時間が他のスクリプト言語と比較して低速である. - これは Rakudo 自体が Raku と NQP で書かれているため, MoarVMを起動し, Rakudo と NQP のByte codeを読み取り, Rakudoを起動し, その後スクリプトを読み取り, スクリプトの Byte code 変換というような手順で進むためである. - また Raku は実行時の情報が必要であり, メソッドを実行する際に invoke が走ることも遅い原因である. @@ -97,6 +113,7 @@ ![](fig/Abyss.svg) +<!-- ## Raku の Unix domain socket 実装 - Unix domain socket でなくINET で実装した場合, 他者からスクリプトを送りつけられる可能性がある. - そのため今回はUnix domain socket を用いて実装しました. @@ -107,6 +124,8 @@ - 先ほど上で説明したようにINETとAsyncはセキュリティの問題で使えない - IO::Socketを実装した IO::Socket::Unix を実装した - IO::Socket::Unixの中ではnqpの機能を使う必要がある +--> + ## 通常実行と提案手法の速度比較 - 今回は,提案手法での実行速度と通常実行での実行速度, この二つの速度の比較を行う @@ -144,12 +163,6 @@ - ファイルパスを受け取ると, ファイルを開き実行する. ``` -use v6.c; -unit class Abyss::Server:ver<0.0.1>:auth<cpan:ANATOFUZ>; -use MONKEY-SEE-NO-EVAL; -use IO::Socket::Unix; -use NativeCall; - sub close(int32) returns int32 is native { ... } sub dup(int32 $old) returns int32 is native { ... } sub dup2(int32 $new, int32 $old) returns int32 is native { ... } @@ -185,22 +198,24 @@ ``` use IO::Socket::Unix; -use NativeCall; - -sub close(int32) returns int32 is native { ... } -sub dup(int32 $old) returns int32 is native { ... } -sub dup2(int32 $old, int32 $new) returns int32 is native { ... } my $conn = IO::Socket::INET.new( :host<localhost>, :port(3333) ); $conn.print: 'Absolute file path'; -say $conn.lines; +my $sock_msg; -$conn.close; +while my $buf = $conn.recv(:bin) +{ + $sock_msg = $buf.decode; + last; +} + +say $sock_msg; ``` +<!-- ## Raku のEVAL - Raku では EVAL 関数があり文字列を Raku のソースコード自身として評価できる - Raku では, EVAL は通常は使用できないようになっており, MONKEY-SEE-NO-EVAL という pragma を実行することで使うことができるようになる. @@ -212,6 +227,7 @@ ``` - EVALFILEはファイルパスを受け取ると, ファイルの中身をバイト文字列に変換し, それをEVALと同様に解釈する. +--> ## Abyss Serverの利点 - Abyss Serverを用いて実行することで, サーバー上で事前に起動した Rakudo を再利用し, 投げられた Raku スクリプトの実行を行うため, Rakudo の起動時間を短縮できる. @@ -227,18 +243,11 @@ - 異常に長いタスクが投げられた場合, 次のタスクが前のタスクが終わるまで実行ができない - 起動時のオプションが選択出来ない +## OS上でスクリプト言語を実行する方法の改善点 +- + ## まとめと今後の課題 - Raku の新たな実行方法の提案,及び実装を行なった. - Raku にUnix domain socket の実装を行なった. - Raku の速度改善において, 同一ホスト内でサーバープロセスを生成し,サーバープロセス内であらかじめコンパイラを立ち上げて起き, 実行するファイル名を転送し,サーバープロセス上でコンパイルを行う手法は有効であると考えられる - 今後は一度投げられたスクリプトをキャッシュで保存しておき,再度実行する際に,そのキャッシュを用いてコンパイル時間を省くような仕組みを入れて開発を進めたいです. - - -## Raku の実装に関わる様々な言語 -- Raku は, Larry wall により設計されたオブジェクト指向スクリプト言語である. -- また Raku は漸進的型付け言語である. - -![](fig/Raku.svg) - -## Rakuの導入 -
--- a/Slide/Slide.pdf.html Sun Feb 16 16:23:52 2020 +0900 +++ b/Slide/Slide.pdf.html Sun Feb 16 18:20:36 2020 +0900 @@ -75,27 +75,21 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="研究背景">研究背景</h2> +<h2 id="スクリプト言語の高速実行">スクリプト言語の高速実行</h2> <ul> - <li>現在開発の進んでいる言語に Raku がある. -スクリプト言語 Raku は任意の VM が選択できるようになっており, 主に利用されている VM に C で書かれた MoarVM が存在する.</li> - <li>MoarVM は JIT コンパイルなどをサポートしているが, 全体的な起動時間及び処理速度が Perl5 や Python , Ruby などの他のスクリプト言語と比較し非常に低速である. -その為, 現在日本国内では Raku は実務としてあまり使われていない.</li> - <li>Raku の持つ言語機能や型システムは非常に柔軟かつ強力であるため, 実用的な処理速度に達すれば, 言語の利用件数が向上することが期待される.</li> + <li>現在多くのスクリプト言語はインタプリタ型言語であり, 実行時にインタプリタの立ち上げ, モジュールを読み込み, スクリプトの解釈, スクリプトの実行 といったような処理を担っている.</li> + <li>これらの処理の中にはOS上で事前に行うことで, より起動時間, 及び処理時間の短縮が予想される.</li> + <li>頻繁にコードを書き換え実行するスクリプト言語では起動時間をできるだけ短くしたい.</li> + <li>その手法として同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し, サーバー上でコンパイルを行う手法を提案する</li> + <li>この提案手法に沿って『Abyss サーバー』を実装した.</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> +<!-- +## 研究概要 +- Raku の実装の一つであるRakudoは、Byte code である MoarVM と、それ上で動作する Raku のsubsetであるnqp (Not Quite Perl)上に構成されている。 +- 現状のRakuの実行はRakuで記述されたコンパイラをloadしてJITしながら実行すること自体に時間がかかっている。 +- そこで, 同一ホスト内で終了せずに実行を続けるサーバープロセスを立ち上げ, このサーバープロセス上で立ち上げておいたコンパイラに実行するファイル名を転送し, サーバー上でコンパイルを行う手法を提案し実装する. +--> @@ -105,7 +99,7 @@ <!-- _S9SLIDE_ --> <h2 id="raku-と他言語の起動時間の比較">Raku と他言語の起動時間の比較</h2> <ul> - <li>perl6と他言語の起動時間の比較行なった.</li> + <li>Raku と他言語の起動時間の比較行なった.</li> <li>実行環境</li> </ul> @@ -164,61 +158,28 @@ <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> - +<!-- +## NQP +- NQPとはNot Quite Perl の略で Raku のサブセットである. +- 基本的な文法などは Raku に準拠しているが, 変数を束縛で宣言するなどの違いがある. +- NQPコンパイラ自身もNQPで記述されている +- NQP は MoarVM や JVMの違いを吸収してAPIを提供している - -</div> - -<div class='slide'> - <!-- _S9SLIDE_ --> -<h2 id="perl6-の名称変更">Perl6 の名称変更</h2> -<ul> - <li>Raku はPerlの次期メジャーバージョンとして設計が始められ, 元々Perl6という名称であったが, Perl6 は言語仕様及び処理実装が Perl5 と大幅に異なっており, 言語的な互換性が存在しないため別名がつけられました.</li> - <li>現在有力な処理系である Rakudo から名前を取り Raku という別名がつけられた.</li> -</ul> - - +## MoarVM +- MoarVM は Raku に特化したVM +- C 言語で実装されている +- JIT コンパイルなどが現在導入されているが, 起動時間などが低速である問題がある -</div> +## Perl6 の名称変更 +- Raku はPerlの次期メジャーバージョンとして設計が始められ, 元々Perl6という名称であったが, Perl6 は言語仕様及び処理実装が Perl5 と大幅に異なっており, 言語的な互換性が存在しないため別名がつけられました. +- 現在有力な処理系である Rakudo から名前を取り Raku という別名がつけられた. -<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> +## Rakudoの語源 +- ちなみに Rakudo の語源は, 楽土と駱駝道で +- 楽土の方は日本語で「楽園」という意味で +- 駱駝道の方は Perlのマスコットキャラクターが🐪だったからです + - http://blogs.perl.org/users/zoffix_znet/2017/07/the-hot-new-language-named-rakudo.html +--> @@ -253,36 +214,18 @@ <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> +<!-- +## Raku の Unix domain socket 実装 +- Unix domain socket でなくINET で実装した場合, 他者からスクリプトを送りつけられる可能性がある. + - そのため今回はUnix domain socket を用いて実装しました. +- Rakuには現在Unix domain socketの実装がないため, Unix domain socket の実装を行なった. +- IO::Socketがroleとして定義されている + - Raku での role は他の言語の interface に相当するものである +- 現状 Raku にはIO::Socket::INETとIO::Socket::Asyncの実装がある + - 先ほど上で説明したようにINETとAsyncはセキュリティの問題で使えない +- IO::Socketを実装した IO::Socket::Unix を実装した + - IO::Socket::Unixの中ではnqpの機能を使う必要がある +--> @@ -367,24 +310,34 @@ <li>ファイルパスを受け取ると, ファイルを開き実行する.</li> </ul> -<pre><code>unit class Abyss::Server:ver<0.0.1>; -use MONKEY-SEE-NO-EVAL; -use IO::Socket::Unix; +<pre><code>sub close(int32) returns int32 is native { ... } +sub dup(int32 $old) returns int32 is native { ... } +sub dup2(int32 $new, int32 $old) returns int32 is native { ... } + +method readeval +{ + my $listen = IO::Socket::Unix.new( :listen, + :localhost<localhost>, + :localport(3333) ); + my $backup = dup(1); + say DateTime.now; -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; + loop + { + my $conn = $listen.accept; + my $sock_msg; + my $buf = $conn.recv(); + $sock_msg = $buf; + close(1); + dup2($conn.native-descriptor(), 1); + EVALFILE $sock_msg; + dup2($backup, 1); + close($backup); + $conn.close; } - $conn.close; - } -} + + $listen.close; +}} </code></pre> @@ -398,34 +351,28 @@ <li>ユーザーは Abyss Server を起動後,ファイルパスをサーバーに送信する.</li> </ul> -<pre><code>use IO::Socket::Unix; - -my $conn = IO::Socket::Unix.new( :host<localhost>, +<pre><code>my $conn = IO::Socket::INET.new( :host<localhost>, :port(3333) ); -$conn.print: 'FILEPASS'; -</code></pre> +$conn.print: 'Absolute file path'; - - -</div> +say $conn.lines; -<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> +$conn.close; +</code></pre> +<!-- +## Raku のEVAL +- Raku では EVAL 関数があり文字列を Raku のソースコード自身として評価できる +- Raku では, EVAL は通常は使用できないようになっており, MONKEY-SEE-NO-EVAL という pragma を実行することで使うことができるようになる. -<pre><code>use MONKEY-SEE-NO-EVAL; +``` +use MONKEY-SEE-NO-EVAL; EVAL "say { 5 + 5 }"; # OUTPUT: 10 -</code></pre> +``` -<ul> - <li>EVALFILEはファイルパスを受け取ると, ファイルの中身をバイト文字列に変換し, それをEVALと同様に解釈する.</li> -</ul> +- EVALFILEはファイルパスを受け取ると, ファイルの中身をバイト文字列に変換し, それをEVALと同様に解釈する. +--> @@ -454,7 +401,6 @@ <h2 id="abyss-serverの欠点">Abyss Serverの欠点</h2> <ul> <li>現在 Abyss Server には 一度スクリプトを実行した後にサーバー内の環境をリセットする機能が存在しないため,スクリプトがサーバー内の環境に影響を及ぼした場合,通常実行と違う挙動をする危険性がある</li> - <li>Raku に eval の出力を socket に切り替える機能が存在しないので出力が Server 側に返ってしまい,ユーザー側に返ってこない</li> <li>同時に二つ以上のタスクを与えられると実行順のスケジューリングができない <ul> <li>与えられた順番に処理していく</li> @@ -478,29 +424,6 @@ <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>