Научная статья на тему 'Организация распределенной агентно-ориентированной системы управления базами данных в метакомпьютерной среде с топологией типа «Логическое кольцо»'

Организация распределенной агентно-ориентированной системы управления базами данных в метакомпьютерной среде с топологией типа «Логическое кольцо» Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
237
57
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
РАСПРЕДЕЛЕННЫЕ БАЗЫ ДАННЫХ / СЕТЕВАЯ СРЕДА / МОБИЛЬНЫЕ АГЕНТЫ / АСИНХРОННЫЕ ПРЕДИКАТНЫЕ СЕТИ / ЛОГИЧЕСКОЕ КОЛЬЦО / СТАТИСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ / DISTRIBUTED DATABASES / NETWORK ENVIRONMENT / MOBILE AGENTS / ASYNCHRONOUS PREDICATE NETWORK / LOGICAL RING / STATISTICAL MODELING

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Вашкевич Николай Петрович, Карамышева Надежда Сергеевна, Зинкин Сергей Александрович

Актуальность и цели. Объектом исследования являются метакомпьютерные системы обработки данных и знаний, распределенные системы баз данных. Под метакомпьютером подразумевается виртуальная система с заданной архитектурой, развернутая на глобальной или локальной вычислительной сети. Предметом исследования являются процессы управления обработкой реляционных баз данных в метакомпьютерах с архитектурой логического кольца. Целью работы является разработка и проверка модели взаимодействия асинхронных процессов при обработке фрагментированных отношений реляционной базы данных для основных операций реляционной алгебры в логическом кольце узлов сети ЭВМ, образующем распределенную систему управления базой данных (СУБД). Материалы и методы. Исследование и организация процессов управления обработкой данных проведены на основе формализма асинхронных предикатных сетей с последующим статистическим моделированием выполнения множества согласованных продукционных правил. Результаты. Продемонстрирована возможность применения модели асинхронных предикатных сетей для согласования процессов и агентов при организации обработки структурированных данных. Предложенные методы и алгоритмы распределенной обработки данных также могут быть реализованы и на многоядерных процессорах, в системах кластерного типа, ориентированных не только на взаимодействия агентов, но и на передачу сообщений. Выводы. Предложены основные схемы выполнения бинарных и унарных операций реляционной алгебры, определенных над фрагментами, являющимися непересекающимися подмножествами кортежей отношений. Использованы известные определения и алгоритмы выполнения операций реляционной алгебры для нефрагментированных отношений. Показана возможность конвейерной реализации операций в логическом кольце, что повышает уровень параллельности при обработке данных в распределенной СУБД.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Вашкевич Николай Петрович, Карамышева Надежда Сергеевна, Зинкин Сергей Александрович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

DESIGN AND DEVELOPMENT OF DISTRIBUTED AGENT-ORIENTED DATABASE MANAGEMENT SYSTEM IN METACOMPUTING MEDIA WITH TOPOLOGYOF THE "LOGICAL RING" TYPE

Background. The research object is the metacomputing systems of data and knowledge processing, distributed database systems. Under a metacomputer one should understand a virtual system with specified architecture, deployed on a global or local computing network. The research subject is the management processes of relation databases processing in metacomputers with logical ring architecture. The aim of the work is to develop and check the model of asynchronous processes interaction at processing of fragmentary relations of a relation database for basic operations of relation algebra in a logical ring of computer network units, forming a distributed system of database management. Materials and methods. Research and organization of data processing management processes were carried out on the basis of formalism of asynchronous predicate networks with further statistical modeling of multiple coordinated productive rules execution. Results. The authors demonstrated the possibility of using the model of asynchronous predicate networks for coordination of processes and agents at structurized data processing organization. The suggested methods and algorithms of distributed data processing may also be implemented in multicore processors, cluster systems, oriented towards agents’ interaction as well as message transmission. Conclusions. The researchers suggested the basic schemes of execution of relation algebra’s binary and unary operations, determined over fragments, being disjoint subsets of relation sequences. The authors used well-known definitions and algorithms for execution of relation algebra’s operations for nonfragmented relations. The works shows the possibility of pipeline realization of operations in a logical ring that increases the level of parallelism at data processing in a distributed system of database management.

