SHF: Small: HotBench: An Optimization Workbench for Hotspots

SHF：小型：HotBench：热点优化工作台

• 批准号: 1116802
• 负责人: Franz Franchetti
• 金额: $ 50万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-08-01 至 2015-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1116802&HistoricalAwards=false
• 关键词: SHF; Small; HotBench; Optimization; Workbench

The last decades have seen an enormous growth in the performance capabilities of computing platforms. One important driver in the computing revolution was productivity enabled by higher-level languages and software engineering methods that allow building and maintaining complex software systems. However, unable to fully utilize modern computer systems, software built that way can under-perform by several orders of magnitude on top-end workstations. With CPU frequency scaling coming to a halt and the switch to multicores, high-end systems become increasingly energy-constrained. In addition, as more computing is becoming mobile, inefficiency directly translates into wasted energy and shorter battery life, and ultimately, less usefulness.Today, high efficiency is mostly achieved through heroic human programming by a small number of experts. This research studies how to go beyond this unsustainable situation and how to make a high level of efficiency accessible to average programmers across a wide range of platforms and algorithms. The Hot Bench system developed in his research provides interactive optimization capabilities for the generation of highly efficient programs, for both average and expert users. It includes a comprehensive library of optimization strategies for targeting various kinds of algorithms, data structures, and target platforms. Expert users can add optimization strategies, target new instruction sets, or add new output languages. Less experienced programmers can learn how optimization works and how complicated architectures are programmed. The system is designed to be extensible to virtually any program type and target hardware, and to be able to encode all the necessary optimization methods and tricks. Hot Bench is in spirit similar to computer algebra/mathematics systems like Matlab, Maple, or Mathematical, and interactive theorem proves, applying their concept to hotspot tuning.

在过去的几十年中，计算平台的性能功能巨大的增长。计算革命中的一个重要驱动力是高级语言和软件工程方法允许构建和维护复杂的软件系统的生产力。但是，无法充分利用现代计算机系统，以这种方式构建的软件可以在高端工作站上的几个数量级。随着CPU频率缩放停止并切换到Multicores，高端系统变得越来越受到能源约束。此外，随着越来越多的计算的流动性，低效率直接转化为浪费的能量和较短的电池寿命，最终效用较小。这项研究研究了如何超越这种不可持续的情况，以及如何使普通程序员在广泛的平台和算法中访问高效率。他的研究中开发的热台系统为普通用户和专家用户的高效计划提供了交互式优化功能。它包括针对各种算法，数据结构和目标平台的全面优化策略库。专家用户可以添加优化策略，定位新的指令集或添加新的输出语言。经验不足的程序员可以学习优化的工作原理以及如何编程复杂的架构。该系统的设计几乎可以扩展到任何程序类型和目标硬件，并能够编码所有必要的优化方法和技巧。热台的精神类似于MATLAB，MAPLE或数学等计算机代数/数学系统，并且互动定理证明了它们的概念，将其概念应用于热点调整。