基于传播引擎的指针引用错误检测

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13％,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.     

多核机群下MPI程序优化技术的研究

多核处理器的新特性使多核机群的存储层次更加复杂,同时也给MPI程序带来了新的优化空间。国内外学 者提出了许多多核机群下MPI程序的优化方法和技术。测试了3个不同多核机群的通信性能,并分别在Intel与 AMD多核机群下实验评估了几种具有普遍意义的优化技术:混合MPI/OpcnMP、优化MPI运行时参数以及优化 MPI进程摆放,同时对实验结果和优化性能进行了分析。     

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

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

POA的CORBA应用研究与Java实现

CORBA是当前主流的分布式组件技术。ORB是CORBA规范的核心，而OS作为ORB的重要组成部分，在接收客户请求及定位对象乃至请求处理等许多方面都起着关键性的作用。POA是一种“便携式”的OA，它提供了在不同的ORB产品间的良好移植性。就POA的实现机理进行研究，并给出其Java实现。     

一种异构无线网络流媒体QoS评测系统的设计实现

异构无线网络接入技术的发展为移动流媒体技术应用带来了全新的机遇与挑战.流控制传输协议SCTP(Stream Control Transmission Protocol)的提出能够很好地实现异构无线网络间的透明无缝切换.为了研究未来泛在异构无线网络环境中的视频传输,设计了一种SCTP多宿环境下的流媒体QoS评测系统.实验结果表明,该方案能在异构无线网络环境下对不同网络拥塞和负载下的视频传输行为和服务质量进行有效的分析.     

一种场景敏感的高效错误检测方法

定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测方法,该方法根据触发状态对潜在错误语句分类,识别不同类别语句的触发场景并实施不同开销的检测,在不降低精度的同时最小化检测开销.设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类,并基于程序依赖信息识别触发场景,仅对必要的触发场景实施路径敏感的检测.为上述方法实现了一种原型系统——Minerva.通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行,最大单个应用超过200万行的应用验证,用例实验结果表明,Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang-sa和Saturn分别快3倍和46倍.而Minerva的误报率仅为24%,是Clang-sa和Saturn误报率的1/3左右,并且Minerva未发现漏报已知错误.上述数据表明,所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度.     

基于BPNN端到端时延预测的多路传输调度

针对移动异构网络环境网络参数动态变化、多路传输过程中数据包乱序引发的吞吐量下降等问题,提出一种基于BP神经网络(back propagation neural network,BPNN)端到端时延预测的多路传输调度方法,通过BP神经网络的构建、训练和学习,实现对端到端传输时延的更准确预测,以此为基础,对子流拥塞状况及网...     

NuSOAP与分布式资源管理平台Web服务的设计

文中讨论了NuSOAP的基本结构与框架，结合NuSOAP介绍了基于城域网分布式资源管理平台Web服务设计中的主要技术。     

一种基于最小调试边界的断点自动生成技术

时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效率主要依赖于调试人员自身的经验以及对所调试程序的理解程度.提出一种基于最小调试边界的断点自动生成方法.最小调试边界描述了一个由程序执行轨迹上一组轨迹点构成的结合.该集合具有对错误传播的阻隔性,以及所对应的程序状态规模最小化的特征.受益于最小调试边界(minimum debugging frontier set,简称MDFS)的错误阻隔性,一旦查明其上的程序状态是否符合设计预期,即可确定错误触发位置与该MDFS在程序执行轨迹上的先后顺序,将错误触发的范围限定在MDFS的一侧.而状态规模的最小化也减轻了用户检查断点处语句实例的开销.为评价断点质量,还制定了一组断点评价标准,用于考量断点与程序失效之间的关联性、断点本身的易判性以及对调试收敛的帮助.实验结果表明,采用该方法生成的断点具有检查开销低、加速调试收敛等优势;采用所提供的断点的调试流程,与基于经典错误定位方法的流程相比,能以更低的人工开销定位更多的错误.     

基于灰色马尔科夫预测的移动多路传输调度算法

多路径传输控制协议通过聚合多路径带宽提高资源利用率及网络吞吐量。在无线异构网络环境中,由于网络性能不稳定、传输路径性能差异等因素容易导致数据包乱序及缓冲区阻塞,对网络多路传输性能造成负面影响。为在有限的接收缓冲区内对数据包实施合理调度,基于灰色预测模型GM （1,N）与马尔科夫优化的前向传输时间（FTT）预测模型,提出一种自适应多路传输数据调度算法GMM-S。通过对未来时刻子流FTT的准确预测实现子流传输性能的有效评估,并以此作为数据分发依据进行传输数据的多子流动态调整。仿真实验结果表明,与RR和LowRTT算法相比,该算法可有效解决接收端数据包乱序问题,同时提升网络吞吐量。