文档介绍：分析策略导致的系统可用性和抗衰成本,这种方法避免了直接将模型同构为马尔可夫过程可能遇到的状态空间爆炸问题。关键词:软件抗衰,软件老化,抗衰粒度,性能保持,自愈系统,软件工程,软件体系结构,重启树,�����远���低晨捎眯裕�低晨煽啃�摘要博士学位论文
,����嘲������������.�两�����������������瓼���,��衭���������.���������,���时������嘲���������������,����������畊�������.����腷�������,��������������畸���������.�������������.������,������琭��猤�����—��������瓸�������,������。��细粒度软件抗衰繁略及捐,芫技来研究�����瑆���.����瓵�����琲�������—�����·�������猯������瑃��������猵�����������,������甌�������������������甀�����琲������.�����博士学位论文
皍��������知����������������������������������,�������琑����������.����������.��������甌����.�����.����畉����.����,�����甌����猯�������������琣������.������:�������,����������琒������,�������������博士学位论文.�.一
图清单�跲.�胁时三种软件抗衰策略的抗衰成本比较⋯⋯⋯⋯⋯⋯⋯..�图��硬件失效随时闻变化规律⋯⋯⋯软件失效随时间变化规律⋯⋯扩展的软件缺陷分类⋯.实施软件抗衰的计算系统的性能变化规律⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..�本文的主要工作⋯⋯⋯⋯⋯⋯⋯⋯论文结构示意图⋯⋯⋯⋯⋯。计算系统的周期性恢复⋯⋯。基于检测的软件抗衰策略⋯⋯⋯.两步失效与恢复模型��⋯⋯⋯.两步失效与恢复模型��⋯⋯⋯。基于时间与检铡的软件抗衰策略⋯三种软件抗衰策略的抗衰成本比较失效概率≤���比�秩砑�顾ゲ呗员冉�计算系统对某应用或进程执行周期性重启嵌套的软件抗衰策略⋯⋯⋯⋯⋯⋯⋯⋯⋯树状体系结构⋯⋯⋯⋯⋯⋯⋯⋯⋯.网状体系结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯�平面体系结构�邢蛭藁�⋯⋯⋯⋯⋯⋯.,模块间有全局数据访问的树状体系结构⋯由物理内存的损耗得到的重启树分枝⋯⋯��的损耗得到的重启树分枝⋯⋯⋯⋯图��对应的重窟树图��对应的重启树单级抗衰过程的��P�系统服从两步失效�单次挠衰过程的��P汀���������执行两级���南低砃�模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯...�博士学位论文�⋯⋯⋯⋯⋯⋯⋯⋯⋯�⋯.⋯.....⋯..⋯.⋯⋯�⋯⋯⋯⋯⋯⋯。�............⋯⋯..�圈清单
逑到峁埂�ā���执行���南低矼’�P汀������图��图���执行两级���南低矰�模型⋯⋯⋯⋯⋯⋯执行三级���南低砃�模型⋯⋯⋯⋯⋯。执行三级���南低矰�模型执行���南低矰�模型两级嵌套的���氖凳┕�棠P汀������七级嵌套的软件抗衰策略的实施过程模型⋯⋯⋯单次抗衰过程的��P偷目纱锸�⋯.不同斜率下的年度抗衰成本..不同斜率下的系统可用性嵌套策略与单级策略的最小年度抗衰成本比较⋯嵌套策略与单级策略的最大系统可用性比较⋯⋯总体物理内存使用序列⋯⋯总体空闲交换空间序列⋯。���小波平滑过后的总体物理内存使用序列��畆/�波平滑过后的总体空闲交换空间序列��&务的物理内存使用序列⋯⋯⋯⋯⋯⋯⋯⋯⋯.数据库服务的物理内存使用序列⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。���/�波平滑过后的���尬竦奈锢砟诖媸褂眯蛄����波平滑过后的数据库服务的物理内存使用序列⋯⋯⋯⋯⋯�从健壮状态到失效状态的概率分布估计⋯⋯⋯⋯⋯圈���细幸盘度软件抗褒簧略厦褶关技术研究⋯��.....�...�.�博士学位论文
⋯⋯⋯表清单对应图��的状态集�性K丶捌浜��表��计算系统性能参数袭图��中任意模块间的重启相关度⋯⋯图��中任意模块闻的重启相关度⋯。由位置组标识的系统状态对应图��的字母表∑中元素及其含义对应图��的状态集�性K丶捌浜�濉���对应图��的字母表艺中元素及其含义对应图��的字母表∑中元素及其含义⋯⋯。公式�.�、�.�中各变量的意义⋯⋯⋯。已知失效率和单位时问停机成本参数表⋯系统资源的趋势估计和资源枯竭时间估计.⋯....⋯..⋯..⋯..�表�........⋯.,⋯....⋯.�...⋯...⋯......⋯...�⋯⋯⋯⋯⋯。�⋯.