SHF: Small: Provably Efficient Dynamic Analysis Tools for Task Parallel Computations

SHF：小型：可证明高效的任务并行计算动态分析工具

基本信息

批准号：
1910568
负责人：
I-Ting Lee
金额：
$ 49.9万
依托单位：
Washington University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2019
资助国家：
美国
起止时间：
2019-10-01 至 2024-09-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1910568&HistoricalAwards=false
关键词：
SHF Small Provably Efficient Dynamic

项目摘要

The widespread deployment of multicore platforms --- from personal computers to mobile devices to supercomputers --- has made it critical to develop support for writing correct and efficient parallel software that can efficiently utilize the multicore platforms. Parallel programming is no longer a trade performed by only experts, or a practice required by a specific domain such as scientific computing; it is now required for general-purpose computing. Yet, writing correct parallel code that utilizes multicore efficiently is still notoriously difficult. This project aims to develop a suite of software engineering tools to aid the task of writing efficient parallel code. The project's impacts include simplifying the task of writing correct and efficient parallel code and thereby improving both the programmer's productivity and efficient utilization of modern multicore hardware. The project focuses on developing tools for task parallelism, a programming model widely employed by modern parallel software platforms, such as OpenMP, Intel Threading Building Blocks, and various dialects of Cilk and Habanero. With task parallelism, the language constructs express the logical parallelism of the computation, and let an underlying runtime scheduler automate tasks such as load balancing and coordinations among subcomputations. The task parallel model provides many benefits: it allows the programmer to focus on implementing the functionality of the application without worrying about scheduling logics; the programming model is processor-oblivious and has a well-defined cost model; finally, the scheduler can provide provable guarantees on resource usage. In this project, the investigators study and develop both algorithms and software support for tools to debug unstructured and nondeterministic synchronization primitives, to analyze scalability of nondeterministic code, and to combat work inflation in task parallel computations.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.

多核平台的广泛部署（从个人计算机到移动设备再到超级计算机）使得开发对编写能够有效利用多核平台的正确且高效的并行软件的支持变得至关重要。并行编程不再是仅由专家执行的行业，也不再是科学计算等特定领域所需的实践；现在通用计算需要它。然而，编写有效利用多核的正确并行代码仍然是出了名的困难。该项目旨在开发一套软件工程工具来帮助完成编写高效并行代码的任务。该项目的影响包括简化编写正确且高效的并行代码的任务，从而提高程序员的生产力和现代多核硬件的有效利用。该项目专注于开发任务并行工具，这是现代并行软件平台广泛采用的一种编程模型，例如 OpenMP、英特尔线程构建模块以及 Cilk 和 Habanero 的各种方言。通过任务并行性，语言结构表达了计算的逻辑并行性，并让底层运行时调度程序自动执行任务，例如负载平衡和子计算之间的协调。任务并行模型提供了很多好处：它允许程序员专注于实现应用程序的功能，而不必担心调度逻辑；编程模型与处理器无关，并且具有明确定义的成本模型；最后，调度程序可以为资源使用提供可证明的保证。在这个项目中，研究人员研究和开发了算法和软件支持工具，以调试非结构化和非确定性同步原语，分析非确定性代码的可扩展性，并对抗任务并行计算中的工作膨胀。该奖项反映了 NSF 的法定使命，并已被通过使用基金会的智力优点和更广泛的影响审查标准进行评估，认为值得支持。

项目成果

期刊论文数量（10）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Parallel determinacy race detection for futures

未来的并行确定性竞争检测

DOI：
10.1145/3332466.3374536
发表时间：
2020
期刊：
Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
影响因子：
0
作者：
Xu, Yifan;Singer, Kyle;Lee, I-Ting Angelina
通讯作者：
Lee, I-Ting Angelina

An Efficient Scheduler for Task-Parallel Interactive Applications

DOI：
10.1145/3558481.3591092
发表时间：
2023-06
期刊：
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures
影响因子：
0
作者：
Kyle Singer;Kunal Agrawal;I. Lee
通讯作者：
Kyle Singer;Kunal Agrawal;I. Lee

Efficient Access History for Race Detection

用于种族检测的高效访问历史记录

DOI：
10.1145/3409964.3461825
发表时间：
2022
期刊：
022 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX
影响因子：
0
作者：
Xu, Yifan;Zhou, Anchengcheng;Yin, Grace Q.;Agrawal, Kunal;Lee, I-Ting Angelina;Schardl, Tao B.
通讯作者：
Schardl, Tao B.

Responsive parallelism with futures and state

与 future 和 state 的响应式并行

DOI：
10.1145/3385412.3386013
发表时间：
2020
期刊：
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
0
作者：
Muller, Stefan K.;Singer, Kyle;Goldstein, Noah;Acar, Umut A.;Agrawal, Kunal;Lee, I-Ting Angelina
通讯作者：
Lee, I-Ting Angelina

PINT: Parallel INTerval-Based Race Detector

PINT：基于并行间隔的竞赛检测器