Время исполнения программы в присутствии случайных сбоев

В данной работе рассматривается известный метод контрольных точек для восстановления работы программы при сбоях. Суть метода состоит в записи состояния программы в определенный момент времени, называемый контрольной точкой. Если сбой произойдет позже контрольной точки, то возращаться надо не в нулевую точку, а в контрольную. Тем самым, избегается повторное исполнение программы от нулевой точки до контрольной. Предполагается, что время восстановления программы после сбоя равно нулю, а интервалы времени между двумя последовательными сбоями есть независимые случайные величины, распределенные экспоненциально. Построенная вероятностная модель позволяет получить математическое ожидание случайной величины времени исполнения программы в присутствии сбоев. Кроме того, в работе решается вопрос выбора оптимальной контрольной точки, минимизирующей математическое ожидание времени исполнения программы.