In
computer science, array-access analysis is a
compiler analysis approach used to decide the read and write access patterns to elements or portions of arrays.
The major data type manipulated in scientific programs is the array. The define/use analysis on a whole array is insufficient for aggressive
compiler optimization
In computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power con ...
s such as
auto parallelization and array
privatization. Array access analysis aims to obtain the knowledge of which portions or even which elements of the array are accessed by a given code segment (
basic block,
loop
Loop or LOOP may refer to:
Brands and enterprises
* Loop (mobile), a Bulgarian virtual network operator and co-founder of Loop Live
* Loop, clothing, a company founded by Carlos Vasquez in the 1990s and worn by Digable Planets
* Loop Mobile, ...
, or even at the
procedure
Procedure may refer to:
* Medical procedure
* Instructions or recipes, a set of commands that show how to achieve some result, such as to prepare or make something
* Procedure (business), specifying parts of a business process
* Standard operat ...
level).
Array-access analysis can be largely categorized into exact (or reference-list-based) and summary methods for different tradeoffs of accuracy and complexity. Exact methods are precise but very costly in terms of computation and space storage, while summary methods are approximate but can be computed quickly and economically.
Typical exact array-access analysis include linearization and
atom images
Every atom is composed of a nucleus and one or more electrons bound to the nucleus. The nucleus is made of one or more protons and a number of neutrons. Only the most common variety of hydrogen has no neutrons.
Every solid, liquid, gas, and ...
. Summary methods can be further divided into
array sections
An array is a systematic arrangement of similar objects, usually in rows and columns.
Things called an array include:
{{TOC right
Music
* In twelve-tone and serial composition, the presentation of simultaneous twelve-tone sets such that the ...
, bounded regular sections using
triplet notation
A triplet is a set of three items, which may be in a specific order, or unordered. It may refer to:
Science
* A series of three nucleotide bases forming an element of the Genetic code
* J-coupling as part of Nuclear magnetic resonance spectrosc ...
, linear-constraint methods such as data-access descriptors and
array-region analysis.
References
{{prog-lang-stub
Compiler construction
Static program analysis