JavaScriptのparserに関する議論

Kazuho Oku @kazuho

@Constellation あざす。PIC を踏まえたコードって shape を変更しない、shape ができれば (v8用語で) monomorphic に、そうじゃなくとも polymorphic になるようにする、って以外にありますかね

Kazuho Oku @kazuho

JSX はそういうコードを吐くように設計してる

小倉唯 @Constellation

@kazuho property追加順番を同一にするとかですかね? transitionを適切にたどるために.

Kazuho Oku @kazuho

__hot__ function とか書くと polymorphization が動くようにしてもいいと思ってるけど見対応

Kazuho Oku @kazuho

@Constellation あ、なるほどです。それはできてるはず。あざす

小倉唯 @Constellation

@kazuho あとはgetter/setterやattributionは使わない, arrayはdense状態を保ち, ArrayIndex以外のの名前のproperty追加を行わない, GC発生は極力抑える(Map cache flush対策)とか思いつく感じもします.

Kazuho Oku @kazuho

@Constellation なるほどなるほど。Array に関していうと継承しても速度が落ちますね

Kazuho Oku @kazuho

JSX にクラス定義を可能な場合 Array + static function としてコンパイルするブランチがあって、小規模なベンチマークだと実際高速になるんだけど box2d.jsx に適用すると遅くなるって問題があって、プロファイラ実装したのでベンチマークをとらないと、なう

小倉唯 @Constellation

後property lookupより, heap variable lookupのほうが概して高速かと… offsetとか全部事前計算可能なので, JITで単純pointer lookup from memory, mov2つまで落ちる…

Kazuho Oku @kazuho

@Constellation heap variable lookup ってローカル変数とかクロージャのローカル変数とか？

小倉唯 @Constellation

@kazuho クロージャのローカル変数ですねー.

Kazuho Oku @kazuho

@Constellation 効きますねー。てか property lookup は遅い。JSX は今は Array#length しかプロパティのキャッシュいれてないけど、まじめに aliasing の解析入れてローカル変数にキャッシュしたいですねー

Kazuho Oku @kazuho

POD な object を tuple に変えるとかも効果ありそうだけどまだよく考えられてない

小倉唯 @Constellation

@kazuho 是非お聞きしてみたかったのですがArray#length cacheはどのくらい効きます?みなさんlength用instrもっててICかかるはずでmap check&field mov, type infer効けば同一registerまで来るかと思っていたのですが

Kazuho Oku @kazuho

@Constellation 毎回 type check かかった気がしますが、ベンチとりなおしますね。結局は、ループ内の式が .length あるいはそのレシーバを変更する可能性をどこまで VM が静的解析できるかって程度問題だと思います

小倉唯 @Constellation

@kazuho なるほど! ありがとうございますー. 毎回type checkかかるとすればescapeしないとして, その分高速になるのでしょうか.

Kazuho Oku @kazuho

いやらしいケースでいうと var a = []; a.push(a); for (var i = 0; i < a.length; ++i) a[i][1] = 1; みたいな aliasing もあるので

Kazuho Oku @kazuho

@Constellation つ http://t.co/8baVzwc8

小倉唯 @Constellation

@kazuho おおー, ありがとうございます! なるほど, 変わりますねー.