Integrated Parallel Processing Environment Combined Parallelizing Compiler with Runtime System for Data Distribution Feature

本研究项目的主要目的是开发一套完整的并行处理程序开发环境系统；特别是自动并行编译器和软件分布式共享内存（SDSM）系统作为其运行时支持系统。该编译器接收Fortran77源程序并生成相应的并行化C程序作为目标代码，这些程序在配备我们的SDSM系统的商品PC/WS集群上执行，作为分布式内存并行架构的代表。在每个目标代码中，我们的编译器嵌入了适当的原语函数来控制 SDSM 系统，例如，发送/接收数据和同步多个（所有）PC，在目标 C 程序的适当位置进行并行执行。对于我们编译器的依赖性分析模块，我们新设计并提出了一种实用的数据依赖性分析方法，该方法将现有的方法（即 GCD 测试、Banerjee 测试和可分离性测试）与我们的原始方法相结合，该方法也基本上与线性规划方法相结合（单纯形法）和穷举整数解搜索。多次评估实验的结果表明，鉴于给定下标表达式的复杂性的可分析模式，我们的新方法可以以与著名的精确测试 Omega Test 几乎相同的能力进行精确分析。此外，在一般情况下，我们的方法可以比 Omega Test 更快或更快地进行分析。

The main purpose of this research project is to develop a total system for parallel processing program developing environment ; especially an automatic parallelizing compiler and a software distributed shared memory (SDSM) system as its runtime support system. This compiler receives Fortran77 source programs and generates corresponding parallelized C programs, as the object codes, which are executed on commodities PC/WS clusters equipped with our SDSM system as a representative of distributed memory parallel architecture. In each object code, our compiler embeds appropriate primitive functions to control the SDSM system, for example, to send/receive data and synchronize several (all) PCs, in adequate places of object C programs for their parallel execution..For the dependence analysis module of our compiler, we have newly designed and proposed a practical data dependence analysis method which is combining the established ones, i.e. GCD Test, Banerjee Test, and Separability Test, with our original method which is also combined basically with both linear programming method (Simplex method) and exhaustive integer solution search. As the results of several evaluation experiments, it is clarified that our new method can analyze exactly with almost the same ability of the famous exact test, Omega Test, in view of the analyzable patterns of complexity of the given subscript expressions. Moreover in general cases, our methods can analyze more than or equally rapidly comparing with Omega Test.