Теория распараллеливания и синхронизация. Демьянович Ю.К - 14 стр.

UptoLike

1) трудно сразу остановить все процессы и проверить их состо-
яния;
2) каждое выполнение программы приводит к новой истории.
§4 Замечания о способе представления программ
в данном курсе
Для пояснения логики параллельного программирования и пред-
ставления программных конструкций необходим некоторый обще-
понятный способ изображения программ. В качестве такого спосо-
ба часто используют изображение программ, близкое к языку C, с
добавлением параллельных операторов (см. [1], [6]). Для удобства
читателя дадим здесь описание используемого далее способа изоб-
ражения программ.
1. Декларации
Декларация (объявление) переменной задает тип данных и пе-
речисляет имена одной или нескольких переменных этого типа.
Декларация массива характеризуется добавлением размера по
каждому измерению.
В обоих случаях возможна инициализация при объявлении,
как видно из следующего прим ер а:
int i, j = 5;
double k = 0.0;
int a[n]; # совпадает с int a[0 : n 1]
int c[1 : n] = ([n]0); # вектор нулей
double c[n, n] = ([n]([n]1.0)); # матрица единиц
2. Последовательные операторы
В дальнейшем используются некоторые последовательные опе-
раторы:
оператор п ри сваивания ::=< переменная >=< выражение >,
оператор инкремента (увеличения) a[n]
++
a[n] = a[n] +1
(здесь и далее двойная стрелка означает эквивалентность двух
записей),
оператор декремента (уменьшения): b
−−
b = b 1.
15