HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols

被引：1

作者：

Oswald, Nicolai ^{[1
]}

Nagarajan, Vijay ^{[2
]}

Sorin, Daniel J. ^{[3
]}

Gavrielatos, Vasilis ^{[4
]}

Olausson, Theo X. ^{[5
]}

Carr, Reece ^{[6
]}

机构：

[1] NVIDIA, CH-8004 Zurich, Switzerland

[2] Univ Utah, Kahlert Sch Comp, Salt Lake City, UT 84112 USA

[3] Duke Univ, Durham, NC 27708 USA

[4] Huawei Res UK, Edinburgh EH3 8BL, Scotland

[5] MIT, Cambridge, MA 02139 USA

[6] Univ Edinburgh, Edinburgh EH8 9AB, Scotland

来源：

IEEE MICRO | 2023年 / 43卷 / 04期

基金：

英国工程与自然科学研究理事会; 美国国家科学基金会;

关键词：

Protocols; Compounds; Program processors; Instruction sets; Computational modeling; Coherence; Load modeling;

D O I：

10.1109/MM.2023.3274993

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We address the two challenges architects face when designing heterogeneous processors with cache-coherent shared memory. First, we introduce HeteroGen, an automated tool for composing clusters of cores, each with its own coherence protocol. Second, we show that the output of HeteroGen conforms to a precisely defined memory consistency model that we call a compound consistency model. We also demonstrate that HeteroGen can correctly fuse a wide range of coherence protocols. Our experiments indicate that protocols generated by HeteroGen perform comparably to a publicly available manually generated heterogeneous protocol.

引用

页码：62 / 70

页数：9

共 12 条

[1] Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Alglave, Jade
Maranget, Luc
Tautschnig, Michael
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 36 (02):
[2] Spandex: A Flexible Interface for Efficient Heterogeneous Coherence
Alsop, Johnathan
Sinclair, Matthew D.
Adve, Sarita V.
[J]. 2018 ACM/IEEE 45TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA), 2018, : 261 - 274
[3] [Anonymous], 2016, 2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
[4] Byn Choi, 2011, Proceedings 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT), P155, DOI 10.1109/PACT.2011.21
[5] Dill D. L., 1996, Computer Aided Verification. 8th International Conference, CAV '96. Proceedings, P390
[6] Elver M, 2014, INT S HIGH PERF COMP, P165, DOI 10.1109/HPCA.2014.6835927
[7] ArMOR: Defending Against Memory Consistency Model Mismatches in Heterogeneous Architectures
Lustig, Daniel
Trippel, Caroline
Pellauer, Michael
Martonosi, Margaret
[J]. 2015 ACM/IEEE 42ND ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA), 2015, : 388 - 400
[8] Nagarajan Vijay, 2020, A Primer on Memory Consistency and Cache Coherence, V2nd
[9] HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols
Oswald, Nicolai
Nagarajan, Vijay
Sorin, Daniel J.
Gavrielatos, Vasilis
Olausson, Theo
Carr, Reece
[J]. 2022 IEEE INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE (HPCA 2022), 2022, : 756 - 771
[10] HieraGen: Automated Generation of Concurrent, Hierarchical Cache Coherence Protocols
Oswald, Nicolai
Nagarajan, Vijay
Sorin, Daniel J.
[J]. 2020 ACM/IEEE 47TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA 2020), 2020, : 888 - 899

← 1 2 →