SI2-SSI: Accelerating the Pace of Research through Implicitly Parallel Programming

SI2-SSI：通过隐式并行编程加快研究步伐

• 批准号: 1047879
• 负责人: David August
• 金额: $ 174.02万
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-10-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1047879&HistoricalAwards=false
• 关键词: SI2; SSI; Accelerating; Pace; Research

Today, two trends conspire to slow down the pace of science, engineering, and academic research progress in general. First, researchers increasingly rely on computation to process ever larger data sets and to perform ever more computationally-intensive simulations. Second, individual processor speeds are no longer increasing with every computer chip generation as they once were. To compensate, processor manufacturers have moved to including more processors, or cores, on a chip with each generation. To obtain peak performance on these multicore chips, software must be implemented so that it can execute in parallel and thereby use the additional processor cores. Unfortunately, writing efficient, explicitly parallel software programs using today's software-development tools takes advanced training in computer science, and even with such training, the task remains extremely difficult, error-prone, and time consuming. This project will create a new high-level programming platform, called Implicit Parallel Programming (IPP), designed to bring the performance promises of modern multicore machines to scientists and engineers without the costs associated with having to teach these users how to write explicitly parallel programs. In the short term, this research will provide direct and immediate benefit to researchers in several areas of science as the PIs will pair computer science graduate students with non-computer science graduate students to study, analyze, and develop high-value scientific applications. In the long term, this research has the potential to fundamentally change the way scientists obtain performance from parallel machines, improve their productivity, and accelerate the overall pace of science. This work will also have major educational impact by developing courseware and tutorial materials, useable by all scientists and engineers, on the topics of explicit and implicit parallel computing.IPP will operate by allowing users to write ordinary sequential programs and then to augment them with logical specifications that expand (or abstract) the set of sequential program behaviors. This capacity for abstraction will provide parallelizing compilers with the flexibility to more aggressively optimize programs than would otherwise be possible. In fact, it will enable effective parallelization techniques where they were impossible before. The language design and compiler implementation will be accompanied by formal semantic analysis that will be used to judge the correctness of compiler transformations, provide a foundation for about reasoning programs, and guide the creation of static analysis and program defect detection algorithms. Moreover since existing programs and languages can be viewed as (degenerately) implicitly parallel, decades of investment in human expertise, languages, compilers, methods, tools, and applications is preserved. In particular, it will be possible to upgrade old legacy programs or libraries from slow sequential versions without overhauling the entire system architecture, but merely by adding a few auxiliary specifications. Compiler technology will help guide scientists and engineers through this process, further simplifying the task. Conceptually, IPP restores an important layer of abstraction, freeing programmers to write high-level code, designed to be easy to understand, rather than low-level code, architected according to the specific demands of a particular parallel machine.

如今，两种趋势共同减缓了科学、工程和学术研究进展的步伐。 首先，研究人员越来越依赖计算来处理更大的数据集并执行计算量更大的模拟。 其次，单个处理器的速度不再像以前那样随着每一代计算机芯片的产生而增加。 为了弥补这一缺陷，处理器制造商已开始在每一代芯片上包含更多处理器或内核。 为了在这些多核芯片上获得峰值性能，必须实现软件，使其能够并行执行，从而使用额外的处理器内核。不幸的是，使用当今的软件开发工具编写高效、明确并行的软件程序需要计算机科学方面的高级培训，即使经过这样的培训，这项任务仍然极其困难、容易出错且耗时。 该项目将创建一个新的高级编程平台，称为隐式并行编程（IPP），旨在为科学家和工程师带来现代多核机器的性能承诺，而无需花费与教这些用户如何编写显式并行程序相关的成本。 在短期内，这项研究将为多个科学领域的研究人员提供直接和立竿见影的好处，因为 PI 会将计算机科学研究生与非计算机科学研究生配对，以研究、分析和开发高价值的科学应用程序。 从长远来看，这项研究有可能从根本上改变科学家从并行机器获得性能的方式，提高他们的生产力，并加快科学的整体步伐。 这项工作还将通过开发可供所有科学家和工程师使用的关于显式和隐式并行计算主题的课件和教程材料来产生重大的教育影响。IPP 将通过允许用户编写普通顺序程序，然后使用扩展（或抽象）顺序程序行为集的逻辑规范来增强它们。 这种抽象能力将为并行编译器提供比其他方式更积极地优化程序的灵活性。 事实上，它将实现以前不可能实现的有效并行化技术。 语言设计和编译器实现将伴随形式化语义分析，用于判断编译器转换的正确性，为推理程序提供基础，并指导静态分析和程序缺陷检测算法的创建。 此外，由于现有的程序和语言可以被视为（退化）隐式并行，因此数十年来对人类专业知识、语言、编译器、方法、工具和应用程序的投资得以保留。 特别是，可以从缓慢的顺序版本升级旧的遗留程序或库，而无需彻底修改整个系统架构，而只需添加一些辅助规范。 编译器技术将帮助指导科学家和工程师完成这一过程，进一步简化任务。 从概念上讲，IPP 恢复了一个重要的抽象层，使程序员能够编写易于理解的高级代码，而不是根据特定并行机的特定需求构建的低级代码。