国家高技术研究发展计划(2008AA01A202)
- 作品数：15 被引量：38H指数：4
- 相关作者：张兴军孙健董小社秦济龙李仁刚更多>>
- 相关机构：西安交通大学浪潮〈北京〉电子信息产业有限公司浪潮电子信息产业股份有限公司更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种可靠性框图的异构系统可用性评价模型被引量：6
- 2016年
- 针对异构系统内自治节点性能特征差异导致系统整体可用性评价困难的问题,提出一种采用可靠性框图的可用性评价模型.首先,分析系统异构性,从节点和任务角度对异构性进行分类,对资源异构性进行数学量化;然后,结合异构性分类构建串并行混联的异构系统可靠性框图可用性评价模型,并根据模型分析节点和整体异构系统的可用性度量方法.可用性评价以典型双节点和多节点异构系统为例,同时与马尔可夫过程可用性模型的评价结果进行比较,结果表明,文中所提模型能对异构系统可用性进行准确评价,可为研究异构系统可用性提升及高可用设计提供参考.
- 孙健张兴军董小社
- 关键词：异构系统可用性异构性高可用
- 云操作系统中资源池的构建方法被引量：3
- 2012年
- 本文提出了一种云操作系统资源池的构建方法,此方法从资源的结构、资源的采集、资源的映射与资源的同步方面阐述了资源池构造、更新、同步方法。本文对云操作系统中的各种资源进行科学设计,利用内存和数据库的各自优势,将资源的动态信息科学高效地存入内存中,结合数据库静态信息的存放功能和备份功能,通过合理的同步方式,架构了一种合理高效的云操作系统的资源池。实验证明,该资源池的设计方法能够实现云操作系统中资源在内存中科学合理的映射与管理,并能够实现快速实时的资源的获取。
- 郭锋王理想
- 关键词：资源池信息采集
- 一种Cache一致性协议验证中覆盖率驱动的随机验证方法被引量：1
- 2011年
- 随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术,覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一。针对Cache一致性协议的验证目标,介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随机验证的方法,并结合相关的实际验证过程对该方法进行了分析和讨论。
- 李拓王恩东胡雷均秦济龙
- 关键词：朴素贝叶斯模型
- 用软件中断实现的Linux内核故障注入方法被引量：3
- 2014年
- 针对容错操作系统的可靠性评测问题,提出一种向Linux内核注入"单个位"故障的方法。基于x86体系结构中的软件中断机制,首先利用可加载内核模块机制在时钟中断中设置一个探测点,然后将用户态的故障数据传输到内核空间,最后利用一种C/S结构的故障注入模型,分别向Linux内核的arch、fs、kernel和mm四个子系统注入故障(瞬时型、间歇型和永久型)6 700余次。实验结果表明,与arch和fs子系统相比,kernel和mm子系统对故障的敏感度较高,平均检测故障覆盖率达到38.23%;与数据段相比,内核代码段对故障的敏感度较高,平均检测故障覆盖率达到73.49%,该方法提高了容错型操作系统可靠性评测的速度和准确度。
- 郭庆伟杨麦顺张影张兴军
- 关键词：可靠性评测LINUX内核
- 异构平台实时任务的可用性提升容错调度算法被引量：3
- 2015年
- 随着互联网+、云计算以及大数据等领域的迅速发展,异构平台成为部署科学计算、工业控制、云存储等关键应用的重要平台.由于平台内处理机性能及软硬件体系结构的异构性,异构平台表现出良好的可扩展性与高性价比.但是平台规模扩大和系统应用日趋复杂导致异构平台上实时任务的可调度性变差,系统可用性降低.针对此问题,提出了一种异构平台实时任务的可用性提升容错调度算法(availability improving fault-tolerant scheduling algorithm,AIFSAL).以处理器利用率和可用性成本为依据设计任务调度整体框架结构、处理机、任务以及调度模型;结合可用性成本设计算法并通过主副版本备份(primary/backup copy,PB)方法实现容错,任务副版本根据处理器利用率不同选择被动或重叠方式执行以减少系统冗余开销,提高可调度性,调度中无论任务主、副版本均优先选择可用性成本低的处理机以提高系统可用性;对任务分配情况和可调度性进行理论分析以证明AIFSAL的可行性.仿真实验与比较分析表明,AIFSAL较可用性约束(availability approached task scheduling algorithm,AATSAL)算法、单调速率扩展(task partition based fault-tolerant rate-monotonic,TPFTRM)算法以及最早完成时间(MinMin)算法在不降低可调度性的基础上有效地提升了系统可用性,减少了系统综合开销,综合性能提高显著.
- 孙健张兴军董小社
- 关键词：异构平台任务调度可用性容错
- 一种收发逻辑环回测试方法的设计与实现被引量：7
- 2010年
- 环回测试通常用于检查和分析芯片收发模块接口电路、内部逻辑以及传输线路物理实现的正确性。逻辑仿真过程中的环回测试主要用来验证收发模块逻辑设计以及环回设计功能的正确性。调试阶段的环回测试能够快速定位传输线路物理实现的故障点,为研制工作节省时间开销和人力成本。介绍了一种优化设计实现的物理层芯片环回设计和测试方法,更加有效地缩短了调试周期。
- 李仁刚秦济龙
- 关键词：环回发射器接收器FPGA
- 基于模糊故障树的计算机硬件故障诊断被引量：5
- 2012年
- 随着计算机技术应用的不断深入,需要提出有效诊断计算机硬件故障并对故障类型进行合理分析的方法。文中通过以Linux操作系统环境为研究对象,针对计算机系统硬件故障发生概率具有模糊性和不确定性的特点,将模糊理论引入计算机硬件故障分析方法中来,通过引入模糊集的概念将常规故障树中基本事件的发生概率模糊化。在实际分析过程中以CPU错误为例,采用上行法求解最小割集并采用转化三角模糊数的方法,为系统的可靠性评估、故障诊断以及维修决策提供了理论依据和实现方法。
- 康月宁吴楠韩晓鹏伍卫国张兴军
- 关键词：模糊数故障树
- 一种物理链路检测电路设计及仿真模型实现方法被引量：2
- 2010年
- 检测电路用于动态检测多节点系统中节点间物理传输链路连接故障,以便系统采用链路降宽、冗余设计等手段提高系统可靠性。其仿真模型是指在系统级功能仿真验证阶段建立合理的检测电路软件模型,以保证设计验证的顺利进展;同时也为研制工作节省时间开销和设计成本。介绍了一种物理链路检测电路的设计方法,并且实现了其软件仿真模型的设计方法。
- 李仁刚王恩东胡雷钧秦济龙
- 关键词：检测电路仿真模型可靠性
- 基于紧耦合单跳步多平面架构的高端服务器设计被引量：5
- 2014年
- 针对高端服务器设计面临的可扩展性问题,提出了一种紧耦合单跳步多平面(TSMP)体系结构设计方法。该方法采用双侧多平面互连结构,支持8-32路规模无缝扩展;基于两级目录结构的高速缓存一致性实现方法,支持高并发一致性访问和高效冲突处理,有效降低一致性访问传输、处理延迟。该方法已应用于浪潮32路K1高端服务器的设计,对设计的系统进行了内存性能、处理性能和可扩展性测试,测试结果表明,采用该设计可使高端服务器的计算、访存性能随系统规模从单路到32路线性增长。K1高端服务器支持基于QPI1.0协议的Intel安腾(Itanium)4核CPU-Tukwila和8核CPU-Polson,是中国研制的首台投入商业化应用的高端服务器。
- 王恩东陈继承胡雷钧公维峰
- 关键词：CACHE一致性
- 一种指令级Linux内核瞬时故障注入方法研究
- 2015年
- 为对Linux操作系统的可靠性和健壮性进行测试,提出一种指令级Linux内核瞬时故障注入方法。该方法允许测试人员动态地向指定的内核指令及其运行环境注入故障,并根据测试需求设计合适的故障模式,从而收集系统的反馈信息,研究导致系统失效的故障模式,实现对Linux系统可靠性与健壮性的有效测试。以Linux 2.6.32内核为目标系统进行故障注入实验,结果表明,该方法能够有效地对内核指令及其运行环境进行故障注入,并在此基础上完成Linux系统对不同故障的敏感度统计。
- 张影杨麦顺张兴军郭庆伟
- 关键词：LINUX内核可靠性健壮性LINUX系统
