SHF: Small: Hardware-Software Co-Designed Coherence: A Complete Coherence Solution for Performance-, Energy-, and Complexity-Efficiency

SHF：小型：硬件-软件协同设计的一致性：针对性能、能源和复杂性效率的完整一致性解决方案

• 批准号: 1619245
• 负责人: Sarita Adve
• 金额: $ 45万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-06-15 至 2021-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1619245&HistoricalAwards=false
• 关键词: SHF; Small; Hardware; Software; Co

As the benefits from transistor scaling slow down, future performance increases in computing systems will increasingly rely on architectural advances. Today processors use parallelism and increasing amounts of specialization to provide this performance growth. An efficient memory hierarchy is key to achieving the full potential of both of these techniques. The coherence protocol and memory consistency model are at the heart of the complexity-, performance-, and energy-efficiency of the memory hierarchy. Unfortunately, across a variety of systems, coherence protocols and consistency models continue to struggle to obtain an appropriate balance between complexity, performance, and energy consumption. Recently, there has been work on hybrid hardware-software co-designed protocols, exemplified by the DeNovo protocol, which takes a different approach, combining the best of pure hardware and pure software protocols. The key insight is that if software is disciplined, then it is possible to design more efficient hardware. Multiple versions of the DeNovo system have successively relaxed the software restrictions. Introducing such a new technology in classrooms to both graduate and undergraduate students will better prepare them for future memory trend and challenges. Disseminating the results of this research via publications, seminars, tutorials etc. will bring new technology awareness to the community and create more synergy among academia and industry. Prior work has established the potential for DeNovo as a general-purpose system with significant advantages over the state-of-the-art. However, this work of necessity has been limited to simple workloads. Consideration of DeNovo as a viable system for widespread industrial adoption requires demonstrating an integrated system that can run complex workloads (e.g., operating systems) and legacy binaries. This project addresses the remaining research issues to achieve this goal. Although this work is driven by considerations for hybrid hardware-software coherence protocols, the intellectual contributions extend beyond those protocols as well; e.g., integrated support for efficient, coherent data accesses using a variety of disciplines ranging from completely unstructured to highly structured, statically analyzable accesses; a systematic exploration of relaxed atomics, a widely accepted difficulty in current memory consistency models; and understanding concurrent data structures and system code in a coherence neutral way.

随着晶体管扩展带来的好处放缓，计算系统未来的性能提升将越来越依赖于体系结构的进步。如今，处理器使用并行性和越来越多的专门化来提供这种性能增长。高效的内存层次结构是充分发挥这两种技术潜力的关键。一致性协议和内存一致性模型是内存层次结构复杂性、性能和能效的核心。遗憾的是，在各种系统中，一致性协议和一致性模型仍然难以在复杂性、性能和能耗之间取得适当的平衡。最近，已经有关于混合硬件-软件共同设计协议的工作，DeNovo协议就是一个例子，它采取了一种不同的方法，结合了纯硬件和纯软件协议的优点。关键的见解是，如果软件是有纪律的，那么就有可能设计出更高效的硬件。多个版本的DeNovo系统先后放宽了软件限制。在课堂上向研究生和本科生介绍这种新技术将使他们更好地为未来的记忆趋势和挑战做好准备。通过出版物、研讨会、教程等传播这项研究的结果将为社区带来新的技术意识，并在学术界和产业界之间创造更多的协同效应。之前的工作已经为DeNovo作为一个具有显著优势的通用系统奠定了潜力。然而，这项必要的工作仅限于简单的工作负载。要将DeNovo视为广泛采用的可行系统，需要展示一个可以运行复杂工作负载(例如，操作系统)和旧式二进制文件的集成系统。该项目解决了实现这一目标的剩余研究问题。尽管这项工作是由对混合硬件-软件一致性协议的考虑推动的，但智力贡献也超出了这些协议；例如，使用从完全非结构化到高度结构化、可静态分析的各种规程对高效、一致性数据访问的集成支持；对松弛原子学的系统探索，这是当前存储器一致性模型中广泛接受的困难；以及以一致性中立的方式理解并发数据结构和系统代码。