An Automated System for Deriving Efficient Parallel Programs

在这个项目下，将开发一个科学程序的原型派生系统，旨在促进在并行处理器上有效实现的生产。该系统将基于一种“广谱”语言，支持软件开发过程的所有阶段，包括规范、设计、原型、优化、测试、调试和维护。基于他们之前在科学编程系统上的工作——R编程环境、R验证系统、Russell编译器和用于并行性自动检测的PFC系统——项目团队将实现一个复杂的编程环境，在派生过程的所有阶段为程序转换和细化提供自动或半自动的支持。通过生成用广谱语言本身编写的设计规则库，以及在每个级别构建用于验证细化步骤的机制，可以增强环境的标准转换支持。为了利用现有的科学软件基础，该系统将支持将FORTRAN子程序集成到用广谱语言编写的程序中。此外，还可以将该语言的低级方言翻译为FORTRAN 77，通过包含用于显式并行规范的原语进行扩展。生成的FORTRAN程序通常由许多小程序组成，可以使用为R项目开发的过程间分析和优化技术优化到高效率。

Under this project a prototype derivation system for scientific programs, designed to facilitate the production of efficient implementations on parallel processors will be developed. The system will be based upon a "wide-spectrum" language that supports all phases of the software development process including specification, design, prototyping, optimization, testing, debugging and maintenance. Building on their previous work on the scientific programming systems - the R programming environment, the R validation system, the Russell compiler and the PFC system for automatic detection of parallelsism - the project team will implement a sophisticated programming environment to provide automatic or semi-automatic support for program transformation and refinement at all stages of the derivation process. It will be possible to augment the environment's standard transformation support by producing libraries of design rules written in the wide-spectrum language itself and mechanisms for validation of refinement steps will be built in at every level. To take advantage of the existing base of scientific software, the system will support the integration of FORTRAN subprograms into programs written in the wide-spectrum language. Furthermore, it will be possible to translate a low-level dialect of the language to FORTRAN 77, extended by the inclusion of primitives for the explicit specification of parallelism. The resulting FORTRAN program, typically consisting of many small procedures, can be optimized to high efficiency using interprocedural analysis and optimization techniques developed for the R project.