Принципы построения систем параллельного программирования на основе алгол 60 тема диссертации и автореферата по ВАК РФ 00.00.00, Колесник, Адам Михайлович

• Колесник, Адам Михайлович
• 1984

Оглавление диссертации Колесник, Адам Михайлович

ВВЕДЕНИЕ.

ГЛАВА 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. Метод гиперплоскостей.VI

ГЛАВА 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. Представление структур управления.III

§ 5. Операционные и технологические аспекты создания транслятора.

5.1. Структура транслятора и организация связи с операционной системой.

5.2. Распределение и управление динамической памятью при трансляции.

5.3. Технологические средства отладки транслятора.

Введение диссертации (часть автореферата) на тему «Принципы построения систем параллельного программирования на основе алгол 60»

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

В диссертации употребляется целый ряд понятий, используемых в теории параллельного программирования, алгоритмических языках, описаниях трансляторов, операционных системах, а также в работах, перечисленных в приведенном списке литературы.

Диссертация состоит из настоящего введения, 3 глав и заключения.

В главе I дается краткая классификация существующих и проектируемых многопроцессорных вычислительных систем, выделяются основные направления теории параллельного программирования, при этом отмечается, что создание систем параллельного программирования требует комплексного решения ряда задач, относящихся ко всем направлениям. Обсуждаются тенденции и перспективы развития языков параллельного программирования. Показывается целесообразность расширения языков последовательного программирования средствами параллелизма и предлагается расширение Алгол 60, ориентированное на повышение уровня языка и на эффективную реализацию метода распараллеливания программ по уровням вложенности операторов. Обосновывается метод получения параллельных программ, основанный на использовании последовательных алгоритмических языков и их реализации на базовой однопроцессорной вычислительной системе. Более детально метод описывается в последующих главах на примере Алгол 60 и ЕС ЭВМ, выбранной в качестве базовой машины.

Глава 2 посвящена проблеме автоматического распараллеливания программ. Обсуждаются задачи, возникающие при решении данной проблемы, и дается обзор основных результатов. Формализуется структура Алгол-программ и описывается метод распараллеливания программ по уровням вложенности операторов. Большое внимание уделяется вопросам построения входных и выходных наборов и определения информационной независимости операторов на этапе трансляции программ. Выделяются некоторые случаи, для которых решается задача распознавания соответствия переменных с индексами одному и тоцу же элементу массива. На основании этого приводятся и исследуются преобразования операторов цикла с целью их распараллеливания. Все преобразования по возможности не вводят дополнительных вычислений в тело цикла, которое при распараллеливании программируется по принципу реентерабельных программ. Даются рекомендации по практической реализации предлагаемых методов и преобразований.

В главе 3 приводится структура информационной базы алгоритмов схемы трансляции Алгол-программ в параллельные программы на специальном промежуточном языке, содержащем средства параллельного программирования. Промежуточный язык допускает простую генерацию объектного кода на уровне макрорасширений для достаточно широкого класса многопроцессорных вычислительных систем. Обсуждаются вопросы распределения памяти в параллельных программах с учетом реентерабельности отдельных процедур,описывается представление структур управления порядком выполнения операторов, ориентированное на простую и удобную интерпретацию параллельных программ на базовой машине с целью их анализа и отладки. Формулируются требования к структуре транслятора, его взаимосвязи с операционной системой. Предлагаются программные средства распределения и управления динамической памятью при трансляции, обеспечивающие страничный принцип распределения памяти. Рассматриваются вопросы комплексной отладки транслятора и предлагаются средства, обеспечивающие удобства проверки функционирования транслятора на всех этапах его эволюционного развития.

В заключении приводятся основные результаты диссертации и сведения о ее апробации.

Заключение диссертации по теме «Другие cпециальности», Колесник, Адам Михайлович

ЗАКЛЮЧЕНИЕ

Основными результатами диссертации являются следующие:

1. Разработаны принципы создания систем параллельного программирования на основе существующих алгоритмических языков последовательного программирования. Эти принципы предполагают как введение в языки средств описания параллельных вычислений, так и автоматическое распараллеливание программ в процессе трансляции.

2. Предложено расширение Алгол 60 для МВС, ориентированное на повышение уровня языка и на эффективную реализацию автоматического распараллеливания программ.

3. Исследованы вопросы построения входных и выходных наборов и определения информационной и программной (процедурной) зависимостей операторов.

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

