Методика декомпозиции информационного графа программы для организации параллельной обработки данных на ЭВМ МКОД

6 / 17

передачи данных ЦП СП, XIC↔ = XI ∪ XC ∪ X↔; XS ↔ — множе-
ство вершин обработки структур данных, а также передачи данных
ЦП СП, XS↔ = XS ∪ X↔; YS — множество вершин структур данных,
DS ↔ YS, YS ⊂ Y ; YP — множество вершин данных примитивного
типа DP ↔ Y P , YP ⊂ Y .
Для полного формального описания декомпозированного ин-
формационного графа программы также должны быть формаль-
но определены отношения между элементами множеств вершин:
F1XIC ↔ — множество вершин-образов вершин потока управления в
ЦП, F 1XIC↔ ⊂ XIC↔; F −1
1 XIC↔ — множество вершин-прообразов
вершин потока управления в ЦП, F −1
1 XIC↔ ⊂ XIC↔; F1XS↔ — мно-
жество вершин-образов вершин потока управления в СП,
F1XS↔ ⊂ XS↔; F −1
1 XS↔ — множество вершин-прообразов вершин
потока управления в СП, F −1
1 XS↔ ⊂ X S↔; F2 XIC↔ — множество
вершин-образов вершин потока управления во множестве вершин, со-
ответствующих обрабатываемым в ЦП данным, F2XIC↔ ⊂ Y P (если
d1 ↔ y1 ∈ YP является результатом работы инструкции x1 ∈ X IC↔ ,
то F2x 1 = y1); F −1
2 XIC↔ — множество вершин-прообразов вершин
потока управления во множестве вершин, соответствующих обраба-
тываемым в ЦП данным, F − 1
2 XIC↔ ⊂ Y P (если d1 ↔ y1 ∈ Y P является
исходным данным для инструкции x1 ∈ XIC↔ , то F −1
2 x1 = y1);
F2XS↔ — множество вершин-образов вершин потока управления во
множестве вершин, соответствующих обрабатываемым в СП дан-
ным, F2XS↔ ⊂ YS (если d1 ↔ y1 ∈ YS является результатом ра-
боты инструкции x1 ∈ XS↔, то F2x1 = y1 ); F −1
2 XS↔ — множество
вершин-прообразов вершин потока управления во множестве вершин,
соответствующих обрабатываемым СП данным, F −1
2 XS↔ ⊂ YS (если
d1 ↔ y1 ∈ YS является исходным данным для инструкции x1 ∈ XS↔ ,
то F −1
2 x1 = y1); F3YP — множество вершин-образов вершин данных,
обрабатываемых в ЦП, во множестве вершин потока управления, вы-
полняемого ЦП, F3 YP ⊂ XIC↔
(если d1 ↔ y1 ∈ YP является исходным
данным для инструкции x1 ∈ XIC↔, то F3y1 = x1; F − 1
3 YP — множество
вершин-прообразов вершин данных, обрабатываемых в ЦП, во мно-
жестве вершин потока управления, выполняемого ЦП, F −1
3 YP ⊂ XIC↔
(если d1 ↔ y1 ∈ YP является результатом обработки для инструкции
x1 ∈ XIC↔, то F −1
3 y1 = x1); F3 YS — множество вершин-образов вер-
шин данных, обрабатываемых в СП, во множестве вершин потока
управления, выполняемого СП, F3YS ⊂ X S↔ (если d1 ↔ y1 ∈ YS
является исходным данным для инструкции x1 ∈ XS↔, то F3y1 = x1);
F −1
3 YS — множество вершин-прообразов вершин данных, обрабатыва-
емых в СП, во множестве вершин потока управления, выполняемого
СП, F −1
3 YS ⊂ XS↔ (если d1 ↔ y1 ∈ YS является результатом обработ-
ки для инструкции x1 ∈ XS ↔, то F −1
3 y1 = x1).
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2016. № 1 117