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

本研究项目的主要目的是开发一个并行处理程序开发环境的总体系统，特别是一个自动并行化编译器和一个软件分布式共享存储器(SDSM)系统作为其运行时支持系统。该编译器接收Fortran 77源程序并生成相应的并行化C程序作为目标代码，在以我们的SDSM系统为代表的商用PC/WS机群上执行。在每个目标代码中，我们的编译器都嵌入了适当的原语函数来控制SDSM系统，例如在目标C程序的适当位置上进行数据的发送/接收和同步，以供它们并行执行。对于我们的编译器的依赖分析模块，我们新设计并提出了一种实用的数据依赖分析方法，它结合了已有的GCD测试、Banerjee测试和可分离性测试，也基本上结合了线性规划方法(单纯形法)和穷举整数解搜索方法。几个评价实验的结果表明，考虑到给定下标表达式的可分析模式，我们的新方法可以在几乎与著名的精确检验Omega检验相同的情况下进行精确分析。此外，在一般情况下，我们的方法可以比Omega检验分析得更快或一样快。

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.