Papers/2019/anatofuz-prosym: Slide/slide.pdf.html annotate

author	Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date	Tue, 08 Jan 2019 19:32:49 +0900
parents
children	2c38abf2c77d

rev	line source
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	2
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	3
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	4
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	5
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	6 <!DOCTYPE html>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	7 <html>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	8 <head>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	9 <meta http-equiv="content-type" content="text/html;charset=utf-8">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	10 <title>CbCによるPerl6処理系</title>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	11
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	12 <meta name="generator" content="Slide Show (S9) v4.0.1 on Ruby 2.5.1 (2018-03-29) [x86_64-darwin17]">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	13 <meta name="author" content="Takahiro Shimizu, Shinji Kono" >
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	14
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	15 <!-- style sheet links -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	16 <link rel="stylesheet" href="s6/themes/screen.css" media="screen">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	17 <link rel="stylesheet" href="s6/themes/print.css" media="print">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	18 <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	19
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	20 <!-- JS -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	21 <script src="s6/js/jquery-1.11.3.min.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	22 <script src="s6/js/jquery.slideshow.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	23 <script src="s6/js/jquery.slideshow.counter.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	24 <script src="s6/js/jquery.slideshow.controls.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	25 <script src="s6/js/jquery.slideshow.footer.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	26 <script src="s6/js/jquery.slideshow.autoplay.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	27
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	28 <!-- prettify -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	29 <link rel="stylesheet" href="scripts/prettify.css">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	30 <script src="scripts/prettify.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	31
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	32 <style>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	33 .slide {page-break-after: always;}
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	34 </style>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	35
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	36
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	37
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	38
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	39 </head>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	40 <body>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	41
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	42 <div class="layout">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	43 <div id="header"></div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	44 <div id="footer">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	45 <div align="right">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	46 <img src="s6/images/logo.svg" width="200px">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	47 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	48 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	49 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	50
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	51 <div class="presentation">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	52
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	53 <div class='slide cover'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	54 <table width="90%" height="90%" border="0" align="center">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	55 <tr>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	56 <td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	57 <div align="center">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	58 <h1><font color="#808db5">CbCによるPerl6処理系</font></h1>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	59 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	60 </td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	61 </tr>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	62 <tr>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	63 <td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	64 <div align="left">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	65 Takahiro Shimizu, Shinji Kono
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	66 琉球大学
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	67 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	68 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	69 </td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	70 </tr>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	71 </table>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	72 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	73
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	74
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	75 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	76
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	77 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	78 <h2 id="研究目的">研究目的</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	79 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	80 <li>スクリプト言語であるPerl5の後継言語としてPerl6が現在開発されている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	81 <li>Perl6は設計と実装が区分されており様々な処理系が開発されている．現在主流なPerl6はRakudoと言われるプロジェクトである．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	82 <li>RakudoではPerl6自体をNQP(NotQuitPerl)と言われるPerl6のサブセットで記述し, NQPをVMが解釈するという処理の流れになっている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	83 <li>このVMは任意のVMが選択できるようになっており, 現在はMoarVM, JavaVM, JavaScriptが動作環境として選択可能である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	84 <li>主に利用されているVMにCで書かれたMoarVMが存在する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	85 <li>MoarVMはJITコンパイルなどをサポートしているが, 全体的な起動時間及び処理速度がPerl5と比較し非常に低速である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	86 <li>この問題を解決するためにContinuation based C (CbC)という言語を一部用いてMoarVMの書き換えを行う．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	87 <li>CbCを用いたMoarVMの書き換えを検討し,並列デバッグ方法などについて検討する.</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	88 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	89
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	90
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	91
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	92 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	93
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	94 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	95 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	96 <h2 id="continuation-based-c-cbc">Continuation Based C (CbC)</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	97
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	98 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	99 <li>Continuation Based C (CbC) はCodeGearとDataGearを単位として用いたプログラミング言語である.</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	100 <li>CodeGearはCの通常の関数呼び出しとは異なり，スタックに値を積まず, 次のCodeGearにgoto文によって遷移する.</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	101 <li>このgoto文による遷移を軽量継続と呼ぶ．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	102 <li>CbCは軽量継続を取り入れたCの下位言語であり, C言語のAPIを利用可能なCと互換性のある言語である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	103 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	104
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	105
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	106
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	107 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	108
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	109 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	110 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	111 <h2 id="codegearとdetagear">CodeGearとDetaGear</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	112
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	113 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	114 <li>Cの関数の代わりにCodeGearという単位をCbCでは導入している．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	115 <li>CodeGearはCの関数宣言の型名の代わりに<code>__code</code>と書く事で宣言出来る．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	116 <li>CodeGearの引数を遷移先のCodeGearと揃えることでレジスタに変数を確保した状態で軽量継続可能である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	117 <li>その為CodeGearの引数は入出力としての意味があり, DataGearと呼んでいる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	118 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	119
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	120 <pre><code>extern int printf(const char*,...);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	121 int main (){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	122 int data = 0;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	123 goto cg1(&data);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	124 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	125 __code cg1(int *datap){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	126 (*datap)++;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	127 goto cg2(datap);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	128 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	129 __code cg2(int *datap){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	130 (*datap)++;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	131 printf("%d\n",*datap);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	132 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	133 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	134
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	135
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	136
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	137 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	138
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	139 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	140 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	141 <h2 id="cbcの現在の実装">CbCの現在の実装</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	142
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	143 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	144 <li>CbCは現在2種類の実装がある．
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	145 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	146 <li>gcc (version 9.0.0)</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	147 <li>llvm/clang (version 7.0.0)</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	148 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	149 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	150 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	151
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	152
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	153
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	154 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	155
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	156 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	157 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	158 <h2 id="言語処理系の応用">言語処理系の応用</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	159 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	160 <li>CbCではCodeGearを処理単位として利用でき, これはコンパイラの基本ブロックに相当する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	161 <li>従来のスクリプト言語などの処理系では, 主にcase文で実装していた命令コードディスパッチの箇所をCodeGearの遷移として記述する事が可能である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	162 <li>CodeGearの遷移として記述する事で, 命令処理ごとに分割する事が可能となり, モジュール化が可能となる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	163 <li>CodeGearとCodeGearの遷移時に入出力のインターフェイスを揃える事で, レジスタに変数が割り振られたまま軽量継続が可能となり, レジスタレベルの最適化が可能となる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	164 <li>これらの検証とPerl6の高速化を行う為に, CbCを用いてPerl6処理系の書き換えを行っていく．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	165 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	166
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	167
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	168
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	169 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	170
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	171 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	172 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	173 <h2 id="perl6の概要">Perl6の概要</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	174
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	175 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	176 <li>Perl6とはPerl5の後継言語として当初開発が開始された言語である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	177 <li>仕様と実装が分離しており, 仕様は公式テストスイートであるRoastそのものとなっている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	178 <li>歴史的にHaskellで実装されたPugs, Pythonとの共同基盤を目指したParrotなどの実装が存在する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	179 <li>言語仕様としては漸進的型付け言語であり, 従来のPerl5とは互換性が無い．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	180 <li>現在の主要な実装はRakudoと呼ばれる実装である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	181 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	182
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	183
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	184
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	185 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	186
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	187 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	188 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	189 <h2 id="rakudo">Rakudo</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	190 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	191 <li>Rakudoとは現在のPerl6の主力な実装である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	192 <li>実行環境のVM, Perl6のサブセットであるNQP(NotQuitPerl), NQPで記述されたPerl6(Rakudo)という構成になっている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	193 <li>VMはCで書かれたPerl6専用のVMであるMoarVM, JavaVMが選択可能である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	194 <li>現在はMoarVMがRakudoの中でも主流なVM実装となっている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	195 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	196
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	197
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	198
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	199 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	200
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	201 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	202 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	203 <h2 id="rakudo-1">Rakudo</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	204 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	205 <li>Rakudoにおけるコンパイラは2種類存在する
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	206 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	207 <li>Perl6やNQPのコードをVMのバイトコードに変換するコンパイラ</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	208 <li>NQPが出力したVMのバイトコードをネイティブコードに変換するコンパイラ</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	209 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	210 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	211 <li>NQPの処理系nqp及び, Perl6のインタプリタである perl6は, それぞれセルフコンパイルしたものを利用する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	212 <li>Perl6は純粋なNQPではなく, Perl6自身によって拡張され記述されている箇所も存在する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	213 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	214
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	215
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	216
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	217 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	218
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	219 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	220 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	221 <h2 id="moarvm">MoarVM</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	222
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	223 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	224 <li>Perl6専用のVMであり, Cで記述されている</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	225 <li>レジスタマシンとして実装されている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	226 <li>MoarVMはバイトコードインタプリタを <code>src/core/interp.c</code> で定義しており, この中の関数 <code>MVM_interp_run</code> で命令に応じた処理を実行する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	227 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	228
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	229
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	230
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	231 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	232
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	233 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	234 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	235 <h2 id="mvm_interp_run">MVM_interp_run</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	236
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	237 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	238 <li>MVM_interp_runでは次のオペコードをフェッチする際に <code>NEXT_OP</code> マクロを介して計算を行う．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	239 <li>オペコードが対応する命令を実行する際は, <code>MVM_CGOTO</code> フラグが立っている場合はCのラベルgotoを利用し, 使えない場合はswitch文を利用して遷移する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	240 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	241
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	242 <pre><code>#define NEXT_OP (op = (MVMuint16 )(cur_op), cur_op += 2, op)
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	243
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	244 #if MVM_CGOTO
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	245 #define DISPATCH(op)
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	246 #define OP(name) OP_ ## name
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	247 #define NEXT *LABELS[NEXT_OP]
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	248 #else
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	249 #define DISPATCH(op) switch (op)
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	250 #define OP(name) case MVM_OP_ ## name
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	251 #define NEXT runloop
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	252 #endif
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	253 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	254
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	255
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	256
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	257 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	258
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	259 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	260 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	261 <h2 id="mvm_interp_run-1">MVM_interp_run</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	262
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	263 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	264 <li>ラベル遷移を利用する場合は配列<code>LABELS</code>にアクセスし, ラベル情報を取得する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	265 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	266
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	267 <pre><code>static const void * const LABELS[] = {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	268 &&OP_no_op,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	269 &&OP_const_i8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	270 &&OP_const_i16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	271 &&OP_const_i32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	272 &&OP_const_i64,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	273 &&OP_const_n32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	274 &&OP_const_n64,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	275 &&OP_const_s,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	276 &&OP_set,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	277 &&OP_extend_u8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	278 &&OP_extend_u16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	279 &&OP_extend_u32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	280 &&OP_extend_i8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	281 &&OP_extend_i16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	282 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	283
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	284
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	285
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	286 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	287
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	288 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	289 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	290 <h2 id="mvm_interp_run-2">MVM_interp_run</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	291
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	292 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	293 <li>DISPATCHマクロは次の様に記述されており, この中の <code>OP</code> で宣言されたブロックがそれぞれオペコードに対応する処理となっている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	294 <li>この中では <code>GET_REG</code> などのマクロを用いてMoarVMのレジスタにアクセスする．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	295 <li><code>cur_op</code>は次のオペコードを意味し, マクロ <code>NEXT</code> で決められた方法で次のオペコードに遷移する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	296 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	297
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	298 <pre><code>DISPATCH(NEXT_OP) {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	299 OP(no_op):
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	300 goto NEXT;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	301 OP(const_i8):
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	302 OP(const_i16):
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	303 OP(const_i32):
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	304 MVM_exception_throw_adhoc(tc, "const_iX NYI");
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	305 OP(const_i64):
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	306 GET_REG(cur_op, 0).i64 = MVM_BC_get_I64(cur_op, 2);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	307 cur_op += 10;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	308 goto NEXT;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	309 OP(pushcompsc): {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	310 MVMObject * const sc = GET_REG(cur_op, 0).o;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	311 if (REPR(sc)->ID != MVM_REPR_ID_SCRef)
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	312 MVM_exception_throw_adhoc(tc, "Can only push an SCRef with pushcompsc");
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	313 if (MVM_is_null(tc, tc->compiling_scs)) {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	314 MVMROOT(tc, sc, {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	315 tc->compiling_scs = MVM_repr_alloc_init(tc, tc->instance->boot_types.BOOTArray);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	316 });
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	317 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	318 MVM_repr_unshift_o(tc, tc->compiling_scs, sc);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	319 cur_op += 2;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	320 goto NEXT;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	321 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	322 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	323
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	324 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	325
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	326
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	327
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	328 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	329
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	330 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	331 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	332 <h2 id="mvm_interp_run-3">MVM_interp_run</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	333
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	334 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	335 <li>Cの実装の場合, switch文に展開される可能性がある為, 命令ディスパッチが書かれているCソース・ファイルの指定の場所にのみ処理を記述せざるを得ない
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	336 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	337 <li>その為, 1ファイルあたりの記述量が膨大になり, 命令のモジュール化ができない</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	338 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	339 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	340 <li>Threaded Codeの実装を考えた場合, この命令に対応して大幅に処理系の実装を変更する必要がある．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	341 <li>デバッグ時には今どの命令を実行しているか, ラベルテーブルを利用して参照せざるを得ず, 手間がかかる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	342 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	343
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	344
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	345
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	346 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	347
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	348 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	349 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	350 <h2 id="nqp">NQP</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	351 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	352 <li>MoarVM, JVM上で動作する Perl6のサブセットとなっている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	353 <li>NQPの基本文法はPerl6に準拠しているが, 束縛ベースで変数を利用するなどいくつか異なる点が存在する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	354 <li>NQPは最終的にブートストラップを行う処理系であるが, 初回のビルド時には, すでに書かれたMoarVM, JVMのバイトコードを必要とする．
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	355 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	356 <li>この状態をStage0といい, Stage0を利用してStage1, Stage1を利用してStage2をビルドする事で完成する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	357 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	358 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	359 <li>NQPの実行可能なインタプリタである<code>nqp</code>は, MoarVMの実行バイナリ<code>moar</code> にライブラリパスなどを設定し, ビルドしたライブラリなどを引数として渡すシェルスクリプトとなっている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	360 <li><code>nqp</code> を実行する事でREPLが起動され, NQPスクリプトを <code>nqp</code> に入力として与える事で, 通常のスクリプト言語の様に実行する事が可能となる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	361 <li>NQPの設計はRoastで定義されているPerl6とは異なり, 今後も変化していく事が公表されている．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	362 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	363
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	364 <pre><code>#! nqp
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	365
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	366 sub fib($n) {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	367 $n < 2 ?? $n !! fib($n-1) + fib($n - 2);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	368 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	369
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	370 my $N := 29;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	371
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	372 my $z := fib($N);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	373
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	374 say("fib($N) = " ~ fib($N));
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	375 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	376
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	377
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	378
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	379 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	380
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	381 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	382 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	383 <h2 id="cbcによるmoarvm">CbCによるMoarVM</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	384
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	385 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	386 <li>MoarVMの中心部分はバイトコードを解釈するバイトコードインタプリタである．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	387 <li>その為, CbCを用いてMoarVMのバイトコードインタプリタ部分の書き換えを検討する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	388 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	389
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	390
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	391
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	392 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	393
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	394 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	395 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	396 <h2 id="cbcmoarvmのバイトコードディスパッチ">CbCMoarVMのバイトコードディスパッチ</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	397
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	398 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	399 <li>interp.cではマクロを利用した cur_op (現在のオペコード) の計算及び, マクロ遷移かswitch文を利用して次の命令列に遷移していた</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	400 <li>CbCMoarVMでは, それぞれの命令に対応するCodeGearを生成し, このCodeGearの集合であるテーブルCODESを作成した</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	401 <li>このテーブルは<code>cbc_next</code>というCodeGearから参照し, 以降はこのCodeGearの遷移として処理が継続される．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	402 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	403
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	404 <pre><code>#define NEXT_OP(i) (i->op = (MVMuint16 )(i
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	405 ->cur_op), i->cur_op += 2, i->op)
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	406 #define DISPATCH(op) {goto (CODES[op])(i);}
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	407 #define OP(name) OP_ ## name
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	408 #define NEXT(i) CODES[NEXT_OP(i)](i)
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	409 static int tracing_enabled = 0;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	410
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	411 _code cbc_next(INTERP i){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	412 goto NEXT(i);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	413 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	414 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	415
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	416 <pre><code>__code (* CODES[])(INTERP) = {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	417 cbc_no_op,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	418 cbc_const_i8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	419 cbc_const_i16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	420 cbc_const_i32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	421 cbc_const_i64,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	422 cbc_const_n32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	423 cbc_const_n64,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	424 cbc_const_s,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	425 cbc_set,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	426 cbc_extend_u8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	427 cbc_extend_u16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	428 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	429
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	430
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	431
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	432 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	433
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	434 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	435 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	436 <h2 id="codegearの入出力インターフェイス">CodeGearの入出力インターフェイス</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	437
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	438 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	439 <li>MoarVMではレジスタの集合や命令列などをMVM_interp_runのローカル変数として利用し, 各命令実行箇所で参照している</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	440 <li>CodeGearに書き換えた場合, このローカル変数にはアクセスする事が不可能となる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	441 <li>その為, 入出力としてMoarVMの情報をまとめた構造体interpのポインタであるINTERPを受け渡し, これを利用してアクセスする</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	442 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	443
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	444 <pre><code>typedef struct interp {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	445 MVMuint16 op;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	446 /* Points to the place in the bytecode
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	447 right after the current opcode. */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	448 /* See the NEXT_OP macro for making sense
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	449 of this */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	450 MVMuint8 *cur_op;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	451 /* The current frame’s bytecode start. */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	452 MVMuint8 *bytecode_start;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	453 /* Points to the base of the current
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	454 register set for the frame we
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	455 * are presently in. */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	456 MVMRegister *reg_base;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	457 /* Points to the current compilation unit
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	458 . */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	459 MVMCompUnit *cu;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	460 /* The current call site we’re
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	461 constructing. */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	462 MVMCallsite *cur_callsite;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	463 MVMThreadContext *tc;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	464 } INTER,*INTERP;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	465 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	466
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	467
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	468
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	469 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	470
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	471 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	472 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	473 <h2 id="datagearへの変換">DataGearへの変換</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	474
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	475 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	476 <li>バイトコードに対応する命令をそれぞれCodeGearに変換していく．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	477 <li><code>OP(.)</code>の<code>(.)</code>の部分をCodeGearの名前として先頭に <code>cbc_</code> をつけた上で設定する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	478 <li>cur_opなどはINTERPを経由してアクセスする様に修正する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	479 <li>末尾の <code>NEXT</code> を次のCodeGearにアクセスする為に <code>cbc_next</code> に修正する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	480 <li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	481 <p>case文で次のcase文に流れる箇所は, 直接その下のcase文に該当するCodeGearに遷移する．</p>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	482 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	483 <li>論文執筆時はstaticに修正する必要があったが, その後CbCコンパイラの改良により不要となった．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	484 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	485
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	486 <pre><code>__code cbc_no_op(INTERP i){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	487 goto cbc_next(i);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	488 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	489 __code cbc_const_i8(INTERP i){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	490 goto cbc_const_i16(i);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	491 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	492 __code cbc_const_i16(INTERP i){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	493 goto cbc_const_i32(i);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	494 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	495 __code cbc_const_i32(INTERP i){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	496 MVM_exception_throw_adhoc(i->tc, "const_iX NYI");
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	497 goto cbc_const_i64(i);
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	498 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	499 __code cbc_const_i64(INTERP i){
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	500 GET_REG(i->cur_op, 0,i).i64 = MVM_BC_get_I64(i->cur_op, 2);

85

1f4e174f0f1a add slide