SlideShare a Scribd company logo
ЛЕКЦИЯ 2. Показатели надежности ВС.
Методика расчета показателей надежности ВС.

Пазников Алексей Александрович
к.т.н., ст. преп. Кафедры вычислительных систем
Сибирский государственный университет
телекоммуникаций и информатики
http://cpct.sibsutis.ru/~apaznikov/teaching/index.php?n=Site.DCSFT-spring2014
Оперативная надёжность и восстановимость

2
Функция оперативной надёжности

3
Функция оперативно восстановимости

4
Функция готовности. Коэффициент готовности

5
Показатели надёжности ВС

Показатели надёжности позволяют:
• Подобрать такой состав вновь компонуемой
ВС, при котором обеспечиваются заданные
уровни и производительности и надёжности.
• Проанализировать
качество
работы
существующей ВС и оценить её возможности по
решению задач.

6
Показатели надежности ВС для переходного режима

Показатели надёжности для переходного режима:
• С какой вероятностью задача будет решена, если
в момент его поступления производительность не
менее требуемой. Говоря иначе, сможет ли
пользователь успешно решить свою задачу до
отказа системы.
• Как быстро можно ожидать восстановления
требуемого уровня производительности, если в
момент поступления задачи производительность
ВС низка.
• Будет
ли
ВС
иметь
необходимую
производительность в момент поступления
задачи в систему.
7
Показатели надежности ВС для стационарного режима

Показатели надёжности для стационарного режима:
• Могут ли быть решены поступающие задачи, если
система длительно эксплуатируется. Иначе, могут
ли быть решены задачи, если в момент их
поступления достоверно неизвестно, в каком
состоянии находится система.
• Насколько
быстро
можно
ожидать
восстановления требуемой производительности,
если ВС длительно эксплуатируется.
• Будет
ли
система
иметь
необходимую
производительность
в
любой
момент
поступления задачи, если она уже достаточно
долго находится в эксплуатации.
8
Методика расчёта показателей надёжности ВС

Методика расчёта
показателей надёжности
вычислительных систем

9
Методика расчёта показателей надёжности ВС

К методике расчёта предъявляют требования:
1. Приемлемость к большемасштабным ВС (ВС с любым
количеством ЭМ)
2. Адекватность реальному процессу работы ВС или
реализация
принципов
квазианалогии
(удовлетворительная для практики точность)
3. Единообразие
методов
исследования
функционирования ВС в обоих режимах.
4. Простота численного анализа функционирования ВС
при произвольном количестве ЭМ (невысокая
трудоёмкость вычислений).
5. Возможность выявления общих закономерностей,
которые отражают достигнутый и перспективный
уровни технологии ВТ.

10
Модель функционирования ВС со структурной избыточностью

11
Модель функционирования ВС со структурной избыточностью

Подсистема отказавших ЭМ

Реконфигуратор ВС

12
Модель функционирования ВС со структурной избыточностью

•

Проверка работоспособности ВС и поиск отказавших
машин выполняется средствами (само)контроля и
(само) диагностики. Последние будем называть
контролером и диагностом.

•

Композиция контролера, диагност и реконфигуратора
является
виртуальным
восстанавливающим
устройством (ВУ) для распределённой ВС.

•

Возможна генерация нескольких виртуальных ВУ.
Каждое ВУ обслуживает одну ЭМ.

13
Модель функционирования ВС со структурной избыточностью

Функции компонентов каждого ВУ.
•

Для
диагноста
обслуживаемой ЭМ;

•

Для контролера – проверка работоспособности
выбранной машины;

•

Для реконфигуратора – альтернативное выполнение
одной из двух функций:

–

выбор

(локализация)

 сохранение проверяемой ЭМ в составе основной
подсистемы, если она исправна,
 Включение машины из резерва в состав основной
подсистемы в противном случае.
14
Модель функционирования ВС со структурной избыточностью

15
Модель функционирования ВС со структурной избыточностью

Подсистема
отказавших ЭМ

Контролер ВС

Диагност ВС

Реконфигуратор ВС

Резерв
16
Модель функционирования ВС со структурной избыточностью

Практически
приемлемым
для
вычисления
показателей является подход, основанный на
классическом аппарате массового обслуживания и
методах приближенных вычислений. Схема подхода:
1. Составляются дифференциальные уравнения для
вероятностей состояний системы с учётом
подмножества поглощающих состояний.

