Hybrid Analysis: Static & dynamic memory reference analysis

Silvius Rus, Lawrence Rauchwerger, Jay Hoeflinger

Research output: Contribution to conferencePaperpeer-review

Abstract

We present a novel Hybrid Analysis technology which can efficiently and seamlessly integrate all static and run-time analysis of memory references into a single framework that is capable of performing all data dependence analysis and can generate necessary information for most associated memory related optimizations. We use HA to perform automatic parallelization by extracting run-time assertions from any loop and generating appropriate run-time tests that range from a low cost scalar comparison to a full, reference by reference run-time analysis. Moreover we can order the run-time tests in increasing order of complexity (over-head) and thus risk the minimum necessary overhead. We accomplish this by both extending compile time IP analysis techniques and by incorporating speculative run-time techniques when necessary. Our solution is to bridge 'free' compile time techniques with exhaustive run-time techniques through a continuum of simple to complex solutions. We have implemented our framework in the Polaris compiler by introducing an innovative intermediate representation called RT_LMAD and a run-time library that can operate on it. Based on the experimental results obtained to date we hope to to automatically parallelize most and possibly all PERFECT codes, a significant accomplishment.

Original languageEnglish (US)
Pages274-284
Number of pages11
StatePublished - Jan 1 2002
Externally publishedYes
EventConference Proceedings of the 2002 International Conference on Supercomputing - New York, NY, United States
Duration: Jun 22 2002Jun 26 2002

Other

OtherConference Proceedings of the 2002 International Conference on Supercomputing
Country/TerritoryUnited States
CityNew York, NY
Period6/22/026/26/02

Keywords

  • Hybrid Analysis
  • Inter-procedural Analysis
  • Run-time Analysis
  • Run-time Parallelization

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Hybrid Analysis: Static & dynamic memory reference analysis'. Together they form a unique fingerprint.

Cite this