СУБД и выполнение при помощи модели, имитирующей внутреннюю
обработку запросов конкретной СУБД [8]. Модели могут быть реали-
зованы как средствами СМО, так и в форме алгебры процессов.
Условно в отдельную группу можно выделить
модели, в которых
проводится анализ производительности сервера СУБД
на основе име-
ющихся данных о порядке обработки данных в транзакции примени-
тельно к конкретной ИС. Выявлены модели, в которых анализ произ-
водительности проводится в зависимости от числа элементов данных
внутри транзакции [8], и модели блокировки данных применительно
к транзакциям OLTP систем [9].
По результатам анализа других работ можно заключить, что ме-
тоды, ориентированные на моделирование характеристик отдельных
подсистем или сервера СУБД в целом, не позволяют достоверно оце-
нивать поведение ИС на основе СУБД. Для получения достоверных
характеристик ИС в целом необходимо проводить анализ логических и
физических планов выполнения запросов, а также учитывать особен-
ности выполнения микроопераций физического плана сервером СУБД
и их взаимного влияния.
Полная модель ИС на основе СУБД, таким образом, включает в
себя следующие частные модели: модель взаимодействия клиента и
сервера СУБД, в том числе многозвенные клиент-серверные архи-
тектуры; модель преобразователя исходных запросов в логический
план выполнения по схеме данных; модель оптимизатора логического
плана; модель планировщика физического плана выполнения; модели
функциональных обработчиков запросов.
Для моделирования параллельной СУБД необходим метод, обес-
печивающий возможность моделирования параллельных процессов с
учетом расщепления процессов внутренней обработки на параллель-
ные процессы, что обусловлено применением внутризапросных форм
параллелизма [10]. Кроме того, необходима композиция отдельных
частных моделей в более крупные модели. В качестве математическо-
го метода моделирования целесообразно использовать алгебраические
методы, поскольку именно они позволяют получить связную модель
различных уровней ИС. В настоящей работе в качестве основного
метода выбрана алгебра процессов “PEPA” (Performance Evaluation
Process Algebra) [11], позволяющая выполнять моделирование парал-
лельных систем, имеющих определенные точки синхронизации, ком-
позицию моделей и использующая формальный метод описания мо-
дели.
Алгебра процессов “PEPA” — это удобное средство моделирования
взаимодействующих процессов, предоставляющее структурное описа-
ние процессов, что потенциально можно использовать для введения в
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 3 95
