WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


 

На правах рукописи

Аникин Николай Александрович

Управление параллельным выполнением транзакций

в распределенных гетерогенных базах данных

при доступе из мобильной среды

Специальность 05.13.11

Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

АВТОРЕФЕРАТ

диссертации на соискание ученой степени

кандидата технических наук

Москва – 2012

Работа выполнена на кафедре «Кибернетика»

Национального исследовательского ядерного университета «МИФИ»

Научный руководитель:

кандидат технических наук, доцент,

доцент кафедры «Кибернетика» НИЯУ МИФИ

Храмов Александр Александрович

Официальные оппоненты:

доктор технических наук, профессор,

профессор кафедры «Экономика и менеджмент в промышленности» НИЯУ МИФИ

Гусева Анна Ивановна

кандидат технических наук, доцент,

доцент кафедры «Информатика и программное обеспечение вычислительных систем» МИЭТ

Ашарина Ирина Владимировна

Ведущая организация:

ФГБОУ ВПО «Московский государственный горный университет»

Защита состоится « 22 » мая 2012 г. в  10  час. на заседании диссертационного совета Д 212.125.01 при Московском авиационном институте (национальном исследовательском университете) «МАИ» по адресу: 125993, г. Москва, А-80, ГСП-3, Волоколамское шоссе, д. 4.

С диссертацией можно ознакомиться в библиотеке МАИ.

Отзывы на автореферат в двух экземплярах, заверенные печатью, просим направлять по адресу: 125993, г. Москва, А-80, ГСП-3, Волоколамское шоссе, д. 4, Ученый совет МАИ.

Автореферат разослан «  20 »  апреля 2012 г.

Ученый секретарь

диссертационного совета Д 212.125.01

кандидат технических наук

А.В. Корнеенкова

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы

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

За последние несколько лет также получили серьезное развитие мобильные технологии. Большое количество исследований и разработок как в области мобильных устройств (сотовые телефоны, смартфоны, карманные и переносные компьютеры), так и в области средств связи (GPRS – одна из первых технологий мобильного интернета, ее улучшенный аналог EDGE, развивающиеся в последние годы технологии Wi-Fi, Wi-MAX, 3G) позволили наделить мобильные устройства значительно большей функциональностью. Сфера применения этих технологий широка: начиная от простейших интернет-приложений для просмотра веб-страниц и электронной почты и заканчивая приложениями для электронной коммерции, интернет-банкинга, оплаты услуг.

В последние годы в науке сформировалось отдельное направление, изучающее вопросы управления гетерогенными базами данных в распределенной и одновременно мобильной среде (под «мобильной средой» подразумевается то, что доступ в систему осуществляется с мобильного устройства и, как правило, по беспроводному каналу связи). В зарубежной литературе это направление получило название MDAS – Mobile Data Access System (МСДД – мобильная система доступа к данным).

Новые технологии порождают новые вопросы и проблемы в уже, казалось бы, хорошо изученной области распределенных БД. Доступ к таким системам значительно усложняется, как только клиент БД перестает использовать постоянный, надежный и быстрый канал связи, а ресурсы устройства, с которого осуществляется доступ, становятся сильно ограниченными. Одна из основных задач, требующих решения, – управление параллельным выполнением транзакций (concurrency control) в системе МСДД. Методы, разработанные для распределенных БД, в которых и сервера, и клиенты находятся в стационарной сети, оказываются недостаточно эффективными в мобильной среде.

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

Цель диссертационной работы

Цель диссертационной работы состоит в решении проблемы управления параллельным выполнением транзакций на глобальном уровне в МСДД, которая объединяет несколько реляционных СУБД, использующих разные методы управления параллельным выполнением транзакций на локальном уровне.

Задачи диссертационной работы

Для достижения поставленной цели решены следующие основные задачи:

  1. анализ и классификация существующих решений в области систем совместного доступа к информации;
  2. исследование современных методов управления параллельным выполнением транзакций в системах мульти-БД и МСДД;
  3. разработка математической модели МСДД;
  4. определение необходимых и достаточных условий обеспечения глобальной сериализуемости транзакций в МСДД;
  5. разработка метода и алгоритма работы глобального менеджера транзакций (concurrency-control manager), отвечающего за обеспечение сериализуемости транзакций в МСДД;
  6. разработка структурной модели МСДД и реализация её прототипа;
  7. реализация предложенного метода и его применение на  примере мобильной платежной системы;
  8. оценка эффективности метода при работе с реальными СУБД.

