【技术实现步骤摘要】
基于Z语言的存储系统抗软错误可靠性建模与评估方法
本专利技术属于可信计算、形式化建模与验证领域,特别是一种基于Z语言的存储系统抗软错误可靠性建模与评估方法。
技术介绍
存储系统是计算机中重要的组成部分之一,它是外存与CPU进行沟通的桥梁。计算机中所有程序的运行都是在存储系统中进行的,因此存储系统的性能对计算机的影响非常大。其作用是用于暂时存放CPU中的运算数据,以及与硬盘等外部存储器交换的数据。只要计算机在运行中,操作系统就会把需要运算的数据从存储系统调到CPU中进行运算,当运算完成后CPU再将结果传送出来,存储系统的稳定运行也决定了计算机的稳定运行。由于物理结构原因,存储系统只能将数据保持很短的时间。为了保持数据,存储系统使用电容存储,所以必须隔一段时间刷新一次,如果存储单元没有被刷新,存储的信息就会丢失,关机就会丢失数据。存储系统可以分解为存储模块、数据寄存器、地址寄存器和内存控制器四个功能模块:1、存储模块是内存中负责存储数据的模块,当存储模块发生翻转导致软错误的时候,数据发生变化,引发内存故障;2、数据寄存器(MemoryDataRegister),是计算机控制单元中的寄存器,寄存了将要写入到计算机主存储器(DRAM)的数据,或由计算机主存储器读取后的数据。它就像缓冲器,持有从内存复制的数据,以准备给处理器使用,当数据寄存器发生翻转导致软错误时,其中所转存的数据改变,造成存储系统故障;3、地址寄存器(MemoryAddressRegister),地址寄存器用来保存当前CPU所访问的内存单元的地址。由于 ...
【技术保护点】
1.一种基于Z语言的存储系统抗软错误可靠性建模与评估方法,其特征在于,所述方法包括以下步骤:/n步骤1,根据存储系统MS结构划分存储系统功能模块MFM,并根据Z语言规范,对存储系统进行分级建模,得到可靠性模型,包括存储系统可靠性模型Z-MS-RM和其子模型存储系统功能模块可靠性模型Z-MFM-RM;/n步骤2,采用隐马尔可夫模型HMM描述Z-MS-RM模型,为存储系统建立HMM
【技术特征摘要】
1.一种基于Z语言的存储系统抗软错误可靠性建模与评估方法,其特征在于,所述方法包括以下步骤:
步骤1,根据存储系统MS结构划分存储系统功能模块MFM,并根据Z语言规范,对存储系统进行分级建模,得到可靠性模型,包括存储系统可靠性模型Z-MS-RM和其子模型存储系统功能模块可靠性模型Z-MFM-RM;
步骤2,采用隐马尔可夫模型HMM描述Z-MS-RM模型,为存储系统建立HMMMS模型;
步骤3,根据连续时间马尔可夫链CTMC计算存储系统功能模块的失效率,对存储系统功能模块的可靠性进行评估;
步骤4,将存储系统失效与否状态定义为存储系统整体的状态变量空间S,各功能模块失效与否状态序列定义为存储系统整体的观测变量空间O,O中的状态通过步骤3中的存储系统功能模块的可靠性评估结果计算得到,利用HMMMS模型对存储系统整体的可靠性进行评估。
2.根据权利要求1所述的基于Z语言的存储系统抗软错误可靠性建模与评估方法,其特征在于,步骤1中存储系统功能模块可靠性模型Z-MFM-RM表示为一个四元组:
Z-MFM-RM=(FRateMFM,StateMFM,STRMFM,t)
式中,FRateMFM表示存储系统功能模块的失效率,StateMFM表示存储系统功能模块的状态空间,STRMFM表示状态转移关系,t表示时刻。
3.根据权利要求2所述的基于Z语言的存储系统抗软错误可靠性建模与评估方法,其特征在于,步骤1中所述存储系统包括存储模块MM、数据寄存器MDR、地址寄存器MAR和内存控制器MC共四个功能模块,上述模块的失效率分别用λMM、λMDR、λMAR和λMC表示;其中,所述存储模块MM包括存储体BA、地址译码器AD、行缓冲区RB共三个组件,则存储模块MM的失效率λMEM为:
λMM=1-(1-λBA)(1-λAD)(1-λRB)
式中,λBA、λAD和λRB分别为组件BA、AD和RB的失效率;
同理可获得λMDR、λMAR和λMC。
4.根据权利要求3所述的基于Z语言的存储系统抗软错误可靠性建模与评估方法,其特征在于,步骤2中所述HMMMS是一个六元组,如下所示:
HMMMS=(I,Q,aij,bij,π,t)
其中,
(1)I表示长度为T的状态序列,记作I=(i1,i2,...,iT),
(2)Q表示I对应的观测序列,记作Q=(q1,q2,...,qT);
(3)aij表示隐含状态转移概率,即存储系统在各个状态间转换的概率,记为矩阵A=[aij]N×N,其中:
aij=P(it+1=sj|it=si),i≤j,j≤N
表示在任意时刻t,若状态为si,则在下一时刻状态为sj的概率,N表示总时间;
(4)bij表示HMMMS的输出观测概率,即模型在当前状态下取得各个观测值的概率,记为矩阵B=[bij]M×M,其中:
bij=P(qt=oj|it=si),1≤i≤N,1≤j≤M
表示在任意时刻t,若状态为si,则观测值oj被获取的概率,M表示表示总时间;
(5)π表示HMMMS的初始状态概率,模型在初始时刻各状态出现的概率,记为π=(π1,π2,...,πN),其中:
πi=P(i1=si),1≤i≤N
表示模型的初状态为sj的概率;
(6)t表示时刻;
对于HMMMS,qt∈Q表示第t时刻的存储系统功能模块状态序列,取值范围为O=(o1,o2,...,oN),oi表示第i个状态序列,N=2n,n为功能模块的数量,以0表示正常状态,以1表示失效状态;it∈I表示第t时刻存储系统的状态值,即存储系统是否失效,取值范围为S=(s1,s2,...,sM)={0,1};
在任一时刻,观测变量的取值仅依赖于状态变量,即qt依赖于it,与其他状态变量及观测变量的取值无关;同时,t时刻的状态it仅依赖于t-1时刻的状态it-1...
【专利技术属性】
技术研发人员:庄毅,刘阳,晏祖佳,顾晶晶,
申请(专利权)人:南京航空航天大学,
类型:发明
国别省市:江苏;32
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。