SHF : Medium : Collaborative Research: Decentralized On-Chip Infrastructure for Robustness and Portability in Heterogeneous Multicores

SHF：媒介：协作研究：异构多核中的分散片上基础设施的稳健性和可移植性

• 批准号: 1764000
• 负责人: Luca Carloni
• 金额: $ 45万
• 依托单位: Columbia University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-09-01 至 2024-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1764000&HistoricalAwards=false
• 关键词: SHF; Medium; Collaborative; Research; Decentralized

When new hardware options emerge in modern computer systems, software code must be rewritten or retailored to work on the new systems. The result is that application code-bases do not seamlessly port from one generation to another. Even worse, they often cannot fully or nimbly adjust to dynamic variations during execution even on a given system. This work will mitigate the complexity, portability, and robustness challenges of heterogeneous platforms, while also continuing to garner high performance. Leveraging the research team's experience in open-source software release and curriculum development, this project will distribute the tools developed in these research thrusts as well as teach these new tools via an existing course on design and programming of heterogeneous architectures.Addressing the research challenges of this project requires moving away from a processor-centric viewpoint, and towards a broader perspective aimed at managing communication issues. The research team will introduce the concept of "hardware shims" that can be employed for a range of uses such as acting as prefetchers, translating between different communication protocols, or assisting with dynamic verification of properties specified by the designer. The project will automate the design and synthesis of static or dynamic shims that can verify the memory consistency of an arbitrary heterogeneous multicore for which the designer provides a set of ordering specifications. The proposed research activities will demonstrate gains in performance, functional robustness, and code portability as the application is compiled and executed on systems that differ significantly in terms of the number and type of processors and specialized hardware accelerators that they use.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.

当现代计算机系统中出现新的硬件选项时，必须重写或零售软件代码以在新系统上工作。结果是应用程序代码基础不会从一代到另一代无缝端口。更糟糕的是，即使在给定系统上，它们通常也无法完全或灵活地适应执行过程中的动态变化。这项工作将减轻异构平台的复杂性，可移植性和鲁棒性挑战，同时也继续获得高性能。该项目利用研究团队在开源软件发布和课程开发方面的经验，将分发这些研究推力中开发的工具，并通过现有的有关异构体系结构的设计和编程课程来教授这些新工具。对该项目的研究挑战进行了研究，需要从该项目的研究挑战中，需要从过程中以流程机为中心的角度来探讨一个较广泛的沟通，并进行了较广泛的交流，请访问较广泛的交流。 研究团队将介绍可用于诸如前摘要，在不同的通信协议之间转换或协助设计人员指定的属性的“硬件垫片”的概念。该项目将自动化静态或动态垫片的设计和合成，这些垫片可以验证设计人员为其提供一组订购规格的任意异质多核心的内存一致性。拟议的研究活动将证明其性能，功能鲁棒性和代码可移植性的提高性，因为该应用程序是在处理器的数量和类型和专业的硬件加速器方面都显着差异的系统，这些奖项反映了NSF的法规任务，并被认为是通过基金会的智力优点和广泛的评估来评估的，并且值得通过评估来进行评估。

项目成果

CRYLOGGER: Detecting Crypto Misuses Dynamically

• DOI: 10.1109/sp40001.2021.00010
• 发表时间: 2020-07
• 期刊: 2021 IEEE Symposium on Security and Privacy (SP)
• 作者: Luca Piccolboni;G. D. Guglielmo;L. Carloni;S. Sethumadhavan

DB4HLS: A Database of High-Level Synthesis Design Space Explorations

DB4HLS：高级综合设计空间探索数据库

• DOI: 10.1109/les.2021.3066882
• 发表时间: 2021
• 期刊: IEEE Embedded Systems Letters
• 影响因子: 1.6
• 作者: Ferretti, Lorenzo;Kwon, Jihye;Ansaloni, Giovanni;Di Guglielmo, Giuseppe;Carloni, Luca;Pozzi, Laura
• 通讯作者: Pozzi, Laura

PR-ESP: An Open-Source Platform for Design and Programming of Partially Reconfigurable SoCs

PR-ESP：用于部分可重配置 SoC 设计和编程的开源平台

• DOI: 10.23919/date56975.2023.10137141
• 发表时间: 2023
• 期刊: Automation & Test in Europe Conference & Exhibition (DATE
• 作者: Seyoum, Biruk;Giri, Davide;Chiu, Kuan-Lin;Natter, Bryce;Carloni, Luca
• 通讯作者: Carloni, Luca

EigenEdge: Real-Time Software Execution at the Edge with RISC-V and Hardware Accelerators

• DOI: 10.1145/3576914.3587510
• 发表时间: 2023-05
• 期刊: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023
• 作者: Kuan-Lin Chiu;Guy Eichler;Biruk B. Seyoum;L. Carloni

Cross-ISA machine instrumentation using fast and scalable dynamic binary translation

• DOI: 10.1145/3313808.3313811
• 发表时间: 2019-04
• 期刊: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
• 作者: E. G. Cota;L. Carloni