Mercurial > hg > Papers > 2019 > anatofuz-thesis
changeset 59:b1117ccb84a1
update
| author | anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sat, 16 Feb 2019 17:34:27 +0900 |
| parents | ca050432ad63 |
| children | f875514d43ad |
| files | paper/chapter5.tex paper/chapter6.tex paper/fig/cbc_next.pdf paper/fig/cbc_next_sample.pdf paper/main.pdf |
| diffstat | 5 files changed, 8 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /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で行った。
--- /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の言語処理系への応用を考察する。