权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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的法定使命，并已通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

期刊论文数量（13）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

CRYLOGGER: Detecting Crypto Misuses Dynamically

DOI：
10.1109/sp40001.2021.00010
发表时间：
2020-07
期刊：
2021 IEEE Symposium on Security and Privacy (SP)
影响因子：
0
作者：
Luca Piccolboni;G. D. Guglielmo;L. Carloni;S. Sethumadhavan
通讯作者：
Luca Piccolboni;G. D. Guglielmo;L. Carloni;S. Sethumadhavan

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
影响因子：
0
作者：
Seyoum, Biruk;Giri, Davide;Chiu, Kuan-Lin;Natter, Bryce;Carloni, Luca
通讯作者：
Carloni, Luca

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

Towards a Complete Methodology for Synthesizing Bundled-Data Asynchronous Circuits on FPGAs

建立在 FPGA 上综合捆绑数据异步电路的完整方法

DOI：
10.1109/islped.2019.8824912
发表时间：
2019
期刊：
2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED
影响因子：
0
作者：
Bhardwaj, Kshitij;Mantovani, Paolo;Carloni, Luca P.;Nowick, Steven M.
通讯作者：
Nowick, Steven M.

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