CCF: Small: A Programming Environment for High Performance Computing Based on Practical Program Transformation

CCF：Small：基于实用程序转换的高性能计算编程环境

• 批准号: 1117960
• 负责人: Ralph Johnson
• 金额: $ 49.53万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-08-01 至 2014-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1117960&HistoricalAwards=false
• 关键词: CCF; Small; Programming; Environment; Performance

Successful software systems continue to change. Most programmers work on projects that they did not start, and most companies spend more on maintaining old systems than on building new ones. This goal of this research is to make programs easier to change by developing better software tools and by studying how programmers change software. The project is extending Photran, an open-source programming environment for FORTRAN, so that it better supports the way FORTRAN programmers change their software to make them run on next-generation supercomputers. The new version of Photran will have the potential to make it much less expensive to port high-performance software, and the ideas have the potential to reduce the cost of software development in general.The new system will record each change that a programmer makes and will represent these changes at a high-level, i.e. not just as textual changes, but as more meaningful units of changes, such as refactoring or optimizations. It will let programmers modify these changes after the fact, making it possible to change the portable version of a program and then replay the hand-crafted optimizations. Programmers can port a program to a new architecture by starting with a portable version and then choosing optimizations that were useful for similar machines, or that were discovered by an auto-tuner, or that were invented as needed. They will be able to think of a program as a sequence of program transformations, and to generate a new program by reusing sub-sequences from other programs. Thus, a sequence of changes will be just as valid a representation of a program as a set of modules

成功的软件系统不断变化。大多数程序员从事的项目并不是他们启动的，而且大多数公司在维护旧系统上的花费比构建新系统的花费更多。这项研究的目标是通过开发更好的软件工具和研究程序员如何更改软件来使程序更容易更改。 该项目正在扩展 Photran（FORTRAN 的开源编程环境），以便更好地支持 FORTRAN 程序员更改软件以使其在下一代超级计算机上运行的方式。新版本的 Photran 将有可能大大降低移植高性能软件的成本，并且这些想法有可能总体上降低软件开发的成本。新系统将记录程序员所做的每个更改，并将在高层表示这些更改，即不仅作为文本更改，而且作为更有意义的更改单元，例如重构或优化。 它将允许程序员在事后修改这些更改，从而可以更改程序的可移植版本，然后重播手工优化。 程序员可以将程序移植到新的架构，方法是从可移植版本开始，然后选择对类似机器有用的优化，或者由自动调谐器发现的优化，或者根据需要发明的优化。 他们将能够将程序视为程序转换的序列，并通过重用其他程序的子序列来生成新程序。因此，一系列更改将与一组模块一样有效地表示程序