SHF: Medium: Title: Idempotent Processing and Architectures

SHF：媒介：标题：幂等处理和架构

• 批准号: 1162215
• 负责人: Karthikeyan Sankaralingam
• 金额: $ 60万
• 依托单位: University of Wisconsin-Madison
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-08-01 至 2017-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1162215&HistoricalAwards=false
• 关键词: SHF; Medium; Title; Idempotent; Processing

For many decades, Moore's Law has allowed exponential growth in computing capability while simultaneously reducing the power consumed by digital devices. Due to fundamental material properties and engineering challenges, in the future the power and energy efficiency of transistors that are the building blocks of digital devices will not improve significantly. Thus to continue providing performance improvements without increasing power consumption, new techniques to design microprocessors are required. This research project looks at a new approach to build microprocessors to make them more energy efficient. The main idea in this research project is to develop techniques allowing microprocessors to efficiently predict without having to expend power-hungry resources to recover in case the prediction is wrong. The research leverages the mathematical principle of idempotence (doing something multiple times producing the same result) in a novel way. In this project, this principle is applied to microprocessor design to develop a class of processors called Idempotent Processors. The research addresses formal theoretical analysis of the technique, ways to build software compilers, and microprocessor designs spanning CPUs to GPUs to exploit this principle. The core idea of this project is to use the property of idempotence: performing an idempotent operation many times produces the same result. The research builds upon the following insight: applications naturally decompose into a continuous series of idempotent regions; i.e., their execution can be broken down into a set of regions, where each region is idempotent - re-execution has no side-effects. The research develops the idea of Idempotent Processors, whose fundamental abstraction is executing idempotent regions of code. This allows novel modifications to the microprocessor pipeline and allows many forms of speculation without the need to restore any state prior to re-execution. This design approach unifies speculation for performance, reliability, and energy efficient execution under one principled approach. The static analysis research formalizes the notion of idempotence and investigates mechanisms for determining idempotent regions. The compiler implementation for various ISAs (instruction set architectures), CPUs (central processing units), and GPUs (grahics processing units) evaluates the approach quantitatively. The project's end-to-end solutions across multiple synergistic directions have potential for disruptive impact. The project involves collaborative work between UW-Madison and UT-San Antonio and involves under-graduate researchers, exchanges visits between institutions, and explores integrated curriculum enhancement and outreach across UW and UTSA. The project's multi-disciplinary and multi-institution collaboration provides distributed impact.

几十年来，摩尔定律使得计算能力呈指数级增长，同时降低了数字设备的功耗。由于基本的材料特性和工程挑战，未来作为数字设备构建模块的晶体管的功率和能效将不会显着提高。因此，为了在不增加功耗的情况下继续提供性能改进，需要设计微处理器的新技术。该研究项目着眼于一种构建微处理器的新方法，以提高其能源效率。该研究项目的主要思想是开发一种技术，使微处理器能够有效地进行预测，而无需花费高耗电的资源来在预测错误时进行恢复。该研究以一种新颖的方式利用幂等性的数学原理（多次做某事产生相同的结果）。在这个项目中，这一原理被应用到微处理器设计中，开发出一类称为幂等处理器的处理器。该研究涉及该技术的正式理论分析、构建软件编译器的方法以及从 CPU 到 GPU 的微处理器设计，以利用这一原理。该项目的核心思想是利用幂等性：多次执行幂等操作会产生相同的结果。该研究基于以下见解：应用程序自然地分解为一系列连续的幂等区域；即，它们的执行可以分解为一组区域，其中每个区域都是幂等的——重新执行没有副作用。该研究提出了幂等处理器的概念，其基本抽象是执行幂等代码区域。这允许对微处理器管道进行新颖的修改，并允许多种形式的推测，而无需在重新执行之前恢复任何状态。这种设计方法将性能、可靠性和节能执行的推测统一在一个原则方法下。 静态分析研究形式化了幂等的概念，并研究了确定幂等区域的机制。 各种 ISA（指令集架构）、CPU（中央处理单元）和 GPU（图形处理单元）的编译器实现对该方法进行了定量评估。该项目跨多个协同方向的端到端解决方案具有潜在的颠覆性影响。该项目涉及威斯康星大学麦迪逊分校和德克萨斯大学圣安东尼奥分校之间的合作，涉及本科生研究人员、机构之间的互访，并探索威斯康星大学和德克萨斯大学圣安东尼奥分校之间的综合课程强化和推广。 该项目的多学科和多机构合作产生了分散的影响。