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

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

• 批准号: 2118708
• 负责人: Simone Campanoni
• 金额: $ 9.13万
• 依托单位: Northwestern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-07-15 至 2023-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2118708&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)调查人员认为，硬件可以更擅长于领域，而不是特定于领域。利用先前的见解，他们正在探索硬件/软件概念，以提供最高的性能水平，而不会给程序员带来不必要的负担。通过在研究背景下测试这些想法，研究人员可以在实际需求、机会和限制的背景下最好地框定问题、改进方法并检验假设。所有这些活动确保了未来在可扩展系统中的工作将产生更大的影响。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

SPLENDID: Supporting Parallel LLVM-IR Enhanced Natural Decompilation for Interactive Development

• DOI: 10.1145/3582016.3582058
• 发表时间: 2023-03
• 期刊: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3
• 作者: Zujun Tan;Yebin Chon;Michael Kruse;J. Doerfert;Ziyang Xu;Brian Homerding;Simone Campanoni;David I

WARDen: Specializing Cache Coherence for High-Level Parallel Languages

WARDen：专门针对高级并行语言的缓存一致性

• DOI: 10.1145/3579990.3580013
• 发表时间: 2023
• 期刊: Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization
• 作者: Wilkins, Michael;Westrick, Sam;Kandiah, Vijay;Bernat, Alex;Suchy, Brian;Deiana, Enrico Armenio;Campanoni, Simone;Acar, Umut A.;Dinda, Peter;Hardavellas, Nikos
• 通讯作者: Hardavellas, Nikos

EMISSARY: Enhanced Miss Awareness Replacement Policy for L2 Instruction Caching

• DOI: 10.1145/3579371.3589097
• 发表时间: 2023-06
• 期刊: Proceedings of the 50th Annual International Symposium on Computer Architecture
• 作者: N. P. Nagendra;Bhargav Reddy Godala;Ishita Chaturvedi;Atmn Patel;Svilen Kanev;Tipp Moseley;Jared Stark;Gilles A. Pokam;Simone Campanoni;David I. August

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

Program State Element Characterization

程序状态元素表征

• DOI: 10.1145/3579990.3580011
• 发表时间: 2023
• 期刊: International Symposium on Code Generation and Optimization
• 作者: Deiana, Enrico Armenio;Suchy, Brian;Wilkins, Michael;Homerding, Brian;McMichen, Tommy;Dunajewski, Katarzyna;Dinda, Peter;Hardavellas, Nikos;Campanoni, Simone
• 通讯作者: Campanoni, Simone