\documentclass[a4paper,12pt]{article}
\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}

\usepackage{indentfirst}
\usepackage{a4wide}

\begin{document}
\selectlanguage{russian}
\sloppy
{\center
{\large Система мониторинга работоспособности сложных
  информационно-вычислительных систем: состояние и 
  перспективы развития}

\vskip 1em
{П.А.~Шрамов}

НИИ механики МГУ, Москва

}

\vskip 2em

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

В докладе рассматриваются различные подходы к созданию децентрализованной
системы мониторинга состояния работоспособности для распределённых
сложноорганизованных информационно-вычислительных комплексов. Обсуждаются
возникающие при этом трудности, такие как, жесткая привязка к конкретной коллекторной системе, плохая
расширяемость и ориентированность существующих инструментальных средств на
централизованную обработку сенсорной информации, а также ряд
других. Показывается, что использование традиционных систем сетевого
мониторинга для этих целей, как правило, неэффективно. Предлагается развитие идей,
заложенных в систему функционального мониторинга FLAME и описывается
разработанный автором прототип системы,
использующий язык Lisp для задания функций декодирования событий.
Рассматриваются вопросы разработки системы, не <<привязанной>> к какой-либо
предметной области. Предлагаются несколько сценариев её использования, например,
мета-планирование и иерархический мониторинг, в которых такая система была бы
востребована. В качестве примера приводятся количественные характеристики
потока данных создаваемого небольшим кластером НИИ механики МГУ, и
описываются различные источники информации о состоянии его работоспособности.

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

\end{document}
