Математические модели и комплекс программ для ПК-кластеров консервативных баз данных

• Автор: Абрамов, Евгений Викторович
• Шифр специальности: 05.13.18
• Научная степень: Кандидатская
• Год защиты: 2008
• Место защиты: Казань
• Количество страниц: 115 с. : ил.

СОДЕРЖАНИЕ
Введение

1. Систематика мирового опыта разработок в области параллельных СУБД

1.1 Ретроспектива. Машины баз данных.

1.2Современные параллельные СУБД.

1.3Исследовательские проекты параллельных СУБД.

Выводы по главе 1

2. Внешняя и процедурная компоненты модели.

2.1 Предлагаемое решение задачи внешнего моделирования.

2.2Формулировка задач внутреннего моделирования

2.3 Процедурная компонента модели

Выводы по главе 2
3. Разработка параллельной СУБД С1из1епх.
3.1 Архитектурная основа параллельной СУБД Оепх.
3.2Разработка программной системы кластера как одна из основных задач внутреннего моделирования
3.3 Алгоритм работы системы
3.4Выполнение динамического сегментирования
3.5Подсистема сбора статистической информации
З.бПодсистема визуализации динамики работы системы.
3.7Подсистема конфигурирования.
3.птимизирующий претранслятор
3.9Управление кластером
3. Системные логфайлы системы.
Выводы по главе 3
4. Модельное исследование
4.1 Условия модельного эксперимента
4.2Предварителыюе исследование.
4.3Принципы динамической реконфигурации.
Выводы по главе 4.
Заключение
Литература


Построение процедурной модели синтеза Веолм1/-кластеров БД как необходимой компоненты внутреннего моделирования. Разработка с учетом мирового опыта исследовательского прототипа параллельной СУБД как одной из основных компонент внутреннего моделирования и как инструментального средства модельного исследования. Установление закономерностей для границ масштабируемости Веоуи1 Г-кластеров БД, фактов существования в общем случае решения задачи поиска релевантной базы знаний и эффективности предложенной процедурной модели в процессе модельного эксперимента. Построение основ теории параллельных СУБД на платформе Веоуи1Г-кластеров. Использование парадигмы внешних параметров и нечеткая трактовка темпоральности в контексте семантики Крипке при построении процедурной модели синтеза параллельной СУБД кластерного типа. Установление факта существования в общем случае решения задачи поиска релевантной базы знаний для этой модели. Выявление зависимости границы масштабируемости Веочи1/~ кластеров БД от объемов баз данных. Разработанная процедурная модель синтеза кластера баз данных может быть использована при построении подсистемы динамической реконфигурации параллельной СУБД. Разработанный исследовательский прототип параллельной СУБД Clusterix после его доведения до уровня действующего прототипа может быть использован для решения практических задач, требующих больших вычислительных мощностей. Результаты диссертации использованы в учебном процессе кафедры Компьютерных систем КГТУ им. А.Н. Туполева (КАИ). Республиканском научном семинаре АН РТ «Методы моделирования» (Казань, -гг. V Международной научно-технической конференции «Новые информационные технологии и системы» (Пенза, г. Международной научно-технической конференции ШЕЕ AIS’ (Геленджик, г. Всероссийском конкурсе инновационных проектов аспирантов и студентов по приоритетному направлению развития науки и техники «Информационно-телекоммуникационные системы» (Москва, г. Московской секции Международного семинара ACM SIGMOD (МГУ им. Ломоносова, Москва, г. VII Международной конференции-семинаре «Высокопроизводительные параллельные вычисления на кластерных системах» (ННГУ им. Н.И. Лобачевского, Нижний Новгород, г. Систематика исследований в области параллельных СУБД и решение задачи внешнего моделирования. Темпорально-нечеткая процедурная модель синтеза Beowulf-кластеров БД и ее программная реализация. Разработка исследовательской версии параллельной СУБД Clusterix. Результаты модельных исследований. Основное содержание диссертации опубликовано в работах, включая б статей [, , , , , ], 4 тезиса докладов [, , , ]. Диссертационная работа состоит из введения, четырех глав и заключения. Глава 1 содержит аналитический обзор по разработкам известных параллельных систем управления базами данных. Предлагаются рекомендации по построению подобных систем из общедоступных аппаратно-программных компонентов. В главе 2 формируется конструктивная теория параллельных СУБД на платформе Beowulf-кластеров как решение задачи внешнего моделирования. Это позволяет свести общую задачу многоуровневого внутреннего моделирования к задаче построения процедурной модели выбора конфигурации кластера. Предлагается темпорально-нечеткий подход к решению этой задачи в контексте семантике Крипке. В главе 3 представлена разработка исследовательского прототипа параллельной СУБД Clusterix как одна из основных компонент внутреннего моделирования, без которой невозможна экспериментальная проверка релевантности предложенной модели. Рассмотрен состав и структура программных модулей системы. Показаны особенности реализации системы в среде СУБД MySQL. Глава 4 содержит результаты тестирования исследовательской версии СУБД Clusterix на контрольных выборках теста TPC-D. По результатам тестирования установлены основные закономерности по масштабированию и разрешимости задачи поиска локальной базы знаний предложенной темпорально-нечеткой процедурной модели в общем случае. Б заключении сформулированы основные результаты диссертационной работы.