アレイアクセス解析

コンピュータサイエンスにおいて、配列アクセス解析は、配列の要素または一部への読み書きアクセスパターンを決定するために使用されるコンパイラ解析手法である。 ^{[ 1 ]}

科学計算プログラムで主に扱われるデータ型は配列です。配列全体に対する定義/使用分析では、自動並列化や配列のプライベート化といった積極的なコンパイラ最適化には不十分です。配列アクセス分析は、特定のコードセグメント（基本ブロック、ループ、あるいはプロシージャレベル）によって配列のどの部分、あるいはどの要素がアクセスされているかを把握することを目的としています。

配列アクセス解析は、精度と複雑さのトレードオフに応じて、大きく厳密な方法（または参照リストに基づく方法）と要約方法に分類できます。厳密な方法は精度が高いものの、計算コストとメモリ使用量が非常に高額になります。一方、要約方法は近似的な方法ではありますが、迅速かつ経済的に計算できます。

典型的な厳密な配列アクセス解析には、線形化とアトムイメージが含まれます。要約手法は、配列セクション、トリプレット表記を使用した境界付き規則セクション、データアクセス記述子や配列領域解析などの線形制約手法にさらに分類できます。