Collaborative Research: PPoSS: Planning: Unifying Software and Hardware to Achieve Performant and Scalable Zero-cost Parallelism in the Heterogeneous Future

协作研究：PPoSS：规划：统一软件和硬件以在异构未来实现高性能和可扩展的零成本并行

基本信息

批准号：
2028958
负责人：
Kyle Hale
金额：
$ 4.16万
依托单位：
Illinois Institute of Technology
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2020
资助国家：
美国
起止时间：
2020-10-01 至 2022-09-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=2028958&HistoricalAwards=false
关键词：
Collaborative Research PPoSS Planning Unifying

项目摘要

Exploiting parallelism is essential to making full use of computer systems, and thus is intrinsic to most applications. Building parallel programs that can truly achieve the performance the hardware is capable of is extremely challenging even for experts. It requires a firm grasp of concepts that range from the very highest level to the very lowest, and that range is rapidly expanding. This project approaches this challenge along two lines, "theory down" and "architecture up". The first strives to simplify parallel programming through languages and algorithms. The second line strives to accelerate parallel programs through compilers, operating systems, and the hardware. The project's novelty is to bridge these two lines, which are usually treated quite distinctly by the research community. The unified team of researchers is addressing a specific subproblem, scheduling, and then determining how to expand out from it. The project's impact is in making it possible for ordinary programmers to program future parallel systems in a very high-level way, yet achieve the performance possible on the machine.The project studies an "intermediate representation out" approach to making high-level parallel abstractions implementable so that they can be used with zero cost. A core idea is to expand the compiler's intermediate representation such that it can capture both high-level parallel concepts and low-level machine and operating system structures, thus allowing full stack optimization. This planning project will flesh out this concept and set the stage for a larger scale effort in the future.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 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

期刊论文数量（7）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Task parallel assembly language for uncompromising parallelism

任务并行汇编语言可实现毫不妥协的并行性

DOI：
10.1145/3453483.3460969
发表时间：
2021-06
期刊：
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
影响因子：
0
作者：
Rainey, Mike;Newton, Ryan R.;Hale, Kyle;Hardavellas, Nikos;Campanoni, Simone;Dinda, Peter;Acar, Umut A.
通讯作者：
Acar, Umut A.

Enabling Extremely Fine-grained Parallelism via Scalable Concurrent Queues on Modern Many-core Architectures

通过现代多核架构上的可扩展并发队列实现极其细粒度的并行性

DOI：
10.1109/mascots53633.2021.9614292
发表时间：
2021-11
期刊：
and Simulation of Computer and Telecommunication Systems (MASCOTS '21
影响因子：
0
作者：
Nookala, Poornima;Dinda, Peter;Hale, Kyle C.;Chard, Kyle;Raicu, Ioan
通讯作者：
Raicu, Ioan

Bolt: Fast Inference for Random Forests

Bolt：随机森林的快速推理

DOI：
10.1145/3528535.3531519
发表时间：
2022-10
期刊：
Proceedings of the 23rd ACM/IFIP International Middleware Conference
影响因子：
0
作者：
Romero, Eduardo;Stewart, Christopher;Li, Angela;Hale, Kyle;Morris, Nathaniel
通讯作者：
Morris, Nathaniel

Paths to OpenMP in the kernel

内核中 OpenMP 的路径

DOI：
10.1145/3458817.3476183
发表时间：
2021-11
期刊：
Storage and Analysis (SC '21
影响因子：
0
作者：
Ma, Jiacheng;Wang, Wenyi;Nelson, Aaron;Cuevas, Michael;Homerding, Brian;Liu, Conghao;Huang, Zhen;Campanoni, Simone;Hale, Kyle;Dinda, Peter
通讯作者：
Dinda, Peter

Modeling Speedup in Multi-OS Environments

多操作系统环境中的建模加速