enlightened perl organisation

FASTER_VERBOSE=2 FASTER_DEBUG=1 perl -Mblib -MFaster -e 'use IO::Socket; IO::Socket->new()'

とかやって適当にデバッグするわけだが、FASTER_VERBOSE は冗長なデバッグメッセージの表示がでるようになる。レベルに1 と 2 があることに注意。

FASTER_DEBUG=1 にすると、中間ファイルの .c が消えなくなる。

Perl5.10.1 をメインでつかっているのだが、あいかわらずすげー微妙なエッジケースにバグがある。5.8.9 よりもやはりバグを踏む可能性がちとたかい。とはいえ、すげーくさいところなので、普通の人はまず踏まないとおもうけど。

今日ふんだのはこんなの。「そんなことする方が悪い」のだが、Assertion failed で落ちるのはバグなので、perlbug っといた。

なおこれ perl5.10 だと segv するが、perl5.10.1 だと assertion failure で、perl5.8.9 だと no problem だった。

use 5.008001;
{

    packa [...]

今んとここんなかんじだ。ここまで恣意的な例だと、さすがに差がかなりでる。

tokuhirom@gpath% time FASTER_VERBOSE=1 perl -Mblib -MFaster -e 'sub calc { $s=1;$i=0;$s+=$i while 100000000>($i+=1);print "$s\n"}; calc()'
optimising main
4999999950000001
FASTER_VERBOSE=1 perl -Mblib -MFaster -e   13.16s user 0.03s system 99% cpu 13.194 total
to [...]

最適化するのに相応しいサブルーチンのみ最適化できるように，optimizer::hotspotというモジュールを考えてみた。まだCPANクオリティではないのでgithubのみ。

• http://github.com/gfx/Perl-optimizer-hotspot

仕組みとしては，PL_peeppをフックして，生成されるサブルーチンの頭にホットスポット計測のためのopcode*1を仕込み，そのopcodeが一定数呼ばれると，最適化器*2を起動するというものだ。

最適化の基本は，いまのところ特定パターンをもつ構文木を高速な一つのノードに置き換えるというもの。少し実装してみたところ，以下のような結果と [...]