Разработаны схемы распараллеливания программ по уровням вложенности операторов.

4. Произведен выбор наиболее приемлемых с практической точки зрения способов распараллеливания операторов цикла и показана возможность применения этих способов для распараллеливания операторов цикла Алгол 60.

5. Разработана схема трансляции программ с языка типа Алгол 60 в параллельные программы. Схема реализуется на однопроцессорных вычислительных системах и ориентирована на достаточно широкий класс МВС.

6. Предложено представление структур управления порядком выполнения операторов для интерпретации параллельных программ с целью их анализа и отладки на однопроцессорной машине.

7. Определены требования к структурной и функциональной организации взаимосвязи транслятора с операционной системой.

Разработаны программные средства использования способа страничного распределения динамической памяти при трансляции программ.

Предложены средства, обеспечивающие удобства при проверке функционирования транслятора на всех этапах его эволюционного развития.

Диссертация является результатом не только теоретической разработки в области параллельного программирования, но и многолетней практической работы автора в области создания систем программирования. В частности, при непосредственном участии автора были созданы системы программирования с языка АЛГАМС для ЭВМ "Минск-32" и ОС ЕС ЭВМ.

При этом проектирование системы АЛГАМС ОС ЕС ЭВМ велось с учетом возможного включения в нее режима распараллеливания программ:

- структурная и функциональная организация системы соответствует требованиям, предъявляемым к структуре системы параллельного программирования;

- управление процессом трансляции осуществляется специальными режимами, которые задаются пользователем непосредственно перед выполнением трансляции;

- структурная организация информационной базы и принцип страничного доступа к элементам этой базы дают возможность простого расширения как информационной, так и алгоритмической базы системы;

- встроенные в систему и скрытые от пользователя средства комплексной отладки.

Все это позволяет сделать вывод, что система параллельного программирования на основе Алгол 60 может быть реализована как функциональное расширение системы АЛГАМС ОС ЕС ЭВМ. Опытная эксплуатация такого варианта системы параллельного программирования будет способствовать выбору наиболее подходящих методов и алгоритмов распараллеливания, накоплению опыта создания параллельных программ и в конечном итоге созданию эффективных промышленных систем параллельного программирования для различных классов МВС.

Результаты диссертационной работы опубликованы в [26], [98] - [iOS].

По результатам диссертации автор выступал с докладами:

1. На ГУ конференции молодых ученых ИМК АН ЛитССР и

ИМ АН БССР "Математические методы и применение ЦВМ" в г. Вильнюсе, 1978 г.

2. На школе-семинаре "Распараллеливание обработки информации в г. Славекое, 1979 г.

3. На Всесоюзном научно-техническом совещании "Проблемы создания и использования высокопроизводительных информационно-вычислительных машин" в г. Кишиневе, 1979 г.

4. На научно-технической конференции "Проблемы создания ЭВМ четвертого поколения и пути дальнейшего совершенствования технических и программных средств ЭВМ третьего поколения" в г. Шнеке, 1980 г.

5. На Всесоюзной школе-семинаре "Распараллеливание обработки информации" в г. Яремча, 1981 г.

6. На У Всесоюзной школе-семинаре "Параллельное программирование и высокопроизводительные системы" в г. Алуште, 1982 г.

7. На 1У Всесоюзном симпозиуме "Системное и теоретическое программирование" в г. Кишиневе, 1983 г.

В заключение автор выражает глубокую благодарность своему научному руководителю Н.В.Шкуту за постановку задачи, постоянное внимание и поддержку, а также всем товарищам, с которыми приходилось сотрудничать в процессе работы.

Список литературы диссертационного исследования Колесник, Адам Михайлович, 1984 год

1. Алгоритмический язык АПГ0Л-60. Пересмотренное сообщение. -М.: Мир, 1965. - 79 с.

2. Алгоритмический язык Алгол 60. Модифицированное сообщение. -М.: Мир, 1982. 72 с.

3. Альфа-система автоматизации программирования / Под ред. А.П.Ершова. Новосибирск: Наука, 1967. - 308 с.

4. Ахо А., Хопкрофт Дж., Ульман Дй. Построение и анализ вычислительных алгоритмов. -М.: Мир, 1979. 536 с.

5. Белкина М.В., Трахтенгерц Э.А. 0 выделении модулей в системе программ. Автоматика и телемеханика, 1977, J! 7, с. 192196.

