# HG changeset patch # User anatofuz # Date 1550306067 -32400 # Node ID b1117ccb84a11d15ec875c2cba4dde67931d74a9 # Parent ca050432ad6389d6ba5228bef7086180c7d5db96 update diff -r ca050432ad63 -r b1117ccb84a1 paper/chapter5.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/paper/chapter5.tex Sat Feb 16 17:34:27 2019 +0900 @@ -0,0 +1,3 @@ +\chapter{CbCMoarVMの評価} + +前章までにMoarVMの一部書き換えをCbCで行った。 diff -r ca050432ad63 -r b1117ccb84a1 paper/chapter6.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/paper/chapter6.tex Sat Feb 16 17:34:27 2019 +0900 @@ -0,0 +1,5 @@ +\chapter{今後の課題} +本研究ではPerl6の処理系であるMoarVMにおいて、 命令コードディスパッチ部分をCbCで書き換えた。 +CbCはCの関数よりも細かな単位を扱えるため、命令コードのモジュール化などが可能となった。 +今後はMoarVMなどの言語処理系に対して、 動的に命令コードと対応するCbCのコードを生成し、 gccなどのCコンパイラを用いて共有ライブラリの形にコンパイルし、 MoarVMと紐付けるJITなどの開発を検討している。 +また、 入力として与えられたソースファイルを解析し、プログラムの入力変数などを記号として表現し、 変数の代入などを論理式に変換した記号実行(symbolick execution)などの手法を検討し、 MoarVM自体の高速化などを通して、 CbCの言語処理系への応用を考察する。 diff -r ca050432ad63 -r b1117ccb84a1 paper/fig/cbc_next.pdf Binary file paper/fig/cbc_next.pdf has changed diff -r ca050432ad63 -r b1117ccb84a1 paper/fig/cbc_next_sample.pdf Binary file paper/fig/cbc_next_sample.pdf has changed diff -r ca050432ad63 -r b1117ccb84a1 paper/main.pdf Binary file paper/main.pdf has changed