Методы исследования

Решение поставленных задач основывается на использовании теории множеств, теории графов, теории алгоритмов, теории управления транзакциями. При разработке программного обеспечения использованы методы объектно-ориентированного программирования.

Научные результаты и их новизна

В диссертационной работе получены следующие результаты:

  1. разработана математическая модель МСДД, описывающая данные, транзакции и истории транзакций в системе и отличающаяся от существующих моделей тем, что учитывает особенности управления транзакциями в СУБД, использующих Snapshot-изоляцию (изоляцию «моментальных снимков»);
  2. для разработанной модели МСДД доказаны необходимые и достаточные условия обеспечения сериализуемости глобальных транзакций;
  3. предложен новый метод управления параллельным выполнением транзакций в МСДД, учитывающий специфику мобильной среды и позволяющий интегрировать любые СУБД, обеспечивающие сериализуемость локальных транзакций (без существенных нарушений их локальной автономности), и СУБД, использующие Snapshot-изоляцию (с частичным нарушением автономности);
  4. доказана корректность метода управления параллельным выполнением транзакций в МСДД;
  5. впервые предложено решение для интеграции СУБД, обеспечивающих сериализуемость локальных транзакций, и СУБД, использующих Snapshot-изоляцию, в мобильной среде;
  6. разработана методика применения полученных теоретических результатов на практике;
  7. разработаны инструментальные программные средства для моделирования и оценки эффективности работы глобального менеджера транзакций.

Практическая значимость результатов работы

Разработанные модели МСДД и методы управления параллельным выполнением транзакций в МСДД могут быть использованы при создании практически любых распределенных мобильных систем со стационарными БД и мобильными клиентами. Для таких систем предложенный метод позволяет интегрировать в рамках глобальной системы практически все используемые в широкой практике реляционные СУБД и гарантировать глобальную сериализуемость транзакций.

Разработанные программные средства были использованы при создании и внедрении системы мобильных платежей в ООО «ПС груп», что подтверждается актом о промышленном внедрении и использовании результатов диссертационной работы.

Реализация и внедрение результатов работы

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

Основные положения, выносимые на защиту:

  1. математическая модель МСДД;
  2. метод управления параллельным выполнением транзакций в МСДД, позволяющий интегрировать реляционные СУБД, обеспечивающие сериализуемость локальных транзакций, и СУБД, использующие Snapshot-изоляцию;
  3. структурная модель МСДД;
  4. алгоритм работы глобального менеджера транзакций МСДД;
  5. методика моделирования процесса работы МСДД и нагрузочного тестирования системы, позволяющая эмулировать поведение клиентов системы в мобильной среде.

Апробация работы

Основные положения диссертационной работы докладывались и обсуждались на конференциях и семинарах: XIII и XIV международных телекоммуникационных конференциях студентов и молодых ученых «МОЛОДЕЖЬ И НАУКА» (Москва, 2010, 2011), девятой международной практической конференции «Исследование, разработка и применение высоких технологий в промышленности» (Санкт-Петербург, 2010), 7-ой международной научно-практической конференции «Интеллектуальные технологии в образовании, экономике и управлении» (Воронеж, 2010), международной научно-практической конференции «Современные проблемы и пути их решения в науке, транспорте, производстве и образовании '2010» (Одесса, 2010), XIX и XX международных научно-технических семинарах «Современные технологии в задачах управления, автоматики и обработки информации» (Алушта, 2011).

Публикации

По теме диссертации опубликовано 10 печатных работ: 4 статьи в журналах, включенных ВАК РФ в перечень ведущих рецензируемых научных журналов и изданий [1, 2, 3, 4], 1 статья в других журналах [5] и 5 тезисов докладов [6, 7, 8, 9, 10].

Структура и объем работы

