Тема: Операторы задания взаимодействий Операторы индивидуальных взаимодействий:

• Позволяют задавать индивидуальный доступ ветвей к памяти ( V_j -> D_i)

• Изменять последовательность других операторов

• Задают последовательность не более двух ветвей

1. Изменить ( Х, В) - данный оператор прибавляет значение целочисленного вектора В к соответствующим компонентам вектора Х.

2. Прочитать (a, j. a₁, B, X) – данная команда перевисывает (вводит) значения переменной а принадлежащая памяти D_i на место переменной a_1, которая принадлежит D_j. Компонены вектора в указывают на те компоненты Х, которые надо использовать.

3. Записать (a, j. a₁, B, X) – переписывает (выводи) значение переменной а принадлежащая памяти D_j , на место принадлежащей D_i.

4. Выполнить - назначает оператор S_h приемником ветви i и также предварительно задает новый регистр команд, если этот оператор первый в ветви i. (Приказ поступает в ветвь с указаним)

_________________________

1. ТО (b, A, L_j)- Трансляционные ветвь. Оператор задает доступ всех ветвей значений переменной а. l - имя ветви, которая читает переменную а без использования оператора С и транслирует значения а для всех остальных ветвей. L_j – переменная, в которую копируется значение а и в которую ветвь j имеет доступ к оператору С.

2. КО - Оператор конвейерного обмена.

КО( T, L_j, M_j)ю такой оператор задает сдвиг L_j на место переменной M_j +1 принадлежащей памяти D_j +1.

D_j – направление ветвей памяти.

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

Обобщенный условный переход. Условный переход задается во всех ветвях параллельного алгоритма. Для выполнения обобщенного безусловного перехода существует специальный оператор.

4. Обобщенный безусловный переход. Задает переход на операторы, указанные в списке лиц. Для обобщения безусловного перехода необходимо и достаточно появления ОУП лишь в одной ветви.

Условия корректности параллельных алгоритмов

1. Корректность параллельных алгоритмов с операторами индивидуальных взаимодействий

Пусть каждый оператор из множества С сопровождается определенной меткой, которая идентифицирует этот оператор из множества С.

События С^ <t, C^m, M>

t -момент завершения оператора C^m которая имеет метку М.

Сх – последовательность от память Д₀₍(нулевая память)

Су

Связаны с реализацией Х и У называются совпадающими, если они имеют одинаковую длину, а элементы с одинаковыми номерами имеют совпадающие операторы и соответствующие операторы метки, а так же имена ветвей, в которых операторы выполнялись.

Фрагментов с номером джи реализации ветвей с номером И называется последовательность операторов между событиями.

Между запуском ветвей и операторам.

Событиями являются – момент завершения межпроцессорного взаимодействия.

Информационная независимость – фрагмент Fij называется информационно независимым от событий в других ветвях если оператор прочитать и записать выполненные между Сij -1 и Сс крышкой информационно не связаны с операторами фрагмента.

Независимость по управлению –фрагмент Fij не зависим от событий в других ветвях если между событиями не было реализации операторов «выполнить», либо было только одно такое событие, которое инициировало выполнение первого оператора после оператора Cij -1