Текст научной работы на тему «Организация распределенной агентно-ориентированной системы управления базами данных в метакомпьютерной среде с топологией типа «Логическое кольцо»»

ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ

УДК 681.32

Н. П. Вашкевич, Н. С. Карамышева, С. А. Зинкин

ОРГАНИЗАЦИЯ РАСПРЕДЕЛЕННОЙ АГЕНТНО-ОРИЕНТИРОВАННОЙ СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ В МЕТАКОМПЬЮТЕРНОЙ СРЕДЕ С ТОПОЛОГИЕЙ ТИПА «ЛОГИЧЕСКОЕ КОЛЬЦО»1

Аннотация.

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

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

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

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

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

1 Статья подготовлена в рамках ФЦП «Исследования и разработки по приоритетным направлениям развития НТК России на 2014-2020 гг.» (Соглашение № 14.574.21.0045 от 19.06.2014).

Engineering sciences. Computer science, computer engineering and control

5

Известия высших учебных заведений. Поволжский регион

N. P. Vashkevich, N. S. Karamysheva, S. A. Zinkin

DESIGN AND DEVELOPMENT OF DISTRIBUTED AGENT-ORIENTED DATABASE MANAGEMENT SYSTEM IN METACOMPUTING MEDIA WITH TOPOLOGY OF THE “LOGICAL RING” TYPE

Abstract.

Background. The research object is the metacomputing systems of data and knowledge processing, distributed database systems. Under a metacomputer one should understand a virtual system with specified architecture, deployed on a global or local computing network. The research subject is the management processes of relation databases processing in metacomputers with logical ring architecture. The aim of the work is to develop and check the model of asynchronous processes interaction at processing of fragmentary relations of a relation database for basic operations of relation algebra in a logical ring of computer network units, forming a distributed system of database management.

Materials and methods. Research and organization of data processing management processes were carried out on the basis of formalism of asynchronous predicate networks with further statistical modeling of multiple coordinated productive rules execution.

Results. The authors demonstrated the possibility of using the model of asynchronous predicate networks for coordination of processes and agents at structurized data processing organization. The suggested methods and algorithms of distributed data processing may also be implemented in multicore processors, cluster systems, oriented towards agents’ interaction as well as message transmission.

Conclusions. The researchers suggested the basic schemes of execution of relation algebra’s binary and unary operations, determined over fragments, being disjoint subsets of relation sequences. The authors used well-known definitions and algorithms for execution of relation algebra’s operations for nonfragmented relations.

The works shows the possibility of pipeline realization of operations in a logical ring that increases the level of parallelism at data processing in a distributed system of database management.

Key words: distributed databases, network environment, mobile agents, asynchronous predicate network, logical ring, statistical modeling.

Введение

В связи с интенсивным развитием облачных и грид-технологий, включая и технологии сетевого хранения данных (storage grid), наблюдается быстрое количественное и качественное развитие сетевых систем управления базами данных (СУБД). Поэтому актуальна разработка СУБД, работающих на всем спектре параллельных архитектур от многоядерных процессоров до грид-сетей. Современные языки параллельного и распределенного программирования (например: C#, MC#, технология CUDA [1-3] и др.) позволяют проектировать распределенные приложения и программные системы обработки баз данных. Известно, что при проектировании конкретной архитектуры сетевой или многомашинной СУБД может быть предусмотрено выполнение следующих параллельных операций:

6

University proceedings. Volga region

№ 4 (32), 2014 Технические науки. Информатика, вычислительная техника

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

— анализ запроса и обработка данных;

— доступ к данным и обработка;

— передача данных и обработка;

— параллельный доступ и параллельная обработка данных;

— параллельная обработка данных.

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

Реализация конвейерной обработки возможна в различных проектах, например, в проекте МБД университета Карнеги-Меллона (обработка данных при помощи систолических матриц), в МБД DIRECT Висконсинского университета, в МБД DBC (Database Computer for Very Large Database) университета штата Огайо и особенно эффективно реализована в машине GRACE Токийского университета [4]. Многосерверная сетевая база данных с циркулирующей информацией рассмотрена также в работе [5], где предложена организация локальной вычислительной сети, работающей по принципу «клиентсервер» при удовлетворении запросов от рабочих станций к сегментированной базе данных, находящейся на нескольких серверах.

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

1. Общая схема выполнения операций над сегментами отношений

На рис. 1 представлена общая схема организации выполнения операций реляционной алгебры над фрагментированными отношениями реляционной базы данных. Агенты A, B, C, D, E и F выполняют глобальные операции реляционной алгебры, осуществляя при необходимости конвейерный или другие разновидности коллективного обмена данными друг с другом. Основной обмен данными происходит в двунаправленном логическом кольце агентов. В тексте данной работы использован прямой шрифт для имен агентов A, B, C, D, E, F для того, чтобы отличать эти имена от имен A, B и C отношений.

Масштабируемость агентно-ориентированной схемы реализации кольца для другого числа агентов (логических узлов метакомпьютера) очевидна. Примерная схема сетевой реализации физического кольца метакомпьютера представлена на рис. 2, где A, B, C, D, E, F - логические узлы-агенты; у, — IP-адреса узлов, идентифицирующие физические компьютеры локальных сетей, связанных в типовую TCP/IP сеть посредством маршрутизаторов М и коммутаторов К.

Engineering sciences. Computer science, computer engineering and control

7

Известия высших учебных заведений. Поволжский регион

а

\-

I

О)

