郑霄
- 作品数：15 被引量：11H指数：2
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术理学自然科学总论更多>>
- 一种超算系统的强度可用性建模与评估被引量：1
- 2010年
- 可用性评估越来越注重用户的感知,强度可用性就是这样一种能反映用户所感知的系统计算能力的可用性评估指标。然而超算系统所面对的用户有很多,他们在不同层次上与系统交互,因此所感知的强度可用性各不相同,但相互之间存在关联。若分别为他们建模求解,既会造成很多重复性工作,也会延长评估的过程。提出一种名为UHAM(User-oriented Hierarchical AvailabilityModeling)的、基于层次化建模的强度可用性评估方法,实现了一次建模与求解能满足多个评估需求的目的。UHAM方法独立于系统的具体结构,因而具有普适性。
- 郑霄李宏亮陈左宁谢向辉
- 关键词：层次化建模
- Java服务主动容错模型分析与评估被引量：1
- 2010年
- Java服务已成为支撑关键业务的业务服务,其可用性成为关键业务系统是否能持续提供服务的关键。采用主动容错技术可提高Java服务的可用性,建立Java服务的主动容错模型,便于分析和评估主动容错技术的有效性。通过模型分析与仿真实验的方法比较了采用Rejuvenation策略与不采用Rejuvenation策略的容错效果,通过分析评估得出,采用主动容错技术将有效改善Java服务的可用性,如果合理选择实施软件Rejuvenation策略的时间点,则可以取得更好的容错效果。
- 陈新黄永忠鲍天明郑霄
- 关键词：随机PETRI网JAVA虚拟机高可用
- 基于SANs模型的一种并行I／O系统的可用性评估
- 2008年
- 并行I/O系统是高性能计算机系统的一个重要组成部分,其可用性水平对整机系统性能的发挥具有重要作用。采用SANs(Stochastic Activity Networks,随机行为网)模型及其支持工具Mobius,对一种大规模并行I/O系统建立可用性评估模型,并采用模拟方法进行解析。模拟结果反映了全局文件系统数量、单一文件系统内最小可用OST(Object Storage Target,对象存储目标)数量和系统维修时间等参数的变化对全系统可用度的影响,对于大规模并行I/O系统的设计与维护具有积极的参考价值。
- 郑霄李宏亮郑方郑翔陈左宁
- 关键词：MOBIUS可用性评估
- 复杂串联系统的状态空间生成的形式化分析
- 2009年
- 大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
- 郑霄赖新王丽田涛
- 关键词：形式化方法
- 一种网络设备的虚拟化方法、装置和系统
- 本申请实施例公开了一种IB网络设备的虚拟化方法、装置和系统。其中，所述方法包括：将HCA所需的接口控制内存ICM空间映射到各个物理内存中；将物理内存分别映射到一个本地处理器运行的操作系统的核心空间中。根据本申请实施例，在...
- 郑霄陶锦中彭龙根吴志兵
- 超级计算机系统的可用性评估研究
- 超级计算机系统是世界各国争相抢占的重要战略资源,而性能则是它的生命线。在其性能不断飞跃、功能与结构越来越复杂的同时,超级计算机系统的可用性问题日益严重。为了提高超级计算机系统的可用性,尽量降低失效与维修事件对系统性能发挥...
- 郑霄
- 关键词：超级计算机可用性评估MOBIUS
- 文献传递
- 复杂串联系统的状态空间生成的形式化分析
- 大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
- 郑霄赖新王丽田涛
- 关键词：形式化分析
- 文献传递
- IB QoS的带宽分配机制研究
- InfiniBand（简称IB）网络的质量服务策略（简称IB QoS）能有效分离控制在IB网络上并发传输的不同应用负载的带宽，从而为基于InfiniBand网络互连的高性能计算（简称HPC）平台和数据中心平台用户提供网络...
- 郑霄陈忠平吴志兵
- 关键词：INFINIBAND网络虚通道带宽分配
- 分布式状态空间生成的设计与实现被引量：2
- 2009年
- 状态空间生成的并行化是针对状态空间爆炸问题而提出的一种重要手段。提出了一种基于MapReduce的分布式状态空间生成方案,与现有的同类研究相比,它无需用户关心生成算法的并行化,具有简单易用性;与常规的MapReduce的用法相比,它增加了输入文件的自动生成和作业运行的自动循环控制。该方案已在小规模分布式环境下实现,实验结果表明:(1)基于Map-Reduce的分布式状态空间生成算法可以扩大模型的可求解规模;(2)对于状态空间规模的增长主要由托肯(token)数增加引起的一类模型,该算法具有良好的适应性和可扩展性。
- 郑霄李宏亮吴东原昊
- 关键词：状态空间模型MAPREDUCEHADOOP
- 浅析计算机系统的不可信成因与解决对策
- 随着计算机的深入发展与应用,其可信性的重要性越来越被人们所认同。本文在深入理解可信性的概念和回顾故障病理学的机理的基础上,对如何提高系统的可信性提出了三点看法：1）必须以用户的评判标准为准则;（2）综合采用还原论和整体论...
- 郑霄郑方李宏亮陈左宁
- 关键词：计算机系统失效模式可靠性分析
- 文献传递
