DeAliaser: Alias speculation using atomic region support

Wonsun Ahn, Yuelu Duan, Josep Torrellas

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

Abstract

Alias analysis is a critical component in many compiler optimizations. A promising approach to reduce the complexity of alias analysis is to use speculation. The approach consists of performing optimizations assuming the alias relationships that are true most of the time, and repairing the code when such relationships are found not to hold through runtime checks. This paper proposes a general alias speculation scheme that leverages upcoming hardware support for transactions with the help of some ISA extensions. The ability of transactions to checkpoint and roll back frees the compiler to pursue aggressive optimizations without having to worry about recovery code. Also, exposing the memory conflict detection hardware in transactions to software allows runtime checking of aliases with little or no overhead. We test the potential of the novel alias speculation approach with Loop Invariant Code Motion (LICM), Global Value Numbering (GVN), and Partial Redundancy Elimination (PRE) optimization passes. On average, they are shown to reduce program execution time by 9% in SPEC FP2006 applications and 3% in SPEC INT2006 applications over the alias analysis of a state-of-the-art compiler. Categories and Subject Descriptors C.1.2 [Processor Architectures]: Multiple Data Stream Architectures - MIMD processors; D.3.4 [Programming Languages]: Processors - Compilers, Optimization General Terms Algorithms, Design, Performance.

Original languageEnglish (US)
Title of host publicationASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems
Pages167-180
Number of pages14
DOIs
StatePublished - Apr 5 2013
Event18th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013 - Houston, TX, United States
Duration: Mar 16 2013Mar 20 2013

Publication series

NameInternational Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Other

Other18th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013
CountryUnited States
CityHouston, TX
Period3/16/133/20/13

Keywords

  • Alias analysis
  • Atomic region
  • Compiler optimization
  • Transactional memory

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'DeAliaser: Alias speculation using atomic region support'. Together they form a unique fingerprint.

  • Cite this

    Ahn, W., Duan, Y., & Torrellas, J. (2013). DeAliaser: Alias speculation using atomic region support. In ASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 167-180). (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS). https://doi.org/10.1145/2451116.2451136