Mercurial > hg > Papers > 2019 > anatofuz-prosym
comparison Slide/slide.pdf.html @ 88:632f160ccbd0
update
author | Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 10 Jan 2019 21:55:46 +0900 |
parents | 2c38abf2c77d |
children | 1f9baa69dfe0 |
comparison
equal
deleted
inserted
replaced
87:67510e8dea72 | 88:632f160ccbd0 |
---|---|
76 | 76 |
77 <!-- _S9SLIDE_ --> | 77 <!-- _S9SLIDE_ --> |
78 <h2 id="研究目的">研究目的</h2> | 78 <h2 id="研究目的">研究目的</h2> |
79 <ul> | 79 <ul> |
80 <li>スクリプト言語であるPerl5の後継言語としてPerl6が現在開発されている.</li> | 80 <li>スクリプト言語であるPerl5の後継言語としてPerl6が現在開発されている.</li> |
81 <li>現在主流なPerl6はRakudoと言われるプロジェクトである.</li> | 81 <li>現在主流なPerl6の実装にRakudoがあり, RakudoはNQP(Perl6のサブセット)で記述されたPerl6, NQPで記述されたNQPコンパイラがある</li> |
82 <li>RakudoではPerl6自体をNQP(NotQuitPerl)と言われるPerl6のサブセットで記述し, NQPをVMが解釈するという処理の流れになっている.</li> | 82 <li>NQPコンパイラはRakudoのVMであるMoarVM用のバイトコードを生成し, MoarVMはこのバイトコードを解釈, 実行する</li> |
83 <li>主に利用されているVMに, Cで書かれたMoarVMが存在する.</li> | 83 <li>Continuation based C (CbC)という言語は継続を基本とするC言語であり, 言語処理系に応用出来ると考えられる</li> |
84 <li>MoarVMは全体的な起動時間及び処理速度が, Perl5と比較し非常に低速である.</li> | 84 <li>CbC一部用いてMoarVMの書き換えを行い, 処理を検討する.</li> |
85 <li>この問題を解決するためにContinuation based C (CbC)という言語を一部用いてMoarVMの書き換えを行う.</li> | |
86 <li>CbCを用いたMoarVMの書き換えを検討し,並列デバッグ方法などについて検討する.</li> | |
87 </ul> | 85 </ul> |
88 | 86 |
89 | 87 |
90 | 88 |
91 </div> | 89 </div> |
93 <div class='slide'> | 91 <div class='slide'> |
94 <!-- _S9SLIDE_ --> | 92 <!-- _S9SLIDE_ --> |
95 <h2 id="continuation-based-c-cbc">Continuation Based C (CbC)</h2> | 93 <h2 id="continuation-based-c-cbc">Continuation Based C (CbC)</h2> |
96 | 94 |
97 <ul> | 95 <ul> |
98 <li>Continuation Based C (CbC) はCodeGearとDataGearを単位として用いたプログラミング言語である.</li> | 96 <li>Continuation Based C (CbC) はCodeGearを単位として用いたプログラミング言語である.</li> |
99 <li>CodeGearはCの通常の関数呼び出しとは異なり,スタックに値を積まず, 次のCodeGearにgoto文によって遷移する.</li> | 97 <li>CodeGearはCの通常の関数呼び出しとは異なり,スタックに値を積まず, 次のCodeGearにgoto文によって遷移する.</li> |
100 <li>このgoto文による遷移を軽量継続と呼ぶ.</li> | 98 <li>このgoto文による遷移を軽量継続と呼ぶ.</li> |
101 <li>CbCは軽量継続を取り入れたCの下位言語であり, C言語のAPIを利用可能なCと互換性のある言語である.</li> | |
102 </ul> | |
103 | |
104 | |
105 | |
106 </div> | |
107 | |
108 <div class='slide'> | |
109 <!-- _S9SLIDE_ --> | |
110 <h2 id="codegearとdetagear">CodeGearとDetaGear</h2> | |
111 | |
112 <ul> | |
113 <li>Cの関数の代わりにCodeGearという単位をCbCでは導入している.</li> | |
114 <li>CodeGearはCの関数宣言の型名の代わりに<code>__code</code>と書く事で宣言出来る.</li> | 99 <li>CodeGearはCの関数宣言の型名の代わりに<code>__code</code>と書く事で宣言出来る.</li> |
115 <li>CodeGearの引数を遷移先のCodeGearと揃えることでレジスタに変数を確保した状態で軽量継続可能である.</li> | |
116 <li>その為CodeGearの引数は入出力としての意味があり, DataGearと呼んでいる.</li> | |
117 </ul> | 100 </ul> |
118 | 101 |
119 <pre><code>extern int printf(const char*,...); | 102 <pre><code>extern int printf(const char*,...); |
120 int main (){ | 103 int main (){ |
121 int data = 0; | 104 int data = 0; |
138 <div class='slide'> | 121 <div class='slide'> |
139 <!-- _S9SLIDE_ --> | 122 <!-- _S9SLIDE_ --> |
140 <h2 id="cbcの現在の実装">CbCの現在の実装</h2> | 123 <h2 id="cbcの現在の実装">CbCの現在の実装</h2> |
141 | 124 |
142 <ul> | 125 <ul> |
143 <li>CbCは現在2種類の実装がある. | 126 <li>CbCは現在3種類の実装がある. |
144 <ul> | 127 <ul> |
145 <li>gcc (version 9.0.0)</li> | 128 <li>gcc (version 9.0.0)</li> |
146 <li>llvm/clang (version 7.0.0)</li> | 129 <li>llvm/clang (version 7.0.0)</li> |
130 <li>micro-c</li> | |
147 </ul> | 131 </ul> |
148 </li> | 132 </li> |
149 </ul> | 133 </ul> |
150 | 134 |
151 | 135 |
154 | 138 |
155 <div class='slide'> | 139 <div class='slide'> |
156 <!-- _S9SLIDE_ --> | 140 <!-- _S9SLIDE_ --> |
157 <h2 id="言語処理系の応用">言語処理系の応用</h2> | 141 <h2 id="言語処理系の応用">言語処理系の応用</h2> |
158 <ul> | 142 <ul> |
159 <li>CbCではCodeGearを処理単位として利用でき, これはコンパイラの基本ブロックに相当する.</li> | 143 <li>スクリプト言語処理系は, バイトコードにコンパイルされ, バイトコードをJITを用いてネイティブに変換する</li> |
160 <li>従来のスクリプト言語などの処理系では, 主にcase文で実装していた命令コードディスパッチの箇所をCodeGearの遷移として記述する事が可能である.</li> | 144 <li>JITを使わない場合, バイトコードに対応した, case文や, ラベルのテーブルにgotoすることで処理を実行する</li> |
161 <li>CodeGearの遷移として記述する事で, 命令処理ごとに分割する事が可能となり, モジュール化が可能となる.</li> | 145 <li>CbCを言語処理系に応用した場合, バイトコードに対応するCodeGearを生成することが可能である</li> |
162 <li>CodeGearとCodeGearの遷移時に入出力のインターフェイスを揃える事で, レジスタに変数が割り振られたまま軽量継続が可能となり, レジスタレベルの最適化が可能となる.</li> | 146 <li>バイトコードに対応したCodeGearは, CodeGearのテーブルを経由することで実行出来る</li> |
163 <li>これらの検証とPerl6の高速化を行う為に, CbCを用いてPerl6処理系の書き換えを行っていく.</li> | 147 <li>CodeGearに分割することで, 処理を複数の関数で記述する事が出来, ファイル分割などのモジュール化が可能となる</li> |
164 </ul> | |
165 | |
166 | |
167 | |
168 </div> | |
169 | |
170 <div class='slide'> | |
171 <!-- _S9SLIDE_ --> | |
172 <h2 id="perl6の概要">Perl6の概要</h2> | |
173 | |
174 <ul> | |
175 <li>Perl6とはPerl5の後継言語として当初開発が開始された言語である.</li> | |
176 <li>仕様と実装が分離しており, 仕様は公式テストスーツであるRoastそのものとなっている.</li> | |
177 <li>歴史的にHaskellで実装されたPugs, Pythonとの共同基盤を目指したParrotなどの実装が存在する.</li> | |
178 <li>言語仕様としては漸進的型付け言語であり, 従来のPerl5とは互換性が無い.</li> | |
179 <li>現在の主要な実装はRakudoと呼ばれる実装である.</li> | |
180 </ul> | 148 </ul> |
181 | 149 |
182 | 150 |
183 | 151 |
184 </div> | 152 </div> |
187 <!-- _S9SLIDE_ --> | 155 <!-- _S9SLIDE_ --> |
188 <h2 id="rakudo">Rakudo</h2> | 156 <h2 id="rakudo">Rakudo</h2> |
189 <ul> | 157 <ul> |
190 <li>Rakudoとは現在のPerl6の主力な実装である.</li> | 158 <li>Rakudoとは現在のPerl6の主力な実装である.</li> |
191 <li>実行環境のVM, Perl6のサブセットであるNQP(NotQuitPerl), NQPで記述されたPerl6(Rakudo)という構成になっている.</li> | 159 <li>実行環境のVM, Perl6のサブセットであるNQP(NotQuitPerl), NQPで記述されたPerl6(Rakudo)という構成になっている.</li> |
192 <li>VMはCで書かれたPerl6専用のVMであるMoarVM, JavaVMが選択可能である.</li> | 160 <li> |
161 <p>コンパイラは, NQPで記述されたPerl6コンパイラ, NQPで記述されたNQPコンパイラ, MoarVMバイトコードを解釈するMoarVMという構成である</p> | |
162 </li> | |
193 <li>現在はMoarVMがRakudoの中でも主流なVM実装となっている.</li> | 163 <li>現在はMoarVMがRakudoの中でも主流なVM実装となっている.</li> |
194 </ul> | |
195 | |
196 | |
197 | |
198 </div> | |
199 | |
200 <div class='slide'> | |
201 <!-- _S9SLIDE_ --> | |
202 <h2 id="rakudo-1">Rakudo</h2> | |
203 <ul> | |
204 <li>Rakudoにおけるコンパイラは2種類存在する | |
205 <ul> | |
206 <li>Perl6やNQPのコードをVMのバイトコードに変換するコンパイラ</li> | |
207 <li>NQPが出力したVMのバイトコードをネイティブコードに変換するコンパイラ</li> | |
208 </ul> | |
209 </li> | |
210 <li>NQPの処理系nqp及び, Perl6のインタプリタである perl6は, それぞれセルフコンパイルしたものを利用する</li> | |
211 <li>Perl6は純粋なNQPではなく, Perl6自身によって拡張され記述されている箇所も存在する</li> | |
212 </ul> | 164 </ul> |
213 | 165 |
214 | 166 |
215 | 167 |
216 </div> | 168 </div> |
230 </div> | 182 </div> |
231 | 183 |
232 <div class='slide'> | 184 <div class='slide'> |
233 <!-- _S9SLIDE_ --> | 185 <!-- _S9SLIDE_ --> |
234 <h2 id="mvm_interp_run">MVM_interp_run</h2> | 186 <h2 id="mvm_interp_run">MVM_interp_run</h2> |
187 | |
188 <ul> | |
189 <li>DISPATCHマクロは次の様に記述されており, この中の <code>OP</code> で宣言されたブロックがそれぞれオペコードに対応する処理となっている.</li> | |
190 <li>この中では <code>GET_REG</code> などのマクロを用いてMoarVMのレジスタにアクセスする.</li> | |
191 <li><code>cur_op</code>は次のオペコード列が登録されており, マクロ <code>NEXT</code> で決められた方法で次のオペコードに遷移する.</li> | |
192 </ul> | |
193 | |
194 <pre><code>DISPATCH(NEXT_OP) { | |
195 OP(const_i64): | |
196 GET_REG(cur_op, 0).i64 = MVM_BC_get_I64(cur_op, 2); | |
197 cur_op += 10; | |
198 goto NEXT; | |
199 } | |
200 | |
201 </code></pre> | |
202 | |
203 | |
204 | |
205 </div> | |
206 | |
207 <div class='slide'> | |
208 <!-- _S9SLIDE_ --> | |
209 <h2 id="mvm_interp_run-1">MVM_interp_run</h2> | |
235 | 210 |
236 <ul> | 211 <ul> |
237 <li>MVM_interp_runでは次のオペコードをフェッチする際に <code>NEXT_OP</code> マクロを介して計算を行う.</li> | 212 <li>MVM_interp_runでは次のオペコードをフェッチする際に <code>NEXT_OP</code> マクロを介して計算を行う.</li> |
238 <li>オペコードが対応する命令を実行する際は, <code>MVM_CGOTO</code> フラグが立っている場合はCのラベルgotoを利用し, 使えない場合はswitch文を利用して遷移する.</li> | 213 <li>オペコードが対応する命令を実行する際は, <code>MVM_CGOTO</code> フラグが立っている場合はCのラベルgotoを利用し, 使えない場合はswitch文を利用して遷移する.</li> |
239 </ul> | 214 </ul> |
255 | 230 |
256 </div> | 231 </div> |
257 | 232 |
258 <div class='slide'> | 233 <div class='slide'> |
259 <!-- _S9SLIDE_ --> | 234 <!-- _S9SLIDE_ --> |
260 <h2 id="mvm_interp_run-1">MVM_interp_run</h2> | 235 <h2 id="mvm_interp_run-2">MVM_interp_run</h2> |
261 | 236 |
262 <ul> | 237 <ul> |
263 <li>ラベル遷移を利用する場合は配列<code>LABELS</code>にアクセスし, ラベル情報を取得する</li> | 238 <li>ラベル遷移を利用する場合は配列<code>LABELS</code>にアクセスし, ラベル情報を取得する</li> |
264 </ul> | 239 </ul> |
265 | 240 |
284 | 259 |
285 </div> | 260 </div> |
286 | 261 |
287 <div class='slide'> | 262 <div class='slide'> |
288 <!-- _S9SLIDE_ --> | 263 <!-- _S9SLIDE_ --> |
289 <h2 id="mvm_interp_run-2">MVM_interp_run</h2> | |
290 | |
291 <ul> | |
292 <li>DISPATCHマクロは次の様に記述されており, この中の <code>OP</code> で宣言されたブロックがそれぞれオペコードに対応する処理となっている.</li> | |
293 <li>この中では <code>GET_REG</code> などのマクロを用いてMoarVMのレジスタにアクセスする.</li> | |
294 <li><code>cur_op</code>は次のオペコードを意味し, マクロ <code>NEXT</code> で決められた方法で次のオペコードに遷移する.</li> | |
295 </ul> | |
296 | |
297 <pre><code>DISPATCH(NEXT_OP) { | |
298 OP(no_op): | |
299 goto NEXT; | |
300 OP(const_i8): | |
301 OP(const_i16): | |
302 OP(const_i32): | |
303 MVM_exception_throw_adhoc(tc, "const_iX NYI"); | |
304 OP(const_i64): | |
305 GET_REG(cur_op, 0).i64 = MVM_BC_get_I64(cur_op, 2); | |
306 cur_op += 10; | |
307 goto NEXT; | |
308 OP(pushcompsc): { | |
309 MVMObject * const sc = GET_REG(cur_op, 0).o; | |
310 if (REPR(sc)->ID != MVM_REPR_ID_SCRef) | |
311 MVM_exception_throw_adhoc(tc, "Can only push an SCRef with pushcompsc"); | |
312 if (MVM_is_null(tc, tc->compiling_scs)) { | |
313 MVMROOT(tc, sc, { | |
314 tc->compiling_scs = MVM_repr_alloc_init(tc, tc->instance->boot_types.BOOTArray); | |
315 }); | |
316 } | |
317 MVM_repr_unshift_o(tc, tc->compiling_scs, sc); | |
318 cur_op += 2; | |
319 goto NEXT; | |
320 } | |
321 } | |
322 | |
323 </code></pre> | |
324 | |
325 | |
326 | |
327 </div> | |
328 | |
329 <div class='slide'> | |
330 <!-- _S9SLIDE_ --> | |
331 <h2 id="mvm_interp_run-3">MVM_interp_run</h2> | 264 <h2 id="mvm_interp_run-3">MVM_interp_run</h2> |
332 | 265 |
333 <ul> | 266 <ul> |
334 <li>Cの実装の場合, switch文に展開される可能性がある為, 命令ディスパッチが書かれているCソース・ファイルの指定の場所にのみ処理を記述せざるを得ない | 267 <li>Cの実装の場合, switch文に展開される可能性がある為, 命令ディスパッチが書かれているCソース・ファイルの指定の場所にのみ処理を記述せざるを得ない |
335 <ul> | 268 <ul> |
336 <li>その為, 1ファイルあたりの記述量が膨大になり, 命令のモジュール化ができない</li> | 269 <li>その為, 1ファイルあたりの記述量が膨大になり, 命令のモジュール化ができない</li> |
337 </ul> | 270 </ul> |
338 </li> | 271 </li> |
339 <li>Threaded Codeの実装を考えた場合, この命令に対応して大幅に処理系の実装を変更する必要がある.</li> | 272 <li>Threaded Codeの実装を考えた場合, この命令に対応して大幅に処理系の実装を変更する必要がある.</li> |
340 <li>デバッグ時には今どの命令を実行しているか, ラベルテーブルを利用して参照せざるを得ず, 手間がかかる.</li> | 273 <li>デバッグ時には今どの命令を実行しているか, ラベルテーブルを利用して参照せざるを得ず, 手間がかかる.</li> |
341 </ul> | |
342 | |
343 | |
344 | |
345 </div> | |
346 | |
347 <div class='slide'> | |
348 <!-- _S9SLIDE_ --> | |
349 <h2 id="nqp">NQP</h2> | |
350 <ul> | |
351 <li>MoarVM, JVM上で動作する Perl6のサブセットとなっている.</li> | |
352 <li>NQPの基本文法はPerl6に準拠しているが, 束縛ベースで変数を利用するなどいくつか異なる点が存在する.</li> | |
353 <li>NQPは最終的にブートストラップを行う処理系であるが, 初回のビルド時には, すでに書かれたMoarVM, JVMのバイトコードを必要とする. | |
354 <ul> | |
355 <li>この状態をStage0といい, Stage0を利用してStage1, Stage1を利用してStage2をビルドする事で完成する.</li> | |
356 </ul> | |
357 </li> | |
358 <li>NQPの実行可能なインタプリタである<code>nqp</code>は, MoarVMの実行バイナリ<code>moar</code> にライブラリパスなどを設定し, ビルドしたライブラリなどを引数として渡すシェルスクリプトとなっている.</li> | |
359 <li><code>nqp</code> を実行する事でREPLが起動され, NQPスクリプトを <code>nqp</code> に入力として与える事で, 通常のスクリプト言語の様に実行する事が可能となる.</li> | |
360 <li>NQPの設計はRoastで定義されているPerl6とは異なり, 今後も変化していく事が公表されている.</li> | |
361 </ul> | |
362 | |
363 <pre><code>#! nqp | |
364 | |
365 sub fib($n) { | |
366 $n < 2 ?? $n !! fib($n-1) + fib($n - 2); | |
367 } | |
368 | |
369 my $N := 29; | |
370 | |
371 my $z := fib($N); | |
372 | |
373 say("fib($N) = " ~ fib($N)); | |
374 </code></pre> | |
375 | |
376 | |
377 | |
378 </div> | |
379 | |
380 <div class='slide'> | |
381 <!-- _S9SLIDE_ --> | |
382 <h2 id="cbcによるmoarvm">CbCによるMoarVM</h2> | |
383 | |
384 <ul> | |
385 <li>MoarVMの中心部分はバイトコードを解釈するバイトコードインタプリタである.</li> | |
386 <li>その為, CbCを用いてMoarVMのバイトコードインタプリタ部分の書き換えを検討する.</li> | |
387 </ul> | 274 </ul> |
388 | 275 |
389 | 276 |
390 | 277 |
391 </div> | 278 </div> |
440 <li>その為, 入出力としてMoarVMの情報をまとめた構造体interpのポインタであるINTERPを受け渡し, これを利用してアクセスする</li> | 327 <li>その為, 入出力としてMoarVMの情報をまとめた構造体interpのポインタであるINTERPを受け渡し, これを利用してアクセスする</li> |
441 </ul> | 328 </ul> |
442 | 329 |
443 <pre><code>typedef struct interp { | 330 <pre><code>typedef struct interp { |
444 MVMuint16 op; | 331 MVMuint16 op; |
445 /* Points to the place in the bytecode | |
446 right after the current opcode. */ | |
447 /* See the NEXT_OP macro for making sense | |
448 of this */ | |
449 MVMuint8 *cur_op; | 332 MVMuint8 *cur_op; |
450 /* The current frame’s bytecode start. */ | |
451 MVMuint8 *bytecode_start; | 333 MVMuint8 *bytecode_start; |
452 /* Points to the base of the current | |
453 register set for the frame we | |
454 * are presently in. */ | |
455 MVMRegister *reg_base; | 334 MVMRegister *reg_base; |
456 /* Points to the current compilation unit | 335 /* Points to the current compilation unit |
457 . */ | 336 . */ |
458 MVMCompUnit *cu; | 337 MVMCompUnit *cu; |
459 /* The current call site we’re | 338 /* The current call site we’re |
474 <ul> | 353 <ul> |
475 <li>バイトコードに対応する命令をそれぞれCodeGearに変換していく.</li> | 354 <li>バイトコードに対応する命令をそれぞれCodeGearに変換していく.</li> |
476 <li><code>OP(.*)</code>の<code>(.*)</code>の部分をCodeGearの名前として先頭に <code>cbc_</code> をつけた上で設定する.</li> | 355 <li><code>OP(.*)</code>の<code>(.*)</code>の部分をCodeGearの名前として先頭に <code>cbc_</code> をつけた上で設定する.</li> |
477 <li>cur_opなどはINTERPを経由してアクセスする様に修正する.</li> | 356 <li>cur_opなどはINTERPを経由してアクセスする様に修正する.</li> |
478 <li>末尾の <code>NEXT</code> を次のCodeGearにアクセスする為に <code>cbc_next</code> に修正する.</li> | 357 <li>末尾の <code>NEXT</code> を次のCodeGearにアクセスする為に <code>cbc_next</code> に修正する.</li> |
479 <li> | 358 <li>case文で次のcase文に流れる箇所は, 直接その下のcase文に該当するCodeGearに遷移する.</li> |
480 <p>case文で次のcase文に流れる箇所は, 直接その下のcase文に該当するCodeGearに遷移する.</p> | 359 <li>GC対策の為に, CodeGear中のローカル変数をグローバル変数の配列に保存している箇所は,CodeGearに直接処理を書かず, CodeGearから別の関数を呼び出す形に修正する |
481 </li> | 360 <ul> |
482 <li>論文執筆時はstaticに修正する必要があったが, その後CbCコンパイラの改良により不要となった.</li> | 361 <li>その際に, 保存するローカル変数をstatic変数に修正するなどの工夫を行う</li> |
362 </ul> | |
363 </li> | |
483 </ul> | 364 </ul> |
484 | 365 |
485 <pre><code>__code cbc_no_op(INTERP i){ | 366 <pre><code>__code cbc_no_op(INTERP i){ |
486 goto cbc_next(i); | 367 goto cbc_next(i); |
487 } | 368 } |
512 } | 393 } |
513 MVM_repr_unshift_o(i->tc, i->tc->compiling_scs, sc); | 394 MVM_repr_unshift_o(i->tc, i->tc->compiling_scs, sc); |
514 i->cur_op += 2; | 395 i->cur_op += 2; |
515 goto cbc_next(i); | 396 goto cbc_next(i); |
516 } | 397 } |
398 </code></pre> | |
399 | |
400 | |
401 | |
402 </div> | |
403 | |
404 <div class='slide'> | |
405 <!-- _S9SLIDE_ --> | |
406 <h2 id="nqp">NQP</h2> | |
407 <ul> | |
408 <li>Perl6の機能を制約したプログラミング言語であり, Perl6はNQPで記述されている | |
409 <ul> | |
410 <li>その為Perl6処理系は, NQPの動作を目的に実装することでPerl6の動作が可能となる</li> | |
411 <li>NQPコンパイラ自身もNQPで記述されている</li> | |
412 </ul> | |
413 </li> | |
414 <li>Perl6と違い, 変数の宣言を <code>:=</code> を利用した束縛で行う, <code>++</code> 演算子が使用できないなどの違いがある</li> | |
415 <li>nqpのオペコードを利用する際に,型を指定する事が可能である</li> | |
416 </ul> | |
417 | |
418 <pre><code>sub add_test(int $n) { | |
419 my $sum := 0; | |
420 while nqp::isgt_i($n,1) { | |
421 $sum := nqp::add_i($sum,$n); | |
422 $n := nqp::sub_i($n,1); | |
423 } | |
424 return $sum; | |
425 } | |
426 | |
427 say(add_test(10)); | |
517 </code></pre> | 428 </code></pre> |
518 | 429 |
519 | 430 |
520 | 431 |
521 </div> | 432 </div> |
617 1169 goto NEXT; | 528 1169 goto NEXT; |
618 $2 = 162 | 529 $2 = 162 |
619 </code></pre> | 530 </code></pre> |
620 | 531 |
621 | 532 |
533 | |
534 </div> | |
535 | |
536 <div class='slide'> | |
537 <!-- _S9SLIDE_ --> | |
538 <h2 id="アレ">アレ</h2> | |
539 | |
540 <pre><code>100 MVM_STATIC_INLINE MVMint64 MVM_BC_get_I64(const MVMuint8 *cur_op, int offset) { | |
541 101 const MVMuint8 *const where = cur_op + offset; | |
542 102 #ifdef MVM_CAN_UNALIGNED_INT64 | |
543 103 return *(MVMint64 *)where; | |
544 104 #else | |
545 105 MVMint64 temp; | |
546 106 memmove(&temp, where, sizeof(MVMint64)); | |
547 107 return temp; | |
548 108 #endif | |
549 109 } | |
550 </code></pre> | |
551 | |
552 | |
553 | |
622 </div> | 554 </div> |
623 | 555 |
624 <div class='slide'> | 556 <div class='slide'> |
625 <!-- _S9SLIDE_ --> | 557 <!-- _S9SLIDE_ --> |
626 <h2 id="moarvmのデバッグ">MoarVMのデバッグ</h2> | 558 <h2 id="moarvmのデバッグ">MoarVMのデバッグ</h2> |
674 <div class='slide'> | 606 <div class='slide'> |
675 <!-- _S9SLIDE_ --> | 607 <!-- _S9SLIDE_ --> |
676 <h2 id="cbcmoarvmの欠点">CbCMoarVMの欠点</h2> | 608 <h2 id="cbcmoarvmの欠点">CbCMoarVMの欠点</h2> |
677 | 609 |
678 <ul> | 610 <ul> |
679 <li>CbCコンパイラがバグを発生させやすく, 意図しない挙動を示す事がある</li> | 611 <li>CbCコンパイラがバグを発生させやすく, 意図しない挙動を示す事がある |
612 <ul> | |
613 <li>CbCコンパイラ自体のバグも存在する</li> | |
614 </ul> | |
615 </li> | |
680 <li>MoarVMのオリジナルの更新頻度が高い為, 追従していく必要がある</li> | 616 <li>MoarVMのオリジナルの更新頻度が高い為, 追従していく必要がある</li> |
681 <li>CodeGear側からCに戻る際に手順が複雑となる</li> | 617 <li>CodeGear側からCに戻る際に手順が複雑となる</li> |
682 <li>CodeGearを単位として用いる事で複雑なプログラミングが要求される.</li> | 618 <li>CodeGearを単位として用いる事で複雑なプログラミングが要求される.</li> |
683 </ul> | 619 </ul> |
684 | 620 |
686 | 622 |
687 </div> | 623 </div> |
688 | 624 |
689 <div class='slide'> | 625 <div class='slide'> |
690 <!-- _S9SLIDE_ --> | 626 <!-- _S9SLIDE_ --> |
627 <h2 id="threadedcodeの実装">ThreadedCodeの実装</h2> | |
628 | |
629 <ul> | |
630 <li>MoarVM内のオペコードに対応する処理が分離出来たことにより, オペコードに該当するCodeGearを書き連ねることによってThreadedCodeが実装可能となる</li> | |
631 </ul> | |
632 | |
633 | |
634 | |
635 </div> | |
636 | |
637 <div class='slide'> | |
638 <!-- _S9SLIDE_ --> | |
691 <h2 id="cbcmoarvmと通常のmoarvmの比較">CbCMoarVMと通常のMoarVMの比較</h2> | 639 <h2 id="cbcmoarvmと通常のmoarvmの比較">CbCMoarVMと通常のMoarVMの比較</h2> |
692 | 640 |
693 <ul> | 641 <ul> |
694 <li>CbCMoarVMと通常のMoarVMの速度比較を行った</li> | 642 <li>CbCMoarVMと通常のMoarVMの速度比較を行った</li> |
643 <li>対象として, 単純なループで数値をインクリメントする例題と, フィボナッチ数列を求める例題を選択した</li> | |
644 <li>NQPで実装した場合とPerl6で実装した場合の速度を計測した</li> | |
695 </ul> | 645 </ul> |
696 | 646 |
697 <pre><code>#! nqp | 647 <pre><code>#! nqp |
698 # Example of a while loop | 648 |
649 my $count := 100_000_000; | |
699 | 650 |
700 my $i := 0; | 651 my $i := 0; |
701 while $i < 10 { | 652 |
702 say("i={$i++}"); | 653 while ++$i <= $count { |
703 } | 654 } |
704 </code></pre> | 655 </code></pre> |
705 | 656 |
706 <pre><code>subset Fizz of Int where * %% 3; | 657 <pre><code>#! nqp |
707 subset Buzz of Int where * %% 5; | 658 |
708 subset FizzBuzz of Int where Fizz&Buzz; | 659 sub fib($n) { |
709 subset Number of Int where none Fizz|Buzz; | 660 $n < 2 ?? $n !! fib($n-1) + fib($n - 2); |
710 | 661 } |
711 proto sub fizzbuzz ($) { * } | 662 |
712 multi sub fizzbuzz (FizzBuzz) { "FuzzBuzz" } | 663 my $N := 29; |
713 multi sub fizzbuzz (Fizz) { "Fizz" } | 664 |
714 multi sub fizzbuzz (Buzz) { "Buzz" } | 665 my $t0 := nqp::time_n(); |
715 multi sub fizzbuzz (Number $number) { $number } | 666 my $z := fib($N); |
716 | 667 my $t1 := nqp::time_n(); |
717 fizzbuzz($_).say for 1..15; | 668 |
718 | 669 say("fib($N) = " ~ fib($N)); |
719 </code></pre> | 670 say("time = " ~ ($t1-$t0)); |
671 | |
672 </code></pre> | |
673 | |
674 | |
675 </div> | |
676 | |
677 <div class='slide'> | |
678 <!-- _S9SLIDE_ --> | |
679 <h1 id="フィボナッチの例題">フィボナッチの例題</h1> | |
680 | |
681 <ul> | |
682 <li>フィボナッチの例題ではCbCMoarVMが劣る結果となった</li> | |
683 </ul> | |
684 | |
685 | |
686 | |
687 </div> | |
688 | |
689 <div class='slide'> | |
690 <!-- _S9SLIDE_ --> | |
691 <h2 id="単純ループ">単純ループ</h2> | |
692 | |
693 <ul> | |
694 <li>オリジナル | |
695 <ul> | |
696 <li>7.499 sec</li> | |
697 <li>7.844 sec</li> | |
698 <li>6.074 sec</li> | |
699 </ul> | |
700 </li> | |
701 <li>CbCMoarVM | |
702 <ul> | |
703 <li>6.135 sec</li> | |
704 <li>6.362 sec</li> | |
705 <li>6.074 sec</li> | |
706 </ul> | |
707 </li> | |
708 <li>単純ループではCbCMoarVMの方が高速に動作する場合もある</li> | |
709 </ul> | |
710 | |
711 | |
712 | |
713 </div> | |
714 | |
715 <div class='slide'> | |
716 <!-- _S9SLIDE_ --> | |
717 <h2 id="まとめ">まとめ</h2> | |
718 | |
719 <ul> | |
720 <li>速度を計測した所, 現在はCbCMoarVMの方が僅かに劣る結果となった</li> | |
721 <li>ただしフィボナッチを求める例題などで, ケースによってはCbCMoarVMの方が高速に動作する場合もある</li> | |
722 </ul> | |
723 | |
724 | |
725 | |
726 </div> | |
727 | |
728 <div class='slide'> | |
729 <!-- _S9SLIDE_ --> | |
730 <h2 id="まとめと今後の課題">まとめと今後の課題</h2> | |
731 <ul> | |
732 <li>継続と基本としたC言語 Continuation Based Cを用いてPerl6の処理系の一部を書き直した</li> | |
733 <li>CbCの持つCodeGearによって, 本来はモジュール化出来ない箇所をモジュール化する事が出来た</li> | |
734 <li>MoarVMの速度改善にはThreadedCodeが期待でき, CodeGearベースの命令ディスパッチとThreadedCodeは相性が良いと考えられる</li> | |
735 <li>今後は実行するバイトコードによりThreadedCode箇所と通常の配列を読み取り, 次のCodeGearを計算する処理を両立させていく</li> | |
736 </ul> | |
737 | |
720 | 738 |
721 </div> | 739 </div> |
722 | 740 |
723 | 741 |
724 </div><!-- presentation --> | 742 </div><!-- presentation --> |