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