归约识别及其单模变换

数组归约的识别是提高并行化编译能力的有效方法，单模是开发程序并行性的重要手段。然而，由于归约语句间相关的特殊性，影响了单模变换的实施。本文从归约语句引起的相关本质特征入手，分析了归约语句和单模变换的相互影响，提出了在归约语句存在的情况下单模变换的具体方法。     

多处理机系统循环间数据重用的cache优化*

cache的使用缓解了CPU和主存储器之间速度差距太大的矛盾，同时，也使cache的命中率成为影响多处理机系统性能发挥的重要因素.人们对如何加强数据的局部性，提高cache命中率，使多处理机系统的性能得到更好的发挥进行了积极的探索.但过去的工作主要集中于如何加强并行循环内的数据局部性，减少甚至消除并行循环内真假共享cache行所引起的cache抖动，对多处理机系统中循环间数据重用的开发和利用却少有论述.该文对如何开发和利用这些循环间数据重用进行了分析和讨论，并提出了一些切实可行、易于实现的方法.这些方法的     

一种高性能的共享存储多机系统（SMMP）体系结构——高性能…

本文介绍了一种基于二级网络互联，二级共享存储，三级Ｉ／Ｏ通道的可缩放共享存储多机系统ＳＭＭＰ（ＳｃａｌａｂｌｅＭｅｍｏｒｙ－ｓｈａｒｅｄＭｕｌｔｉ－Ｐｒｏｃｅｓｓｉｎｇ）体系结构，另外还详细介绍了具有信息就地加工能力的共享存储器的设计，由于共享存储器不仅具有存储信息的能力，而且能对有关信息进行就地处理，所以利用该特点能方便有效地实现操作系统中的同步与互斥原语，同时也为某些应用工程中的并行，迭加运算     

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

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

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

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

自动寻找使多重串行循环并行化的幺模变换

对于已知n维距离向量矩阵的多重串行循环,过去的并行化编译研究还缺乏寻找使循环外层并行化的幺模矩阵的可行算法.文章介绍了多重串行循环并行化的幺模变换方法,不仅从理论上证明满足外层并行化要求的合法幺模矩阵是存在的,而且通过构造性证明给出一个计算外层并行化幺模变换矩阵的可行算法,并探讨了扩大其适用范围于非完全嵌套和非常数相关距离循环的有效途径.     

程序自动并行化系统中IR的面向对象设计

从构造一个高性能的程序自动并行化系统的需求出发,介绍了程序自动并行化系统ＡＧＡＳＳＩＺ中ＩＲ（ＩｎｔｅｒｍｅｄｉａｔｅＲｅｐｒｅｓｅｎｔａｔｉｏｎ）的设计原则与设计方法,阐明了此种ＩＲ的设计给整个程序自动并行化系统的设计所带来的便利。     

数据流分析中的区域覆盖技术

用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数据流分析过程中,利用Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.     

非局部跳转控制流的自动消除

ｌｏｎｇｊｍｐ是Ｃ语言中实现非局部跳转的库函数调用,它破坏了程序的结构性,并使常见折数据流分析技术无法在包含ｌｏｎｇｊｍｐ的程序段上有效地进行,文中提出一种消除ｌｏｎｇｊｍｐ的算法,该算法用转移语句和返回语句的结合来模拟非局部跳转动功能,从而使控制流趋于规范并有利于数据流分析的进行,进一步地增强了挖掘程序并行性的能力。