Диссертационная работа состоит из введения, четырех глав, заключения, библиографического списка из 128 наименований и приложений. Общий объем диссертации – 230 страниц машинописного текста, в том числе: 160 страниц основного текста и 23 страниц приложений, 39 рисунков, 17 таблиц.

СОДЕРЖАНИЕ РАБОТЫ

Во введении обоснована актуальность темы работы, поставлена задача исследования и представлена аннотация содержания работы по разделам. Выделена научная новизна и практическая ценность полученных результатов.

В первой главе приведена классификация различных глобальных информационных систем в распределенной среде в зависимости от степени их распределенности, гетерогенности и автономности. Выделен отдельный класс таких систем – системы мультибаз данных (мульти-БД), объединяющие гетерогенные локальные СУБД (ЛСУБД) с сохранением их полной автономности (см. рис. 1 ниже). Более подробно рассмотрена одна из разновидностей систем мульти-БД – мобильные системы доступа к данным (МСДД), особенность которых заключается в том, что клиенты системы находятся в беспроводной сети (см. рис. 2 ниже).

Изучена задача управления параллельным выполнением транзакций (обеспечения сериализуемости глобальных транзакций) в МСДД, включающей реляционные СУБД [1]. Описаны проблемы, возникающие при обеспечении сериализуемости и атомарности глобальных транзакций и предотвращении глобальных взаимоблокировок, а также проблемы, порождаемые спецификой мобильной среды (ограниченные ресурсы мобильных устройств – клиентов системы, непредвиденные разрывы соединения и т. д. [5]). Проведен обзор общих подходов и конкретных методов решения описанных проблем. Сделан вывод о том, что существующие методы управления параллельным выполнением транзакций в МСДД обладают рядом недостатков, либо не применялись на практике, либо рассматривают вопросы интеграции только тех СУБД, которые обеспечивают локальную сериализуемость, в то время как не все из них обладают этим свойством.

Рис. 1. Схема системы мульти-БД

Большинство популярных на сегодняшний день коммерческих и бесплатных СУБД используют Snapshot-изоляцию (или изоляцию «моментального снимка») для управления параллельным выполнением транзакций, которая не гарантирует локальной сериализуемости транзакций в полной мере [7]. Термин «моментальный снимок» отражает тот факт, что для каждой транзакции создается снимок (snapshot) данных на момент ее начала, и все операции чтения работают с этой копией данных. На практике это реализуется, как правило, на основе мультиверсионной схемы управления параллельным выполнением транзакций, в которой каждая операция записи данных порождает новую копию (или версию) этих данных – одновременно в БД могут присутствовать несколько версий одних и тех же данных.

Рис. 2. Схема МСДД (БС – базовая станция; БД – база данных)

С одной стороны, такой подход обладает рядом преимуществ: операции чтения никогда не блокируются, уровень параллельного выполнения транзакций выше, чем в методах, гарантирующих сериализуемость. С другой стороны, СУБД, использующие этот подход, подвержены нескольким так называемым «аномалиям» и не обеспечивают сериализуемость транзакций в полной мере.

В работе показана актуальность разработки нового метода управления параллельным выполнением транзакций в МСДД, учитывающего специфику мобильной среды и позволяющего интегрировать одновременно СУБД, обеспечивающие локальную сериализумость, и СУБД, использущие Snapshot-изоляцию транзакций. По результатам проведенного анализа сформулированы задачи диссертационного исследования.

Во второй главе произведена формализация задачи: предложена математическая модель МСДД, сформулированы критерии сериализуемости локальных и глобальных историй транзакций.

Обозначим транзакцию как , некоторую операцию транзакции , работающую с некоторыми данным x в БД, – как . Будем предполагать, что база данных статична, данные не добавляются и не удаляются, а только считываются операцией чтения или изменяются операцией записи, то есть , для краткости будем обозначать эти операции как и соответственно. Также через обозначим состояние завершения транзакции , для краткости эти операции будем обозначать как и соответственно. Через обозначим набор всех операций в , то есть, . Множество данных, над которыми транзакция производит операции чтения, будем обозначать RS (read-set). Множество данных, над которыми транзакция производит операции записи, – WS (write-set). Объединение этих множеств – (base-set). Тогда:

