程序结构化和数组私有化

摘要

该文详细介绍了并行化编译中的两个相关方面.其一是程序结构化,其二是数组私有化.该文提供了一种程序结构化方法,在控制流图的基础上将不同的goto转换为语义等价的标准的while或if语句,使FORTRAN程序在不改变程序语义的前提下,变换成只有循环,分支及顺序三种结构的结构化程序.该文提出了能控制膨胀的代码拷贝的算法.另一方面,该文中对不可规约的程序进行了规约化,解决了前人一直不曾注意的问题.该文分析了现有的终值复制方法的不足,同时提出一个改进的终值复制方法--相关覆盖方法.

目录

前言

第一章程序结构化介绍

1.引言

2.相关工作

3.本文程序结构化方法

3.1外跳goto的变换

3.2循环的识别

3.3不可规约流图的转换

3.4 IF语句的识别与构造

第二章结构化的实现和分析

1.AFT系统中的程序结构化算法

2.优化措施

3.前人的研究

4.实验结果

5.相关结论

第三章数组私有化介绍

1. 引言

2. 问题的意义

3. 终值复制问题

4.传统的方法

第四章私有化的实现和分析

1.本文的私有化方法

2.其它方面的应用

3.活跃变量(LV)分析

4.实例分析

5.相关结论

参考文献

致谢

声明