2. Задаются начальные состояния.
3. Система
дифференциальных
уравнений
с
помощью преобразования Лапласа сводится к
алгебраической.
17
Модель функционирования ВС со структурной избыточностью

Процесс гибели и размножения

Система дифференциальных уравнений Колмогорова

18
Модель функционирования ВС со структурной избыточностью

4. Определяется решение алгебраической системы
уравнений, причем решение выражается через
полиномы, вычисляемые рекуррентно.
5. Доказываются
свойства
корней
полиномов,
позволяющие приближённо вычислять их значения.
6. После
обращения
преобразования
Лапласа
выписываются формулы для показателей качества
функционирования ВС.
7. Для получения числовых значений показателей
составляются программы.

Ограничимся асимптотическими оценками вероятностей
безотказной работы и восстановления.
19
Д.Поллок. Серость океана

More Related Content

Similar to ТФРВС - весна 2014 - лекция 2

Разработка средств управления и мониторинга распределенной мультиагентной сис...
Разработка средств управления и мониторинга распределенной мультиагентной сис...Разработка средств управления и мониторинга распределенной мультиагентной сис...
Разработка средств управления и мониторинга распределенной мультиагентной сис...Valentin Bazarevsky
 
программный комплекс весовой учет
программный комплекс весовой учетпрограммный комплекс весовой учет
программный комплекс весовой учетjamis7005
 
План тестирования
План тестированияПлан тестирования
План тестирования
EDISON Software Development Centre
 
Testing of a Risk Control System Implementation for High-Load Exchange and Br...
Testing of a Risk Control System Implementation for High-Load Exchange and Br...Testing of a Risk Control System Implementation for High-Load Exchange and Br...
Testing of a Risk Control System Implementation for High-Load Exchange and Br...
Iosif Itkin
 
Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)
Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)
Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)
Iosif Itkin
 
PEEFEXPERT
PEEFEXPERTPEEFEXPERT
PEEFEXPERT
soft-point
 
DATA CLUSTER
 DATA CLUSTER DATA CLUSTER
DATA CLUSTER
soft-point
 
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )Mobile Developer Day
 
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )Mobile Developer Day
 
Лучшие практики оптимизации ресурсов виртуального ЦОД
Лучшие практики оптимизации ресурсов виртуального ЦОДЛучшие практики оптимизации ресурсов виртуального ЦОД
Лучшие практики оптимизации ресурсов виртуального ЦОД
BAKOTECH
 
Презентация Лучшие практики оптимизации ресурсов виртуального ЦОД
Презентация Лучшие практики оптимизации  ресурсов виртуального ЦОДПрезентация Лучшие практики оптимизации  ресурсов виртуального ЦОД
Презентация Лучшие практики оптимизации ресурсов виртуального ЦОД
Marina Gryshko
 
владивосток форум производительность_ha
владивосток форум производительность_haвладивосток форум производительность_ha
владивосток форум производительность_ha
Elena Ometova
 
Б.Позин -- катастрофоустойчивая банковская система (2/2)
Б.Позин -- катастрофоустойчивая банковская система (2/2)Б.Позин -- катастрофоустойчивая банковская система (2/2)
Б.Позин -- катастрофоустойчивая банковская система (2/2)
Anatoly Levenchuk
 
АСТРУЭ. Энергоэффективность. Функционал
АСТРУЭ. Энергоэффективность. ФункционалАСТРУЭ. Энергоэффективность. Функционал
АСТРУЭ. Энергоэффективность. Функционал
Gregory Kurkchan
 
28
2828
28JIuc
 
орбита 500
орбита 500орбита 500
Модели в профессиональной инженерии и тестировании программ. Александр Петрен...
Модели в профессиональной инженерии и тестировании программ. Александр Петрен...Модели в профессиональной инженерии и тестировании программ. Александр Петрен...
Модели в профессиональной инженерии и тестировании программ. Александр Петрен...
yaevents
 
ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...
ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...
ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...
Natalia Polkovnikova
 
NetWrix SQL Server Change Reporter. Обзор программы для аудита SQL Server
NetWrix SQL Server Change Reporter. Обзор программы для аудита SQL ServerNetWrix SQL Server Change Reporter. Обзор программы для аудита SQL Server
NetWrix SQL Server Change Reporter. Обзор программы для аудита SQL Server
Netwrix Россия/СНГ
 

Similar to ТФРВС - весна 2014 - лекция 2 (20)

