A performance-correctness explicitly-decoupled architecture
A performance-correctness explicitly-decoupled architecture
复制标题
性能正确性显式解耦的架构
DOI：
10.1109/micro.2008.4771800
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Michael C. Huang
中科院分区：
文献类型：
--
作者：
Alok Garg;Michael C. Huang
在处理器设计实践中，优化常见案例一直是一句格言。但是，随着系统的复杂性和优化技术的成熟程度大大增加，在所有情况下保持正确性，无论多么不可能，都导致在系统设计的所有层中都需要额外的保守主义。安装过程，电压和温度变化涉及设定操作参数时的保守主义。过度保守主义反过来损害了常见情况下的绩效和效率。但是，许多SystemPSILAS复杂性都来自高级性能功能，即使某些组件不完善并引入偶尔出现错误，也可能不会损害整个SystemPsilas功能和正确性。我们建议使用明确耦合的体系结构将绩效目标与正确性目标分开。在本文中，我们讨论了一种这样的化身，其中独立的核心是一种乐观的性能增强引擎，通过传递高质量预测并进行准确的预取料，有助于加速正确的保证核心。缺乏对乐观核心中正确性的关注使我们能够以更有效的方式优化其执行，而不是在优化具有正确性要求的单片核心方面。我们表明，这种脱钩的设计允许出色的优化优势，并且对在正确性域中应用的保守主义敏感得多。
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniquespsila sophistication have increased substantially, maintaining correctness under all situations, however unlikely, is contributing to the necessity of extra conservatism in all layers of the system design. The mounting process, voltage, and temperature variation concerns further add to the conservatism in setting operating parameters. Excessive conservatism in turn hurt performance and efficiency in the common case. However, much of the systempsilas complexity comes from advanced performance features and may not compromise the whole systempsilas functionality and correctness even if some components are imperfect and introduce occasional errors. We propose to separate performance goals from the correctness goal using an explicitly-decoupled architecture. In this paper, we discuss one such incarnation where an independent core serves as an optimistic performance enhancement engine that helps accelerate the correctness-guaranteeing core by passing high-quality predictions and performing accurate prefetching. The lack of concern for correctness in the optimistic core allows us to optimize its execution in a more effective fashion than possible in optimizing a monolithic core with correctness requirements. We show that such a decoupled design allows significant optimization benefits and is much less sensitive to conservatism applied in the correctness domain.