Опарин Г. А., Новопашин А.П. "БУЛЕВЫ МОДЕЛИ СИНТЕЗА ПАРАЛЛЕЛЬНЫХ ПЛАНОВ РЕШЕНИЯ ВЫЧИСЛИТЕЛЬНЫХ ЗАДАЧ"

БУЛЕВЫ МОДЕЛИ СИНТЕЗА ПАРАЛЛЕЛЬНЫХ ПЛАНОВ РЕШЕНИЯ ВЫЧИСЛИТЕЛЬНЫХ ЗАДАЧ

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

G. A. Oparin, A. P. Novopashin
Boolean Models for Synthesis of Parallel Plans of Solving Computational Problems
A new approach to constructing parallel asynchronous plans of a required length for solving computational problems
in the multiprocessor environment is proposed. Conditions of the planning problem are represented as a system of Boolean
equations (constraints). Solutions of such system determine possible plans of starting of the program modules. Constraints
on number of nodes of multiprocessor environment, time delays at execution of program modules and plurality of
their installation in nodes are taken into consideration.
Keywords: planning and synthesis of parallel plans, Boolean models, constraints and equations.

http://lib.nsu.ru:8080/jspui/handle/nsu/36