(2013-05-03 21:57 JST : ソースコードの誤記修正)
話のマクラ
新製品リリース前でプログラマーズハイになっておられるらしい shi3z 氏が,イカしたエントリを挙げておられる.
ついに僕もソースコードを確認しないと気が済まなくなりました。本当にちゃんと最適化してるのか、自分の目と頭とで確認しています。
をを! 社長自ら! すごい!
この関数は、一見すると無駄がないように見えますが、実は無駄の塊です。 たとえばコンピュータは割り算が苦手です。なのに二回も割り算をやっています。 割り算よりは掛け算(乗算)の方が圧倒的に速い(下手すると10~100倍くらい?)ので、まず割り算をしている部分を2.0の逆数の乗算に変更します。
最近,トシのせいかすぐに感涙してしまう私は,感化されて,つい除算を積算に変えてみてベンチマークを取ってみました. ですが,手元のOSXではJITをoffにしても除算と積算で有意な差は出ませんでした.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
|
Math.random()が重いんじゃないの?」と思って,定数にしたり変数にしたりいろいろやりました. 手元環境では,思いつく全ての例において有意な差は出せませんでした.
まあ,FPU の性能など効いてきますので,どの環境でも有意な差が出ないとは申しません. しかし,このレベルまで最適化したければ,JNI 介してC/C++ でやったほうがよいのではないの? という気がそこはかとなくするわけです. 「JNI のオーバヘッドがー」という残念な結果に終わる可能性も無きにしもあらずなわけではありますが.
徐々に本題
こういう数式展開レベルの最適化は、どれだけコンパイラが賢くなってもまだまだやってもらえません。
ホントでしょうか. まあ,数式の変形を縦横無尽に行うというのは,Metematica など極めて限られた,それこそ数式処理のみを対象とするような人のツールでないと無理です. でも,除算を積算に置き換えたり,定数が絡んで結果があからさまなものを省くなんていうのは,どのようなコンパイラでも考える局所最適化の基礎的テクニックです.
確かに Oracle の javac では,float 型の定数除算から,そのまま除算命令(バイトコード)に落としています. 他言語では,mruby の mrbc も同様でした. それは,コンパイラが馬鹿だからでしょうか. …まあ,たまにそういう時もあります.
しかし,置き換えても意味が無いので置き換えてない可能性もあります. 実際,上記のベンチマークだけで判断するのであれば,除算から積算への変換は無駄な努力なわけです. コンパイラが馬鹿なのか,プログラマが馬鹿なのかは,常にベンチマークにより客観的に判断される必要がありますね,と.
高速度カメラまで持ち込んでおられる shi3z 氏は,当然そのことについて意識しておられるわけですが. 「プログラマに成りたいんです!」と目をキラキラしている未来ある読者さんがたは,勘違いするよなぁコレ…と.
本題,またはボツ原稿の公表
ワタクシゴトですが,先日,ちょいとした経緯で,最適化に関する原稿が結果的にボツになりまして. 主にC言語周りなのですが,このへんはコンパイラ一般で言えることなので,紹介しておきます.
「一所懸命にループ内の関数呼び出しを手で最適化しても無駄ですよ,コンパイラが善きに計らいますよ」というネタです. ここには書いていませんが,ループ中の冗長な部分は外に出す最適化もかかります. …なんてことを考えると,「JNIの呼び出しオーバヘッドがー」みたいな話も帳消しになるかもしれなかったりします.
インライン最適化による変数の蒸発
(前略) もう一つの例も,蒸発に関するものです. ただし,この蒸発は,volatile の例とは異なり,バグの元にはなりません. しかし,ときどき,デバッグを困難にします.
次のコードはは,別段バグが無さそうですし,実際に期待通りに動きます.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
|
これをgccで最適化を有効にしてコンパイルし,GDBデバッガで追跡することにします.
まず,main 文にブレイクポイントを貼り,実行します.
1 2 3 |
|
実行開始後,すぐに停止します.
1 2 3 4 5 |
|
ここで,変数 a の値を表示してみます.
1 2 3 4 |
|
「変数 a にアクセスできない」と言われてしまいました. でも変数 a は,確かに存在するはずです. さらに見ると「変数は最適化により消えた」とあります.
この不思議を追跡するべく,コンパイル結果のアセンブリ言語出力を見てみましょう.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 |
|
じっくり眺めてみてください.busy_loop からの数行と main からの数行が極めて似通っています.
コンパイラの中では,巧妙なことが起こっていました. コンパイラは, main 関数から busy_loop 関数を呼び出すよりも,main 関数の中に busy_loop 関数の中身を展開してしまったほうが,処理が速いコードになると判断したようです. つまり 次に示すリストと勝手に書き換えています. このように書き換えても,動作は変わりません. 関数呼び出しのオーバヘッドが減る分だけ,処理速度も向上するはずです. しかし,変数 a は何処かに消えてしまいました. コンパイラは,変数 a が存在していた事実をデバッグシンボルに仕込みます. そのため,デバッガは,変数 a がソースコード上に存在したことは認識できます. しかし,値を示せと言われても,デバッガは示しようがありません. アセンブリコードには,変数 a に相当するコードが存在しないからです.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
|
(後略) てな感じの記事だったのでした.
まとめ
天才って,枠のなかで頑張ろうとするのですよね. その姿に,量産型凡人エンジニアの私はシビレてしまいます.
しかし,私だったら,スプライン関数の局所最適化ではなく,コンパイラへのhackを先にやるでしょうなぁ. JIT含めて.
自分以外もアプリ作る製品開発では,コンパイラに手をつけたほうが効率的ですから. 自分以外が自分の能力よりも下ならば,とくに.
「コンパイラって難しくて手がでないよ」という未来の天才プログラマの皆様にあられましては,mruby という,格好の教材があります. ご興味のおありのかたはどうぞ. http://github.com/mruby/mruby/
蛇足
上記で紹介した最適化にまつわる記事って,電子書籍とかで出して,需要あるかしら? 3万文字以上の解説記事が,行き先無く浮いちゃっているのですよね….(汗