А:

В:

С:'

D:

Е:'

F:

Ао

Ai

Az

Аз

А4

Аз

Т

Во

Ві

В2

Вз

В4

Вз

Со

Cl

С2

Сз

С4

Сз

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

2. Выполнение операций реляционной алгебры над сегментами отношений в логическом кольце

Предложим основные схемы выполнения бинарных и унарных операций реляционной алгебры, определенных над фрагментами Ao, Ai, A2, A3, A4, A5 и Bo, Bi, B2, B3, B4, B5 - непересекающимися подмножествами кортежей отношений A и B соответственно. Определения и алгоритмы выполнения операций реляционной алгебры для нефрагментированных отношений хорошо известны [6-9] и являются основой для описанной ниже агентно-ориентированной реализации. Ее отличие и новизна состоят в распределенной реализации и организации межагентных взаимодействий в процессе обработки фрагментов отношений. Реализация операций в подобной системе является, по существу, расширением интерфейса передачи сообщений MPI [10, 11]. В работе [11] рассмотрена сетевая реализация интерфейса передачи сообщений MPI как облачного сервиса в агентно-ориентированных метакомпьютерных системах. Основные варианты обмена сообщениями между процессами описаны асинхронными предикатными сетями, ранее предложенными в работе [12].

Бинарная операция объединения «и» выполняется над отношениями A и B с одинаковой схемой. Результат C имеет такую же схему. Агенты A, B, C, D, E и F метакомпьютерной системы при реализации данной операции выполняют следующие действия над фрагментами отношений A и B:

— формирование частичных результатов:

A: Co = Ao и Bo;

B: C1 = A1 и B1;

C: C2 = A2 и B2;

D: C3 = A3 и B3;

E: C4 = A4 и B4;

8

University proceedings. Volga region

№ 4 (32), 2014 Технические науки. Информатика, вычислительная техника

F: C5 — A 5 и B5;

- формирование окончательного результата: A: C — ((((Co и Ci) и C2) и Сз) и C4) и C5.

B

Рис. 2. Вариант размещения логического кольца агентов на физической сети

В формуле для окончательного результата C расстановка скобок указывает на порядок выполнения операции объединения частичных результатов агентом A. При этом необходимые фрагменты Ci, C2, C3, C4 и C5 передаются агенту A либо в процессе кольцевого сдвига данных, либо агент A поочередно запрашивает частичные результаты Ci, C2, C3, C4 и C5 и затем их получает последовательно после очередного запроса от агентов B, C, D, E и F соответственно. На этом выполнение операции C — A и B завершается.

Engineering sciences. Computer science, computer engineering and control

9

Известия высших учебных заведений. Поволжский регион

Бинарная операция пересечения «п» аналогично выполняется над двумя операндами А и В с одинаковой схемой и результат C имеет такую же схему. На основании известного в теории множеств свойства дистрибутивности операции пересечения относительно операции объединения получим следующую схему выполнения операции пересечения над фрагментами исходных отношений:

— формирование частичных результатов в кольце агентов:

A: Co = (((((Ao п Во) и (Ао п Bi)) и (Ао п B2)) и (Ао п Вз)) и и (Ао п В4)) и (Ао п В5);

B: Ci = (((((А1 п Bi) и( Аі п В2)) и (Аі п Вз)) и (Аі п В4)) и и (Аі п В5)) и (Аі п Во);

C: C2 = (((((А2 п В2) и (А2 п Вз)) и (А2 п В4)) и (А2 п В5)) и и (А2 п Во)) и (А2 п Ві);

D: C3 = (((((Аз п Вз) и (Аз п В4)) и (Аз п В5)) и (Аз п Во)) и и (Аз п Ві)) и (Аз п В2);

E: C4 = (((((А4 п В4) и (А4 п В5)) и (А4 п Во)) и (А4 п Ві)) и и (А4 п В2)) и (А4 п Вз);

F: C5 = (((((А5 п В5) и (А5 п Во)) и (А5 п Ві)) и (А5 п В2)) и и (А5 п Вз)) и (А5 п В4);

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

— формирование окончательного результата:

A: C = ((((C и Cl) и C2) и Cз) и C4) и C5.

Здесь при формировании частичных результатов Co, Cl, C2, Cз, C4 и C5 фрагменты Во, Ві, В2, Вз, В4 и В5 отношения В сдвигаются по логическому кольцу, передаваясь от одного агента к другому, причем порядок выполнения операций задается расстановкой скобок на основе известного в теории множеств свойства ассоциативности операции объединения в выражениях ^, Cl, C2, Cз, C4 и C5 для частичных результатов. Окончательный результат C = А п В формируется агентом A так же, как и для предыдущей операции объединения.

Бинарная операция разности «—» позволяет получить множество C = А - В кортежей, принадлежащих отношению А и не принадлежащих отношению В. Здесь требуется, чтобы отношения имели одну и ту же схему. Для фрагментированных отношений в агентно-ориентированном метакомпьютере выполнение данной операции может быть организовано в соответствии со следующими выражениями:

— формирование частичных результатов в кольце агентов:

A: C = (((((Ао - Во) - Ві) - В2) - Вз) - В4) - В5;

B: C = (((((Аі - Ві) - В2) - Вз) - В4) - В5) - Во;

C: C2 = (((((А2 - В2) - Вз) - В4) - В5) - Во) - Ві;

D: Cз = (((((Аз - Вз) - В4) - В5) - Во) - Ві) - В2;

E: C4 = (((((А4 - В4) - В5) - Во) - Ві) - В2) - Вз;

F: C5 = (((((А5 - В5) - Во) - Ві) - В2) - Вз) - В4;

— формирование окончательного результата:

A: C = ((((Co и C0 и C2) и Cз) и C4) и C5.

Например, в результате выполнения агентом A действий, предписанных формулой для частичного результата Ca, из фрагмента Ао отношения А удаляются поочередно кортежи, принадлежащие еще и фрагментам Во, Ві, В2,

10

University proceedings. Volga region

№ 4 (32), 2014 Технические науки. Информатика, вычислительная техника

Вз, B4 и B5 отношения B. Аналогичные действия после каждого кольцевого сдвига выполняются остальными агентами. В результате ни один фрагмент из фрагментов отношения A не будет содержать ни одного кортежа, принадлежащего отношению В. После объединения частичных результатов Co, Ci, C2, C3, C4 и C5 агентом A результат C = A - В будет находиться в зоне ответственности данного агента.

Выбор оа, или селекция, — это унарная операция над отношением. Пусть а — допустимая формула, выражающая предикат выборки, т.е. допустимая логическая формула с предикатными символами сравнения, используемыми в качестве логических переменных. Сравниваться могут как значения атрибутов с некоторыми константами, так и значения различных атрибутов между собой. Результатом является отношение, содержащее кортежи, для которых формула а истинна. При реализации данной операции агенты A, B, C, D, E и F в метакомпьютерной системе выполняют соответственно следующие действия над фрагментами Ao, Ai, A2, A3, A4, и A5 отношения A:

— формирование частичных результатов:

A: Co = Oa(Ao);

B: Ci = Oa(Ai);

C: C2 = Oa(A2);

D: C3 = Oa(A3);

E: C4 = Oa(A4);

F: C5 = Oa(A5);

— формирование окончательного результата:

A: C = ((((Co u Ci) u C2) u C3) u C4) u C5.

В результате выполнения бинарной операции «X» декартова произведения двух отношений A и В со схемами R и S соответственно будет сформировано отношение со схемой, являющейся конкатенацией схем R и S, содержащее кортежи, образованные всеми возможными конкатенациями кортежей отношений A и В. Порядок выполнения операции декартова произведения, определенный над фрагментами отношений A и В, задается следующими выражениями:

— формирование частичных результатов в кольце агентов:

A: Co = (((((Ao x Bo) u (Ao x ВО) u (Ao x В2)) u (Ao x В3)) u (Ao x В4)) u

u (Ao x В5);

B: Ci = (((((Ai x В i) u (Ai x В2)) u (Ai x В3)) u (Ai x В4)) u (Ai x В5)) u

u (Ai x Bo);

C: C2 = (((((A 2 x В2) u (A 2 x В3)) u (A 2 x В4)) u (A 2 x В5)) u (A 2 x Bo)) u

u (A2 x ВО;

D: C3 = (((((A 3 x В3) u (A 3 x В4)) u (A 3 x В5)) u (A 3 x Bo)) u (A 3 x ВО) u

u (A3 x В2);

E: C4 = (((((A4 x В 4) u (A4 x В5)) u (A4 x Bo)) u (A4 x ВО) u (A4 x В2)) u

u (A4 x В3);

F: C5 = (((((A 5 x В5) u (A5 x Bo)) u (A5 x ВО) u (A5 x В2)) u (A5 x В3)) u

u (A5 x В4);

— формирование окончательного результата: A: C = ((((Co u Ci) u C2) u C3) u C4) u C5.

Engineering sciences. Computer science, computer engineering and control

11

Известия высших учебных заведений. Поволжский регион

Данными выражениями определяются сдвиги и передачи данных в логическом кольце агентов при формировании результата С = А х Б).

Бинарная операция соединения определяется на основе операций декартова произведения и выборки как с<х(А х Б) [7, 9], где а - формула, содержащая предикаты сравнения атрибутов из отношений А и Б. Схема выполнения операции соединения соответствует схеме выполнения операции декартова произведения при учете условия, согласно которому в результирующее отношение включаются лишь те кортежи, которые удовлетворяют определенному соотношению между атрибутами соединения отношений А и Б:

— формирование частичных результатов в кольце агентов:

A: Со = ((((Оа(Ао х Bo) и Са(Ао х Bi)) и Са(Ао х Бг)) и Са(Ао х Бз)) и и Са(Ао х Б4)) и Са(Ао х Б5);

B: Ci = ((((Оа(Аі х Бі) и Оа(Аі х Бг)) и Оа(Аі х Бз)) и Оа(Аі х Б4)) и и Оа(Аі х Б5)) и Са(Аі х Бо);

C: Сг = ((((Оа(Аг х Бг) и Са(Аг х Бз)) и Са(Аг х Б4)) и Са(Аг х Б5)) и и Оа(Аг х Бо)) и Са(Аг х Бі);

D: Сз = ((((Оа(Аз х Бз) и Са(Аз х Б4)) и Са(Аз х Б5)) и Са(Аз х Бо)) и и Са(Аз х Бі)) и Оа(Аз х Бг);

E: С4 = ((((Оа(А4 х Б4) и Оа(А4 х Б5)) и Оа(А4 х Бо)) и Са(А4 х Бі)) и и Са(А4 х Бг)) и Са(А4 х Бз);

F: С5 = ((((Оа(А5 х Б5) и Са(А5 х Бо)) и Са(А5 х Бі)) и Оа(А5 х Бг)) и и Оа(А5 х Бз)) и Са(А5 х Б4);

— формирование окончательного результата:

A: С = ((((Со и Сі) и Сг) и Сз) и С4) и С5.

Особенности вариантов операции соединения, состоящие в отбрасывании некоторых атрибутов, учитываются при реализации оператора Са.

Проекция Пх является унарной операцией над отношением. Пусть R - схема отношения А, а X - подмножество R. Операция проекции позволяет получить отношение С = Пх(А) путем исключения из кортежей исходного отношения значений атрибутов, соответствующих атрибутам в R\X и последующего исключения повторяющихся кортежей. При реализации проекции агенты A, B, C, D, E и F в метакомпьютерной системе выполняют соответственно следующие действия над фрагментами Ао, Аі, Аг, Аз, А4, и А5 отношения А:

— формирование частичных результатов:

A: Со = Пх(Ао);

B: Сі = Пх(Аі);

C: Сг = Пх(Аг);

D: Сз = Пх(Аз);

E: С4 = Пх(А4);

F: С5 = Пх(А5);

— формирование окончательного результата:

A: С = ((((Со и Сі) и Сг) и Сз) и С4) и С5.

На этапе получения окончательного результата при выполнении объединения промежуточных результатов агентом A естественно исключаются оставшиеся дубликаты кортежей.

12

University proceedings. Volga region

№ 4 (32), 2014 Технические науки. Информатика, вычислительная техника

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

Выполнение операций реляционной алгебры над фрагментированными отношениями в структуре, представленной на рис. 1, требует кольцевого сдвига фрагментов отношений B и C. Система продукционных правил для асинхронной предикатной сети (АПС) MCS, предназначенная для управления кольцевым сдвигом фрагментов, имеет следующий вид:

MCS:

— продукции для агента A:

Tao: Pa(ao)&—Pa(aaf)^—Pa(ao)&Pa(ai)&Pa(aaf);

Ta1: P a(ai)&Pb(bba)^—P a(ai)&P a(a2)& Pb(bba);

Ta2: Pa(a2)^—Pa(a2)&Pa(ci3);

Ta3: Pa(a3)^—Pa(a3)&Pa(ao);

— продукции для агента B:

Tbo: Pb(bo)&—Pb(bba)^—Pb(bo)&Pb(bl)&Pb(bba);

Tbi: Pb(bi)&Pc(ccb)^—Pb(bi)&Pb(b2)&—Pa(ccb);

Tb2: Pb(b2)^—Pb(b2)&Pb(bs);

Tb3: Pb(b3)^—Pb(b3)&Pb(bo);

— продукции для агента C:

Tco: Pc(Co)&—Pc(Ccb)^—Pc(Co)&Pc(Cl)&Pc(Ccb);

Tci: Pa(ci)&Pd(ddc)^—Pc(ci)&Pc(c2)&—Pd(ddc);

Tc2: Pc(C2)^—Pc(C2)&Pc(C3);

Tc3: Pc(c3)^—Pc(c3)&Pc(co);

— продукции для агента D:

Tdo: Pd(do)&—Pd(ddc)^—Pd(do)&Pd(di)&Pd(ddc);

Tdi: Pc(di)&Pe(eed)^—Pj(di)&Pd(d2)&—Pe(eed);

Tdi- Pd(d2)^—Pdd2)&Pd(d3);

Td3: Pd(d3)^—Pd(d3)&Pd(do);

— продукции для агента E:

Teo: Pe(eo)&—Pe(eed)^—Pe(eo)&Pe(ei)&Pe(eed);

Tei: Pe(ei)&Pfffe)^—Pe(ei)&Pe(e2)&—Pfffe);

Tel. Pe(e2)^—Pe(e2)&Pe(e3);

Te3: Pe(e3)^—Pe(e3)&Pe(eo);

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

— продукции для агента F:

f: Pf)&—Pfffe)^—Pftfo)&PSfi)&Pm