6. Бородич Л.И., Жевняк О.Н., Шкут Н.В. и др. АШМС ДОС ЕС ЭВМ. М.: Статистика, 1977. - 112 с.

7. Вальковский В.А. Об одном алгоритме десеквенции. Кибернетика, 1974, Л 2, с. 77-88.

8. Вальковский В.А., Котов В.Е. Автоматическое построение параллельных программ. Распараллеливание выражений и циклов.-Новосибирск, 1979. 41 с. (Препринт / ВЦ СО АН СССР: J6I46).

9. Вальковский В.А. Параллельное выполнение циклов. Метод параллелепипедов. Кибернетика, 1982, J6 2, с. 51-62.

10. Вотяков A.A., Фрумкин М.А. Алгоритм нахождения общего целочисленного решения системы линейных уравнений. В кн.: Исследования по дискретной оптимизации. - М.: Наука, 1976,с. 128-140.

11. Глушков В.М., Капитонова Ю.В., Летический A.A. Теория структур данных и параллельные синхронные вычисления. Кибернетика, 1976, В 6, с. 2-15.

12. Глушков В.M., Капитонова Ю.В., Летичевский A.A. К теории проектирования схемного и программного оборудования многопроцессорных ЭВМ. Кибернетика, 1978, й 6, с. I-I5.

13. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Об одном подходе к реализации параллельных вычислений в многопроцессорных вычислительных системах. В кн.: Параллельное программирование и высокопроизводительные системы. Ч. I, Новосибирск, 1980, с. 5-20.

14. Глушков В.М., Капитонова Ю.В., Летичевский A.A. Эффективность параллельных вычислений при ограниченных ресурсах. -Доклады АН СССР, 1980, 254, № 3, с. 527-530.

15. Глушков В.М., Капитонова Ю.В., Летичевский A.A. 0 построении семейства алгоритмических языков для программирования и проектирования многопроцессорных вычислительных систем. Кибернетика, 1981, JÊ I, с. 1-7.

16. Глушков В.М., Капитонова Ю.В., Летичевский A.A., Горлач С.П. Макроконвейерные вычисления функций над структурами данных.-Кибернетика, 1981, № 4, с. 13-21.

17. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Многоуровневое структурное проектирование программ: формализация метода сфера приложения. - Кибернетика, 1980, № 4, с. 42-65.

18. Глушков В.М., Цейтлин Г.Е., Юценко Е.Л. Методы символьной мульти-обработки. К.: Наукова думка, 1980. - 252 с.

19. Головач В.И. Новая форма оператора цикла. Программирование, 1980, №3, с. 33-38.

20. Головкин Б.А. Параллельные вычислительные системы. М.: Наука, 1980. - 519 с.

21. Головяшкина Л.В., Колосова Ю.И., Косарев Ю.Г., Миренков H.H. Автоматизация параллельного программирования на основе существующих трансляторов. В кн.: Вычислительные системы. Вып. 30, Новосибирск, 1968, с. 63-69.

22. Дал У., Дейкстра Э., Хоор К. Структурное программирование.-М.: Мир, 1975. 247 с.

23. Деннис Дне. Б., Фоссин Дж. Б., Линдерман Дж. П. Схемы потока данных. В кн.: Теория программирования, ч. 2, Новосибирск, 1972, с. 7-43.

24. Дийкстра Э. Взаимодействие последовательных процессов. -В кн.: Языки программирования, М.: Мир, 1972, с. 9-86.

25. Евреинов Э.В., Косарев Ю.Г. Однородные универсальные вычислительные системы высокой производительности. Новосибирск: Наука, 1966, - 308 с.

26. Емельянов В.А., Колесник A.M., Шкут Н.В. и др. АЛГАМС ЭВМ "Минск-32". М.: Статистика, 1976. - 144 с.

27. Ершов А.П. Введение в теоретическое программирование. -М: Наука, 1977. 288 с.

28. Иткин Э.В. Информационная структурированность программ. -Кибернетика, 1979, № I, с. 29-37.

29. Карцев М.А. Вычислительная машина М-10. Доклады АН СССР, 1979, 245, JS 2, с. 309-312.

30. Катцан Г. Операционные системы. М.: Мир, 1976. - 471 с.

31. Корнеев В.В., Хорошевский В.Г. Структура и функциональная организация вычислительных систем с программируемой структурой. Новосибирск, 1979. - 47 с. (Препринт / ИМ СО АН СССР: 0BC-II).

