ArMOR: Defending against memory consistency model mismatches in heterogeneous architectures

Daniel Lustig, Caroline Trippel, Michael Pellauer, Margaret Rose Martonosi

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

16 Scopus citations

Abstract

Architectural heterogeneity is increasing: numerous products and studies have proven the benefits of combining cores and accelerators with varying ISAs into a single system. However, an underappreciated barrier to unlocking the full potential of heterogeneity is the need to specify and to reconcile differences in memory consistency models across layers of the hardware-software stack and among on-chip components. This paper presents ArMOR, a framework for specifying, comparing, and translating between memory consistency models. ArMOR defines MOSTs, an architecture-independent and precise format for specifying the semantics of memory ordering requirements such as preserved program order or explicit fences. MOSTs allow any two consistency models to be directly and algorithmically compared, and they help avoid many of the pitfalls of traditional consistency model analysis. As a case study, we use ArMOR to automatically generate translation modules called shims that dynamically translate code compiled for one memory model to execute on hardware implementing a different model.

Original languageEnglish (US)
Title of host publicationISCA 2015 - 42nd Annual International Symposium on Computer Architecture, Conference Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages388-400
Number of pages13
ISBN (Electronic)9781450334020
DOIs
StatePublished - Jun 13 2015
Event42nd Annual International Symposium on Computer Architecture, ISCA 2015 - Portland, United States
Duration: Jun 13 2015Jun 17 2015

Publication series

NameProceedings - International Symposium on Computer Architecture
Volume13-17-June-2015
ISSN (Print)1063-6897

Other

Other42nd Annual International Symposium on Computer Architecture, ISCA 2015
CountryUnited States
CityPortland
Period6/13/156/17/15

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture

Fingerprint Dive into the research topics of 'ArMOR: Defending against memory consistency model mismatches in heterogeneous architectures'. Together they form a unique fingerprint.

  • Cite this

    Lustig, D., Trippel, C., Pellauer, M., & Martonosi, M. R. (2015). ArMOR: Defending against memory consistency model mismatches in heterogeneous architectures. In ISCA 2015 - 42nd Annual International Symposium on Computer Architecture, Conference Proceedings (pp. 388-400). (Proceedings - International Symposium on Computer Architecture; Vol. 13-17-June-2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/2749469.2750378