Tfl: Pf(fl)&Pa(aaf)^—Pj(fl)&Pjtf2)&—Pa(aaf);

Tf2: PM)^—PM)&Pj(f3);

Tf3: PAf3)^—PAf3)&PJfo).

Принципы построения данной системы продукционных правил соответствуют составлению продукционных правил в работах [11, 12]. Введены предикаты Px, xe {a, b, c, d, e, f}, характеризующие состояния мобильных агентов A, B, C, D, E и F соответственно. Начальное состояние сети задают следующие начальные факты (истинные атомарные константные формулы): Pa(ao), Pb(bo), Pc(co), Pd(do), Pe(eo) и Pf). Каждый из агентов может находиться в одном из четырех состояний: xo (начальная фаза подготовки к обмену), x1 (реализация кольцевого обмена), Х2 (рабочая фаза) и Х3 (заключительная фа-

Engineering sciences. Computer science, computer engineering and control

13

Известия высших учебных заведений. Поволжский регион

за). Кольцевые связи между агентами осуществляются посредством проверки и модификации высказываний Pa(aaf), Pb(bba), Pc(Ccb), Pd(ddc), Pe(eed) и Pfffe), связывающих продукционные правила между собой. Проверка правильности АПС проводилась с помощью программы PredNet [13], позволяющей осуществлять статистическое моделирование системы продукционных правил.