32. Котов В.Е., Нариньяни A.C. Асинхронные вычислительные процессы над памятью. Кибернетика, 1966, й 3, с. 64-71.

33. Котов В.Е. 0 практической реализации асинхронных параллельных вычислений. В кн.: Системное и теоретическое программирование. ч. 2, Новосибирск, 1972, с. II0-I25.

34. Котов В.Е. Теория параллельного программирования. Прикладные аспекты. Кибернетика, 1974,Щ, с. I-I6, JS2, с. I-I8.

35. Котов В.Е. Параллельное программирование с типами управления. Кибернетика, 1979, № 3, с. I-I3.

36. Котов В.Е. О параллельных языках, ч. 1,2. Кибернетика, 1980, № 3, с. I-I2, № 4, с. 1-10.

37. Кучукян А.Т., Саркисян Т.Е. и др. Электронная вычислительная машина EC-I045. М.: Финансы и статистика, I98I.-383 с.

38. Лебедев В.Г., Шурайц Ю.М. Распараллеливание циклов с произвольным шагом. Автоматика и телемеханика, 1979, № 9,с. 158-167.

39. Линдси Ч., ван дер Мюйлен С. Неформальное введение в АЛГОЛ-68. М.: Мир, 1965. - 407 с.

40. Любимский Э.З. Об алгоритмизации программирования и методе программирующих программ. Дисс. канд. физ.-мат. наук, М.: Изд-во МГУ, 1958.

41. Миренков H.H. Системное параллельное программирование. 4.1,2. Новосибирск, 1978 (Препринт / ИМ СО АН СССР: 0ВС-05.-36с., ОВС - 06.-50 е.).

42. Миренков H.H. О синхронизации процессов. Кибернетика, 1979, № I, с. 59-63.

43. Митяева С.А., Трахтенгерц Э.А. Распараллеливание программ для многопроцессорных вычислительных систем с перестраиваемой структурой. В кн.: Системное и теоретическое программирование. Т. 2, Кишинев, 1974, с. 285-294.

44. Мультипроцессорные системы и параллельные вычисления / Под ред. Ф.Г.Энслоу. М.: Мир, 1976. - 383 с.

45. Нариньяни A.C. Теория параллельного программирования. Формальные модели. Кибернетика, 1974, ß 3, с. I-I5, Je 5,с. I-I4.

46. Николов Г.П., Лазаров В.Д. и др. Матричный процессор ЕС-2335 для вычислительной системы EC-I035. Вычислительная техника соц. стран, 198I, № 9, с. 47-50.

47. Нуриев P.M. Необходимые и достаточные условия существенной распараллеливаемости программ по циклам. Известия АН СССР. Техн. кибернетика, 1976, 2, с. I05-III.

48. Нуриев P.M. Информационно-логические связи в схемах программ над массивами. Кибернетика, 1979, J6 I, с. 78-86.

49. Операционная система ОС ЕС. Справочное пособие / Под ред. Л.Д.Райкова . М.: Статистика, 1980. - 480 с.

50. Описание языка АЛГАМС. В кн.: Алгоритмы и алгоритмические языки. Вып. 3, М., 1968, с. 3-56 (ВЦ АН СССР).

51. Поспелов Д.А. Введение в теорию вычислительных систем. М: Советское радио, 1972. - 280 с.

52. Принципы построения многопроцессорных вычислительных комплексов "Эльбрус". М., 1977. - 53 с. (Препринт / ИТМ и1. ВТ АН СССР: В I).

53. Саати Т. Целочисленные методы оптимизации и связанные с ними экстремальные проблемы. М.: Мир, 1973. - 304 с.

54. Словарь по кибернетике / Под ред. В.М.Глушкова. К.: Главная редакция УСЭ, 1979. - 623 с.

55. Средства отладки больших систем / Под ред. Р.Растина. М.: Статистика, 1977. - 135 с.

56. Трапезников В.А., Прангишвили И.В. и др. Экспедиционные геофизические вычислительные комплексы на базе многопроцессорной ЭВМ ПС-2000. Приборы и системы управления, 1981,1 2, с. 29-31.

57. Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции.-М.: Наука,1981.-256с.

58. Тыуту Э.Х. Решение задач на вычислительных моделях. Журнал выч. математики и шт. физики, 1970, 10, № 3, с. 716-733.

