CAREER: Niche-based Systems: Uniform Abstractions for Non-uniform Hardware

职业：基于利基的系统：非统一硬件的统一抽象

• 批准号: 0643880
• 负责人: Steven Swanson
• 金额: $ 40万
• 依托单位: University of California-San Diego
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-04-01 至 2013-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0643880&HistoricalAwards=false
• 关键词: CAREER; Niche; based; Systems; Uniform

In the face of current technology trends, the drive for faster, less power-hungry, and easier-to-program computers will fundamentally alter how we design computer systems. Niche-based computer systems address these challenges by combining a diverse range of specialized and semi-specialized processors into a heterogeneous computing fabric. The niche-based software components provide a uniform abstraction for this fabric that makes it easy for programmers to utilize.Niche-based systems contain a configurable, non-uniform set of computing elements (CEs) that vary widely in capabilities, performance, and power consumption. The software runtime in a niche-based system provides a uniform abstraction and programming model for the non-uniform CEs. The runtime dynamically partitions programs across the CEs and translates them for execution. As a result, niche-based systems can exploit the power and performance advantages of specialized CEs to execute general-purpose computations more efficiently. Furthermore, niche-based systems can address the unintentional non-uniformity that manufacturing defects and device wear-out will cause in advanced process technologies.The PI is proposing exploring the design space for each of the hardware and software components in a Niche-based system and constructing prototype implementations. These components include three key software systems: the Niche runtime system and the translators for generating executable code for a range of CEs, a partially automated system for specifying (and verifying via formal method techniques) the behavior of a CE and generating the required CE-specific translator, and a front-end compiler to generate executables for Niche-based systems. The PI is also constructing a prototype Niche- based hardware system from commercially available hardware.

面对当前的技术趋势，对更快、更省电、更易于编程的计算机的追求将从根本上改变我们设计计算机系统的方式。 基于小生境的计算机系统通过将各种各样的专用和半专用处理器组合到异构计算结构中来解决这些挑战。 基于利基的软件组件为这种结构提供了一个统一的抽象，使程序员易于使用。基于利基的系统包含一组可配置的、非统一的计算元素（CE），这些元素在功能、性能和功耗方面差异很大。 基于小生境的系统中的软件运行时为非统一CE提供了统一的抽象和编程模型。 运行时在CE之间动态地划分程序，并转换它们以供执行。 因此，基于生态位的系统可以利用专用CE的功率和性能优势来更有效地执行通用计算。 此外，基于利基的系统可以解决制造缺陷和设备磨损在先进工艺技术中造成的无意不均匀性。PI建议探索基于利基的系统中每个硬件和软件组件的设计空间，并构建原型实现。 这些组件包括三个关键的软件系统：利基运行时系统和翻译器，用于为一系列CE生成可执行代码;部分自动化系统，用于指定（并通过形式化方法技术验证）CE的行为并生成所需的CE特定翻译器;以及前端编译器，用于为基于利基的系统生成可执行代码。 PI也正在从商用硬件中构建一个基于利基的原型硬件系统。