MoarVM のバックアップ(No.6)

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
MoarVM へ行く。
- 1 (2018-05-10 (木) 20:41:21)
- 2 (2018-11-04 (日) 14:10:56)
- 3 (2018-11-04 (日) 14:44:40)
- 4 (2018-11-04 (日) 21:16:37)
- 5 (2018-11-06 (火) 22:08:36)
- 6 (2018-11-26 (月) 11:24:08)
- 7 (2018-11-27 (火) 17:20:16)
- 8 (2018-11-30 (金) 14:49:54)

MoarVM †

CbConMoarVM http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/anatofuz/MoarVM/
NQP関連の便利スクリプト http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/anatofuz/nqp-cbc-tools/

↑

勉強する †

Rakudo and NQP internals

↑

インストール方法 †

まずはMercurialリポジトリもしくはGitHub?からMoarVMを取得

% hg clone ssh://one@http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/anatofuz/MoarVM/ (保存先。指定しない場合./MoarVMになる)

GitHub?からの場合

 % git clone git@github.com:MoarVM/MoarVM.git

予めインストール先のディレクトリを作っておく

build

% ./Configure.pl --cc /usr/local/x86-cbc/bin/gcc --debug --no-optimize --compiler gcc --prefix=/mnt/dalmore-home/one/src/build_perl6/MoarVM

各オプション
- cc
  - コンパイラのパスを設定する
- debug
  - debugオプション
- compiler
  - コンパイラの種類を指定する
  - gcc, clang, clをサポートしている
- toolchain <toolchain>
  - "posix", "gnu", "bsd" and "msvc"のツールチェインを選択可能
- prefix
  - make installの先を指定

make
```
% make -j 50 && make install
```

↑

NQP †

Perl6のサブセット．Perl6はNQPで記述されている

↑

build方法 †

%./Configure.pl --prefix=/mnt/dalmore-home/one/src/build_perl6/nqp --backends=moar --with-moar=/mnt/dalm    ore-home/one/src/build_perl6/MoarVM/bin/moar

↑

CbC関連 †

↑

CodeSegment?から通常の関数を呼び出す際の確認するポイント †

通常の関数からCodeSegment?にgotoした後にCodeSegment?側で通常の関数を呼び出すとスタックポインタ(rst)がDataSegement?のメモリ領域より下にくる可能性がある．

コンパイラのバグなのでコンパイラを治すかDataSegement?を一度関数を経由させてCodeSegment?に移行するように書き換える

↑

Originalのnqpからmoarvmバイトコードを出力する †

CbC側のnqpにcdし

%cbc-tools/create_test2moarvm.zsh t/nativecall

vmtestの中に生成される

シェルスクリプト中では

 ${ORIGIN_NQP}/nqp --target=mbc --output="001-hoge.t.moarvm" 001-hoge.t

を実行している

↑

実行しているオペコードを確認する方法 †

↑

CbC †

CbCではcbc-interp.cbcで定義しているcbc_*オペコードに対応しているルーチンこれらはcbc_next経由で呼ばれるのでそこにbreak pointを書けてdumpする

(gdb) b cbc_next
Breakpoint 2 at 0x7ffff7560288: file src/core/cbc-interp.cbc, line 61.
(gdb) command 2
Type commands for breakpoint(s) 2, one per line.
End with a line saying just "end".
>p CODES[*(MVMuint16 *)i->cur_op]
>p *(MVMuint16 *)i->cur_op
>c
>end

scriptコマンドをかけてneter押すとログに出来る

↑

Origin †

オペコードはラベルで飛ぶのでNEXTのマクロにdummyの関数をいれてそこにbreak point

(gdb) b dummy
Function "dummy" not defined.
Make breakpoint pending on future shared library load? (y or [n]) y
Breakpoint 1 (dummy) pending.
(gdb) command 1
Type commands for breakpoint(s) 1, one per line.
End with a line saying just "end".
>up
>p *(MVMuint16 *)(cur_op)
>c
>end

↑

Moarbytecodeのdump †

%./moar --dump hoge.moar

↑

MoarVMbytecodeからMoarVMのdebug †

% cbc-tools/debug-moar.sh vmtest/src/001-backend.t.moar

↑

MoarvmBytecode?からのNQPのテスト †

% cbc-tools/check-nqp-test.sh vmtest/src/001-backend.t.moar
% cbc-tools/check-cbc-nqp-test.sh vmtest/src/001-backend.t.moar

↑

CbCNQP一斉テスト †

% $cbc-tools/this.sh vmtest/nqp

↑

NQP(Original)テスト †

% $cbc-tools/this.sh vmtest/nqp ori

↑

テストカバレッジ †

 $ perl cbc-tools/dotest_coverage.pl