Оценка нахождения реконфигурируемой вычислительной системы в состояниях эффективного функционирования

Оценка нахождения реконфигурируемой вычислительной системы в состояниях эффективного функционирования в системах управления реального времени. Анализ алгоритмов оптимизации процессов поиска и устранения дефектов реконфигурируемой вычислительной системы.

Рубрика Коммуникации, связь, цифровые приборы и радиоэлектроника
Вид статья
Язык русский
Дата добавления 30.05.2017
Размер файла 36,9 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

Оценка нахождения реконфигурируемой вычислительной системы в состояниях эффективного функционирования

А.А. Строцев, А.А. Андреев

Южный Федеральный университет,

г. Ростов-на-Дону

По состоянию на июнь 2012 года в соответствии с рейтингом и описанием 500 самых мощных общественно известных компьютерных систем мира около 80% суперЭВМ реализованы в рамках архитектуры кластерных вычислительных систем (КВС). Поскольку для обеспечения требуемой вычислительной производительности кластерная архитектура вычислительных систем подразумевает наличие в своём составе достаточно большого числа кластеров (а тем более их узлов), то одним из недостатков таких систем является относительно их невысокая надёжность [1] по показателю вероятности нахождения в состоянии, при котором они соответствуют всем требованиям нормативно-технической и (или) конструкторской (проектной) документации. Поскольку закреплённой в ГОСТ [2] основой для оценки сложных технических систем в условиях риска является аппарат дискретных марковских случайных процессов, а ряд факторов (причин неисправностей) могут не иметь вероятностного описания, то в [3] разработана методика теоретико-игровой оценки нахождения КВС в состояниях эффективного функционирования на основе марковской модели.

С другой стороны, тенденцией развития КВС является постепенный переход от их применения для решения в основном исследовательских и проектировочных задач к применению в различных системах управления реального времени. В таких системах совокупность решаемых задач требует интенсивного информационного обмена, что делает их «сильносвязанными». При этом для этого класса задач реальная производительность КВС существенно снижается и не превышает 5-10% от декларируемой пиковой производительности системы [4]. Как показано в [5] - [7], причинами этого является несоответствие архитектуры суперкомпьютера структуре решаемых задач. Для преодоления этого несоответствия в НИИ МВС ЮФУ разработана концепция создания реконфигурируемых вычислительных систем (РВС), т.е. систем с динамически перестраиваемой (перепрограммируемой) архитектурой, позволяющей создавать на её базе структуру проблемно-ориентированных вычислителей, соответствующую структуре решаемой задачи [7], [8]. Поскольку РВС, как и КВС, состоят из большого числа элементов, то задача оценки их надёжности в рамках создания отказоустойчивых вычислительных систем [9], [10] также является важной. Однако непосредственное применение известных методик, например, представленной в [3], невозможно, т.к. они не учитывают структуру проблемно-ориентированных вычислителей, реализуемых в РВС.

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

Пусть РВС состоит из базовых модулей , , каждый из которых включает проблемно-ориентированные вычислители , , (описание базовых модулей семейства РВС, состоящих из элементов, в частности, из ПЛИС, модулей памяти SDRAM, подсистемы питания, LVDS-каналов и пр., представлено в [4]).

В соответствие с ГОСТ [2] для описания сложной технической системы в классе марковских процессов необходимо ввести понятие состояния и перечислить все возможные состояния системы. Для этого, как и в [3], обозначим наборы двоичных чисел разрядности в виде (,), где каждый r-й разряд () характеризует состояние соответствующего элемента базового модуля РВС: разряд (R-1) - состояние элемента ,…, разряд () - состояние элемента , разряд () - состояние элемента ,…, 0 разряд - состояние элемента . При этом нулевое значение в разряде обозначает неисправность соответствующего элемента базового модуля РВС, а единичное - его работоспособное состояние.

Однако в отличие от методики, рассмотренной в [3] для КВС, под состоянием РВС нельзя понимать совокупность состояний её любых отдельных элементов, и представить конечное множество состояний РВС выражением

,

система реконфигурируемый вычислительный дефект

поскольку такая формализация не будет отражать учёт структуры РВС.

Для такого учёта: 1) под элементами базовых модулей будем понимать их конструктивные элементы, которые при поиске и устранении неисправности базового модуля подлежат оперативной замене; 2) положим, что для решения задач--и в РВС формируется V проблемно-ориентированных вычислителей - , ; 3) введём в рассмотрение множества , , где означает принадлежность -го элемента базового модуля v-му проблемно-ориентированному вычислителю.

Тогда можно определить наборы двоичных чисел разрядности V в виде , ,, где каждый -й разряд () характеризует состояние соответствующего проблемно-ориентированного вычислителя РВС: 0 разряд - состояние вычислителя ,…, разряд (V-1) - состояние вычислителя . При этом нулевое значение в разряде обозначает неисправность соответствующего проблемно-ориентированного вычислителя, а единичное - его работоспособное состояние.

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

