数组生命期分析的区域延拓方法

数据划分是大规模并行处理中最重要的技术，我们可以用换名、数组扩张、循环交换、循环拆分等方法来增加程序的并行性，从而有可能取得数据的一致划分。数组的生命期信息则是应用这些方法的依据。利用数据流属性的区域延拓方法，我们设计出自动分析工具来得到比较准确的数组生命期信息，使数据可能取得最佳的划分。     

Banerjee-GCD与Banerjee-Bound联合数组相关性测试

以Banerjee-GCD方法和Banerjee-Bound方法为基础，充分考虑了两者的测试结果之间的相互影响以及程序并行化对相关性测试的要求，从而提出了一个在统一的框架下利用Banerjee-GCD方法与Banerjee-Bound方法对不同的相关向量进行测试的联合数组相关性测试方法，该方法在保持执行时间效率的前提下提高了测试的精确性和结果的有效性，并且能够处理一部分非线性下标表达式的情况。     

测试任一嵌套DO循环置换合法性的阻碍矩阵算法

对程序进行并行变换是提高程序并行性的有效手段，许多并行变换都要寻找一种最优的循不置换，在寻找过程中，如果对每一个被考察的置换都重新进行相关性测试，那么整个寻找过程将极费时间，本文给出了一个测试嵌套循环任一置换的阻碍矩阵测试算法，它将测试一循环置换的合成法性转化为测试一组向前置换的合法性，并且仅需要嵌套循循环做一遍相关性测试，利用该算法可以简便迅速检查任一循环置换的合法性，从而使许多并行变换变得实际可     

素数个模块的并行或交叉存储器实现方案

本文对多处理机中通常使用的并行或交叉存储器,进行了模的个数对存储冲突的影响的分析,并建立了在模块数分别为2~n和素数时存储有效宽度的数学模型。最后对模块数为特殊素数(2~n±1)时导出了两种地址转换的硬件实现方案。     

互连变换网络的同构与拓扑等价

本文严格地定义了互连变换网络及其同构与拓扑等价等概念,提出了互连网络同构与拓扑等价的简明判别准则。由此可以很容易地证明现已发表的许多互连网络是同构的或是拓扑等价的,[3],[4]和[5]中有关结论亦可由此导出。 本文也给出了同构的或拓扑等价的互连对换网络之间控制结构的转换公式,这样在一个互连对换网络上设计的算法就可以直接移植到与它同构或拓扑等价的互连对换网络上去。这些概念与方法有助于分析与设计各种特殊要求的便于大规模集成化的新型互连网络。     

用计算函数模型增强数据流分析

精确的数据流分析,需要充分利用条件分支语句的逻辑语义.为了简洁而有效地处理条件分支语句,该文提出了对应于程序段的计算函数模型,在该模型里表示条件分支语句的逻辑语义,并利用文中提出的不确定性消解方法,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题.而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法.     

非必要内存重用的COMMON变量的识别和处理

在Fortran程序中，公用块的使用有时是为了重复利用某一内存区域，这给数据划分和分布带来了不必要的麻烦，该文提出了数据生命期的概念，借鉴数组私有化中的相关技术，通过计算子程序公用块中数组的暴露集等方法，对非必要内存重用的COMMON变量进行识别和处理。     

一类不规则问题的自动并行性识别

传统的数据相关性分析主要针对线性数组下标表达式,并不适用于不规则计算中的循环并行性识别.利用间接数组特征分析和基于严格数组私有化定义的运行时动态测试技术来解决包含间接数组下标引用的循环并行性判断问题,给出性能估测,并与相关工作进行了比较.     

使用后向信息的动态数据流分析

介绍了动态数据流分析的基本方法,分析了它在复杂控制流条件下的不足,提出了一种能够使用后向信息来进行动态数据流分析的BPD测试方法,该方法能够消除动态死码的副作用,从一个循环中提取相当部分的并行性。给出了在SPEC95基准程序包中的fpppp.f的实验结果,验证了BPD测试可以获得其他现有方法不能取得的显著的加速比。