sprintf を最大10倍以上高速化するプリプロセッサ「qrintf」を作った

最近H2OというHTTPサーバを書いているのですが、プロファイルを取ってみるとsprintfが結構な時間を食っていて不満に感じていました。実際、sprintfは数値や文字列をフォーマットするのに十徳ナイフ的に便利なので、HTTPサーバに限らず良く使われる（そしてCPU時間を消費しがちな）関数です。 では、sprintfを最適化すれば、様々なプログラムが より高速に動作するようになるのではないでしょうか。ということで作ったのが、qrintfです。 qrintfは、Cプリプロセッサのラッパーとしてソースコードに含まれるsprintfの呼出フォーマットを解析し、フォーマットにあわせたコードに書き換えることで、sprintfを高速化します。 たとえば、以下のようなIPv4アドレスを文字列化するコード片を sprintf( buf, "%d.%d.%d.%d", (addr >> 24) & 0xf

[Jxck]

実行時の解析をコンパイル時に持ってきて10倍高速化。なるほど。

[nekoruri]

へ、へんたいだーーーーーーーーー！

[SyncHack]

興味深いがそれ以上にバッファサイズチェックの無いsprintfは滅びろ教に属しているので頭が理解しようとしない。snprintfが妥協点。算術右シフトだと色々アレなコードだがこれも別件。

[kazuhooku]

blogged

[knjname]

ほら、Lispが欲しくなるだろう…？

[nippondanji]

ほほう。-wrapperオプションの存在を初めて知った。コードの書き換えは外部プログラム（perlのスクリプト）なのか。なるほど。

[tsz]

コンパイラマクロが欲しい案件

[zyusou]

すげー！（って言っておけばそこそこコード書けそうに見えるから言っておく）

[halfrack]

sprintf 時間食いがちなのは分かるが解決方法がアクロバティックすぎ、と思ったが "コードを書き換えずに高速化" になるほど。

[fukken]

今時すぎて格好いい。フォーマットがコンパイル時に確定する場合、という条件は付くが、その程度ならリーズナブルなトレードオフっぽい。

[tmatsuu]

うーん、最大桁数に合わせてフォーマット部を動的に生成することが多いから使えないかなーと思ったけど、動的に_qprintf_*を生成すればいいのか。

[oppara]

Kazuho's Weblog: sprintf を最大10倍以上高速化するプリプロセッサ「qrintf」を作った B!

[Windymelt]

解析して最適化するってLLVMっぽくて面白い

[luccafort]

安定して今まで使ってたsprintfだからきっと高速化したくらいじゃ駄目なんだろうなーとか思ったら中身のコード書き換えてないでやんの！

[s025236]

十分に最適化されてそうな箇所なのに案外されてないんだね

[raitu]

枯れるの待ち

[tuto0621]

すごい、H2Oってのも楽しみ

[gikazigo]

Kazuho's Weblog: sprintf を最大10倍以上高速化するプリプロセッサ「qrintf」を作った

[rti7743]

すごい

[matarillo]

やはりJSXの作者か。

[kazuya030]

はー、すげぇ

[takkaw]

かっこいい

[btoy]

それを思いつけること。そして実現できること。すごいな。

[mohno]

「プロファイルを取ってみるとsprintfが結構な時間を食っていて」←高速化で原因を調べるのは重要だね。「IPv4アドレスを文字列化」←場合によるけど、私なら関数を書き換えてしまうだろうな。

[NetPenguin]

(・∀・)ｲｲﾈ!!

[nakag0711]

C++のtemplateかconstexprあたりでできないものかな

[niku_uchi]

おもしろい

[catindog]

templateでやろう

[iww]

すばらしそう

[rryu]

フォーマット文字列を解析して関数呼び出しの連鎖に展開してしまうのか。

[sawasawa12]

“sprintf”

[n2s]

なんぞｗ

[t-tanaka]

そうか引数の評価順序は不定扱いだから，これでもいいのか。

[sona-zip]

極端な高速化狙ってない限りinet_ntop使おう

[atsushifx]

GCCやLLVM/Clangに正式採用されないだろうか？Cのプリプロセッサを拡張というのは、これからの言語開発でのトレンドに影響与えそうな感じだし

[Vaduz]

すごい