59. Флинн М. Сверхбыстродействующие вычислительные системы. -Труды ИИЭР, 1966, 54, № 12, с. 311-320.

60. Харари Ф. Теория графов. М.: Мир, 1973. - 300 с.

61. Халилов А. И. Алгоритмический язык для описания параллельных процессов (АЛГ0ПП). В кн.: Автоштизация программирования. - К., 1969, вып. 3, с. 78-104.

62. Халилов А.И. К вопросу о распараллеливании программ. В кн.: Проблемы кибернетики. Вып. 28, М., 1974, с. 157-176.

63. Халилов А.И., Поддубная В.И., Лопийчук Н.М. Распараллеливание программ с применением метода последовательного углубления. Кибернетика, 1979, № I, с. 64-72.

64. Цикритзис Д., Бернстайн Ф. Операционные системы. М.: Мир, 1977. - 336 с.

65. Черников С.Н. Линейные неравенства. М.: Наука, 1968.-488с.

66. Шахбазян К.В., Тушкина Т.А. Обзор методов составления расписаний для многопроцессорных систем. В кн.: Вычислительные методы линейной алгебры. Параллельные вычисления. - Ленинград: Наука, 1975, с. 229-258.

67. Шкут Н.В. АЛГАМС в системе программирования вычислительной машины "Минск-32". Мн.: ИМ АН БССР, 1971. - 172 с.

68. Шкут Н.В. Об эффективности использования языков программирования и мобильности системы эффективного программирования. -Мн. ,1980. -8с. (Препринт/ИМ АН БССР: № 20(100)).

69. Ющенко Е.Л. Структурное программирование и параллельные вычисления.-В кн.: Параллельное программирование и высокопроизводительные системы. Ч. I. Новосибирск, 1980, с. 21-35.

70. Abel et al. TRAITQUIL : A Language for an Array Processing Computer.- In: Proc. AFIPS Spring Jt. Computer Conf., 1969, p. 57-73.

71. Anderson J.P. Program Structures for Parallel Processing. -Commun. of the ACM, 1965, 8, N 12, p. 786-788.

72. Banerjee U., Chen S.-C., Kuck D.J., Towle R.A. Time and Parallel Processor Bounds for Fortran-Like Loops.- IEEE Trans. Comput., 1979, 28,- N 9, p. 660-670.

73. Barnes G.H. et al. The ILLIAC IY Computer.- IEEE Trans. Comput., 1968, H 8, p. 746-757.

74. Batcher K.E. STARAN Parallel Processor System Hardware. In: Proc. IEEE Comp. Conf., 1974, p. 385-387.

75. Baxter A.Q., Hart J.M. Software Segmented Virtual Memory.-Software-Practice and Experience, 1982, v.12, p. 185-194.

76. Borgerson B.R., Hanson M.L., Hartley P.A. The Evaluation of the Sperry Univac 1100 Series: a History, Analysis, and Projection. -Commun. ACM, 1978, 21, IT 1, p. 25-43.

77. Conway J.A. A Multiprocessor System Design.- In: Proc. AFIPS Fall Jt. Computer Conf., 1963, p. 139-146.

78. Dennis J.B., Van Horn E.C. Programming Semantics for Multi-programmed Computations.- Commun. of the ACM, 1966, 9, N 3, p. 143-155.

79. Evensen A.J., Troy J.L. Introduction to the architecture of a 288 element PEPE.- In: Sagamore Comp. Conf. on Parallel Processing, 1973, p. 162-169.

80. Glushkov V.M., Ignatiev M.B., Mjasnikov V.A., Torgashev V.A. Recursive Machines and Computing Technology.- In: Proc. IFIP Congress 74, Stocholm, 1974, v. 1, p. 65-70.

81. Gosden J.A. Explicit Parallel Processing Description and Control in Program for Multu-and Uniprocessor Computers.- In: Proc. AFIPS Pall Jt. Computer Conf., 1966, p. 651-660.

82. Hentz R.G., Tate D.P. Control Data Star-100 Processor Design. -In: Proc. IEEE Computer Conf., 1972, p. 1-4.

83. Hoare C.A.R. Monitors: An Operating System Structuring Concept.- Commun. ACM, 1974, 17, N 10, p. 549-558.

84. Kuck D., Muraoka Y., Chen S.-C. On the Number of Operations Simultaneously Executable in Fortran-Like Programs and Their Resulting Speedup.- IEEE Trans. Comput., 1972, 21, N12,p. 1293-1310.

