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