, (1)

Состояния , образуют R групп с признаком принадлежности к группе , по общему числу единиц в двоичном числе , равном . Группы, отличающиеся по номеру на единицу, являются соседними. Множество, образованное парами соседних состояний, обозначим .

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

Во множестве S можно выделить подмножество состояний , обеспечивающих эффективное функционирование РВС в системе управления реального времени с учётом отказоустойчивости, т.е. состояний, обеспечивающих удовлетворения требований к ней с заданными количественными характеристиками. В этом случае показателем эффективности РВС может являться стационарная (предельная) вероятность нахождения системы в одном из состояний из множества .

Тогда в условиях, определяющих возможность существования стационарных вероятностей нахождения системы в соответствующих состояниях , (представленных, например, в [11]), искомая оценка может быть получена по выражению

, (2)

а для нахождения , необходимо решение системы алгебраических уравнений вида:

(3)

Для получения оценки стационарной вероятности нахождения РВС в одном из состояний её эффективного функционирования по выражениям (2), (3) необходимо знание интенсивностей .

Однако, при переходе из состояний, входящих в группу , в состояния из группы возможны ситуации, для которых неисправность соответствующего проблемно-ориентированного вычислителя связана с несколькими причинами, определяемыми неисправностью элементов из соответствующего ему множества , . При этом локализация неисправности (действия, направленные на идентификацию неисправной составной части или нескольких составных частей на соответствующем уровне разукрупнения [12]) однозначно влечёт и устранение этой неисправности. Например, локализация неисправности проблемно-ориентированного вычислителя осуществляется путём последовательной замены обеспечивающих его работу элементов базовых модулей (из соответствующего ему множества , ), рассматриваемых в качестве причин неисправности, на достоверно работоспособные. Обозначим множество пар таких состояний через . Тогда, если , и , то интенсивность перехода из состояния в состояние неизвестна, т.к. зависит от стратегии локализации-устранения неисправности и её причины. Если вероятности появления этих причин неизвестны или их оценки статистически не достоверны, то можно воспользоваться теоретико-игровым подходом, который является гарантированным в смысле достижения ситуации равновесия в антагонистической игре с матрицей выигрышей первого игрока

. (4)

Решение игры в чистых стратегиях (при наличии седловой точки в матрице (4)) позволяет определить искомую интенсивность в виде:

. (5)

Если равенство (5) не выполняется, то решение игры , , может быть получено на множествах смешанных стратегий , (, , , , , ) как результат решения прямой и двойственной задач линейного программирования [4].

При этом в качестве оценки неизвестной интенсивности принимается её математическое ожидание .

Тогда методика может быть представлена в виде следующей последовательности операций:

1. Формирование множества состояний РВС (1).

2. Оценка состояний по эффективности функционирования РВС в системе управления реального времени, учитывающая структуру проблемно-ориентированных вычислителей, и определение множества .

3. Формирование диаграммы состояний-переходов и определение множества пар состояний с неизвестными интенсивностями переходов.

4. Решение теоретико-игровых задач, определяемых матрицами (4) для всех пар индексов из множества , с получением оценок неизвестных интенсивностей переходов в виде значений интенсивностей (5) или их математических ожиданий .

6. Решение системы линейных алгебраических уравнений (3) относительно предельных вероятностей нахождения системы в состояниях из множества .

7. Определение оценки вероятности нахождения кластерной вычислительной системы в состояниях эффективного функционирования по выражению (2).

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

Кроме того, на основе полученных оценок могут быть реализованы алгоритмы оптимизации процессов поиска и устранения дефектов РВС. Для малого числа реализаций игровой ситуации применимы модели и методы решения смешанного расширения матричных игр неклассического типа, представленные в [13].

Литература

1. Наумов А. Блейд-система T-Blade 2 // СуперКомпьютеры, 2010. - № 1. - С. 46, 47.

2. ГОСТ Р 51901.15-2005 Менеджмент риска. Применение марковских методов. - М.: Стандартинформ, 2005.

3. Строцев А.А. Методика теоретико-игровой оценки нахождения кластерной вычислительной системы в состояниях эффективного функционирования на основе марковской модели // В сб. «Суперкомпьютерные технологии (СКТ-2012) // Материалы 2-й Всероссийской научно-технической конференции. - Ростов-на-Дону: Издательство Южного федерального университета, 2012. - 410 с». - С. 192 - 196.

4. Дмитренко Н.Н., Каляев И.А., Левин И.И., Семерников Е.А. Реконфигурируемые вычислительные системы для решения вычислительно трудоёмких задач // В сб. «Труды Всероссийской научной конференции (22-27 сентября 2008 г., г. Новороссийск).- М.: Изд-во МГУ, 2008. - 468 с. ISBN 978-5-211-05616-9» . - С. 265 - 270.