85. Lamport L. The Parallel Execution of DO Loops.- Commun. ACM, 1974, 17, N 2, p. 83-93.

86. Martin D., Estrin G. Models of Computations and Systems -Evaluation of Vertex Probabilities on Graph Models of Computations.- J. Assoc. Comput. Mach., 1967, 14, N 2, p. 281-299.

87. Miller E.P. Testing for software reliability.- In: Software Reliability, Maidenhead, 1977, p. 217-241.

88. Murphey J.O., Wade R.M. The IBM 360/195.- Datamation, 1970, 16, N 4, p. 72-79.

89. Peterson J.L. Petri Nets.- ACM Computing Surveys, 1977, 9, N 3, p. 223-252.

90. Ramamoorthy C.V., Chandy K.M., Gonzalez M.J. Optimal Scheduling Strategies in a Multiprocessor System.- IEEE Trans. Comput., 1972, 21, N 2, 137-146.

91. Riseman E.M., Poster C.C. The Inhibition of Potential Parallelism by Conditional Jumps.- IEEE Trans. Comput., 1972, 21, N 12, p. 1405-1411.

92. Russell R.M. The CRAY-1 Computer System.- Commun. ACM, 1978, 21, N 1, p. 63-72.

93. Tjaden G.S., Flynnn M.S. Detection and Parallel Execution of Independent Instructions.- IEEE Trans. Comput., 1970, 19, U 10, p. 889-895.

94. Volansky S.A. Graph Model Analysis and Implementation of Computational Sequences.- Ph. D. Thesis, School of Engineering and Applied Sciences, University of California, Los Angeles, 1970. -183p.

95. Watson VI.J. The Texas Instrument Advanced Scientific Computer, rIn: Proc. IEEE Сотр. Conf., 1972, p. 291-293.

96. Zwakenberg R.G. Vector Extensions to LRLTRAU.- SIGPLAN Notices, 1975, 10, N 3, P. 77-86.

97. Колесник A.M. О трансляции АЛГАМС-программ в параллельные программы. В кн.: Математические методы и применение ЦВМ.-Вильнюс, 1978, с. 70-71.

98. Колесник A.M. Распараллеливание операторов процедур. В кн.: Эффективность распараллеливания алгоритмов обработки информации. - Львов, 1979, с. 48-49. (Препринт / ФМИ АН УССР:Ш5).

99. Колесник A.M. Некоторые вопросы распараллеливания АЛГАМС-программ. Тез. докл. Всесоюзного научно-техн. совещания "Проблемы создания и использования высокопроизводительных информационно-вычислительных машин." - Кишинев, 1979,с. 77-79.

100. Колесник A.M. О распараллеливании АЛГАМС-программ. Мн., 1979. - 24 с. (Препринт / ИМ АН БССР: В 12(68)).

101. Колесник A.M. Преобразования и распараллеливание операторов цикла АЛГ0Л-60. -Мн., 1980. 36 с. (Препринт / ИМ АН БССР: В 4(84)).

102. Колесник A.M. Основные принципы построения системы параллельного программирования для АЛГ0Л-60. В кн.: Однородные вычислительные среды. Архитектура и реализации. -Львов, 1981, с. 56-57. (Препринт / ФМИ АН УССР: Ж41).

103. Колесник A.M. Расширение АЛГ0Л-60 для многопроцессорных систем. Мн., 1981. - 20 с. (Препринт / ИМ АН БССР:16(117)).

104. Колесник A.M., Шкут Н.В. Трансляция Алгол-программ в параллельные программы. Тез. докл. У Всесоюзной школы-семинара "Параллельное программирование и высокопроизводительные системы", ч. 2. - К.: Наукова думка, 1982, с.21-22.

105. Колесник A.M. Информационно-логическая структура схемы распараллеливания Алгол-программ. Мн., 1982. - 24 с. (Препринт / ИМ АН БССР: £ 19(144)).

106. Колесник A.M. Принципы построения систем параллельного программирования на основе АЛГ0Л-60. Тез. докл. ГУ Всесоюзного симпозиума "Системное и теоретическое программирование". Кишинев: Штиинца, 1983, с. 205-207.

107. Шкут Н.В., Колесник A.M. Системы программирования АЛГАМС для ДОС и ОС ЕС ЭВМ. Управляющие системы и машины, 1983, № 6, с. 56-59.