4. Организация обменов фрагментами отношений между агентами

Два варианта реализации кольцевого сдвига иллюстрируют рис. 3 и 4. Пересылки, представленные на рис. 3, возможно организовать под управлением двух из АПС, описанных в работе [11], а пересылки, показанные на рис. 4, могут быть реализованы описанной в разд. 3 сетью MCS. Второй вариант реализации кольцевого обмена данными является более предпочтительным и рациональным. Алгоритмы выполнения обычных операций реляционной алгебры над нефрагментированными отношениями составлены по работам [6, 9] и соответствуют исходным определениям из работы Э. Кодда [8].

Агенты-отправители

Агенты-получатели

Ап В і Со

А і В2 С і

Вт. С-у

D) А з В4 С3

А 4 В$ С4

В п

С,

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

Заключение

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

14

University proceedings. Volga region

№ 4 (32), 2014 Технические науки. Информатика, вычислительная техника

Агенты-

получатели

*0

В

С.

А | i?2 С\

Ап

Вз

С-

А з 54 С3

^4 ^5 ^4

Л,

Вл

с.

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

Список литературы

1. Троелсен, Э. Язык программирования C# 5.0 и платформа .NET 4.5 / Э. Троел-сен. - М. : Вильямс, 2013. - 1311 с.

2. Guzev, V. Asynchronous parallel programming language based on the Microsoft .NET platform / V. Guzev, Y. Serdyuk // PaCT-2003, Lecture Notes in Computer Science, Springer. - 2003. - Vol. 2763. - P. 236-243.

3. Параллельные вычисления на GPU. Архитектура и программная модель CUDA / А. Боресков, А. Харламов, Н. Марковский и др. - М. : Изд-во МГУ, 2012. - 336 с.

4. Компьютеры на СБИС : в 2-х кн. Кн. 2 / Т. Мотоока, Х. Хорикоси, М. Сакаути и др. - М. : Мир, 1988. - 366 с.

5. Барский, А. Б. Применение SPMD-технологии при построении сетевых баз данных с циркулирующей информацией / А. Б. Барский // Информационные технологии. - 2004. - № 7. - С. 62-65.

6. Мейер, Д. Теория реляционных баз данных / Д. Мейер. - М. : Мир, 1987. - 608 с.

7. Ульман, Дж. Основы систем баз данных / Дж. Ульман. - М. : Финансы и статистика, 1983. - 334 с.

8. Codd, E. F. A relational model of data for large shared data banks / E. F. Codd // Comm. ACM. - 1970. - Vol. 13(6). - P. 377-387.

9. Чери, С. Логическое программирование и базы данных / С. Чери, Г. Готлоб, Л. Танка. - М. : Мир, 1992. - 352 с.

10. PACX-MPI: The Grid-computing library PACX-MPI extending MPI for computational Grid. [Электронный ресурс]. - URL: http://www.hlrs.de/organization/av/amt/ research/pacx-mpi/ (Дата обращения: 12.10.2014).

11. Вашкевич, Н. П. О реализации интерфейса передачи сообщений как облачного сервиса в агентно-ориентированных метакомпьютерных системах / Н. П. Вашкевич, С. А. Зинкин, Н. С. Карамышева // Инфокоммуникационные технологии. - 2013. - № 4. - С. 42-53.

Engineering sciences. Computer science, computer engineering and control

15

Известия высших учебных заведений. Поволжский регион

