Simple framework to calculate the reaching definition of array references and its use in subscript array analysis

Yuan Lin, David Padua

Research output: Contribution to journalArticlepeer-review

Abstract

The property analysis of subscript arrays can be used to facilitate the automatic detection of parallelism in sparse/irregular programs that use indirectly accessed arrays. In order for property analysis to work, array reaching definition information is needed. In this paper, we present a framework to efficiently calculate the array reaching definition. This method is designed to handle the common program patterns in real programs. We use some available techniques as the building components, such as data dependence tests and array summary set representations and operations. Our method is more efficient as well as more flexible than the existing techniques.

Original languageEnglish (US)
Pages (from-to)125-135
Number of pages11
JournalConcurrency Practice and Experience
Volume12
Issue number2
DOIs
StatePublished - Jan 1 2000

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Simple framework to calculate the reaching definition of array references and its use in subscript array analysis'. Together they form a unique fingerprint.

Cite this