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

当现代计算机系统中出现新的硬件选择时，必须重写或重新定制软件代码以在新系统上工作。结果是应用程序代码库不能从一代无缝地移植到另一代。更糟糕的是，即使在给定的系统上，它们通常也不能完全或灵活地适应执行期间的动态变化。这项工作将减轻异构平台的复杂性、可移植性和健壮性挑战，同时继续获得高性能。利用研究团队在开源软件发布和课程开发方面的经验，该项目将分发在这些研究方向上开发的工具，并通过现有的异构体系结构设计和编程课程教授这些新工具。解决该项目的研究挑战需要从以处理器为中心的观点转向更广泛的视角，旨在管理通信问题。 研究团队将介绍“硬件验证”的概念，该概念可用于一系列用途，例如充当预取器，在不同通信协议之间进行转换，或协助设计师指定的属性的动态验证。该项目将自动设计和合成静态或动态内存，可以验证任意异构多核的内存一致性，设计师提供了一套订购规范。拟议的研究活动将证明在性能、功能稳健性、该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查进行评估，被认为值得支持的搜索.

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.