BGP4+协议的分布式一致性测试系统的设计

首先对BGP4+进行了分析,然后阐述了BGP4+的分布式的一致性测试系统的设计方法,包括主测试系统的设计、从测试系统、测试套的描述方法的设计以及它们的部分设计框图.最后使用一个简化的分布式测试系统对BGP4+协议实现进行了一致性测试实践.     

CMP体系结构上非包含高速缓存的设计及性能分析

半导体技术的发展使得在芯片上集成数十亿个晶体管成为可能.目前工业界和学术界倾向于采用片上多处理器体系结构(CMP),对于此类结构,芯片性能受片外访存影响较大,因此如何组织片上高速缓存层次结构是一个关键.针对此问题,提出采用非包含高速缓存组织片上最后一级高速缓存,以降低片外访存次数.并通过对Splash2部分测试程序的详细模拟,对CMP上高速缓存层次结构的不同组织方式做了比较.数据显示非包含高速缓存最多可使平均访存时间降低8.3%.同时,指出非包含高速缓存有助于节省片上资源的特性,并给出片上集成三级高速缓存后CMP上高速缓存层次结构的设计建议.     

连续推钢式轧钢加热炉的数值模拟

运用流体动力学计算软件（CFD）FLUENT,对湘潭钢铁公司第二高速线材厂轧钢加热炉的三维流场进行了数值模拟,获得该轧钢加热炉内的气体流动、流速和压力的分布规律.通过与加热炉内的结构特点和实际操作状况对照分析,表明该加热炉的局部结构与操作不相适应,尤其是压力分布不适应加热炉的操作要求,造成炉内供热调节的灵活性降低,从而影响到加热质量.分析结果与加热炉的实际运行状况相符,为加热炉的进一步结构改造提供依据.     

数据流Java并行程序设计模型的设计、实现及运行时优化

提出了一种具有数据流特征的Java并行程序设计模型,并针对该模型提出了一种基于运行时信息反馈的自适应优化算法,使得运行时系统可以利用数据流程序所暴露出的数据并行性,加速程序的运行.此外,在该模型中加入了数据流多态的概念,扩展了该模型的面向对象特性.在一个实际的开放源码Java虚拟机中实现了上述程序设计模型及优化方法.在实际多核多线程机器上的实验结果表明,所提出的程序设计模型及优化能够充分利用硬件的并行处理能力,显著地提高了程序的性能.     

基于数据流Java的优化轻量级Web服务器实现*

多核处理器环境日益普及,针对此体系结构的应用程序的并行性研究已成为焦点。轻量级Web服务器应用广泛,但传统实现不能充分利用多核优势且编程方法相对复杂。提出一种基于数据流结合虚拟机优化及Java扩展库的解决方案,给出了一种新的Web服务器实现方法。实验结果表明该方法有效提高了Web服务器的处理性能。     

网络处理器的编译器聚集

描述了针对异构多核处理器的编译器Shangri-la基于Whirl2c构建统一编译后端框架采用的编译器的聚集技术，介绍了它采用的地址转换方法来解决聚集时不同寻址方式面临的指针共享问题。这些技术的运用使Shangri-la很好地整合了两种不同内核的编译工作。这种统一的编译平台使得网络程序员从传统繁琐的网络程序编写方式中解放出来。     

支持有向有环图的微调度方法

指令调度是编译器中的重要优化阶段．如何充分利用处理器结构相关的资源,发掘程序并行性,以提高编译优化性能和增强代码可适应性,一直是指令调度的研究难点之一．目前微调度已经取得了一定的效果,但对软件流水产生的有向有环图则未能提供支持．在ORC中提出并实现了一种基于IA-64体系结构的支持有向有环图的微调度方法,有效地减少了程序执行周期和流水线停顿,取得了较为满意的编译优化性能．     

下一代网络协议测试数据半自动生成方法研究

在协议测试过程中,对于测试数据的生成方法的考虑应从包的粒度细化到字段上.对协议的通用数据包进行了全面的分析,根据各个字段的功能及其取值之间的关系,对所有字段进行了固定字段、独立字段以及相关字段序列的划分,然后根据测试经验对独立字段和相关字段序列进行了优先级赋值,并根据优先级构建测试包,从而可以将具有重要测试目的的包尽早生成进行测试,并根据优先级标记指导测试结果判定.给出了测试包库的生成算法,并分析了该算法的有效性,然后以BGP4 的UPDATE包为例给出了生成的包,最后给出了结论.     

BT协议的形式化建模与测试生成

B itTorrent(BT)是基于Peer-to-Peer(P2P)技术的比较流行文件共享软件,BT protoco l是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,F inite S tate M achine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用U IO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的U IO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.     

基于XML和计费集成自动发现校园网布线拓扑方法

从网管实际需求出发,针对校园网一些传统网络建设缺失网络布线拓扑导致维护困难的现象,采用基于XML的支持telnet设备互操作模型和计费集成设计了一种简单、快捷、低廉的方法,基于统计意义自动发现网络布线拓扑。