面向崩溃预测的寄存器软错误故障传播分析

故障注入是研究软错误故障传播的传统手段,但随着程序复杂性不断增加,采用故障注入对大量软错误的故障传播进行研究将花费巨大的时间成本。提出一种基于程序动态指令进行分析和建模从而快速获取软错误结果的方法。将程序转化为动态指令序列,通过体系结构正确执行分析将所有可能的软错误划分为对程序运行结果有影响和没有影响两部分;基于动态依赖图建立软错误故障传播分析模型,并建立判断程序崩溃的标准,进而提出一个算法对任意制定的能够影响程序运行结果的软错误进行故障传播分析并重点预测程序崩溃的发生。实验显示,预测的漏报率和分析单个软错误的平均用时明显低于现有方法。     

一种基于QoS的自适应网格失效检测器

失效检测器是构建可靠的网格计算环境所必需的基础组件之一.由于网格中存在大量对失效检测有着不同QoS需求的分布式应用,对于一个网格失效检测器来说,为保持其有效性和可扩展性,应该既能够准确提供应用程序所需的失效检测QoS,又能够避免为满足不同QoS而设计多套失效检测器所产生的多余负载.基于QoS基本评价指标,采用PULL模式主动检测策略实现了一种新的失效检测器--GA-FD(adaptive failure detector for grid),可以同时支持多个应用程序定量描述的QoS需求,不需要关于消息行为和时钟同步的任何假设.同时,证明了GA-FD在部分同步模型下可实现一个◇P类的失效检测器,并给出了相应的实验及数据.     

一种无文件恢复的检查点算法

在容错计算中,检查点技术的使用可以使进程在失效后恢复到一个最近状态,从而有效控制计算损失。考虑进程在计算过程中可能对一些外部资源进行操作,如对文件进行更新,进程恢复时若不进行外部资源恢复,那么进程所见的外部资源状态可能与实际不一致。若允许外部资源恢复将会带来可观的已获取信息丢失,同样是不希望的。为此我们提出了一个扩展的AFS文件语义,在该语义下检查点设置依赖于文件状态,但在进程恢复过程中无需进行文件卷回。这一方面减少了存储信息的丢失,另一方面可提供快速的恢复。     

“计算机设计与实践”实践教学分析

本文首先介绍了国内外大学相关课程的基本情况,然后对比分析了哈工大计算机学院的"计算机设计与实践"课程与国外相关课程的差别与差距。     

基于Spirent的Web应用性能评测

分析现有在线事务处理(OLTP)类应用评测方法,提出一种基于Spirent的Web应用性能评测方法。采用平均事务响应时间、待测系统资源利用率和每秒事务数作为主要测试指标,将Web服务器和数据库服务器作为一个整体应用,综合评测OLTP类Web应用的软硬件性能,并快速定位Web应用系统的性能瓶颈。测试结果表明,该方法能将Web应用的系统性能提高40多倍,响应时间降低10多倍。     

面向安腾架构的分层内存故障注入方法

为研究内存故障对高可用服务器的影响,针对安腾架构的计算机提出一种多层次的内存故障注入方法,设计并实现一种新的故障注入器(HMFI),通过在物理层、操作系统内核层和进程层注入内存故障,考察目标系统对内存故障的容错能力。实验结果表明,HMFI注入的内存故障能够有效验证与分析复杂计算机系统的容错性能。     

一种基于自主计算的集群管理架构

为提高集群系统的可管理性和易用性,提出了一种基于自主计算的集群管理架构。给出了架构中主要模块的设计和实现细节,并作了相关实验验证。实验结果表明该架构和传统集群管理结构相比,在可管理性和易用性上具有一定的优越性。     

超立方体网络的不相交路径通信策略研究综述

超立方体是一类具有良好的拓扑性质的互连网络模型。不相：交路径的实现是超立方体网络中容错通信的有效保证。介绍了超立方体网络的不相交路径路由策略中的主要研究内容和研究现状,对近年来该方面取得的研究成果进行分析和总结,并指出了其中存在的问题和该策略研究的方向。     

数据网格资源选择优化模型

为了满足网格数据服务的可靠性和传输时间约束,同时兼顾网络负载及节点资源的有效利用,提出了一种网格数据资源选择优化模型,该模型以网络负载和资源代价为优化目标函数,以节点的传输速度、可靠性、传输距离、网络状态、客户端带宽和容忍度阈值为输入,进而决策出参与服务的最优节点集合,同时模型中设定了权重因子来均衡网络负载与资源代价....     

基于JTAG的硬件故障注入工具

可靠性是评价容错计算机的重要性能指标之一,评价系统的可靠性在计算机系统的设计及实现阶段都有重要意义,故障注入法是可靠性评测的一种常用方法.在通用的JTAG调试技术基础上,描述了一种针对CPU的硬件故障工具,并通过仿真实验进行了验证.该硬件注入工具基于IEEE标准,只要知道目标芯片的边界扫描链,就可以进行故障注入工作;同...