Show simple item record

Experiences with Constraint-based Array Dependence Analysis

dc.contributor.authorPugh, Williamen_US
dc.contributor.authorWonnacott, Daviden_US
dc.description.abstractArray data dependence analysis provides important information for optimization of scientific programs. Array dependence testing can be viewed as constraint analysis, although traditionally general-purpose constraint manipulation algorithms have been thought to be too slow for dependence analysis. We have explored the use of exact constraint analysis, based on Fourier's method, for array data dependence analysis. We have found these techniques can be used without a great impact on total compile time. Furthermore, the use of general-purpose algorithms has allowed us to address problems beyond traditional dependence analysis. In this paper, we summarize some of the constraint manipulation techniques we use for dependence analysis, and discuss some of the reasons for our performance results. (Also cross-referenced as UMIACS-TR-94-122)en_US
dc.format.extent188848 bytes
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-3371en_US
dc.relation.ispartofseriesUMIACS; UMIACS-TR-94-122en_US
dc.titleExperiences with Constraint-based Array Dependence Analysisen_US
dc.typeTechnical Reporten_US
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtUMIACS Technical Reportsen_US

Files in this item


This item appears in the following Collection(s)

Show simple item record