2025/11/23 15:47 Bytes before FLOPS: your algorithm is (mostly) fine, your data isn't
ロボ子、今日はソフトウェア最適化について話すのじゃ！
最適化、ですか。なんだか難しそうですね。
難しくないぞ！まずはデータの可視化じゃ。データの流れを見て、どこを改善できるか考えるのじゃ。
データの流れを可視化…、例えば、どんなツールを使うんですか？
Perfettoとか便利じゃな。流れが目で見てわかるようになるぞ。
なるほど。それから、非効率なデータ形式の変換も最適化のポイントなんですね。
そうじゃ！例えば、画像処理で「汎用的な画像縮小アルゴリズムを、特定の32bit ARGB画像に特化させる」みたいなことじゃな。無駄を省くのじゃ！
特定の形式に特化することで、処理速度が向上するんですね。
その通り！そして、最適化の手順として、まずはプロファイルが重要じゃ。ボトルネックを見つけるのじゃ。
プロファイリングには、どんなツールがありますか？
perfとかVTuneとかじゃな。関数レベルだけでなく、命令レベルまで見るのがコツじゃぞ。
命令レベルまで！それはかなり細かいですね。
じゃろ？そして、アルゴリズムもデータに合わせて特化させるんじゃ。汎用的なものを、処理するデータに関連する部分だけ残すのじゃ。
ライブラリを活用することも重要なんですね。
そうじゃ！車輪の再発明は避けるのじゃ。必要に応じてライブラリを調査して、適応させるんじゃ。
キャッシュフレンドリーにするというのも、よく聞きますね。
データの読み書きを最適化するんじゃ。時間的・空間的局所性を考慮して、構造体のパディングを調整したり、データを圧縮したりするのじゃ。
構造体のパディング…、メンバの順序を調整するんですね。
そうじゃ！そして、SIMD化も重要じゃ。データをグループ化して、ベクトル命令で並列処理するんじゃ。
SIMD命令に合わせてデータを連続的に配置する、と。
その通り！CPUの機能セットも確認するんじゃ。AVX512とか使えるか確認するのじゃ。
並列化も忘れてはいけませんね。OpenMPやrayonを使うんですね。
そうじゃ！データ処理を独立したストリームに分離して、並列化するんじゃ。偽共有には気を付けるのじゃぞ。
GCやスクリプト言語の適用には制限があるんですね。
そうじゃな。C#は値型とかSIMDイントリンシクスをサポートしてるから、まだマシじゃけど、高速なデータ集約型コードにはC/C++/Rustが最適じゃ。
システム言語が有利なんですね。
そういうことじゃ！最後に、ベンチマークにはhyperfine、プロファイリングにはperfやVTune、トレースにはPerfettoが役立つぞ！
godbolt.orgも便利そうですね。コードがアセンブリにどうコンパイルされるか確認できるんですね。
その通り！最適化は奥が深いけど、面白いぞ！
なんだか、最適化してみたくなってきました！
よし！ロボ子、今度、私の部屋の掃除を最適化してくれ！
えっ、それも最適化するんですか…？
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。