Array tilgang analyse - Array access analysis

I informatikk er matriseadgangsanalyse en kompilatoranalysetilnærming som brukes til å bestemme lese- og skrivetilgangsmønstre til elementer eller deler av matriser.

Den viktigste datatypen som er manipulert i vitenskapelige programmer er matrisen. Definer/bruk -analysen på en hel matrise er utilstrekkelig for aggressive kompilatoroptimaliseringer som automatisk parallellisering og matriseprivatisering . Array -tilgangsanalyse tar sikte på å få kunnskap om hvilke deler eller til og med hvilke elementer i matrisen som er tilgjengelig for et gitt kodesegment ( grunnleggende blokk , sløyfe eller til og med på prosedyrenivå ).

Array-tilgangsanalyse kan i stor grad kategoriseres i eksakte (eller referanselistebaserte) og oppsummerende metoder for forskjellige avveininger av nøyaktighet og kompleksitet. Eksakte metoder er presise, men svært kostbare når det gjelder beregning og plasslagring, mens oppsummeringsmetoder er omtrentlige, men kan beregnes raskt og økonomisk.

Typisk eksakt matriseadgangsanalyse inkluderer linearisering og atombilder . Oppsummeringsmetoder kan videre deles inn i matriseksjoner , avgrensede vanlige seksjoner ved bruk av trillingsnotasjon , lineære begrensningsmetoder som datatilgangsbeskrivelser og matrisregionanalyse .

Referanser