基于Rejuvenation和检查点技术的软件性能研究

摘要

近年来,一种新兴的软件容错技术Rejuvenation得到了广泛研究.该文将这项技术与传统的检查点技术相结合,提出了一种保障系统可靠性的容错策略,利用流体随机Petri网(Fluid Stochastic Petri Net,FSPN)这一模型描述语言,建立结合Rejuvenation和检查点技术的软件系统工作模型,并以执行这一策略后系统的丢包率和总损失作为性能指标.对模型的数值分析和仿真表明,这项技术较之单纯的检查点技术,可以大大降低丢包率,提高系统可靠性.最后,根据系统损失函数,可以确定执行Rejuvenation的最优策略.