HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols

Conference Paper

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.

Full Text

Duke Authors

Cited Authors

  • Oswald, N; Nagarajan, V; Sorin, DJ; Gavrielatos, V; Olausson, T; Carr, R

Published Date

  • January 1, 2022

Published In

Volume / Issue

  • 2022-April /

Start / End Page

  • 756 - 771

International Standard Serial Number (ISSN)

  • 1530-0897

International Standard Book Number 13 (ISBN-13)

  • 9781665420273

Digital Object Identifier (DOI)

  • 10.1109/HPCA53966.2022.00061

Citation Source

  • Scopus