12. Зинкина, Н. С. Методы и модели логического управления дискретными процессами в распределенных вычислительных системах на основе концепции согласования / Н. С. Зинкина // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2011. - № 1 (17). - С. 35-47.

13. Зинкина, Н. С. Программа для моделирования систем логического управления с интенсивно используемой базой знаний / Н. С. Зинкина, Р. В. Щекин // Институт научной информации и мониторинга РАО. Объединенный фонд электронных ресурсов «Наука и образование», № ОФЭРНиО-17006 от 18.04.2011, № ЦИТиС 50201150550 от 27.04.2011.

References

1. Troelsen E. Yazyk programmirovaniya C# 5.0 i platforma .NET 4.5 [C# 5.0 programming language and NET 4.5. platform]. Moscow: Vilyams, 2013, 1311 p.

2. Guzev V., Serdyuk Y. PaCT-2003, Lecture Notes in Computer Science, Springer, 2003, Vol. 2763, pp. 236-243.

3. Boreskov A., Kharlamov A., Markovskiy N. et al. Parallel’nye vychisleniya na GPU. Arkhitektura i programmnaya model’ CUDA [GPU parallel computing. CUDA architecture and program model]. Moscow: Izd-vo MGU, 2012, 336 p.

4. Motooka T., Khorikosi Kh., Sakauti M. et al. Komp’yutery na SBIS: v 2-kh kn. Kn. 2 [SBIS computers: in 2 books. Book 2]. Moscow: Mir, 1988, 366 p.

5. Barskiy A. B. Informatsionnye tekhnologii [Information technologies]. 2004, no. 7, pp. 62-65.

6. Meyer D. Teoriya relyatsionnykh baz dannykh [Relation database theory]. Moscow: Mir, 1987, 608 p.

7. Ul'man Dzh. Osnovy sistem baz dannykh [Basic database systems]. Moscow: Finansy i statistika, 1983, 334 p.

8. Codd E. F. Comm. ACM. 1970, vol. 13 (6), pp. 377-387.

9. Cheri S., Gotlob G., Tanka L. Logicheskoe programmirovanie i bazy dannykh [Logical programming and databases]. Moscow: Mir, 1992, 352 p.

10. PACX-MPI: The Grid-computing library PACX-MPI extending MPIfor computational Grid. Available at: http://www.hlrs.de/organization/av/amt/research/pacx-mpi/ (accessed 12 October 2014).

11. Vashkevich N. P., Zinkin S. A., Karamysheva N. S. Infokommunikatsionnye tekhnologii [Infocommunication technologies]. 2013, no. 4, pp. 42-53.

12. Zinkina N. S. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnich-eskie nauki [University proceedings. Volga region. Engineering sciences]. 2011, no. 1 (17), pp. 35-47.

13. Zinkina N. S., Shchekin R. V. Institut nauchnoy informatsii i monitoringa RAO. Ob"edinennyy fondelektronnykh resursov «Nauka i obrazovanie» [Institute of scientific information and monitoring of the Russian Academy of Education. Consolidated base of electronic resources “Science and Education”], No. OFERNiO-17006, 18 April 2011, No. TsITiS 50201150550, 27 April 2011.

Вашкевич Николай Петрович доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)

E-mail: vt@alice.pnzgu.ru

Vashkevich Nikolay Petrovich Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia)

16

University proceedings. Volga region

№ 4 (32), 2014 Технические науки. Информатика, вычислительная техника

Карамышева Надежда Сергеевна кандидат технических наук, инженер-программист, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)

E-mail: kagliari@yandex.ru

Зинкин Сергей Александрович доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)

E-mail: zsa49@yandex.ru

Karamysheva Nadezhda Sergeevna Candidate of engineering sciences, software engineer, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia)

Zinkin Sergey Aleksandrovich Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia)

УДК 681.32 Вашкевич, Н. П.

Организация распределенной агентно-ориентированной системы управления базами данных в метакомпьютерной среде с топологией типа «логическое кольцо» / Н. П. Вашкевич, Н. С. Карамышева, С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2014. - № 4 (32). - С. 5-17.

Engineering sciences. Computer science, computer engineering and control

17

i Надоели баннеры? Вы всегда можете отключить рекламу.