Транзакция – это частичный порядок , где – область всех операций транзакции (включая состояние завершения),  а – нерефлексивное и транзитивное отношение, которое определяет порядок операций так, что:

  1. ;
  2. ;
  3. : если и , тогда либо , либо .

Математическая модель МСДД имеет следующий вид (точные определения всех понятий даны в диссертационной работе, см. также [1]):

  • МСДД: , где – множество данных в системе,  – множество данных, хранящихся в в -ой ЛСУБД;
  • История транзакций МСДД: , где  ;
  • История локальных транзакций в -ой ЛСУБД: , где ; ; – область операций транзакции ;
  • История глобальных транзакций:

, где ; ;

  • История глобальных субтранзакций в -ой ЛСУБД:

, где ; ; – область операций транзакции ;

  • Множество локальных транзакций в -ой ЛСУБД: , где – -ая транзакция -ой ЛСУБД, такая что ;
  • Множество глобальных субтранзакций в -ой ЛСУБД: , где – глобальная субтранзакция, выполняющаяся в рамках -ой глобальной транзакции в -ой ЛСУБД, такая что ;
  • – множество данных, над которыми -ая транзакция производит операции чтения и/или записи.

В работе сформулированы критерии сериализуемости и SI-сериализуемости локальной истории транзакций (последний критерий позволяет определить правильность параллельного выполнения транзакций при использовании Snapshot-изоляции). Доказаны необходимые и достаточные условия сериализуемости истории системы мульти-БД [9]:

Теорема 1. Пусть – история системы мульти-БД, состоящей из локальных СУБД, и . Для того, чтобы история была сериализуема необходимо и достаточно, чтобы:

  1. все истории локальных транзакций были сериализуемы;
  2. существовал порядок выполнения глобальных транзакций , такой, что во всех историях локальных транзакций глобальные субтранзакции сериализуются в соответствии с порядком .

Другими словами, если локальные СУБД обеспечивают сериализуемость историй локальных транзакций (что верно в рамках поставленной задачи), для обеспечения сериализуемости истории системы мульти-БД, необходимо и достаточно обеспечить (или проверить), чтобы глобальные субтранзакции были сериализованы в одном и том же порядке во всех локальных СУБД [8].

Для определения порядка сериализации транзакций в ЛСУБД различных типов предложены методы, использующие знания о локальных схемах управления параллельным выполнением транзакций. Методы основаны на следующих утверждениях, доказанных в работе.

Лемма 1. Пусть локальная СУБД использует протокол на основе временных меток (TO – Timestamp Ordering – или MVTO – Multi-Version Timestamp Ordering) для сериализации транзакций, и – история локальных транзакций на множестве транзакций , полученная в результате использования этого протокола. Тогда сериализуема и порядок сериализации транзакций в совпадает с порядком их временных меток.

Лемма 2. Пусть локальная СУБД использует протокол сериализации транзакций SS2PL (Strong Strict 2-Phase Locking – сильная строгая двухфазная блокировка), и – история локальных транзакций на множестве транзакций , полученная в результате использования этого протокола. Тогда сериализуема и порядок сериализации транзакций в совпадает с порядком их фиксации.

Таким образом, для определения порядка сериализации глобальных субтранзакций в локальных СУБД, использующих протоколы временных меток (как обычный, так и мультиверсионный) достаточно знать порядок их временных меток, то есть, в каком порядке субтранзакции были направлены в эти ЛСУБД. Для локальных СУБД, использующих протокол SS2PL достаточно знать, в каком порядке субтранзакции были зафиксированы в этих СУБД [3]. Этот порядок и будет соответствовать порядку сериализации.

Случай, когда локальная СУБД использует Snapshot-изоляцию (SI), более сложный. Было показано, что SI не обеспечивает сериализуемость транзакций, однако, для предложенного метода это является необходимым условием.

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

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

