XPS: FULL: SDA: Collaborative Research: RUI: SCORE: Scalability-Oriented Optimization

XPS：完整：SDA：协作研究：RUI：SCORE：面向可扩展性的优化

• 批准号: 1439042
• 负责人: Stephen Freund
• 金额: $ 25.2万
• 依托单位: Williams College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-09-01 至 2019-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1439042&HistoricalAwards=false
• 关键词: XPS; FULL; SDA; Collaborative; Research

Title: XPS: FULL: SDA: Collaborative Research: SCORE: Scalability-Oriented OptimizationModern CPUs, which contain an increasingly large number of processing units or "cores", offer the promise of continued increases in performance as the number of cores increases. Unfortunately, it is notoriously difficult for programmers to fully take advantage of this processing power. Computations can be viewed as cars on a network of highways: we want traffic to flow as fast as possible without any crashes. Programming languages offer "synchronization operations"---the programmer equivalent of traffic lights---which improve safety but reduce speed. For large programs, managing the tension between the twin goals of safety (more lights) and performance (fewer lights) can be out of reach for all but expert programmers. This project, SCORE (scalability-oriented optimization), lifts this burden by automatically maximizing program performance while maintaining correctness. The intellectual merits of this work are the development of a suite of techniques to identify bottlenecks in programs, and transform their code or execution environment to eliminate those bottlenecks. The project's broader significance and importance are to enable non-expert programmers to achieve high performance on modern, multicore platforms, and thus dramatically increase the performance and efficiency of existing and new software; contributing to the national software research infrastructure; and increasing access to science research opportunities and training for students.As with optimizing compilation for sequential code, SCORE lifts the burden of concurrency optimization from programmers, letting them focus exclusively on getting the logic of their program right. By handling architectural and synchronization optimizations without programmer involvement, SCORE lets programmers deliver applications that portably and effectively harness a wide range of multicore architectures. SCORE comprises a suite of new dynamic analyses, static analyses, and runtime systems to enable scalability-oriented optimization. It uncovers bottlenecks and ranks them by the performance impact of removing them. This information guides a bottleneck-remediation dynamic analysis to identify a range of opportunities for concurrency optimizations. Finally, a code robustification phase augments the optimized code with lightweight checking and recovery code to ensure correct execution.

标题：XPS：完整：SDA：协作研究：SCORE：面向可扩展性的优化现代 CPU 包含越来越多的处理单元或“核心”，随着核心数量的增加，性能有望持续提高。不幸的是，众所周知，程序员很难充分利用这种处理能力。计算可以被视为高速公路网络上的汽车：我们希望交通尽可能快地流动而不发生任何碰撞。编程语言提供“同步操作”——程序员相当于交通灯——可以提高安全性，但会降低速度。对于大型程序，除了专业程序员之外，管理安全（更多的灯）和性能（更少的灯）这两个目标之间的紧张关系可能是所有人都无法企及的。 SCORE（面向可扩展性的优化）项目通过自动最大化程序性能同时保持正确性来减轻这一负担。这项工作的智力优点是开发了一套技术来识别程序中的瓶颈，并转换其代码或执行环境以消除这些瓶颈。该项目更广泛的意义和重要性是使非专家程序员能够在现代多核平台上实现高性能，从而显着提高现有和新软件的性能和效率；为国家软件研究基础设施做出贡献；与优化顺序代码的编译一样，SCORE 减轻了程序员并发优化的负担，让他们专注于使程序逻辑正确。通过在无需程序员参与的情况下处理架构和同步优化，SCORE 使程序员能够交付可移植且有效地利用各种多核架构的应用程序。 SCORE 包含一套新的动态分析、静态分析和运行时系统，以实现面向可扩展性的优化。它发现瓶颈并根据消除瓶颈对性能的影响对它们进行排名。此信息指导瓶颈修复动态分析，以确定一系列并发优化机会。最后，代码稳健性阶段通过轻量级检查和恢复代码来增强优化的代码，以确保正确执行。