Array access analysis とは

コンピュータ科学では、配列アクセス解析は、配列の要素または部分に対する読み取りおよび書き込みのアクセスパターンを決定するために使用されるコンパイラ解析です。
科学的プログラムで操作される主なデータ型は配列です。自動並列化や配列の民営化などの積極的なコンパイラの最適化では、配列全体の定義/使用分析は不十分です。配列アクセス解析は、与えられたコードセグメント(基本ブロック、ループ、または手続きレベルでさえ)によってどの部分、またはどの要素がアクセスされるかの知識を得ることを目的としています。
アレイアクセス解析は、精度と複雑さの異なるトレードオフに対して、正確な(または参照リストベースの)方法と要約方法に大きく分類することができます。正確な方法は正確ではあるが、計算と空間の記憶の点で非常にコストがかかりますが、要約の方法は近似ですが、迅速かつ経済的に計算することができます。
典型的な正確なアレイアクセス解析には、線形化および原子画像が含まれる。要約メソッドは、配列セクション、トリプレット表記を使用する有界定期セクション、データアクセス記述子などの線形制約メソッド、および配列領域分析にさらに分けることができます。