Design and Implementation of the Loop Restructuring Feature for the MIRAI Parallelizing Compiler

摘要

When loops in sequential programs written in procedural programming languages are parallelized, automatic parallelizing compilers should perform data dependence analysis in order to preserve constraints by data reference order. Although loops with dependences as determined by a dependence analyzer cannot be parallelized as-is, in general, some can be parallelized after applying appropriate loop restructuring optimizations. This paper deals with the design and implementation of the loop restructuring feature of our automatic parallelizing compiler, MIRAI. And also it shows the evaluation results of several pilot studies by hand-compiling some test programs.