4 / 17
Интегральная модель формально определяется следующим образом:
G
A
{
X, Y
}
, F
1
X, F
−
1
1
X, F
2
X, F
−
1
2
X, F
3
Y, F
−
1
3
Y
=
G
у
∪
G
о.д
,
где
X
=
{
x
1
, x
2
, . . . , x
n
}
— множество вершин графа
G
А
, соответству-
ющих инструкциям программы;
Y
=
{
y
1
, y
2
, . . . , y
3
}
— множество вер-
шин графа
G
А
, соответствующих элементам данных,
X
∩
Y
=
∅
;
F
1
X
—
множество вершин-образов вершин потока управления,
F
1
X
⊂
X
;
F
−
1
1
X
— множество вершин-прообразов вершин потока управления,
F
−
1
1
X
⊂
X
;
F
2
X
— множество вершин-образов вершин потока упра-
вления во множестве вершин, соответствующих обрабатываемым дан-
ным,
F
2
X
⊂
Y
;
F
−
1
2
X
— множество вершин-прообразов вершин пото-
ка управления во множестве вершин, соответствующих обрабатывае-
мым данным,
F
−
1
2
X
⊂
Y
;
F
3
Y
— множество вершин-образов вершин
данных во множестве вершин потока управления,
F
3
Y
⊂
X
;
F
−
1
3
Y
—
множество вершин-прообразов вершин данных во множестве вершин
потока управления, т.е.
F
−
1
3
Y
⊂
X
.
Пример информационного графа, построенного в соответствии с
описанной моделью, приведен на рис. 2. Поскольку интегральная мо-
дель алгоритма не делает различий между примитивными типами дан-
ных и структурами, необходимо ее детализировать для применения к
решению задачи преобразования последовательных программ в вид,
обрабатываемый ЭВМ МКОД.
Обозначим множество всех инструкций (операторов) исходной
последовательной программы (алгоритма)
O
, множество данных,
принадлежащих области определения
D
. При этом примем, что
O
=
O
∗
∪
O
∗∗
, O
∗
∩
O
∗∗
=
∅
, где
O
∗
— множество операторов обработки
данных;
O
∗∗
— множество операторов вычисления условий.
Детализируем множество операторов обработки данных
O
∗
=
O
∗
S
∪
O
∗
I
,
(1)
где
O
∗
S
— множество операторов обработки структур данных;
O
∗
I
—
множество операторов обработки данных примитивных типов, в том
числе отдельных элементов структур. Подобная детализация (1) по-
зволяет разделить все операторы на две пересекающиеся категории:
1) операторы, которые возможно выполнить в СП (
O
СП
=
O
∗
S
);
2) операторы, которые возможно выполнить в ЦП (
O
ЦП
=
O
∗
I
∪
O
∗
S
=
=
O
∗
).
Одна из особенностей функционирования ЭВМ МКОД — действия
исходного алгоритма могут выполняться как в ЦП, так и в СП, т.е. от-
сутствует строгая определенность при назначении обрабатывающего
процессора. Центральный процессор представляет собой универсаль-
ное устройство, способное выполнить любое действие (возможно, за
большее время), в то время как СП может выполнять только перечи-
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2016. № 1 115