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

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

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

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

上下文敏感的过程间指针分析

提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .     

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

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

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

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

控制膨胀的程序结构化

目前人们通常单纯用增加临时变量和相关判断的方法，或者使用共享代码拷贝的方法来消除goto语句，但前一种方法会造成判定增加，语义分析困难，而后一种虽然使转变后的程序结构清晰，却造成了benchmark中的某些程序急剧膨胀，针对上述问题，本文提出了能控制膨胀的代码拷贝算法，且该算法还能有效地处理不可规约的程序。     

归约识别及其单模变换

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

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

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

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

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