论文部分内容阅读
介绍了高可用性冗余集群系统的一些关键技术,提出了一种基于任务表的自适应容错算法,对算法的设计思想和具体实现进行了详细阐述。最后建立了系统随机Petri-net模型,对系统进行可信性分析,经计算分析表明系统满足实际高可用性要求。
一种高可用性冗余集群的关键技术及可信性分析
【摘 要】
：
介绍了高可用性冗余集群系统的一些关键技术,提出了一种基于任务表的自适应容错算法,对算法的设计思想和具体实现进行了详细阐述。最后建立了系统随机Petri-net模型,对系统进行可信性分析,经计算分析表明系统满足实际高可用性要求。
【机 构】
：
桂林航天工业高等专科学校计算机系西安科技大学计算机系
【出 处】
：
计算机应用
【发表日期】
：
2009年02期
【基金项目】
：
国家科技部创新基金资助项目(01c26226111003),, 桂林航天工业高等专科学校科研资助项目
其他文献
复合预应力混凝土工法具有改善层间隔音,便于结构板内埋设管线维修,减轻结构自重,有效地降低楼盖结构层高度,增加建筑面积,突破以往的高跨比限制实现大柱网大开间,楼板底面不
肱骨干骨折伴桡神经损伤．在创伤骨科中并不少见。近十几年改革开放后农村个体织机的蓬勃发展，织机轧伤事故明显上升。我院自1987年～1997年经治肱骨干骨折158例中．因织机(纤经车)
Doctor Rabbit lived in the very biggest tree in the Big Green Woods. He looked after all the other rabbits when they were ill and he doctored quite a number of the other little creatures of the Big Wo
近期，佑泰在推出一系列高端机箱之后，再次出击时尚机箱领域，推出了采用镜面漆工艺的ATXL8017机箱。该款机箱拥有银、红、白、黑四种颜色可供选择。ATXL8017外观设计独特，一改普通
物理学是一门以实验为基础的科学，实验不但是以培养学生的观察能力、动手能力、思维能力为教学目的，而且是物理传统教育中的一种重要教学手段。通过实验使学生获得感性认识，引起
随着我国商品经济的全面发展,文化艺术市场已初具规模,作为艺术工作者劳动成果的艺术品,正大量涌进交换场所,以商品形式出现在人们面前。在国外,艺术品买卖早已成为一兴旺行
经济的原因加上朋友的“蛊惑”，笔者在配机的时候选择了一款C51主板。本以为C51足以应付当前的主流游戏，哪知道一试之下竟然大失所望。不过素有钻研精神的我怎会就这样放弃，看来
本文主要对图书馆信息化建设的重点和风险规避进行分析，详细阐述了文献资源、虚拟资源和信息化管理的内容，然后总结了风险的内容和规避措施，为图书馆工作人员在信息化建设中提供
OpenMP是现代多核机群系统采用的主要并行编程模型之一,在单CPU多核上可以获得良好的加速性能,但在整个机群系统上使用时,需要解决可扩展性差的问题。首先设计了求解非平衡动力学方程的并行算法。基于分布共享的多核机群系统,采用显式数据分布OpenMP并行计算方法,将数据进行分布式划分,分配到每个OpenMP线程,通过数据共享实现数据交换。计算结果表明显式OpenMP并行程序在保持可读性的同时,具有良
本文简单介绍了DP12数码照相机的工作特点、性能及使用技巧。同时，分析了金相研究中对于数字图像分辨力、色彩需求的特点，阐明了适合需求是第一位的；另外DP12在实际使用过程中存