安腾处理器中多级分支预测机制

分支预测技术可消除分支指令之后损失的周期,防止流水线断流。高比率的分支预测精确度是高性能微处理器性能的保证。本文详细分析了安腾处理器(Itanium)多级分支预测机制,并研究了每级预测器的具体实现。     

数组数据流分析技术的研究

传统的数据依赖关系分析不能表示两个读/写数组引用是否对同一数值进行操作,本文介绍了能给出这一精确信息的数组数据流分析技术,并详细描述了表示数据流分析的终写树LWT(LastWriteTree)的构造过程。     

位归约识别的研究与实现

尽管归约识别及并行化技术已经不是一个新的技术,但现有的并行化编译器的归约识别功能还不能满足实际应用的需要。通过对归约操作识别及并行化的分析和研究,在SUIF的基础架构上通过修改中间表示语言,实现了对位归约操作的识别功能。     

谈群件系统Notes及其技术

群件是目前应用软件设计的一种新思想，群件技术的发展和应用受到业界的广泛重视。本文简要概述了群件的思想和概念，并全面介绍和深入讨论了支持群件开发的ＬｏｔｕｓＮｏｔｅｓ系统的技术和特点。     

IXP1200网络处理器多层次并行机制研究

主要对千兆通讯的网络处理芯片IXP1200网络处理器进行研究和分析，着重探讨和研究其先进的多级并行设计机制。主要从体系结构和并行设计技术两个角度对IXP1200网络处理器的数控分层和多层次并行等设计机制进行了介绍。突出了其利用多线程、多处理器的先进设计结构来优化设计、提高处理速度的设计理念和实现过程，并在最后进一步详细讨论了如何利用特定微码指令来实现IXP1200网络处理器的指令并行和多线程并行的程序调度方法和设计技术。     

软件流水的低功耗编译技术研究

对具有可动态独立调整运行频率/电压的多功能部件配置结构M,基于全局调度的循环依赖关系,使用ILP形式化框架,研究了对给定循环L进行动态频率/电压调整的低功耗软件流水调度的编译优化技术.提出了一种合理而有效的低功耗最优化软件流水调度方法,使其在运行时保持性能不变而消耗的功耗/能量最小.     

支持数据重分布通信的计算和数据分解算法

对于分布内存体系结构的并行计算机而言，如何对计算和数据进行合理划分以增加数据本地化减少处理器间的通信是提高其并行性能的关键，但在数据划分过程中，重分布通信有时不可避免，如何进行合理的数据和计算划分以减少通信并最大限度的利用程序的并行性是并行编译中的一个重要问题。该文主要讨论了一种支持数据重分布的自动进行计算和数据划分的算法。     

从构造性证明中提取程序

通常情况下，我们很难确定一段给定的程序是否符合它的规范，程序提取是一种从构造性证明中提取函数式程序的机制，其构造特性很好地保证了生成程序的正确性。这就为我们提供了一种开发正确性软件的方法。本文基于对Coq中程序提取机制的研究，阐述了它的理论基础、实现机制及应用。     

二进制翻译中间接调用动态链接库恢复技术

针对使用C后端的静态二进制翻译框架，提出了间接调用动态链接库函数恢复方法。该方法使用伪地址来代替需要动态解析的动态链接库函数的地址，在后端构建了伪地址与目标机上动态链接库函数地址的对应表，在后端C代码生成过程中插入根据伪地址获得动态链接库函数地址的查表代码，使用查表得到的库函数地址恢复对于动态链接库函数的间接调用。     

基于GPRS的城市交通信号控制系统设计

论文针对设计的基于GPRS技术的交通信号控制系统，介绍了系统的检测子系统、通信子系统以及指挥控制中心和路口信号机各部分的设计，着重对系统的实时性和可靠性设计进行了分析和论述。