Разработка средств управления и мониторинга распределенной мультиагентной сис...
Разработка средств управления и мониторинга распределенной мультиагентной сис...Разработка средств управления и мониторинга распределенной мультиагентной сис...
Разработка средств управления и мониторинга распределенной мультиагентной сис...
 
программный комплекс весовой учет
программный комплекс весовой учетпрограммный комплекс весовой учет
программный комплекс весовой учет
 
План тестирования
План тестированияПлан тестирования
План тестирования
 
Testing of a Risk Control System Implementation for High-Load Exchange and Br...
Testing of a Risk Control System Implementation for High-Load Exchange and Br...Testing of a Risk Control System Implementation for High-Load Exchange and Br...
Testing of a Risk Control System Implementation for High-Load Exchange and Br...
 
Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)
Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)
Risk Control System Implementation at TMPA-2014 (Trading Systems Testing)
 
PEEFEXPERT
PEEFEXPERTPEEFEXPERT
PEEFEXPERT
 
Simonova sql server-enginetesting
Simonova sql server-enginetestingSimonova sql server-enginetesting
Simonova sql server-enginetesting
 
DATA CLUSTER
 DATA CLUSTER DATA CLUSTER
DATA CLUSTER
 
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
 
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
гибкий подход к тестированию ‘умных’ электронных систем.( а. вдовин, Auriga )
 
Лучшие практики оптимизации ресурсов виртуального ЦОД
Лучшие практики оптимизации ресурсов виртуального ЦОДЛучшие практики оптимизации ресурсов виртуального ЦОД
Лучшие практики оптимизации ресурсов виртуального ЦОД
 
Презентация Лучшие практики оптимизации ресурсов виртуального ЦОД
Презентация Лучшие практики оптимизации  ресурсов виртуального ЦОДПрезентация Лучшие практики оптимизации  ресурсов виртуального ЦОД
Презентация Лучшие практики оптимизации ресурсов виртуального ЦОД
 
владивосток форум производительность_ha
владивосток форум производительность_haвладивосток форум производительность_ha
владивосток форум производительность_ha
 
Б.Позин -- катастрофоустойчивая банковская система (2/2)
Б.Позин -- катастрофоустойчивая банковская система (2/2)Б.Позин -- катастрофоустойчивая банковская система (2/2)
Б.Позин -- катастрофоустойчивая банковская система (2/2)
 
АСТРУЭ. Энергоэффективность. Функционал
АСТРУЭ. Энергоэффективность. ФункционалАСТРУЭ. Энергоэффективность. Функционал
АСТРУЭ. Энергоэффективность. Функционал
 
28
2828
28
 
орбита 500
орбита 500орбита 500
орбита 500
 
Модели в профессиональной инженерии и тестировании программ. Александр Петрен...
Модели в профессиональной инженерии и тестировании программ. Александр Петрен...Модели в профессиональной инженерии и тестировании программ. Александр Петрен...
Модели в профессиональной инженерии и тестировании программ. Александр Петрен...
 
ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...
ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...
ГИБРИДНАЯ ЭКСПЕРТНАЯ СИСТЕМА НА ОСНОВЕ ВЕРОЯТНОСТНО-ДЕТЕРМИНИРОВАННЫХ МОДЕЛЕЙ...
 
NetWrix SQL Server Change Reporter. Обзор программы для аудита SQL Server
NetWrix SQL Server Change Reporter. Обзор программы для аудита SQL ServerNetWrix SQL Server Change Reporter. Обзор программы для аудита SQL Server
NetWrix SQL Server Change Reporter. Обзор программы для аудита SQL Server
 

More from Alexey Paznikov

Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...
Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...
Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...
Alexey Paznikov
 
Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)
Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)
Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)
Alexey Paznikov
 
Лекция 4. Производные типы данных в стандарте MPI
Лекция 4. Производные типы данных в стандарте MPIЛекция 4. Производные типы данных в стандарте MPI
Лекция 4. Производные типы данных в стандарте MPI
Alexey Paznikov
 
Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...
Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...
Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...
Alexey Paznikov
 
Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...
Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...
Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...
Alexey Paznikov
 
Лекция 1. Основные понятия стандарта MPI. Дифференцированные обмены
Лекция 1. Основные понятия стандарта MPI. Дифференцированные обменыЛекция 1. Основные понятия стандарта MPI. Дифференцированные обмены
Лекция 1. Основные понятия стандарта MPI. Дифференцированные обмены
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...
ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...
ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...
ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...
ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...
ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...
ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...
ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...
ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программирования
ПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программированияПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программирования
ПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программирования
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...
ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...
ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...
ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...
ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...
ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...
ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...
Alexey Paznikov
 
