HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols

Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin, Vasilis Gavrielatos, Theo Olausson, Reece Carr

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

Abstract / Description of output

We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop an automated tool, called HeteroGen, for composing clusters of cores, each with its own coherence protocol. Second, we show that the output of HeteroGen adheres to a precisely defined memory consistency model that we call a compound consistency model. For a wide variety of protocols - including the MOESI variants, as well as those that are targeted towards Total Store Order and Release Consistency - we show that HeteroGen can correctly fuse them. To validate HeteroGen, we develop the first litmus tests for verifying that heterogeneous protocols satisfy compound consistency models. To understand the possible performance implications of automatic protocol generation, we compared against a publicly available manually-generated heterogeneous protocol. Our results show that performance is comparable.
Original languageEnglish
Title of host publicationProceedings - 2022 IEEE International Symposium on High-Performance Computer Architecture, HPCA 2022
PublisherIEEE
Pages756-771
Number of pages16
ISBN (Electronic)9781665420273
ISBN (Print)9781665420280
DOIs
Publication statusPublished - 1 Apr 2022
Event28th Annual IEEE International Symposium on High-Performance Computer Architecture, HPCA 2022 - Virtual, Online, Korea, Republic of
Duration: 2 Apr 20226 Apr 2022

Publication series

NameProceedings - International Symposium on High-Performance Computer Architecture
Volume2022-April
ISSN (Print)1530-0897
ISSN (Electronic)2378-203X

Conference

Conference28th Annual IEEE International Symposium on High-Performance Computer Architecture, HPCA 2022
Country/TerritoryKorea, Republic of
CityVirtual, Online
Period2/04/226/04/22

Keywords / Materials (for Non-textual outputs)

  • Cache coherence
  • Compositional consistency
  • Compound consistency
  • Heterogenous coherence protocols
  • Litmus tests
  • Memory consistency
  • Protocol design automation

Fingerprint

Dive into the research topics of 'HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols'. Together they form a unique fingerprint.

Cite this