基于PIPE的可用性评估工具的研究

发布时间：2020-06-07 12:45

【摘要】： 目前,国家对高端容错计算机的依赖程度日渐增加。高端容错计算机研制的目标是面向国家关键应用领域,一方面具有极强的事务处理能力,另一方面具有极高的可用性,可长期提供高速、稳定的信息处理服务。本文试图解决的主要问题是如何对高端容错计算机系统的可用性进行评估。本文首先采用DRBD模型对高端容错计算机系统进行初步建模,将系统划分成静态可靠性和动态相关性两个部分。动态子系统部分被转化为GSPN模型,并利用Petri网工具进行求解。之后含有动态相关性描述的部分抽象为一个部件放回到DRBD模型中,利用传统的静态可靠性框图的计算公式,计算全系统的可用性。为了求解高端容错计算机DRBD模型转化而来的大规模GSPN模型,本文扩展了开源的PIPE工具。首先实现了可用度分析模块,用于求解模型的稳态可用度;采用哈希表数据结构,改进其状态空间产生器;采用磁盘存储方式存储稳定状态分布求解器的数据,从而支持大规模GSPN模型的分析。实验结果表明,改进后的PIPE工具一方面能够准确的求解模型的稳态可用度,从而量化的评估系统的可用性;另一方面其支持分析模型的规模得到了大幅度的扩充,分析模型的速度得到了很大的提高。改进后的PIPE工具能够求解超大规模的GSPN模型,能够很好地与DRBD结合,从而评估高端容错计算机系统可用性。
【学位授予单位】：哈尔滨工业大学
【学位级别】：硕士
【学位授予年份】：2009
【分类号】：TP302.8

【引证文献】