[論文レビュー] Liveness of Heap Data for Functional Programs

Amey Karkare, Uday P. Khedker+1 more|ArXiv.org|Mar 30, 2007

Parallel Computing and Optimization Techniques参考文献 24被引用数 6

ひとこと要約

この論文は、ヒープ参照のライブネスをモデル化するために文脈自由文法（CFG）を用いる、文脈に敏感でモジュラーな静的解析を提示する。到達不能な死んだリンクを特定・無効化することで、ガベージコレクタがより多くのメモリを回収できるようになり、ランタイムのオーバーヘッドなしにメモリ効率が向上する。

ABSTRACT

Functional programming languages use garbage collection for heap memory management. Ideally, garbage collectors should reclaim all objects that are dead at the time of garbage collection. An object is dead at an execution instant if it is not used in future. Garbage collectors collect only those dead objects that are not reachable from any program variable. This is because they are not able to distinguish between reachable objects that are dead and reachable objects that are live. In this paper, we describe a static analysis to discover reachable dead objects in programs written in first-order, eager functional programming languages. The results of this technique can be used to make reachable dead objects unreachable, thereby allowing garbage collectors to reclaim more dead objects.

研究の動機と目的

• 関数型プログラムにおけるガベージコレクションの非効率性を解消する。具体的には、保守的な到達可能性に基づく収集では、到達可能ではあるが死んだオブジェクトが収集されないため。
• 未使用の参照を介して到達可能ではあるが、将来使用されないヒープオブジェクトを特定することで、メモリ管理を改善する。
• 到達可能な死んだ参照を無効化することで、ガベージコレクタがより多くの死んだオブジェクトを回収できるようにする。
• 各関数を一度だけ解析することができ、スケーラブルで文脈に敏感かつモジュラーな解析を開発する。
• 正しく動作させることを保証する、正確な静的手法を提供し、プログラムの任意のポイントでどのヒープリンクを安全に無効化できるかを特定する。

提案手法

• 解析は、ライブデータ構造へのアクセスパスの集合を表す文脈自由文法（CFG）を用いて、ヒープ参照のライブネスをモデル化する。
• データフロー解析から導かれる方程式系を解くことで、各プログラムポイントにおけるライブネスを計算し、すべての実行パスに沿ったライブ参照を捉える。
• 得られたCFGは非決定性有限オートマトン（NFA）に変換され、その後簡略化されて、有効なヒープパスを直接記述する。
• 簡略化されたNFAを用いて、プログラムの特定のポイントで、プログラムの意味を損なわずに安全に無効化できる参照を特定する。
• このアプローチは文脈に敏感かつモジュラーであり、異なる呼び出しコンテキスト間での関数の再解析を回避し、正しさを保証する。
• 解析結果をコンパイラパイプラインに統合し、ガベージコレクションの対象となる死んだオブジェクトを到達不能にするために、適切な場所に無効化ステートメントを挿入する。

実験結果

リサーチクエスチョン

• RQ1 一階関数型プログラムにおいて、到達可能ではあるが、将来使用されない（死んだ）ヒープ参照を正確に特定するにはどうすればよいか？
• RQ2 静的解析に適した、ヒープデータへのライブアクセスパスの集合を効果的に表現する形式は何か？
• RQ3 文脈自由文法（CFG）を用いることで、ヒープ参照のライブネスを十分な精度とモularityでモデル化できるか？
• RQ4 静的ライブネス解析の結果をどのように活用し、安全に参照を無効化して、死んだオブジェクトをガベージコレクタが到達不能にすることができるか？
• RQ5 CFGから導かれるNFAの簡略化が、参照の無効化の精度と効率に与える影響は何か？

主な発見

• 提案された静的解析は、CFGを用いてヒープ参照のライブネスを解析することで、関数型プログラムにおける到達不能な死んだオブジェクトを正確に特定できた。
• ライブだが未使用の参照を無効化することで、ガベージコレクタがより多くの死んだオブジェクトを回収できるようになり、メモリ効率が向上した。
• CFGから導かれる簡略化されたNFAの使用により、不正確さを導入せずに、安全な無効化ポイントを正確かつ効率的に特定できるようになった。
• この解析は文脈に敏感かつモジュラーであり、関数単位での解析が可能で、再計算を回避し、異なる呼び出しコンテキスト間で正しさを保証できる。
• 関数境界でのみ無効化が可能な従来の手法（エスケープ解析やリージョンベースの収集）に比べ、任意のプログラムポイントでの無効化が可能であるため、性能が優れている。
• この手法は一般化可能であり、高階関数言語への拡張も可能で、わずかな修正で不要コードの削除にも応用できる。