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

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。使用任务并行性，语言构造表达计算的逻辑并行性，并允许底层运行时调度器自动执行诸如负载平衡和子计算之间的协调之类的任务。任务并行模型提供了许多好处：它允许程序员专注于实现应用程序的功能，而不必担心调度逻辑；编程模型是处理器无关的，并且具有定义良好的成本模型；最后，调度器可以为资源使用提供可证明的保证。在这个项目中，研究人员研究和开发算法和软件支持工具，以调试非结构化和不确定的同步原语，分析不确定代码的可伸缩性，并在任务并行计算中对抗工作膨胀。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

期刊论文数量（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：基于并行间隔的竞赛检测器