SHF: Small: HotBench: An Optimization Workbench for Hotspots

在过去的几十年里，计算平台的性能能力有了巨大的增长。计算革命的一个重要驱动力是高级语言和软件工程方法带来的生产力，这些语言和软件工程方法允许构建和维护复杂的软件系统。然而，由于无法充分利用现代计算机系统，以这种方式构建的软件在高端工作站上的性能可能会落后几个数量级。随着CPU频率调整的停止和向多核的转变，高端系统变得越来越能源紧张。此外，随着越来越多的计算变得移动化，低效直接转化为能源浪费和电池寿命缩短，最终导致无用。如今，高效率主要是通过少数专家英勇的人工编程实现的。这项研究研究如何超越这种不可持续的情况，以及如何使普通程序员在各种平台和算法上都能获得高水平的效率。在他的研究中开发的热板凳系统为生成高效率的程序提供了交互优化功能，无论是普通用户还是专家用户。它包括针对各种算法、数据结构和目标平台的全面优化策略库。专家用户可以添加优化策略、针对新的指令集或添加新的输出语言。经验较少的程序员可以了解优化是如何工作的，以及复杂的架构是如何编程的。该系统被设计成可扩展到几乎任何程序类型和目标硬件，并能够编码所有必要的优化方法和技巧。热板凳在本质上类似于计算机代数/数学系统，如MatLab、Maple或数学，交互定理证明了这一点，将它们的概念应用于热点调整。

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.