Единственный недостаток такого подхода – это то, что придется частично нарушить локальную автономность СУБД. Дело в том, что при построении мультиверсионного графа предшествования необходимо учитывать все транзакции: не только глобальные, но и локальные. Так как ЛСУБД не предоставляет такой информации, то такой подход будет работать только в одном из двух случаев: либо локальные транзакции полностью отсутствуют, либо они должны направляться не напрямую в ЛСУБД, а через глобальный интерфейс мобильной системы доступа к данным.

Стоит отметить, что существующие методы обеспечения локальной сериализуемости для Snapshot-изоляции либо нарушают локальную автономность еще больше (требуется изменение менеджера транзакций самой ЛСУБД), либо неприемлемо снижают производительность системы (например, требуется блокировать целые таблицы). Кроме того, даже при таких ограничениях они не рассматривают вопросы обеспечения глобальной сериализуемости и не позволяют узнать порядок сериализации транзакций в ЛСУБД. Таким образом, предложенный подход позволяет обеспечить сериализуемость транзакций на глобальном уровне без уменьшения производительности ЛСУБД при существенно меньших нарушениях локальной автономности.

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

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

Следствие из леммы 3. Если локальная СУБД использует Snapshot-изоляцию в качестве протокола управления параллельным выполнением транзакций, то для обеспечения сериализуемости истории локальных транзакций необходимо и достаточно гарантировать, чтобы мультиверсионный граф предшествования для этой истории был ацикличен. При этом любую транзакцию можно безопасно удалять из графа (то есть эта транзакция гарантированно не может в будущем послужить причиной возникновения нового цикла в графе) при соблюдении следующих условий:

  1. все транзакции, начатые до фиксации транзакции , завершились (были зафиксированы или отменены);
  2. ни одна дуга в графе не направлена в вершину, соответствующую транзакции .

В случае если локальная СУБД не использует ни один из рассмотренных протоколов управления параллельным выполнением транзакций (TO, MVTO, SS2PL, SI), или используемый ею протокол неизвестен (что, вообще говоря, является очень редким случаем), но при этом известно, что СУБД обеспечивает локальную сериализуемость, предлагается использовать существующий метод принудительных конфликтов.

В общем виде разработанный метод обеспечения глобальной сериализуемости транзакций в МСДД заключается в следующем:

  1. Каждая глобальная транзакция, поступающая в систему, разбивается на глобальные субтранзакции и выполняется в соответствующих ЛСУБД.
  2. В каждой ЛСУБД определяется порядок сериализации всех глобальных субтранзакций. Способ определения порядка зависит от типа ЛСУБД:
    1. если ЛСУБД использует протокол TO или MVTO, то порядок сериализации определяется по порядку, в котором были начаты субтранзакции в этой ЛСУБД;
    2. если ЛСУБД использует протокол SS2PL, то порядок сериализации определяется по порядку фиксации субтранзакций;
    3. если ЛСУБД использует Snapshot-изоляцию, то порядок сериализации определяется при помощи построения и топологической сортировки мультиверсионного графа предшествования; если граф содержит хотя бы один цикл, то глобальная транзакция откатывается;
    4. если ЛСУБД использует другой или неизвестный протокол, но гарантирует локальную сериализуемость транзакций, то порядок сериализации определяется при помощи метода принудительных конфликтов.
  3. Глобальные транзакции допускаются к фиксации только в том случае, если порядок сериализации их субтранзакций одинаков во всех ЛСУБД.

В заключении главы доказана теорема, подтверждающая корректность предложенного метода:

Теорема 2. Предложенный метод гарантирует сериализуемость истории транзакций системы мульти-БД при следующих условиях:

  1. каждая ЛСУБД для управления параллельным выполнением транзакций использует либо Snapshot-изоляцию, либо любой протокол, обеспечивающий локальную сериализуемость транзакций;
  2. каждая ЛСУБД позволяет получить информацию о том, когда глобальные субтранзакции переходят в состояние «READY» (в соответствии с протоколом двухфазной фиксации);
  3. каждой глобальной транзакции соответствует максимум одна субтранзакция в каждой ЛСУБД.