ПВТ - весна 2015 - Лекция 0. Описание курса
ПВТ - весна 2015 - Лекция 0. Описание курсаПВТ - весна 2015 - Лекция 0. Описание курса
ПВТ - весна 2015 - Лекция 0. Описание курса
Alexey Paznikov
 
ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...
ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...
ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...
Alexey Paznikov
 
ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...
ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...
ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...
Alexey Paznikov
 
ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++. Р...
ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++.   Р...ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++.   Р...
ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++. Р...
Alexey Paznikov
 
ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...
ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...
ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...
Alexey Paznikov
 
Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...
Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...
Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...
Alexey Paznikov
 

More from Alexey Paznikov (20)

Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...
Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...
Лекция 6. Параллельная сортировка. Алгоритмы комбинаторного поиска. Параллель...
 
Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)
Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)
Лекция 5. Метод конечных разностей (параллельные алгоритмы в стандарте MPI)
 
Лекция 4. Производные типы данных в стандарте MPI
Лекция 4. Производные типы данных в стандарте MPIЛекция 4. Производные типы данных в стандарте MPI
Лекция 4. Производные типы данных в стандарте MPI
 
Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...
Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...
Лекция 3. Виртуальные топологии в MPI. Параллельные алгоритмы в стандарте MPI...
 
Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...
Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...
Лекция 2. Коллективные операции в MPI. Параллельные алгоритмы случайного блуж...
 
Лекция 1. Основные понятия стандарта MPI. Дифференцированные обмены
Лекция 1. Основные понятия стандарта MPI. Дифференцированные обменыЛекция 1. Основные понятия стандарта MPI. Дифференцированные обмены
Лекция 1. Основные понятия стандарта MPI. Дифференцированные обмены
 
ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...
ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...
ПВТ - весна 2015 - Лекция 8. Многопоточное программирование без использования...
 
ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...
ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...
ПВТ - весна 2015 - Лекция 7. Модель памяти С++. Внеочередное выполнение инстр...
 
ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...
ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...
ПВТ - весна 2015 - Лекция 6. Разработка параллельных структур данных на основ...
 
ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...
ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...
ПВТ - весна 2015 - Лекция 5. Многопоточное программирование в С++. Синхрониза...
 
ПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программирования
ПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программированияПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программирования
ПВТ - весна 2015 - Лекция 4. Шаблоны многопоточного программирования
 
ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...
ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...
ПВТ - весна 2015 - Лекция 3. Реентерабельность. Сигналы. Локальные данные пот...
 
ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...
ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...
ПВТ - весна 2015 - Лекция 2. POSIX Threads. Основные понятия многопоточного п...
 
ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...
ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...
ПВТ - весна 2015 - Лекция 1. Актуальность параллельных вычислений. Анализ пар...
 
ПВТ - весна 2015 - Лекция 0. Описание курса
ПВТ - весна 2015 - Лекция 0. Описание курсаПВТ - весна 2015 - Лекция 0. Описание курса
ПВТ - весна 2015 - Лекция 0. Описание курса
 
ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...
ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...
ПВТ - осень 2014 - Лекция 7. Многопоточное программирование без блокировок. М...
 
ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...
ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...
ПВТ - осень 2014 - Лекция 6 - Атомарные операции. Внеочередное выполнение инс...
 
ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++. Р...
ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++.   Р...ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++.   Р...
ПВТ - осень 2014 - Лекция 5 - Многопоточное программирование в языке С++. Р...
 
ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...
ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...
ПВТ - осень 2014 - Лекция 4 - Стандарт POSIX Threads. Реентерабельность. Сигн...
 
Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...
Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...
Кулагин И.И., Пазников А.А., Курносов М.Г. Оптимизация информационных обменов...
 

