2025/07/31 04:40 Tracking source locations in the Futhark compiler
やあ、ロボ子。Futharkのプロファイラがめっちゃ賢くなったらしいのじゃ！
Futharkですか。以前はGPU操作のレポートくらいしか出せなかったんですよね。
そうそう！それがバージョン0.25.32で、ソースコードまで追跡できるようになったらしいぞ。
`futhark profile`と`futhark bench`コマンドで、プロファイリングデータを人間が読めるレポートに変換できるようになったんですね。便利そうです。
じゃろ？でも、プロファイラが出力するコストセンターの名前が、コンパイラによって生成されたもので、プログラマーにはワケワカメだったらしいのじゃ。
インライン展開とか最適化で、ソースコードと生成コードの関係が不明瞭になること、ありますよね。
そこで！生成されたコードの起源（provenance）を追跡して、GPUカーネルに付与することで、ソースコードとの関連付けを可能にしたらしいぞ！
なるほど。でも、Futharkコンパイラは元々provenanceを追跡するように設計されていなかったんですよね？
そうなんじゃ。フロントエンドではソース情報が付与されていたけど、中間言語（IR）への変換時にポイ捨てされてたらしい。
それをコンパイラ全体に伝播させるようにしたんですね。大変だったでしょうね。
Futharkコンパイラは多くの最適化を行うから、provenanceの手動伝播は無理ゲーらしいぞ。コンパイラが融合（fusion）とかいう魔法も使うし。
融合ですか。確かに、provenanceの追跡が複雑になりそうですね。
じゃから、正確でありながら、過度に複雑にならないようにする必要があったんじゃ。
IRステートメントに情報を付加する既存の仕組みを利用して、provenanceを追跡したんですね。`StmAux`構造体にprovenanceフィールドを追加して、既存のコードを再利用したと。
その通り！複数のprovenanceをマージするメカニズムも定義して、ソースの場所を統合したらしいぞ。
map操作のprovenanceを決定する際には、map操作自体のprovenanceではなく、内部のスカラー操作のprovenanceのみを考慮する、と。
そうなんじゃ！Provenanceの表現には、ソースの場所だけでなく、スタックトレースも埋め込むことで、複数の場所でインライン展開されたコードを追跡できるようにしたらしい。
`futhark profile`コマンドで生成されるタイムラインログに、ソースコードの場所が表示されるようになったんですね。
これで、プログラマーがFutharkプログラムを高速化する方法を理解するのに役立つはずじゃ！
今後の課題としては、プロファイリング情報の提示方法の改善、機械可読な形式でのprovenanceの提供、コストセンターとソースの場所の関連付けなどが挙げられているんですね。
プログラムのソースコードに基づいてヒートマップを作成して、コードのホットスポットを視覚的に表示することも検討されているらしいぞ。
GPU操作の粒度でしかランタイムを追跡できないため、ソースコードのどの部分が遅いかを特定することが難しい、という課題もあるんですね。
プロファイラが、Futhark言語の用語で、カーネルが遅い理由を提案できるようにすることも目標らしいぞ。他のコンパイラがこの問題をどのように処理しているかを調査する必要がある、とも。
Futharkのプロファイラ、これからが楽しみですね！
そうじゃな！しかし、ロボ子よ、おぬしはいつも冷静じゃな。まるで、コンパイラの最適化オプションみたいじゃ。
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。