A collaborative dependence analysis framework

Nick P. Johnson, Jordan Fix, Stephen R. Beard, Taewook Oh, Thomas B. Jablin, David I. August

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Abstract

Compiler optimizations discover facts about program behavior by querying static analysis. However, developing or extending precise analysis is difficult. Some prior works implement analysis with a single algorithm, but the algorithm becomes more complex as it is extended for greater precision. Other works achieve modularity by implementing several simple algorithms and trivially composing them to report the best result from among them. Such a modular approach has limited precision because it employs only one algorithm in response to one query, without synergy between algorithms. This paper presents a framework for dependence analysis algorithms to collaborate and achieve precision greater than the trivial combination of those algorithms. With this framework, developers can achieve the high precision of complex analysis algorithms through collaboration of simple and orthogonal algorithms, without sacrificing the ease of implementation of the modular approach. Results demonstrate that collaboration of simple analyses enables advanced compiler optimizations.

Original languageEnglish (US)
Title of host publicationCGO 2017 - Proceedings of the 2017 International Symposium on Code Generation and Optimization
EditorsVijay Janapa Reddi, Aaron Smith, Lingjia Tang
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages148-159
Number of pages12
ISBN (Electronic)9781509049318
DOIs
StatePublished - Feb 23 2017
Event2017 International Symposium on Code Generation and Optimization, CGO 2017 - Austin, United States
Duration: Feb 4 2017Feb 8 2017

Publication series

NameCGO 2017 - Proceedings of the 2017 International Symposium on Code Generation and Optimization

Other

Other2017 International Symposium on Code Generation and Optimization, CGO 2017
CountryUnited States
CityAustin
Period2/4/172/8/17

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Optimization

Keywords

  • Collaborative analysis
  • Demand-driven analysis
  • Dependence analysis
  • Program Dependence Graph

Fingerprint Dive into the research topics of 'A collaborative dependence analysis framework'. Together they form a unique fingerprint.

Cite this