Аннотация:
Рассматриваются алгоритмы восстановления вычислительного процесса после сбоев аппаратуры. Предлагается алгоритм модифицированного линейного восстановления, позволяющий из числа сохраненных состояний программ находить последнее соответствовавшее исправно работающей аппаратуре. Доказана единственность последовательности восстановления, обладающая этим свойством. Задача решается при отсутствии ограничений на величину интервала между проявлением и обнаружением неисправности. Приведены количественные оценки затрат на восстановление.
Полный текст:
PDF файл (1761 kB)