Collaborative Research: PPoSS: Planning: A Disciplined Approach to Scaling in the Post-Moore’s Law Era

合作研究：PPoSS：规划：后摩尔定律时代扩展的有纪律的方法

• 批准号: 2119070
• 负责人: David August
• 金额: $ 15.87万
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-07-15 至 2022-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2119070&HistoricalAwards=false
• 关键词: Collaborative; Research; PPoSS; Planning; Disciplined

General-purpose processor speeds have not increased at their historical rates for over 15 years. Designers have instead offered scalable computing systems with additional barriers to realizing the performance gains that once came "for free" with each processor generation. This situation has slowed the progress of all endeavors that involve scalable computing. A disciplined approach to reversing this trend must start and end with a direct engagement with the scalable-system users and programmers faced with these barriers. With this goal, the investigators are performing in-depth face-to-face interviews with a broad set of users. In addition, with these users, the project team is also examining codes, exchanging ideas, and offering assistance. This is producing a deep understanding of how users are coping with their growing demands for computing while computing is placing more demands upon them. The project’s novelties are this in-depth study and the resulting formulation of an approach to address the limitations of scalable computing based on real users' needs. The project’s impacts are the dissemination of the survey results and a recommended approach forward that restores meaningful layers of abstraction to scalable systems, freeing programmers from being drawn deeper into the complexity of scalable computing while delivering higher performance to them.The investigators performed a similar study in 2011. With this planning grant: (1) They are conducting a more ambitious study with agreater diversity of subjects. By re-engaging as many 2011 subjects as possible, this becomes a longitudinal study capable of revealingtrends not visible in any single point-in-time study. (2) The investigators are using these interactions to explore transitioningtheir foundational work to practice, to build a larger team, and to expand the scope of future work. The results of the 2011 study inspired the investigators to produce breakthroughs in speculation, dependence handling, latency tolerance, and automatic parallelization. The 2021 study serves as a vehicle to explore ways to transition these results to practice. (3) The investigators believe that hardware can be more domain-adept without being domain-specific. Using prior insights, they are exploring hardware/software concepts that deliver top performance levels without undue programmer burden. By testing these ideas in the context of the study, the investigators can best frame the problem, refine approaches, and test hypotheses in the context of actual needs, opportunities, and constraints. All of these activities ensure that future work in scalable systems will have greater impact.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.

15年来，通用处理器的速度尚未按其历史速度提高。相反，设计师提供了可扩展的计算系统，并具有其他障碍，以实现每次处理器生成的“免费”的性能增长。这种情况减慢了涉及可扩展计算的所有努力的进步。逆转这一趋势的纪律态度必须以与面对这些障碍的可扩展系统用户和程序员的直接交战开始和结束。有了这个目标，调查人员正在与广泛的用户进行深入的面对面访谈。此外，对于这些用户，项目团队还正在检查代码，改变想法并提供帮助。这对用户如何应对计算的不断增长的计算需求有深刻的了解，对他们的计算需求增加了更多的需求。该项目的新颖性是这项深入的研究，以及根据真实用户需求来解决可扩展计算局限性的方法的公式。该项目的影响是对调查结果的传播以及建议的方法，该方法将有意义的抽象层恢复到可扩展系统中，使程序员无法更深入地了解可扩展计算的复杂性，同时为他们提供了更高的性能。调查人员在2011年进行了类似的研究。通过这项计划授予：（1）他们正在进行更加谨慎的研究，并进行了一项更加良好的研究。通过重新吸引尽可能多的2011年受试者，这成为一项纵向研究，能够在任何单个时间点研究中揭示不可见的趋势。 （2）调查人员正在使用这些互动来探索过渡到的基础工作，以练习，建立更大的团队并扩大未来工作的范围。 2011年研究的结果启发了研究人员在投机，依赖性处理，延迟耐受性和自动并行化方面产生突破。 2021年的研究是探索过渡这些结果练习的方法的工具。 （3）调查人员认为，硬件可以更受域名，而无需特定领域。使用先前的见解，他们正在探索硬件/软件概念，这些概念可以提供最高的性能水平，而无需无效的程序员Burnen。通过在研究背景下测试这些思想，研究人员可以在实际需求，机会和约束的背景下最好地构建问题，完善方法和检验假设。所有这些活动确保了可扩展系统中未来的工作将产生更大的影响。该奖项反映了NSF的法定任务，并通过使用基金会的知识分子优点和更广泛的影响评估标准来评估，被认为是宝贵的支持。

项目成果

NOELLE Offers Empowering LLVM Extensions

NOELLE 提供强大的 LLVM 扩展

• DOI: 10.1109/cgo53902.2022.9741276
• 发表时间: 2022
• 期刊: 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO
• 作者: Matni, Angelo;Deiana, Enrico Armenio;Su, Yian;Gross, Lukas;Ghosh, Souradip;Apostolakis, Sotiris;Xu, Ziyang;Tan, Zujun;Chaturvedi, Ishita;Homerding, Brian
• 通讯作者: Homerding, Brian

Safer at any speed: automatic context-aware safety enhancement for Rust

在任何速度下都更安全：Rust 的自动上下文感知安全增强

• DOI: 10.1145/3485480
• 发表时间: 2021
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Popescu, Natalie;Xu, Ziyang;Apostolakis, Sotiris;August, David I.;Levy, Amit
• 通讯作者: Levy, Amit