5.Алдышев О.С., Дикарев Н.И., Овсянников А.П. и др. СуперЭВМ: области применения и требования к производительности // Известия ВУЗов. Электроника, 2004. - №1. - С.13-17.

6. Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. -С.-Пб.: «БХВ-Петербург», 2002. -599 с.

7. Каляев И.А., Левин И.И. Модульно-наращиваемые многопроцессорные системы со структурно-процедурной организацией. - М.: Янус-К, 2003. - 380 с.

8. Каляев И.А., Левин И.И. Семерников Е.А., Шмойлов В.И. Реконфигурируемые мультиконвейерные вычислительные структуры / Под ред. И.А. Каляева. - Ростов-на-Дону: Издательство ЮНЦ РАН, 2008. - 320 с.

9. Авиженис А. Отказоустойчивость - свойство, обеспечивающее постоянную работу цифровых устройств // ТИИЭР, 1978. - Т.66. - №10. - С. 5-25.

10. Катаев О. В. Методология проектирования отказоустойчивых вычислительных систем // В сб. «Суперкомпьютерные технологии (СКТ-2012) // Материалы 2-й Всероссийской научно-технической конференции. - Ростов-на-Дону: Издательство Южного федерального университета, 2012. - 410 с». - С. 220 - 224.

11. Макаров Ю.Н., Строцев А.А. Методология исследования сложных организационно-технических систем, функционирующих в конкурентной среде при ограниченных ресурсах. Монография. Ростов-на-Дону: Изд-во ЮФУ, 2010. - 132 с.

12. ГОСТ Р 27.002-2009 (Р 53480-2009). Надёжность в технике. Основные понятия. Термины и определения. - М.: Стандартинформ, 2011.

13. Строцев А.А. Построение смешанного расширения матричной игры «неклассического» типа // Изв. РАН. Теория и системы управления. - 1998. - № 3. - С. 119-124.

Размещено на Allbest.ru


Подобные документы

  • Эффективность алгоритмов и оценка их вычислительной сложности. Модель вычислительного процесса и классификация алгоритмов по вычислительной сложности. Принцип "разделяй и властвуй". Общие свойства базовых алгоритмов цифровой обработки сигналов.

    контрольная работа [29,1 K], добавлен 11.09.2015

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

    курсовая работа [330,8 K], добавлен 03.06.2013

  • Анализ и характеристика информационных ресурсов предприятия. Выявление недостатков в системе защиты информации. Анализ рисков угрозы безопасности вычислительной системы. Цель и задачи системы информационной безопасности, принципы ее функционирования.

    курсовая работа [28,6 K], добавлен 22.01.2015

  • Теоретическое обоснование построения вычислительной локальной сети. Анализ различных топологий сетей. Проработка предпосылок и условий для создания вычислительной сети. Выбор кабеля и технологий. Анализ спецификаций физической среды Fast Ethernet.

    курсовая работа [686,7 K], добавлен 22.12.2014

  • Характеристика локальной вычислительной сети - системы взаимосвязанных компьютеров, работающих в пределах одного помещения, здания, организации. Разработка основных проектных решений. Структурирование по подъездам. Минимизация толщин кабельного пучка.

    лабораторная работа [1,3 M], добавлен 27.02.2013

  • Анализ эксплуатации средств вычислительной техники и факторов, влияющих на их работоспособность. Требования к функциональным характеристикам и конструкции элементов вычислительной техники. Качества транспортируемой, морской, бортовой, портативной техники.

    курсовая работа [750,0 K], добавлен 05.05.2013

  • Обзор существующих принципов построения локальных вычислительных сетей. Структурированные кабельные системы (СКС), коммутационное оборудование. Проект локальной вычислительной сети: технические требования, программное обеспечение, пропускная способность.

    дипломная работа [1,8 M], добавлен 25.02.2011

  • Понятие локальной вычислительной сети, ее характерные свойства и особенности применения, методы и принципы построения. Преимущества кольцевой локальной вычислительной сети и математические модели ее функционирования, определение вероятностей состояний.

    курсовая работа [180,3 K], добавлен 14.09.2009

  • Назначение проектируемой локальной вычислительной сети (ЛВС). Количество абонентов проектируемой ЛВС в задействованных зданиях. Перечень оборудования, связанного с прокладкой кабелей. Длина соединительных линий и сегментов для подключения абонентов.

    реферат [158,4 K], добавлен 16.09.2010

  • Особенности локальной вычислительной сети и информационной безопасности организации. Способы предохранения, выбор средств реализации политики использования и системы контроля содержимого электронной почты. Проектирование защищенной локальной сети.

    дипломная работа [1,6 M], добавлен 01.07.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.