Принципы построения систем параллельного программирования на основе алгол 60

• Автор: Колесник, Адам Михайлович
• Шифр специальности: 01.00.00
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Минск
• Количество страниц: 142 c. : ил

СОДЕЖАНИЕ
ГЛАВА I. Языки последовательного программирования
и параллельные вычисления
§ I. Многопроцессорные вычислительные системы
и параллельное программирование
§ 2. Развитие языков параллельного программирования:
тенденции и перспективы
§ 3. Расширение Алгол 60 для МВС
3.1. Операции над массивами
3.2. Операция редукции
3.3. Расширение операторов цикла
3.4. Параллельное выполнение операторов
3.5. Описание структур управления
ГЛАВА 2. Автоматическое распараллеливание программ
§ I. Входные и выходные наборы для операторов
1.1. Выражение
1.2. Оператор присваивания
1.3. Условный оператор
1.4. Оператор цикла
1.5. Оператор процедуры
1.6. Описание массива
1.7. Операторы ввода-вывода
1.8. Составной оператор
1.9. Блок
§ 2. Определение информационной независимости операторов
§ 3. Метод распараллеливания по уровням вложенности
операторов

§ 4. Преобразования и распараллеливание операторов
цикла
4.1. Разбиение оператора цикла на циклы
с одним элементом в списке цикла
4.2. Декомпозиция оператора цикла
4.3. Распараллеливание оператора цикла
по итерациям
4.4. Распараллеливание системы вложенных циклов
4.5. Метод гиперплоскостей
ГЛАВА 3. Схема трансляции Алгол-программ в параллельные
программы
§ I. Структура таблиц и информация для распараллеливания
1.1.Кодировка элементов языка
1.2. Структура управления
1.3. Дерево уровней вложенности операторов
1.4. Тип и особенности операторов
1.5. Таблица параметров цикла
1.6. Таблица элементов списка цикла
1.7. Таблица соответствия параметров цикла описанным величинам
1.8. Таблица массивов
1.9. Список фактических параметров для
формального параметра
§ 2. Реализация метода распараллеливания
2.1. Анализ и преобразования операторов цикла
2.2. Пооператорное распараллеливание
§ 3. Программирование
3.1. Команды промежуточного языка

3.2. Общая организация построения команд
§ 4. Генерация объектной программы
4.1. Структура параллельной программы.
Распределение памяти
4.2. Представление структур управления
§ 5. Операционные и технологические аспекты
создания транслятора
5.1. Структура транслятора и организация связи
с операционной системой
5.2. Распределение и управление динамической
памятью при трансляции
5.3. Технологические средства отладки
транслятора
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА

где OLq, •> @~i >~ числовые константы, а - простые переменные (^ = 1, п).
Сформулируем два простых следствия, которые очевидным образом следуют из утверждения т. I.
C. I. Пусть = . Тогда
Ац=А^, если и только если, выполняются равенства
eniier(ai+0.5) = eniier(ßi+0.5)
C. 2. Если существует такое, что
Ji(xu...,xn)=0i fi(xi хп)=0и eniier(at+0.5))beni:ier(&ff0.5), то .
Т. 2. Если Ац~А^- , то совместна система линейных неравенств
№±(хь-)xn)-'PdCcI,xn) 'o-i-bi kl
1xn) +am-&m Hi (5)
min , _ .

min , Tmta
ХСг XLz XLt;
Если система неравенств (5) совместна, то разность соответствующих индексов у элементов Ац и Avf равна 0 или + I.
Утверждение Т. 2. является другой формулировкой Т. I.
Так как в реальных программах обычно ПЛ L 3 , число неизвестных тоже небольшое, и благодаря особенностям системы (5), ее совместность устанавливается сравнительно просто. Например, используя алгоритм сокращенного фундаментального свертывания [бб]. Т.З. Пусть GCrj ^ - целочисленные константы, а Хд
простые переменные типа iniegeT ( L = l,rni^‘=l,n) . Тогда для Аи=А^- необходимо и достаточно, чтобы система линейных уравнении