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

annotate Slide/slide.html @ 98:b360b0159390 default tip

update

author	Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date	Fri, 11 Jan 2019 14:08:33 +0900
parents	38ab79fff396
children

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/projection.css" media="screen,projection">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	17 <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	18 <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	19 <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	20
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	21 <!-- JS -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	22 <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	23 <script src="s6/js/jquery.slideshow.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	24 <script src="s6/js/jquery.slideshow.counter.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	25 <script src="s6/js/jquery.slideshow.controls.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	26 <script src="s6/js/jquery.slideshow.footer.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	27 <script src="s6/js/jquery.slideshow.autoplay.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	28
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	29 <!-- prettify -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	30 <link rel="stylesheet" href="scripts/prettify.css">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	31 <script src="scripts/prettify.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	32
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	33 <script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	34 $(document).ready( function() {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	35 Slideshow.init();
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 $('code').each(function(_, el) {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	38 if (!el.classList.contains('noprettyprint')) {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	39 el.classList.add('prettyprint');
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	40 }
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 prettyPrint();
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	43 } );
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	44
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	45 </script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	46
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	47 <!-- Better Browser Banner for Microsoft Internet Explorer (IE) -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	48 <!--[if IE]>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	49 <script src="s6/js/jquery.microsoft.js"></script>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	50 <![endif]-->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	51
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
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	54 </head>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	55 <body>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	56
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	57 <div class="layout">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	58 <div id="header"></div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	59 <div id="footer">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	60 <div align="right">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	61 <img src="s6/images/logo.svg" width="200px">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	62 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	63 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	64 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	65
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	66 <div class="presentation">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	67
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	68 <div class='slide cover'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	69 <table width="90%" height="90%" border="0" align="center">
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 <td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	72 <div align="center">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	73 <h1><font color="#808db5">CbCによるPerl6処理系</font></h1>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	74 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	75 </td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	76 </tr>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	77 <tr>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	78 <td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	79 <div align="left">
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	80 Takahiro Shimizu, Shinji Kono
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	81 琉球大学
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	82 <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	83 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	84 </td>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	85 </tr>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	86 </table>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	87 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	88
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 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	92
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	93 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	94 <h2 id="研究目的">研究目的</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	95 <ul>
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	96 <li>現在開発されているPerl6の実装にRakudoがあり, RakudoはNQP(Perl6のサブセット)で記述されたPerl6, NQPで記述されたNQPコンパイラ, NQPを解釈するVMで構成されている</li>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	97 <li>NQPコンパイラはRakudoのVMであるMoarVM用のバイトコードを生成し, MoarVMはこのバイトコードを解釈, 実行する</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	98 <li>Continuation based C (CbC)という言語は継続を基本とするC言語であり, 言語処理系に応用出来ると考えられる</li>
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	99 <li>スクリプ言語などは, バイトコードを扱うが, この実行にcae文や, ラベルgotoなどを利用しており, この部分はCbCの機能で書き換える事が可能である</li>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	100 <li>従って, CbC一部用いてPerl6にC処理系であるMoarVMの書き換えを行い, 処理を検討する．
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	101 <img src="fig/perl6nqp.svg" alt="" /></li>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	102 <li>(Rakudoの構成図)</li>
85 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="continuation-based-c-cbc">Continuation Based C (CbC)</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	112 <ul>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	113 <li>Continuation Based C (CbC) はCodeGearを単位として用いたプログラミング言語である.</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	114 <li>CodeGearはCの通常の関数呼び出しとは異なり，スタックに値を積まず, 次のCodeGearにgoto文によって遷移する.</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	115 <li>CodeGearはCの関数宣言の型名の代わりに<code>__code</code>と書く事で宣言出来る．</li>
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	116 <li>CodeGearの引数は, 各CodeGearの入出力として利用する．</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	117 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	118
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	119 <pre><code>extern int printf(const char*,...);
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	120
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	121 int main (){
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	122 int data = 0;
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	123 goto cg1(&data);
85 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){
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	126 (*datap)++;
85 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>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	144 <li>CbCは現在3種類の実装がある．
85 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>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	148 <li>micro-c</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	149 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	150 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	151 </ul>
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
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	155 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	156
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	157 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	158 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	159 <h2 id="言語処理系の応用">言語処理系の応用</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	160 <ul>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	161 <li>スクリプト言語処理系は, バイトコードにコンパイルされ, バイトコードをJITを用いてネイティブに変換する</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	162 <li>JITを使わない場合, バイトコードに対応した, case文や, ラベルのテーブルにgotoすることで処理を実行する</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	163 <li>CbCを言語処理系に応用した場合, バイトコードに対応するCodeGearを生成することが可能である</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	164 <li>バイトコードに対応したCodeGearは, CodeGearのテーブルを経由することで実行出来る</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	165 <li>CodeGearに分割することで, 処理を複数の関数で記述する事が出来, ファイル分割などのモジュール化が可能となる</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	166 </ul>
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
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	170 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	171
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	172 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	173 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	174 <h2 id="rakudo">Rakudo</h2>
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>Rakudoとは現在のPerl6の主力な実装である．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	177 <li>実行環境のVM, Perl6のサブセットであるNQP(NotQuitPerl), NQPで記述されたPerl6(Rakudo)という構成になっている．</li>
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	178 <li>コンパイラは, NQPで記述されたPerl6コンパイラ, NQPで記述されたNQPコンパイラ, MoarVMバイトコードを解釈するMoarVMという構成である</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	179 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	180
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	181 <img src="fig/tgraph/1.svg" alt="" width="50%" height="50%" />
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	182
85 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="moarvm">MoarVM</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	190
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	191 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	192 <li>Perl6専用のVMであり, Cで記述されている</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	193 <li>レジスタマシンとして実装されている．</li>
93 c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	194 <li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	195 MoarVMはバイトコードインタプリタを <code>src/core/interp.c</code> で定義しており, この中の関数 <code>MVM_interp_run</code> でバイトコードに応じた処理を実行する
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	196 </li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	197 <li>マクロDISPATCHで, ラベルgotoかcase文に, バイトコードに対応した処理を行う
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	198 <ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	199 <li>この中の <code>OP</code> で宣言されたブロックがそれぞれバイトコードに対応する処理となっている．</li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	200 </ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	201 </li>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	202 <li>この中では <code>GET_REG</code> などのマクロを用いてMoarVMのレジスタにアクセスする．</li>
93 c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	203 <li><code>cur_op</code>は次のバイトコード列が登録されており, マクロ <code>NEXT</code> で決められた方法で次のバイトコードに対応した処理に遷移する．</li>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	204 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	205
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	206 <pre><code>DISPATCH(NEXT_OP) {
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	207 OP(const_i64):
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	208 GET_REG(cur_op, 0).i64 = MVM_BC_get_I64(cur_op, 2);
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	209 cur_op += 10;
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	210 goto NEXT;
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	211 }
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	212
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	213 </code></pre>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	214
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	215
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	216
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	217 </div>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	218
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	219 <div class='slide'>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	220 <!-- _S9SLIDE_ -->
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	221 <h2 id="mvm_bc_get_i64の実装">MVM_BC_get_I64の実装</h2>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	222
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	223 <pre><code> MVM_STATIC_INLINE MVMint64 MVM_BC_get_I64(const MVMuint8 *cur_op, int offset) {
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	224 const MVMuint8 *const where = cur_op + offset;
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	225 #ifdef MVM_CAN_UNALIGNED_INT64
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	226 return (MVMint64 )where;
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	227 #else
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	228 MVMint64 temp;
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	229 memmove(&temp, where, sizeof(MVMint64));
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	230 return temp;
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	231 #endif
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	232 }
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	233 </code></pre>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	234
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	235
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	236
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	237 </div>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	238
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	239 <div class='slide'>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	240 <!-- _S9SLIDE_ -->
91 3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	241 <h2 id="mvm_interp_runで使用されているマクロ">MVM_interp_runで使用されているマクロ</h2>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	242
94 4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	243 <pre><code>DISPATCH(NEXT_OP) {
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	244 OP(const_i64):
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	245 </code></pre>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	246
91 3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	247 <ul>
94 4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	248 <li>マクロ <code>DISPATCH</code> 及び <code>OP</code> は次の様に定義している</li>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	249 </ul>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	250
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	251 <pre><code> #define OP(name) OP_ ## name
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	252 #define NEXT *LABELS[NEXT_OP]
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	253 </code></pre>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	254
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	255 <ul>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	256 <li>マクロ<code>DISPATCH</code>は, ラベルgotoが利用できる場合は無視される</li>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	257 <li>マクロ <code>OP</code> が, 対応するバイトコード命令を, ラベル列に変換する</li>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	258 </ul>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	259
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	260 <pre><code> OP_const_i16:
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	261 OP_const_i32:
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	262 MVM_exception_throw_adhoc(tc, "const_iX NYI");
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	263 OP_const_i64:
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	264 </code></pre>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	265
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	266
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	267
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	268 </div>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	269
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	270 <div class='slide'>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	271 <!-- _S9SLIDE_ -->
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	272 <h2 id="mvm_interp_runのマクロ">MVM_interp_runのマクロ</h2>
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	273
4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	274 <ul>
91 3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	275 <li>MVM_interp_runではマクロを利用してMoarVMの環境などにアクセスしている</li>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	276 <li>頻出するマクロに <code>GET_REG</code> があり, 次のような使い方をする</li>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	277 </ul>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	278
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	279 <pre><code> OP(const_i64):
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	280 GET_REG(cur_op, 0).i64 = MVM_BC_get_I64(cur_op, 2);
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	281 cur_op += 10;
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	282 </code></pre>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	283
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	284 <ul>
93 c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	285 <li><code>GET_REG</code>はバイトコードに埋められた数値を利用して, レジスタ情報を取得/設定などをする</li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	286 <li><code>GET_REG</code>は次の様に展開される</li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	287 </ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	288
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	289 <pre><code> reg_base[((MVMuint16 )(cur_op + 0))].i64 = MVM_BC_get_I64(cur_op, 2);
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	290 </code></pre>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	291
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	292 <ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	293 <li><code>reg_base</code> はMoarVMの現在のフレームのレジスタ情報が保存されたポインタであり, MVM_interp_runではローカル変数として利用している</li>
91 3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	294 </ul>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	295
93 c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	296
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	297
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	298 </div>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	299
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	300 <div class='slide'>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	301 <!-- _S9SLIDE_ -->
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	302 <h2 id="mvm_interp_runで使用されているマクロ-1">MVM_interp_runで使用されているマクロ</h2>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	303
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	304 <ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	305 <li>次のバイトコード命令に遷移するマクロ <code>NEXT</code> は, ラベルgotoが使用可能な場合次の様に記述されている</li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	306 <li><code>NEXT</code>自体はラベルテーブルにアクセスし, ラベルを取り出す</li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	307 <li>次のバイトコードを取り出すのは, <code>NEXT_OP</code> というマクロが担っている</li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	308 </ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	309
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	310 <pre><code>#define NEXT_OP (op = (MVMuint16 )(cur_op), cur_op += 2, op)
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	311 #define NEXT *LABELS[NEXT_OP]
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	312
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	313 </code></pre>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	314 <ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	315 <li>マクロ <code>NEXT</code> は次の様に展開される</li>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	316 </ul>
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	317
c3b973a23fee update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 91 diff changeset	318 <pre><code>goto LABELS[(op = (MVMuint16 *)(cur_op), cur_op += 2, op)];
91 3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	319 </code></pre>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	320
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	321
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	322
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	323 </div>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	324
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	325 <div class='slide'>
3beea12854b0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 90 diff changeset	326 <!-- _S9SLIDE_ -->
94 4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	327 <h2 id="mvm_interp_runのラベルテーブル">MVM_interp_runのラベルテーブル</h2>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	328
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	329 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	330 <li>ラベル遷移を利用する場合は配列<code>LABELS</code>にアクセスし, ラベル情報を取得する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	331 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	332
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	333 <pre><code>static const void * const LABELS[] = {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	334 &&OP_no_op,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	335 &&OP_const_i8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	336 &&OP_const_i16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	337 &&OP_const_i32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	338 &&OP_const_i64,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	339 &&OP_const_n32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	340 &&OP_const_n64,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	341 &&OP_const_s,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	342 &&OP_set,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	343 &&OP_extend_u8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	344 &&OP_extend_u16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	345 &&OP_extend_u32,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	346 &&OP_extend_i8,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	347 &&OP_extend_i16,
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	348 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	349
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	350
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	351
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	352 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	353
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	354 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	355 <!-- _S9SLIDE_ -->
94 4f0eaa330295 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 93 diff changeset	356 <h2 id="mvm_interp_run">MVM_interp_run</h2>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	357
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	358 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	359 <li>Cの実装の場合, switch文に展開される可能性がある為, 命令ディスパッチが書かれているCソース・ファイルの指定の場所にのみ処理を記述せざるを得ない
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	360 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	361 <li>その為, 1ファイルあたりの記述量が膨大になり, 命令のモジュール化ができない</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 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	364 <li>Threaded Codeの実装を考えた場合, この命令に対応して大幅に処理系の実装を変更する必要がある．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	365 <li>デバッグ時には今どの命令を実行しているか, ラベルテーブルを利用して参照せざるを得ず, 手間がかかる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	366 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	367
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 </div>
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 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	373 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	374 <h2 id="cbcmoarvmのバイトコードディスパッチ">CbCMoarVMのバイトコードディスパッチ</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	375
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	376 <ul>
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	377 <li>CbCをMoarVMに適応すると, ラベルなどで制御していた命令に対応する処理をCodeGearで記述する事が可能である</li>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	378 <li>オリジナルでは, マクロ <code>NEXT</code> が担当していた, 次のバイトコードへの移動は, NEXT相当のCodeGear <code>cbc_next</code>で処理を行う</li>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	379 <li>CodeGearの入出力として, MoarVMなどの情報をまとめた構造体を利用する</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	380 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	381
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	382 <pre><code>__code cbc_next(INTERP i){
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	383 __code (*c)(INTERP)
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	384 c = CODES[(i->op = (MVMuint16 )(i->cur_op), i->cur_op += 2, i->op)]; // c = NEXT(i)
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	385 goto c(i);
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	386 }
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	387
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	388 __code cbc_const_i64(INTERP i){
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	389 GET_REG(i->cur_op, 0,i).i64 = MVM_BC_get_I64(i->cur_op, 2);
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	390 i->cur_op += 10;
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	391 goto cbc_next(i);
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	392 }
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	393
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	394 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	395
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	396
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 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	399
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	400 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	401 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	402 <h2 id="codegearの入出力インターフェイス">CodeGearの入出力インターフェイス</h2>
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 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	405 <li>MoarVMではレジスタの集合や命令列などをMVM_interp_runのローカル変数として利用し, 各命令実行箇所で参照している</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	406 <li>CodeGearに書き換えた場合, このローカル変数にはアクセスする事が不可能となる．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	407 <li>その為, 入出力としてMoarVMの情報をまとめた構造体interpのポインタであるINTERPを受け渡し, これを利用してアクセスする</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	408 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	409
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	410 <pre><code>typedef struct interp {
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	411 MVMuint16 op;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	412 MVMuint8 *cur_op;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	413 MVMuint8 *bytecode_start;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	414 MVMRegister *reg_base;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	415 /* Points to the current compilation unit
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	416 . */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	417 MVMCompUnit *cu;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	418 /* The current call site we’re
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	419 constructing. */
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	420 MVMCallsite *cur_callsite;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	421 MVMThreadContext *tc;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	422 } INTER,*INTERP;
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	423 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	424
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	425
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	426
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	427 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	428
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	429 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	430 <!-- _S9SLIDE_ -->
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	431 <h2 id="cbcmoarvmのcodegearテーブル">CbCMoarVMのCodeGearテーブル</h2>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	432
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	433 <ul>
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	434 <li>CodeGearテーブルは引数としてINTERを受け取るCodeGearの配列として定義する</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	435 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	436
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	437 <pre><code>__code (* CODES[])(INTERP) = {
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	438 cbc_no_op,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	439 cbc_const_i8,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	440 cbc_const_i16,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	441 cbc_const_i32,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	442 cbc_const_i64,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	443 cbc_const_n32,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	444 cbc_const_n64,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	445 cbc_const_s,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	446 cbc_set,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	447 cbc_extend_u8,
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	448 cbc_extend_u16,
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	449 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	450
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	451
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	452
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	453 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	454
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	455 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	456 <!-- _S9SLIDE_ -->
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	457 <h2 id="nqp">NQP</h2>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	458 <ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	459 <li>Perl6の機能を制約したプログラミング言語であり, Perl6はNQPで記述されている
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	460 <ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	461 <li>その為Perl6処理系は, NQPの動作を目的に実装することでPerl6の動作が可能となる</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	462 <li>NQPコンパイラ自身もNQPで記述されている</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	463 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	464 </li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	465 <li>Perl6と違い, 変数の宣言を <code>:=</code> を利用した束縛で行う, <code>++</code> 演算子が使用できないなどの違いがある</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	466 <li>nqpのオペコードを利用する際に,型を指定する事が可能である</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	467 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	468
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	469 <pre><code>sub add_test(int $n) {
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	470 my $sum := 0;
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	471 while nqp::isgt_i($n,1) {
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	472 $sum := nqp::add_i($sum,$n);
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	473 $n := nqp::sub_i($n,1);
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	474 }
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	475 return $sum;
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	476 }
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	477
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	478 say(add_test(10));
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	479 </code></pre>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	480
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	481
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	482
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	483 </div>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	484
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	485 <div class='slide'>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	486 <!-- _S9SLIDE_ -->
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	487 <h2 id="nqpのバイトコード">NQPのバイトコード</h2>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	488
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	489 <ul>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	490 <li>NQPはMoarVMのバイトコードにコンパイルし, バイトコードをファイルに保存することが可能である</li>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	491 <li>MoarVMのバイトコードは, アセンブリの様にダンプする事が可能である</li>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	492 <li>実際に先程のコードをバイトコードにコンパイルし, 対応するバイトコードをダンプすると次の様に表示される</li>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	493 </ul>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	494
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	495 <pre><code> annotation: hoge.nqp:3
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	496 label_1:
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	497 00007 const_i64_16 loc_2_int, 1
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	498 00008 gt_i loc_2_int, loc_0_int, loc_2_int
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	499 00009 unless_i loc_2_int, label_2(00022)
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	500 00010 osrpoint
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	501 annotation: hoge.nqp:4
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	502 00011 decont loc_3_obj, loc_1_obj
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	503 00012 smrt_numify loc_4_num, loc_3_obj
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	504 00013 coerce_ni loc_5_int, loc_4_num
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	505 00014 add_i loc_5_int, loc_5_int, loc_0_int
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	506 00015 hllboxtype_i loc_3_obj
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	507 00016 box_i loc_3_obj, loc_5_int, loc_3_obj
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	508 00017 set loc_1_obj, loc_3_obj
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	509 annotation: hoge.nqp:5
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	510 00018 const_i64_16 loc_5_int, 1
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	511 00019 sub_i loc_5_int, loc_0_int, loc_5_int
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	512 00020 set loc_0_int, loc_5_int
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	513 00021 goto label_1(00007)
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	514 </code></pre>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	515
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	516
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	517
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	518 </div>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	519
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	520 <div class='slide'>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	521 <!-- _S9SLIDE_ -->
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	522 <h2 id="nqpのバイトコードとcbc">NQPのバイトコードとCbC</h2>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	523
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	524 <ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	525 <li>NQPが生成したMoarVMバイトコードは確実に次に実行される命令がある箇所が複数存在する</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	526 <li>静的にCのソースファイルに, NQPが生成したバイトコードと対応するCbCのCodeGearの実行を書くことで決定的に命令を実行可能でえある．</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	527 </ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	528
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	529
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	530
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	531 </div>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	532
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	533 <div class='slide'>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	534 <!-- _S9SLIDE_ -->
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	535 <h2 id="cbcmoarvmの利点">CbCMoarVMの利点</h2>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	536
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	537 <ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	538 <li>バイトコードインタプリタの箇所をモジュール化する事が可能となり, CodeGearの再利用性や記述生が高まる</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	539 <li>デバッグ時にラベルではなくCodeGearにbreakpointを設定可能となり，デバッグが安易となる</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	540 </ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	541
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	542
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	543
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	544 <h2 id="cbcmoarvmの欠点">CbCMoarVMの欠点</h2>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	545
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	546 <ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	547 <li>CbCコンパイラがバグを発生させやすく, 意図しない挙動を示す事がある
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	548 <ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	549 <li>CbCコンパイラ自体のバグも存在する</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	550 </ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	551 </li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	552 <li>MoarVMのオリジナルの更新頻度が高い為, 追従していく必要がある</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	553 <li>CodeGear側からCに戻る際に手順が複雑となる</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	554 <li>CodeGearを単位として用いる事で複雑なプログラミングが要求される.</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	555 </ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	556
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	557
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	558
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	559 </div>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	560
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	561 <div class='slide'>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	562 <!-- _S9SLIDE_ -->
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	563 <h2 id="moarvmのデバッグ手法">MoarVMのデバッグ手法</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	564
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	565 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	566 <li>MoarVMはバイトコードをランダムに生成する仕様となっている
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	567 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	568 <li>一旦moarvmバイトコードとして出力したファイルを実行する場合は同じ処理内容となっている</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	569 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	570 </li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	571 <li>そのため, MoarVMのデバッグは同じバイトコードを入力として与え, オリジナルのMoarVMと並列してgdbを用いてトレースを行う．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	572 <li>この際, 実行するバイトコードの数が膨大となるので, scriptコマンドを用いて実行するバイトコードの番号を吐き出し, ログファイルを用いて比較する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	573 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	574
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	575
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	576
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	577 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	578
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	579 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	580 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	581 <h2 id="moarvmのデバッグ時のbreak-point">MoarVMのデバッグ時のbreak point</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	582
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	583 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	584 <li>CbC側では次のオペコードの遷移は <code>cbc_next</code> というCodeGearで行う</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	585 <li>CodeGearは関数として扱える為, これに直接break pointを設定する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	586 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	587
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	588 <pre><code>(gdb) b cbc_next
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	589 Breakpoint 2 at 0x7ffff7560288: file src/core/cbc-interp.cbc, line 61.
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	590 (gdb) command 2
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	591 Type commands for breakpoint(s) 2, one per line.
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	592 End with a line saying just "end".
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	593 >p CODES[(MVMuint16 )i->cur_op]
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	594 >p (MVMuint16 )i->cur_op
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	595 >c
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	596 >end
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	597 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	598 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	599 <li>オリジナルの場合マクロである為, dummy関数をマクロに記述し, この関数にbreakpointを設定する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	600 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	601
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	602 <pre><code>dalmore gdb --args ../../MoarVM_Original/MoarVM/moar --libpath=src/vm/moar/stage0 gen/moar/stage1/nqp
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	603 (gdb) b dummy
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	604 Function "dummy" not defined.
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	605 Make breakpoint pending on future shared library load? (y or [n]) y
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	606 Breakpoint 1 (dummy) pending.
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	607 (gdb) command 1
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	608 Type commands for breakpoint(s) 1, one per line.
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	609 End with a line saying just "end".
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	610 >up
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	611 >p (MVMuint16 )(cur_op)
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	612 >c
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	613 >end
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	614
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	615 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	616
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	617
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	618
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	619 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	620
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	621 <div class='slide'>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	622 <!-- _S9SLIDE_ -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	623 <h2 id="moarvmのトレース">MoarVMのトレース</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	624
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	625 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	626 <li>トレース時には次の様なデバッグ情報の表示を利用する</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	627 <li>デバッガに, breakpointで停止した際のcur_opの値を表示する様に設定する．</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	628 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	629
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	630 <pre><code>Breakpoint 1, dummy () at src/core/interp.c:46
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	631 46 }
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	632 #1 0x00007ffff75608fe in MVM_interp_run (tc=0x604a20,
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	633 initial_invoke=0x7ffff76c7168 <toplevel_initial_invoke>, invoke_data=0x67ff10)
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	634 at src/core/interp.c:119
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	635 119 goto NEXT;
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	636 $1 = 159
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	637
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	638 Breakpoint 1, dummy () at src/core/interp.c:46
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	639 46 }
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	640 #1 0x00007ffff75689da in MVM_interp_run (tc=0x604a20,
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	641 initial_invoke=0x7ffff76c7168 <toplevel_initial_invoke>, invoke_data=0x67ff10)
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	642 at src/core/interp.c:1169
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	643 1169 goto NEXT;
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	644 $2 = 162
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	645 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	646
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	647
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	648
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	649 </div>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	650
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	651 <div class='slide'>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	652 <!-- _S9SLIDE_ -->
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	653 <h2 id="cbcmoarvmのデバッグ">CbCMoarVMのデバッグ</h2>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	654
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	655 <pre><code>Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	656 61 goto NEXT(i);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	657 $1 = (void (*)(INTERP)) 0x7ffff7566f53 <cbc_takeclosure>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	658 $2 = 162
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	659
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	660 Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	661 61 goto NEXT(i);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	662 $3 = (void (*)(INTERP)) 0x7ffff7565f86 <cbc_checkarity>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	663 $4 = 140
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	664
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	665 Breakpoint 2, cbc_next (i=0x7fffffffdc30) at src/core/cbc-interp.cbc:61
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	666 61 goto NEXT(i);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	667 $5 = (void (*)(INTERP)) 0x7ffff7579d06 <cbc_paramnamesused>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	668 $6 = 558
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	669
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	670
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	671 </code></pre>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	672
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	673
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	674
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	675 </div>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	676
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	677 <div class='slide'>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	678 <!-- _S9SLIDE_ -->
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	679 <h2 id="moarvmのデバッグ">MoarVMのデバッグ</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	680
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	681 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	682 <li>cur_opのみをPerlスクリプトなどを用いて抜き出し, 並列にログを取得したオリジナルと差分を図る</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	683 <li>この際に差異が発生したオペコードを確認し, その前の状態で確認していく</li>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	684 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	685
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	686 <pre><code>131 : 131
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	687 139 : 139
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	688 140 : 140
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	689 144 : 144
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	690 558 : 558
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	691 391 : 391
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	692 749 : 749
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	693 53 : 53
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	694 *54 : 8
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	695 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	696
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	697
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	698
86 2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	699 </div>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	700
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	701 <div class='slide'>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	702 <!-- _S9SLIDE_ -->
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	703 <h2 id="現在のcbcmoarvm">現在のCbCMoarVM</h2>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	704
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	705 <ul>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	706 <li>現在はNQP, Rakudoのセルフビルドが達成でき, オリジナルと同等のテスト達成率を持っている</li>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	707 <li>moarの起動時のオプションとして <code>--cbc</code> を与えることによりCbCで動き, そうでない場合は通常のCで記述された箇所で実行される</li>
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	708 <li>Perl6の実行バイナリperl6, NQPの実行バイナリnqp は, それぞれmoarを起動するシェルスクリプトである為, <code>--cbc</code> オプションをシェルスクリプト内に書き加えることで, Perl6, NQPがそれぞれCbCで起動する</li>
86 2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	709 </ul>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	710
90 1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	711 <pre><code>#!/bin/sh
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	712 exec /mnt/dalmore-home/one/src/Perl6/Optimize/llvm/build_perl6/bin/moar --cbc \
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	713 --libpath=/mnt/dalmore-home/one/src/Perl6/Optimize/llvm/build_perl6/share/nqp/lib \
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	714 /mnt/dalmore-home/one/src/Perl6/Optimize/llvm/build_perl6/share/nqp/lib/nqp.moarvm "$@"
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	715 </code></pre>
1f9baa69dfe0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 88 diff changeset	716
86 2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	717
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	718
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	719 </div>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	720
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	721 <div class='slide'>
2c38abf2c77d add poster Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 85 diff changeset	722 <!-- _S9SLIDE_ -->
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	723 <h2 id="threadedcodeの実装">ThreadedCodeの実装</h2>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	724
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	725 <ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	726 <li>MoarVM内のオペコードに対応する処理が分離出来たことにより, オペコードに該当するCodeGearを書き連ねることによってThreadedCodeが実装可能となる</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	727 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	728
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	729
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	730
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	731 </div>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	732
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	733 <div class='slide'>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	734 <!-- _S9SLIDE_ -->
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	735 <h2 id="cbcmoarvmと通常のmoarvmの比較">CbCMoarVMと通常のMoarVMの比較</h2>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	736
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	737 <ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	738 <li>CbCMoarVMと通常のMoarVMの速度比較を行った</li>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	739 <li>対象として, 単純なループで数値をインクリメントする例題と, フィボナッチ数列を求める例題を選択した</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	740 <li>NQPで実装した場合とPerl6で実装した場合の速度を計測した</li>
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	741 </ul>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	742
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	743 <pre><code>#! nqp
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	744
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	745 my $count := 100_000_000;
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	746
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	747 my $i := 0;
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	748
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	749 while ++$i <= $count {
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	750 }
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	751 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	752
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	753 <pre><code>#! nqp
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	754
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	755 sub fib($n) {
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	756 $n < 2 ?? $n !! fib($n-1) + fib($n - 2);
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	757 }
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	758
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	759 my $N := 30;
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	760
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	761 my $z := fib($N);
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	762
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	763 say("fib($N) = " ~ fib($N));
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	764
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	765 </code></pre>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	766
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	767
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	768 </div>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	769
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	770 <div class='slide'>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	771 <!-- _S9SLIDE_ -->
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	772 <h2 id="フィボナッチの例題">フィボナッチの例題</h2>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	773
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	774 <ul>
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	775 <li>オリジナル
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	776 <ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	777 <li>1.379 sec</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	778 <li>1.350 sec</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	779 <li>1.346 sec</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	780 </ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	781 </li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	782 <li>CbCMoarVM
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	783 <ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	784 <li>1.636 sec</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	785 <li>1.804 sec</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	786 <li>1.787 sec</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	787 </ul>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	788 </li>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	789 <li>フィボナッチの例題ではCbCMoarVMが劣る結果となった</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	790 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	791
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	792
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	793
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	794 </div>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	795
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	796 <div class='slide'>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	797 <!-- _S9SLIDE_ -->
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	798 <h2 id="単純ループ">単純ループ</h2>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	799
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	800 <ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	801 <li>オリジナル
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	802 <ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	803 <li>7.499 sec</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	804 <li>7.844 sec</li>
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	805 <li>6.746 sec</li>
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	806 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	807 </li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	808 <li>CbCMoarVM
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	809 <ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	810 <li>6.135 sec</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	811 <li>6.362 sec</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	812 <li>6.074 sec</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	813 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	814 </li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	815 <li>単純ループではCbCMoarVMの方が高速に動作する場合もある</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	816 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	817
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	818
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	819
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	820 </div>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	821
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	822 <div class='slide'>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	823 <!-- _S9SLIDE_ -->
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	824 <h2 id="基本ブロックとcodegear">基本ブロックとCodeGear</h2>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	825
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	826 <ul>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	827 <li>コンパイラなどでは, 関数あるいはループの先頭から, 別の関数呼び出し, あるいはジャンプするまでの間のコードを基本ブロックと呼ぶ</li>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	828 <li>基本ブロックは入力に影響を受けず, 基本ブロックが決定したタイミングである決定的な処理を行う</li>
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	829 <li>予め実行する基本ブロックが確定していれば, その部分のみ抜き出してコンパイルする事が可能である</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	830 <li>CbCのCodeGearは, この基本ブロックとみなす事が可能である</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	831 <li>その為, NQPの例題の様に, 予め実行する基本ブロックが確定すれば, その部分の処理が可能となる</li>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	832 <li>これを行うことで, CbCを用いてMoarVMのThreadedCode実装が可能となる</li>
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	833 </ul>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	834
96 38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	835 <pre><code>__code cbc_const_i64(INTERP i,__code cbc_next(INTERP i)){
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	836 GET_REG(i->cur_op, 0,i).i64 = MVM_BC_get_I64(i->cur_op, 2);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	837 i->cur_op += 10;
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	838 goto cbc_next(i);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	839 }
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	840
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	841 goto cbc_const_i64_16(i,cbc_gt_i_01);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	842
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	843 __code cbc_gt_i_01(INTERP i){
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	844 goto cbc_gt_i(i,cbc_unless_i_01);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	845 }
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	846
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	847 __code cbc_unless_i_01(INTERP i,cbc_osrpoint_01){
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	848 goto cbc_unless_i(i,cbc_osrpoint_01);
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	849 }
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	850 </code></pre>
38ab79fff396 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 95 diff changeset	851
95 01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	852
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	853
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	854 </div>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	855
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	856 <div class='slide'>
01f148c3de98 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 94 diff changeset	857 <!-- _S9SLIDE_ -->
88 632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	858 <h2 id="まとめと今後の課題">まとめと今後の課題</h2>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	859 <ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	860 <li>継続と基本としたC言語 Continuation Based Cを用いてPerl6の処理系の一部を書き直した</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	861 <li>CbCの持つCodeGearによって, 本来はモジュール化出来ない箇所をモジュール化する事が出来た</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	862 <li>MoarVMの速度改善にはThreadedCodeが期待でき, CodeGearベースの命令ディスパッチとThreadedCodeは相性が良いと考えられる</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	863 <li>今後は実行するバイトコードによりThreadedCode箇所と通常の配列を読み取り, 次のCodeGearを計算する処理を両立させていく</li>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	864 </ul>
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	865
632f160ccbd0 update Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: 86 diff changeset	866
85 1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	867 </div>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	868
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	869
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	870 </div><!-- presentation -->
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	871 </body>
1f4e174f0f1a add slide Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	872 </html>

Mercurial > hg > Papers > 2019 > anatofuz-prosym

annotate Slide/slide.html @ 98:b360b0159390 default tip