Таким образом, предложен метод управления параллельным выполнением транзакций в МСДД, особенностью которого является то, что он позволяет интегрировать в рамках МСДД любые реляционные СУБД, либо обеспечивающие локальную сериализуемость транзакций, либо использующие Snapshot-изоляцию [4]. Для СУБД, использующих протоколы управления параллельным выполнением транзакций Timestamp Ordering, Multiversion Timestamp Ordering, Strong String Two-Phase Locking, метод полностью сохраняет их локальную автономность, не оказывая при этом существенного влияния на производительность. Для СУБД, использующих неизвестный протокол, но гарантирующих локальную сериализуемость, применяется метод принудительных конфликтов. Для СУБД, использующих Snapshot-изоляцию, предложенный метод позволяет гарантировать как локальную сериализуемость транзакций, так и глобальную сериализуемость при интеграции нескольких СУБД такого типа (за счет частичного нарушения локальной автономности). В рамках математической модели доказана корректность метода.

В третьей главе предложена методика применения полученных теоретических результатов. Предложена структурная модель МСДД, использующей разработанный метод для управления параллельным выполнением транзакций на глобальном уровне (см. рис. 3). Также подробно описаны компоненты этой модели, алгоритм работы глобального менеджера транзакций и протокол взаимодействия клиента с системой.

Рис. 3. Структурная модель МСДД

В алгоритме работы глобального менеджера транзакций использован подход «снизу вверх», то есть сначала локальные СУБД независимо друг от друга определяют, в каком порядке транзакции будут сериализованы в каждой из них, а глобальный менеджер транзакций на основе собранной из локальных СУБД информации определяет, можно ли сохранить сериализуемость уже на глобальном уровне [2].

В основе алгоритма лежит оптимистическая схема управления параллельным выполнением транзакций, состоящая из трех фаз:

  1. Фаза чтения/записи. Глобальный менеджер транзакций обрабатывает поступающую от клиента глобальную транзакцию. Последняя разбивается на глобальные субтранзакции (максимум по одной субтранзакции на каждую локальную СУБД). Операции глобальных транзакций выполняются в локальных СУБД по мере поступления. Если в глобальной транзакции участвует хотя бы одна ЛСУБД, использующая протокол управления параллельным выполнением транзакций с применением блокировок (или неизвестный протокол), то возможно возникновение глобальной взаимоблокировки с участием данной транзакции (это относится и к СУБД, применяющим Snapshot-изоляцию: в теории для сохранения Snapshot-изоляции транзакциям запрещено одновременно обновлять одни и те же данные, на практике это условие реализуется, как правило, с помощью механизма строгой двухфазной блокировки для операций записи; например, в СУБД Oracle и PosgtreSQL используется именно такая реализация). Поэтому перед отправкой первой операции в такую ЛСУБД менеджер транзакций устанавливает глобальный таймаут для этой транзакции. При поступлении команды на фиксацию глобальной транзакции от клиента глобальный менеджер транзакций посылает всем задействованным в транзакции СУБД сообщение «prepare-to-commit» в соответствии с протоколом двухфазной фиксации. Если хотя бы одна глобальная субтранзакция откатывается (по причине локальной взаимоблокировки или невозможности обеспечить локальную сериализуемость), то вся глобальная транзакция откатывается. То же самое происходит в случае, если для какой-либо операции истекает таймаут (ситуация глобальной взаимоблокировки). Если все глобальные субтранзакции переходят в состояние «READY», то глобальная транзакция переходит в фазу проверки.
  2. Фаза проверки. После того, как все глобальные субтранзакции перешли в состояние «READY», глобальному менеджеру транзакций становится доступна информация о порядке их сериалзиации в локальных СУБД. На основании этой информации строится глобальный граф предшествования (Global Serialization Graph – GSG). Если после добавления проверяемой транзакции и соответствующих ей дуг GSG содержит цикл, то, очевидно, субтранзакции как минимум двух глобальные транзакций были сериализованы в разном порядке в локальных СУБД, и, следовательно, история глобальных транзакций не является сериализуемой – проверяемая глобальная транзакция откатывается, а добавленные для нее дуги удаляются из графа GSG. В противном случае глобальная транзакция успешно проходит проверку.
  3. Фаза фиксации. Если глобальная транзакция прошла проверку, то она может записать данные в БД и может быть зафиксирована. Если нет – транзакция должна быть отменена.

