以可用性为目标函数的最优检查点间隔

我们给出了Young_1974 [1]中最优检查点间隔的简化推导。[1]中最优检查点间隔的推导基于最小化作为目标函数的总损失时间。损失时间是检查点间隔、检查点保存时间和平均故障时间的函数。该简化推导得出的损失时间最优间隔与[1]中推导的相同。对于大规模扩展超级计算机或数据中心系统，重要的是选择最大化可用性的最优检查点间隔。我们表明，可用性最优检查点间隔与[1]中推导的不同。然而，在检查点保存和恢复时间的某些条件下，可用性最优检查点间隔渐近等同于损失时间最优检查点间隔。我们证明，在错误检测延迟显著小于任何选定检查点间隔的情况下，这些最优检查点间隔成立。然而，在错误检测延迟非常大的情况下，最优检查点间隔大于或等于错误检测延迟。