[B! JIT] rryuのブックマーク

rryu id:rryu

JITに関するrryuのブックマーク (2)

Ruby が YJIT でなんで速くなるのか？ Lazy Basic Block Versioning をサクッと理解してみた - estie inside blog
estie でソフトウェアエンジニアをしている徳永(@yTo_9)です。 estie では Ruby を書いたりTypeScriptを書いたりしています！ estie 夏のブログ祭りにかこつけて、せっかくなら普段は追わない部分だけど、気になっていたYJITなるものを深掘りしてみようと思い、「YJITがなぜRailsアプリケーションの高速化を実現できたのか」を調べてみたので紹介したいと思います。「どうせ難しいんでしょ？」と思いながら調べてみたのですが、講演や論文の説明がわかりやすく、意外に概要を把握することは難しくありませんでした。 YJIT の核となっているのは Lazy Basic Block Versioning (LBBV) という手法で、これはRubyだけに限らず動的言語全般に適用可能な強力なアプローチであることがわかりました。「あるタイプの条件分岐は、ほとんどの場合で片側しか
rryu 2022/08/16
動的型では型チェックなどの内部的な分岐があるが、実行時に集めた型情報を使って必要な分だけJITしていくとほとんど分岐しないコードになるので速くなるということらしい。

ruby

JIT
リンク
Chrome 51のV8の興味深いバグ
以下のコードを実行した結果を予想してみてほしい。 function foo() { return typeof null === "undefined" ; } for ( var i = 0 ; i < 1000 ; ++i ) { console.log( foo() ) ; } typeof nullの結果は"object"なので、"undefined"と===で比較するとfalseになる。したがって、関数fooは必ずfalseを返すはずである。1000回実行しようと常にfalseを返す関数は常にfalseを返すはずである。では実際に実行して確かめてみよう。実行（何度かクリック）コンソールにコピペするのとは挙動が違うが、何度もクリックすると、なぜかtrueを返すようになる。おそらく、コンソールにコピペすると毎回JITが走るので、挙動が違うのだろう。ちなみに、workaroun
rryu 2016/06/21
JITで式が定数化される時に typeof null が "undefined" と評価されるっぽい。定数化されないような式にすれば回避できると。そういうバグSafariにもあったなあ。

javascript

JIT
リンク
1