Назначения компонента (САЗ) в этой системе – на основе синтаксического анализа запроса определять множества читаемых () и записываемых () данных, необходимых для определения порядка сериализации транзакций в СУБД, использующих Snapshot-изоляцию. Для этого предлагается строить приблизительные множества с помощью анализа предикатов в секции WHERE SQL-запросов. «Приблизительные» в данном случае означает, что построенные множества и могут быть не равны реальным, но обязательно должны полностью их включать. Например, для запроса «SELECT x FROM t WHERE x >= 1 AND x <= 3» будет выделен предикат «x >= 1 AND x <= 3», и будет построено множество , тогда как на самом деле в таблице может вообще не быть записей, удовлетворяющих условию, или может быть одна запись, например, с , но не может быть записей, не входящих в .

Предлагается считать минимальным элементом данных один кортеж в реляционном отношении (одну строку таблицы). Можно были бы пойти дальше и строить более точные множества, считая единицей данных каждый элемент кортежа, однако это видится излишним усложнением системы. Кроме того, принцип работы с данными на уровне строк  применяется в большинстве популярных на сегодняшний день СУБД.

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

В четвертой главе изложены принципы построения мобильных систем доступа к данным на основе предложенных моделей и методов. Предложена методика моделирования процесса работы МСДД с применением различных методов управления глобальными транзакциями, позволяющая анализировать и сравнивать производительность работы данных методов по нескольким параметрам и эмулировать поведение клиентов в мобильной среде. Описано разработанное программное обеспечение, которое включает в себя модуль управления параллельным выполнением транзакций в МСДД, реализующий предложенный метод, и модуль, предназначенный для моделирования работы системы и ее нагрузочного тестирования. Подробно рассмотрена структура программного обеспечения и функции программных модулей. Описана реализация прототипа МСДД на примере системы мобильных платежей [6], а также результаты применения нового метода в такой системе. Рассмотрены вопросы практического применения разработанных моделей, метода и прикладного программного обеспечения.

По предложенной методике было проведено моделирование работы и нагрузочное тестирование разработанного прототипа [10]. Получены следующие результаты (см. рис. 4 и 5 ниже).

При вычислении скорости обработки транзакций учитывались только успешные (не отмененные из-за локального или глобального конфликта) транзакции. При вычислении времени обработки одной транзакций учитывались все транзакции.

Из графиков видно, что при отсутствии какого-либо управления параллельным выполнением транзакций на глобальном уровне количество одновременных глобальных транзакций менее 75-ти не является достаточным, чтобы полностью загрузить локальные СУБД при использованной аппаратной конфигурации серверов, – с ростом количества транзакций практически линейно растет и скорость их обработки. При количестве транзакций 75-400 скорость обработки примерно постоянна, а затем начинает падать из-за слишком большого количества отмен транзакций на локальном уровне. При дополнительном контроле транзакций на глобальном уровне (с применением предложенного метода) скорость обработки транзакций снижается незначительно. Более того, при экспоненциальном росте общего времени обработки транзакций составляющая, вносимая дополнительным контролем на глобальном уровне («накладные расходы» при использовании метода), растет линейно, что подтверждает теоретические выводы, сделанные в третьей главе. К тому же, сама по себе эта составляющая невелика: при 600 одновременно выполняемых глобальных транзакциях только порядка 10-15% времени уходит на обеспечение сериализуемости истории глобальных транзакций.

Рис. 4. Зависимость скорости обработки транзакций от количества одновременных глобальных транзакций

Рис. 5. Зависимость времени обработки одной глобальной транзакции от количества одновременных глобальных транзакций

Отсутствие незавершенных глобальных транзакций (с бесконечным временем выполнения) при моделировании работы прототипа подтвердило, что реализованный в прототипе метод управления параллельным выполнением транзакций успешно разрешает ситуации глобальной взаимоблокировки транзакций. Для проверки того, что метод обеспечивает сериализуемость транзакций на глобальном уровне, после выполнения каждого теста также вручную проверялось, не нарушена ли целостность данных в БД. Ни одно из ограничений целостности БД в ходе тестирования нарушено не было.

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

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

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

