Collaborative Research: FMitF: Track I: Synthetic Compilation for Embedded Systems

合作研究：FMitF：第一轨：嵌入式系统综合编译

• 批准号: 2124045
• 负责人: Adrian Sampson
• 金额: $ 36.53万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-10-01 至 2025-09-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2124045&HistoricalAwards=false
• 关键词: Collaborative; Research; FMitF; Track; Synthetic

Embedded systems play an increasingly critical role in modern computing applications. These systems fit intensive workloads like machine learning and cryptography into small power envelopes by developing custom hardware with domain-specific accelerated instructions. Such customized processors are only useful when accompanied by custom compilers that can harness their novel functionality. Today, these compilers must be developed anew for each customized embedded system, but compiler development is error-prone and risks correctness issues or poor performance of the generated code. This project will develop a new framework for rapidly developing custom embedded-system compilers that are verified to be correct and generate high-performance code. The framework will develop and extend techniques that use program synthesis to facilitate compilation for flexible hardware targets. It will develop new approaches to improve scalability to large compilation problems and to automate the process of inferring rules for a given compilation setting. The resulting framework will benefit embedded system designers by accelerating their development cycle and increasing confidence in the correctness of widely distributed embedded applications. This project's results will be shared through open-source software and publications and will be used to expand undergraduate systems classes to cover synthesis-based techniques.The technical approach will involve developing Ember, a toolkit for quickly producing verified, high-performance compilers. Ember will address three research challenges: (1) a new specification language for custom embedded processor ISAs that captures enough detail to guide synthesis-based compilers while still making the specification effort tractable; (2) expanding the scope of synthesis-aided compilation by using decomposition both of the input program and of the synthesis engine itself; and (3) advancing the use of equality saturation for discovering efficient data movement patterns by automatically inferring and verifying a suitable rewrite system from a processor's ISA specification. The Ember toolkit will use applications in computer vision and augmented reality as driving examples to demonstrate flexibility and end-to-end efficiency.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

嵌入式系统在现代计算应用中扮演着越来越重要的角色。这些系统通过开发具有特定于域的加速指令的定制硬件，将机器学习和密码学等密集工作负载适应到小功率信封中。这样的定制处理器只有在配有能够利用其新颖功能的定制编译器时才有用。今天，这些编译器必须为每个定制的嵌入式系统重新开发，但编译器开发容易出错，并存在生成代码的正确性问题或性能低下的风险。该项目将开发一个新的框架，用于快速开发经验证正确并生成高性能代码的定制嵌入式系统编译器。该框架将开发和扩展使用程序合成的技术，以促进灵活的硬件目标的编译。它将开发新的方法，以提高对大型编译问题的可伸缩性，并自动为给定的编译设置推断规则的过程。由此产生的框架将使嵌入式系统设计人员受益，因为他们加快了开发周期，并增加了对广泛分布的嵌入式应用程序正确性的信心。该项目的成果将通过开源软件和出版物共享，并将用于扩展本科系统课程，以涵盖基于综合的技术。技术方法将涉及开发Ember，这是一个用于快速生成经过验证的高性能编译器的工具包。EMBER将解决三个研究挑战：(1)定制嵌入式处理器ISA的新规范语言，该语言捕获足够的细节来指导基于合成的编译器，同时仍使规范工作易于处理；(2)通过使用输入程序和合成引擎本身的分解来扩大合成辅助编译的范围；以及(3)通过从处理器的ISA规范自动推断和验证合适的重写系统，推进相等饱和度的使用，以发现高效的数据移动模式。Ember工具包将使用计算机视觉和增强现实中的应用程序作为驱动示例，以展示灵活性和端到端的效率。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Modular Hardware Design with Timeline Types

具有时间线类型的模块化硬件设计

• DOI: 10.1145/3591234
• 发表时间: 2023
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Nigam, Rachit;Azevedo de Amorim, Pedro Henrique;Sampson, Adrian
• 通讯作者: Sampson, Adrian

Stepwise Debugging for Hardware Accelerators

硬件加速器的逐步调试

• DOI: 10.1145/3575693.3575717
• 发表时间: 2023
• 期刊: 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
• 作者: Berlstein, Griffin;Nigam, Rachit;Gyurgyik, Christophe;Sampson, Adrian
• 通讯作者: Sampson, Adrian