4010

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Формализованное описание резервирования взаимосвязанных программных модулей в параллельных вычислительных системах

Наименование конференции: 

  • Информационные технологии в науке, образовании, телекоммуникации и бизнесе (IT+S&E – Information Technologies in Science, Education, Telecommunication and Business)

Город: 

  • -

Издательство: 

  • -

Год издания: 

2007

Страницы: 

56-60
Аннотация
Излагается новый подход к оценке отказоустойчивости управляющих параллельных вычислительных систем (ВС) при выполнении сложных комплексов взаимосвязанных работ (программных моделей) - КВР, со случайными временами их реализации: на основе разработанных автором формализованных описаний и математических моделей вычислительных процессов аналитически определяются вероятности успешного завершения каждого конкретного (задаваемого пользователем) КВР за заданное (пользователем) директивное время при синхронном и асинхронным резервировании пограммных модулей КВР. Эти оценки определяются как для нормального, штатного выполнения КВР с резервированными программными модулями, так и для случаев одиночной неисправности (ошибки) одного любого из процессоров ВС при реализации им любой из работ КВР.

Библиографическая ссылка: 

Исаева Н.А. Формализованное описание резервирования взаимосвязанных программных модулей в параллельных вычислительных системах / . -: -, 2007. С. 56-60.