SHF: Small: The Whole Program Critical Path Approach to Parallelism

SHF：小：整个程序的并行关键路径方法

• 批准号: 1814654
• 负责人: David August
• 金额: $ 50万
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-10-01 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1814654&HistoricalAwards=false
• 关键词: SHF; Small; Whole; Program; Critical

Multicore processors are everywhere, from the smartphones in our pockets to compute nodes in data centers. The key to speed and energy efficiency in devices with multicore processors is in finding enough parallelism in computer programs to keep as many of the multiple cores active as possible. Historically, both computers and people have not been very good at finding enough parallelism for multicore processors. This leaves many cores idle, making multicore devices slow and inefficient. This project addresses this problem by helping computers and people extract previously unconsidered parallelism, parallelism that the investigator and others have shown to exist but is hidden because it spans large portions of the whole program. The project's novelties are new methods and tools to help computers and people extract this previously unconsidered parallelism in programs for multicore processors. The project's impacts are increased performance and energy efficiency for all multicore devices, from smartphones to data centers.Prior work by the investigator and others demonstrated the applicability and importance of considering the loop critical path in extracting scalable parallelism from loops. Despite the successes of the loop critical path approach, it misses many opportunities, and its gains seem to have plateaued. The problem is that optimal loop-local decisions often dismiss opportunities revealed by considering the whole program critical path. To realize these opportunities, this project goes beyond loop-level optimization by applying the lessons learned in earlier critical-path-based approaches to entire programs. This project's aim is a dramatically higher degree of parallelism realized by exploiting concurrency across loop invocations and through non-loop sections of programs. This project's tasks include analyzing information from dynamic data dependences to expose the whole program critical path, making this information readily accessible to both compilers and programmers, and guiding new compiler transformations to create even more scalable and efficient parallel versions of programs.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的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Architectural Support for Containment-based Security

基于遏制的安全性的架构支持

• DOI: 10.1145/3297858.3304020
• 发表时间: 2019
• 期刊: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems
• 作者: Zhang, Hansen;Ghosh, Soumyadeep;Fix, Jordan;Apostolakis, Sotiris;Beard, Stephen R.;Nagendra, Nayana P.;Oh, Taewook;August, David I.
• 通讯作者: August, David I.

MemoDyne: exploiting weakly consistent data structures for dynamic parallel memoization

MemoDyne：利用弱一致性数据结构进行动态并行记忆

• DOI: 10.1145/3243176.3243193
• 发表时间: 2018
• 期刊: Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques
• 作者: Prabhu, Prakash;Beard, Stephen R.;Apostolakis, Sotiris;Zaks, Ayal;August, David I.
• 通讯作者: August, David I.