ТФРВС - весна 2014 - лекция 2

  • 1. ЛЕКЦИЯ 2. Показатели надежности ВС. Методика расчета показателей надежности ВС. Пазников Алексей Александрович к.т.н., ст. преп. Кафедры вычислительных систем Сибирский государственный университет телекоммуникаций и информатики http://cpct.sibsutis.ru/~apaznikov/teaching/index.php?n=Site.DCSFT-spring2014
  • 2. Оперативная надёжность и восстановимость 2
  • 6. Показатели надёжности ВС Показатели надёжности позволяют: • Подобрать такой состав вновь компонуемой ВС, при котором обеспечиваются заданные уровни и производительности и надёжности. • Проанализировать качество работы существующей ВС и оценить её возможности по решению задач. 6
  • 7. Показатели надежности ВС для переходного режима Показатели надёжности для переходного режима: • С какой вероятностью задача будет решена, если в момент его поступления производительность не менее требуемой. Говоря иначе, сможет ли пользователь успешно решить свою задачу до отказа системы. • Как быстро можно ожидать восстановления требуемого уровня производительности, если в момент поступления задачи производительность ВС низка. • Будет ли ВС иметь необходимую производительность в момент поступления задачи в систему. 7
  • 8. Показатели надежности ВС для стационарного режима Показатели надёжности для стационарного режима: • Могут ли быть решены поступающие задачи, если система длительно эксплуатируется. Иначе, могут ли быть решены задачи, если в момент их поступления достоверно неизвестно, в каком состоянии находится система. • Насколько быстро можно ожидать восстановления требуемой производительности, если ВС длительно эксплуатируется. • Будет ли система иметь необходимую производительность в любой момент поступления задачи, если она уже достаточно долго находится в эксплуатации. 8
  • 9. Методика расчёта показателей надёжности ВС Методика расчёта показателей надёжности вычислительных систем 9
  • 10. Методика расчёта показателей надёжности ВС К методике расчёта предъявляют требования: 1. Приемлемость к большемасштабным ВС (ВС с любым количеством ЭМ) 2. Адекватность реальному процессу работы ВС или реализация принципов квазианалогии (удовлетворительная для практики точность) 3. Единообразие методов исследования функционирования ВС в обоих режимах. 4. Простота численного анализа функционирования ВС при произвольном количестве ЭМ (невысокая трудоёмкость вычислений). 5. Возможность выявления общих закономерностей, которые отражают достигнутый и перспективный уровни технологии ВТ. 10
  • 11. Модель функционирования ВС со структурной избыточностью 11
  • 12. Модель функционирования ВС со структурной избыточностью Подсистема отказавших ЭМ Реконфигуратор ВС 12
  • 13. Модель функционирования ВС со структурной избыточностью • Проверка работоспособности ВС и поиск отказавших машин выполняется средствами (само)контроля и (само) диагностики. Последние будем называть контролером и диагностом. • Композиция контролера, диагност и реконфигуратора является виртуальным восстанавливающим устройством (ВУ) для распределённой ВС. • Возможна генерация нескольких виртуальных ВУ. Каждое ВУ обслуживает одну ЭМ. 13
  • 14. Модель функционирования ВС со структурной избыточностью Функции компонентов каждого ВУ. • Для диагноста обслуживаемой ЭМ; • Для контролера – проверка работоспособности выбранной машины; • Для реконфигуратора – альтернативное выполнение одной из двух функций: – выбор (локализация)  сохранение проверяемой ЭМ в составе основной подсистемы, если она исправна,  Включение машины из резерва в состав основной подсистемы в противном случае. 14
  • 15. Модель функционирования ВС со структурной избыточностью 15
  • 16. Модель функционирования ВС со структурной избыточностью Подсистема отказавших ЭМ Контролер ВС Диагност ВС Реконфигуратор ВС Резерв 16
  • 17. Модель функционирования ВС со структурной избыточностью Практически приемлемым для вычисления показателей является подход, основанный на классическом аппарате массового обслуживания и методах приближенных вычислений. Схема подхода: 1. Составляются дифференциальные уравнения для вероятностей состояний системы с учётом подмножества поглощающих состояний. 2. Задаются начальные состояния. 3. Система дифференциальных уравнений с помощью преобразования Лапласа сводится к алгебраической. 17
  • 18. Модель функционирования ВС со структурной избыточностью Процесс гибели и размножения Система дифференциальных уравнений Колмогорова 18
  • 19. Модель функционирования ВС со структурной избыточностью 4. Определяется решение алгебраической системы уравнений, причем решение выражается через полиномы, вычисляемые рекуррентно. 5. Доказываются свойства корней полиномов, позволяющие приближённо вычислять их значения. 6. После обращения преобразования Лапласа выписываются формулы для показателей качества функционирования ВС. 7. Для получения числовых значений показателей составляются программы. Ограничимся асимптотическими оценками вероятностей безотказной работы и восстановления. 19