Основные результаты, полученные автором диссертационного исследования, состоят в следующем:

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

Основные положения диссертационной работы опубликованы в следующих работах:

  1. Храмов, А. А. Проблемы управления параллельным доступом в мобильных системах доступа к данным и методы их решения [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Вестник Московского авиационного института. – М. : Изд-во МАИ, 2010. – Т. 17, № 6. – С. 129-138. – ISSN 0869-6101.
  2. Храмов, А. А. Протокол управления параллельным доступом в мобильной системе доступа к данным, включающей базы данных, использующие критерий Snapshot-изоляции [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Вестник Московского авиационного института. – М. : Изд-во МАИ, 2011. – Т. 18, № 2. – С. 180-185. – ISSN 0869-6101.
  3. Аникин, Н. А. Метод определения порядка сериализации транзакций в системах управления базами данных, использующих протокол строгой двухфазной блокировки [Текст] / Николай Александрович Аникин // Электронный журнал «Труды МАИ». – 2010. – № 42. – http://www.mai.ru/science/trudy/.
  4. Храмов, А. А. Методы обеспечения глобальной сериализуемости транзакций в мобильных системах доступа к данным [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Информационно-измерительные и управляющие системы. Интеллектуальные системы и технологии (журнал в журнале). – М., 2011. – Т. 9, № 10. – С. 52-57. – ISSN 2070-0814.
  5. Аникин, Н. А. Особенности использования мобильных устройств в системах мульти-БД [Текст] / Николай Александрович Аникин // Высокие технологии, исследования, промышленность: сборник трудов Девятой международной практической конференции «Исследование, разработка и применение высоких технологий в промышленности». – СПб. : Изд-во Политехн. Ун-та, 2010. – Т. 1. – С. 117-124. – ISBN 978-5-7422-2557-7.
  6. Аникин, Н. А. Анализ существующих решений и постановка задачи создания перспективной системы мобильных платежей [Текст] / Николай Александрович Аникин // Научная сессия НИЯУ МИФИ-2010. XIII Международная телекомуникационная конференция студентов и молодых ученых "МОЛОДЕЖЬ И НАУКА". Тезисы докладов. В 3-х частях. Ч. 2. – М. : НИЯУ МИФИ, 2010. – С. 32-33. – ISBN 978-5-7262-1229-6.
  7. Аникин, Н. А. Методы обеспечения сериализуемости транзакций в СУБД, использующих Snapshot-изоляцию [Текст] / Николай Александрович Аникин // Интеллектуальные технологии в образовании, экономике и управлении : Сб. матер. 7-ой Межд. научн.-практ. конф. – Воронеж : ЮниПресс, 2010. – С. 174-178.
  8. Аникин, Н. А. Методы обеспечения глобальной сериализуемости транзакций в системах мульти-БД [Текст] / Николай Александрович Аникин // Научная сессия НИЯУ МИФИ-2011. XIV международная телекоммуникационная конференция студентов и молодых ученых «Молодежь и наука». Тезисы докладов. Ч.3. – М. : НИЯУ МИФИ, 2010. – С. 99-100.
  9. Аникин, Н. А. Интеграция СУБД, обеспечивающих локальную сериализуемость, и СУБД, использующих Snapshot-изоляцию, в рамках системы мульти-БД [Текст] / Николай Александрович Аникин // Сборник научных трудов по материалам международной научно-практической конференции «Современные проблемы и пути их решения в науке, транспорте, производстве и образовании '2010». Том 3. Технические науки. – Одесса : Черноморье, 2010. – С. 28-33.
  10. Храмов, А. А. Прототип мобильной системы доступа к данным, обеспечивающей глобальную сериализуемость транзакций [Текст] / Александр Александрович Храмов, Николай Александрович Аникин // Современные технологии в задачах управления, автоматики и обработки информации : тез. докладов XX Междунар. научн.-техн. семинара (г. Алушта, 12-24 сентября 2011 г.). – Пенза : Изд-во ПГУ, 2011. – С. 80-81. – ISBN 978-5-94170-377-7.






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.