Страница публикации

Оценка масштабируемости сервис-ориентированного приложения для решения задач булевой выполнимости

Авторы: Богданова В.Г., Горский С.А.

Журнал: Фундаментальные исследования

Том: 12-1

Номер:

Год: 2017

Отчётный год: 2017

Издательство:

Местоположение издательства:

URL:

Аннотация: Рассматривается эффективность применения сервис-ориентированного приложения для параллельного решения задач булевой выполнимости в распределенной вычислительной среде. Для распараллеливания на подзадачи используется декомпозиция по данным с помощью метода расщепления исходной булевой функции. Приводится архитектура и функциональные возможности MPI-приложения, на основе которого реализован сервис. MPI-приложение использует стратегию «master-slave» для распределения задач по процессам. Рассматриваются факторы, влияющие на время выполнения приложения. Исследуется зависимость эффективности приложения от ряда динамических характеристик. Одной из основных обобщающих характеристик является масштабируемость приложения. Приводится зависимость масштабируемости от параметров запуска приложения – размерности задачи, количества процессорных ядер, нагрузки на дочерние процессы. Оценивается масштабируемость приложения для задач разного класса. Приводится сравнение разработанного приложения с массовым параллельным решателем HordeSat. Обсуждаются результаты вычислительных экспериментов.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: