Оценка производительности структур ЭВМ, управляемых потоком данных, статической архитектуры тема диссертации и автореферата по ВАК РФ 05.13.13, кандидат технических наук Морару, Виктор Андреевич

• Морару, Виктор Андреевич
• кандидат технических наук
• 1991

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

ВВЕДЕНИЕ

ГЛАВА 1. АРХИТЕКТУРА СОВРЕМЕННЫХ ПОТОКОВЫХ

ВЬНИСЛИТЕЛЬНЫХ СТРУКТУР.

1.1 Место потоковых ЭВМ среди параллельных вычислительных машин.

1.2 Программирование ЭВМ управляемых потоком данных

1.2.1 Потоковые программы.

1.2.2 Языки программирования ЭВМ УПД

1.3 Архитектура ЭВМ УПД

1.3.1 Процессорньй элемент

1.3.2 Коммуникация

1.4 0<5зор существующих ЭВМ УПД.

1.4.1 Машины с непосредственной коммуникацией

1.4.2 Потоковые машины статической архитектуры с пакетной передачей

1.4.3 Машины с копированием кодов

1.4.4 Машины с тегированием токенов

1.4.5 Машины с одновременным использованием тегирования токенов и копирования кодов

1.5 Постановка задачи исследования производительности

ЭВМ УПД статической архитектуры

1.5.1 Основные параметры задач, решаемых на ЭВМ УПД.

1.5.2 Структуры потоковых ЭВМ статической архитектуры.

1.5.3 Постановка задачи

1.6 Выводы.

глава 2. оценка производительности потоковых вычислительных структур при предельной загрузке процессоров.

2.1 Исследование производительности потоковых машин при слабой загрузке процессоров

2.2 Исследование производительности потоковых машин при сильной загрузке процессоров

2.2.1 ЭВМ УПД с общим ресурсом СОР)

2.2.2 ЭВМ УПД с частично доступным ресурсом СЧДР)

2.2.3 ЭВМ УПД с локально доступным ресурсом (ЛДР)

2.3 Выводы.

глава 3. оценка производительности потоковых вычислительных структур при произвольной загрузке процессоров.'.

3.1 Вероятностная модель ЭВМ УПД с общим ресурсом при произвольной загрузке процессоров

3.1.1 Методика определения стационарных вероятностей в модели потоковой ЭВМс~0Р

3.2 Анализ производительности ЗВМ УПД с ЧДР при произвольной загрузке процессоров

3.3 Анализ производительности ЭВМ УГЩ с ЛДР при произвольной загрузке процессоров.

3.4 Влияние пропускной способности сети на производительность потоковых структур.

3.5 Сравнительный анализ производительности потоковых структур и ЭВМ традиционной архитектуры

3.6 Выводы.

глава 4. вычислительные аспекты моделирования потоковых вычислительных структур

4.1 Методика определения параметров распараллеливания решаемой задачи

4.2 Программы аналитического и численного моделирования потоковых структур

4.3 Имитационное моделирование потоковых вычислительных структур

4.4 Методика оценки производительности структур управляемых потоком данных.

4.5 Выводы.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ.

Введение диссертации (часть автореферата) на тему «Оценка производительности структур ЭВМ, управляемых потоком данных, статической архитектуры»

Актуальность темы диссертации. Одной из основных проблем развития средств вычислительной техники и их математического обеспечения на современном этапе является увеличение производительности вычислительных структур СBCD, а также поиск путей их наиболее эффективного использования. Достижение производительности ВС порядка нескольких миллиардов операций в секунду для эффективного решения дифференциальных уравнений в вычислительной аэродинамике, моделирования по методу Монте-Карло при разработке ядерных систем, обработки сигналов в реальном масштабе времени, управления быстрьми и сложными ядерны® и химическими реакциями, точного прогнозирования погодыи т.п.остается первостепенной задачей в области ВТ. С другой стороны, все большее значение приобретает надежность вычислений и живучесть ВС, особенно при решении задач в реальном масштабе времени Суправление ядерньм реактором, летательньми аппаратами и т.д. X

Модель вычислений, предложенная фон-Нейманом, имеет две важные характеристики. Во-первых, она имеет глобальную адресуемую память для хранения программы и информационных объектов, при этом команды программы в процессе вычисления часто обновляют содержимое памяти. Во-вторых» она имеет счетчик команд, который содержит адрес следующей выюлняемой команды. Этот счетчик явно или неявно обновляется, обеспечивая машину последовательностью команд для выполнения, что означает единственность местоположения управления - фундаментальное ограничение модели фон-Неймана для параллельной обработки.

Ограничение, вносимое счетчиком команд, можно преодолеть в некоторых приложениях, в которых структуры данных, такие как массивы, являются естественными единицами, которыми можно оперировать, И тип данных "массив", и команды для манипулирования ими могут поддерживаться аппаратно. Декодирование одной команды обеспечивает выполнение операции над массивами, включая сюда накладные расходы на управление циклом. Производительность машины при выполнении векторных команд часто ограничивается только размером памяти, и компьютеры, основанные на таком подходе, являются достаточно удачными С например, компьютер Cray Х-МР [2Ш. Однако, могут быть векторизованы не все прикладные программы с параллелизмом, даже если они закодированы непосредственно с использованием векторных команд. Часть программного кода, которая может быть векторизована, колеблется от 10 до 90 процентов в зависимости от области приложений. В то время когда эффективность векторных команд увеличивается, невекторизуемый код имеет тенденцию становиться узким местом. Более сложно повысить производительность компьютера с векторными операциями, если исходный код написан на одном из языков высокого уровня и векторизация выполнена компилятором. Автоматическая векторизация требует сложного анализа потока данных, который затруднен в этих язьках из-за побочных эффектов, вызываемых глобальной областью действия и наложением переменных. Уменьшить некоторые из этих трудностей компилятора могут различные векторные расширения языков высокого уровня, но программирование при использовании этих расширений сложное, и результирующие программы являются машинно-зависимыми и негибкими.

Другой подход к быстрому выполнению одной программы состоит в распределении работы между несколькими фон-неймановскими процессорами имеющими общую память. Наиболее серьезной проблемой, возникающей при использовании мультипроцессоров с совместно используемой памятью, является модель основных вычислений, которая включает в себя глобальную, обновляемую объектно-ориентируемую память. Для обеспечения корректности результатов требуется специальная архитектурная поддержка, так как, возможно, процессоры будут состязаться при обновлении ячейки памяти. Фрагменты программы, которые разделяют данные и вмтолняются параллельно, должны синхронизироваться такими операциями, как "проверить и установить", семафорами и т.п. Накладные расходы на каждую операцию синхронизации могут быть велики, и высокая производительность достигается только тогда, когда прикладная программа может бьггь разбита на длинные цепочки вычислений с мальм числом операций синхронизации. Это не всегда возможно, и даже если удается выполнить подходящее разбиение, обеспечение корректности программы, полученной в результате этого, остается трудной задачей. До сих пор спроектировано очень мало машин, базирующихся на этом подходе; те же, которые были созданы, не имели заметного успеха в использовании параллелизма.

Параллелизм обработки данных на всех уровнях организации вычислительного процесса Сот логического до системного), являющийся основным структурные резервом повыиения производительности, не « может бьггь реализован в рамках структуры машин фон-Неймана. Увеличение степени параллельности обработки путем модульного расширения системы дополнительным оборудованием Сдобавление новых ЭВМ, процессоров, блоков ввода-вывода), добавление к системе специализированных устройств, очень эффективных для определенного класса применений, максимальное использование параллельности, присутствующей в программах, применение конвейерной, матричной, ассоциативной организации вычислений, оптимизация обмена между - отдельными устройствами приводят к чрезмерному усложнению программирования и управления ЭВМ, что, в свою очередь, снижает их надежность и производительность. Добиться же значительного скачка в повыиении производительности ЭВМ на несколько порядков невозможно в рамках традиционной архитектуры [36]. Это подтверждается опытом разработки универсальных высокопроизводительных ЭВМ всех зарубежных фирм.

Для повыиения производительности современных ЭВМ исследуются и применяются новые архитектурные решения и перспективные методы параллельной обработки. Один из таких методов - управление вычислительным процессом потоком данных.

ЭВМ управляемые потоком данных (УГШ свободны от основных недостатков ВС фон-неймановской архитектуры (глобальная обновляемая память и единственный счетчик команд). Во-первых, потоковая модель имеет дело только со значениями, а не с адресами, содержащими значения. Эта концепция является основной также и для чисто функциональных или аппликативных языков, и, следовательно эти язьки не имеют заложенного в них понятия глобальной обновляемой памяти. Оператор в этих языках порождает значение, которое используется другими операторами. Во-вторых, потоковая модель не имеет ничего похожего на счетчик команд: команда активизируется тогда и только тогда, когда все требуемые входные значения будут вычислены. Активизированные команды потребляют входные значения, выполняют вычисление и порождают наборы выходных значений, которые посылаются другим командам, которым эти значения требуются. В потоке данных команда не имеет побочных эффектов, и язьки, основанные на концепциях потока данных, не вносят других ограничений на порядок выполнения вычислительного процесса, кроме ограничений, накладываемых зависимостями по данным, имеющимися в алгоритме. Таким образом, в принципе возможно выявить весь параллелизм потоковой программы.

Программа, написанная на потоковом языке высокого уровня, транслируется непосредственно в граф, узлы которого представляют собой функции, а ребра - зависимости по данньм между функциями. Преимущество потоковых язьков состоит в том, что граф может быть сгенерирован после небольшого анализа Св отличии от оптимизирующих компиляторов, применяемых в ЭВМ традиционной архитектуры}. Фактически, потоковые язьки были первоначально определены как графические.

ЭВМ УПД - это компьютеры с хранимой программой, которая является представлением графа потока данных. Сам процессор спроектирован таким образом, чтобы распознавать, какие из команд в его памяти для команд активизируются, и все эти команды направляются в исполнительные устройства как только ресурсы становятся доступными. Здесь нет понятия единственности местоположения управления. Любое количество команд из памяти для программ может бьггь выполнено одновременно. Если обеспечиваются достаточные ресурсы, процессор может использовать всю параллельность, присутствующую в программе. Этот подход естественным образом распространяется на произвольное число процессоров.

Выие был представлен потенциал, имеющийся у ЭВМ УПД и у потоковых языков для достижения высокой производительности. Некото-рыми из других преимуществ ВС УПД являются более простая верификация программ, большая модульность и расширяемость аппаратных средств, уменьшенные проблемы защиты данных и лучшее предотвращение ошибок программного обеспечения.

Предмет исследований. Предметом исследований настоящей работы являются вычислительные структуры управляемые потоком данных статической архитектуры.

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

В соответствии с поставленной задачей исследования проводились по следующим направлениям:

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

- постановка задачи об определении параметров рабочей нагрузки потоковых структур наиболее полно характеризующие ее потенциальный параллелизм при данном методе управления вычислительным процессом;

- выбор методов оценки производительности ЭВМ управляемых потоком данных в зависимости от их структурных параметров, количества компонент в системе, класса обрабатываемых задач;

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

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

Основные положения, вьносимые на защиту: метод задания потенциального параллелизма задач, решаемых в потоковых структурах; методика определения стационарных вероятностей в моделях ЭВМ управляемых потоком данных; методика оценки производительности потоковых структур.

Научные результаты. В результате проведения исследований автором получены следующие результаты:

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

2. Разработана методика оценки производительности потоковых ВС в зависимости от класса решаемых задач, загрузки процессоров и количества компонент в системе;

3. Разработана модель ЭВМ УПД с общим ресурсом при предельных случаях загрузки процессоров;

4. Разработана методика определения стационарных вероятностей для рассматриваемых моделей;

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

6. С целью сравнения эффективности применения потоковых вычислительных структур и ЭВМ классической архитектуры, разработана вероятностная модель многопроцессорной ЭВМ фон-неймановского типа с опережающей выборкой команд.

Практическую ценность представляют:

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

- разработанный пакет программ, позволяющий оценить произво-г дительность ЭВМ УПД при заданном количестве процессоров и блоков памяти, их быстродействии при решении задачи конкретного класса.

Реализация и внедрение результатов исследований. Разработанная на основе аналитических и имитационных моделей методика и комплекс программ оценки производительности потоковых вычислительных структур внедрены в НИИ "Аргон", г. Москва, а также использовались в учебном процессе в двух ВУЗах, что подтверждается соответствующими актами о внедрении.

Апробация работы. Основные результаты работы докладывались и обсуждались на 8 Всесоюзных и республиканских конференциях и се-минаpax:

- Всесоюзный симпозиум "Перспективы развития вычислительных систем".- Рига, 1989

- Белорусская зимняя школа-семинар по теории массового обслуживания "Математические методы исследования сетей связи и сетей ЭВМ",- Минск, 1990

- Всесоюзное совещание по распределенные автоматизированным системам массового обслуживания. - Москва, 1990

- Всесоюзное совещание по распределение автоматизированным системам массового обслуживания. - Москва, 1991

- Всесоюзная конференция "Однородные вычислительные среды и систолические структуры".- Львов, 1990

- Республиканская научно-техническая конференция, посвященная 23-летию образования КПИ им. С.Лазо. - Кишинев, 1989

- Научно-техническая конференция "Автоматизация проектирования РЭА и ЭВА". - Пенза, 1991

- Всесоюзная конференция "Интеллектуальные системы". Туапсе, 1991.

Публикации. Основные положения и результаты диссертационной работы опубликованы в 13 печатных работах, г Структура диссертационной работы. Диссертация состоит из введения, четьрех глав, списка литературы С101 наименование) и приложения. Объем работы - 161 страница, 51 рисунков, 3 таблицы.

Заключение диссертации по теме «Телекоммуникационные системы и компьютерные сети», Морару, Виктор Андреевич

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

1. Разработана методика оценки параметров распараллеливания задач, решаемых в потоковом режиме.

2. Произведена оценка влияния пропускной способности сети на производительность многопроцессорных потоковых ЭВМ.

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

4. Разработаны вероятностные модели структур ЭВМ УПД при соизмеримых быстродействиях блоков памяти и процессорных элементов.

5. Разработаны рекуррентные процедуры расчета стационарных вероятностей для модели ЭВМ УПД с общим ресурсом при произвольной загрузке процессоров и для моделей с частично доступным и с локально доступным ресурсом.

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

7. Разработана универсальная имитационная модель для всех рассматриваемых структур ЭВМ УПД.

8. Разработана вероятностная модель многопроцессорной фон-неймановской ЭВМ и на ее основе произведена качественная оценка эффективности применения потоковых машин и ЭВМ традиционной архитектуры.

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

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

1. Альянах И.Н. Моделирование вычислительных систем. Л.: Машиностроение, 1988. - 223 с.

2. Артамонов Г.Т. Топология регулярных вычислительных сетей и сред. М.: Радио и связь, 1985. - 192 с.

3. Артамонов Г.Т., Брехов 0. М. Аналитические вероятностные модели функционирования ЭВМ. М., Энергия, 1978. - 368 с.

4. Артамонов Г.Т., Морару В.А., Ротарь С.Л. Модели вычислений на сетях процессоров // Республиканская научно-техническая конференция, посвященная 25-летию образования КПИ им. С.Лазо. Тезисы докладов. Кишинев, 1989. - с. 40.

5. Артамонов Г.Т., Тюрин В.Д. Топология сетей ЭВМ и многопроцессорных систем. М.: Радио и связь, 1991. - 248 с.

6. Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация. М.: Радио и связь, 1990.- 256 с.

7. Барский А.Б.Потоковая обработка информации в ВС наасинхронном решающем поле // Вопросы кибернетики. Проблемы организации высокопроизводительных ЭВМ / НС по комплексной проблеме "Кибернетика" АН СССР. М., 1984. - с. 119-141.

8. Башарин Г. П. , Толмачев А.Л. Теория сетей массового обслуживания и ее приложения к анализу информационно-вычислительных систем // Теория вероятностей. Математическая статистика. Теоретическая кибернетика. М., 1983. - с. 3-119.

9. Байцер Б. Архитектура вычислительных комплексов: В 2-х томах. Пер. с англ. М.: Мир, 1974.

10. Белецкий В.Н. Многопроцессорные и параллельные структуры с организацией асинхронных вычислений. Киев: Наук, думка, 1988.- 240 с.

11. И. Белецкий В.Н. , Ронто В. А. , Крапивка В.Н. Организация и моделирование потоковых ЭВМ // Институт проблем моделирования в энергетике АН УССР: Препринт, 1989. N 1. - с. 1-43.

12. Брехов О.М., Климовец Е. Н., Завалко Р. И. , Морару В. А. Аналитико-имитационное моделирование функционирования потоковых ВС // Перспективы развития вычислительных систем. III Всесоюзный симпозиум. Тезисы докладов. Рига, 1989. - с. 148.

13. Брехов О.М. , Климовец Е.Н. , Морару В.А. Моделирование потокового спецпроцессора для параллельной обработки данных // Однородные вычислительные среды и систолические структуры. I Всесоюзная конференция. Тезисы докладов. Львов, 1990. - том 3, с. 32-39.

14. Брехов 0. М. > Морару В.А. Граничные оценки производительности ЭВМ управляемых потоком данных //IV Всесоюзное совещание по распределенным автоматизированным системам массового обслуживания. Тезисы докладов. Москва, 1991. - с. 210-212.

15. Брехов 0. М. , Морару В.А. Оценка производительности потоковых структур статической архитектуры //III Всесоюзное совещание по распределенным автоматизированным системам массового обслуживания. Тезисы докладов. Москва, 1990. - с. 150-151.

16. Брехов О.М., Морару В.А. Влияние структуры и рабочей нагрузки потоковой ЭВМ на ее производительность // Всесоюзная конференция "Интеллектуальные системы". Тезисы докладов. Туапсе, 1991.

17. Брехов 0. М., Морару В.А. Методика задания рабочей нагрузки в моделях ЭВМ, управляемых потоком данных // Всесоюзная конференция по автоматизации проектирования РЭА и ЭВА. Тезисы докладов. Пенза, 1991. - с. 97-99.

18. Бурцев В.С. Тенденция развития супер-ЭВМ ✓✓ Отдел вычислительной математики АН СССР: Препринт, 1989. N 241. - с. 1-30.

19. Вальковский В. А. Распараллеливание алгоритмов и программ. Структурный подход. М.: Радио и связь, 1989. - 176 с.

20. Высокоскоростные вычисления. Архитектура, производительность, прикладные алгоритмы и программы супер-ЭВМ: Пер. с англ./ Под ред. Я.Ковалика. М.: Радио и связь, 1988. - 432 с.

21. Вычислительная техника за рубежом в 1980 году // Под ред. В.С.Бурцева / ИТМ и ВТ АН СССР. Москва, 1981. - 277 с.

22. Головкин Б.А. Параллельные вычислительные системы. М.: Наука, Главная редакция физико-математической литературы, 1980. -519 с.

23. Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов. М.: Радио и связь, 1983. -272 с.

24. ГОСТ 16325-88. Машины вычислительные электронные общего назначения. Общие технические требования.

25. Данильченко А. В. Модели и методы приближенного анализа производительности информационно-вычислительных систем на основе замкнутых сетей массового обслуживания / Автореф. Дис. канд. техн. наук. JI.: ЛИТМО, 1986.

26. Евреинов Э.В. Однородные вычислительные структуры и среды. М.: Радио и связь, 1981. - 208 с.

27. Евреинов Э.В., Хорошевский В.Г. Однородные вычислительные системы. Новосибирск: Наука, 1978. - 320 с.

28. Жожикашвили В.А., Вишневский В.М. Сети массового обслуживания. Теория и применение к сетям ЭВМ. М.: Радио и связь, 1988. - 192 с.

29. Игнатущенко В.В. Организация структур управляющих многопроцессорных вычислительных систем. М.: Энергоатомиздат, 1989. -182 с.

30. Клейнрок Л. Вычислительные системы с очередями. Пер. с англ. М.: Мир, 1979. - 600 с.

31. Клейнрок Л. Коммуникационные сети, стохастические потоки и задержки сообщений. М.: Наука, 1970.

32. Клейнрок Л. Принципы и уроки пакетной связи //ТИИЭР. Пер. с англ., 1978. т. 66. - N 11. - с. 30-42.

33. Крэйн М., Лемуан 0. Введение в регенеративный метод анализа моделей. Пер. с англ. М.: Наука, 1982. - 104 с.

34. Мартин Дж. Вычислительные сети и распределенная обработка данных: программное обеспечение, методы и архитектура. Вып. 1 -М.: Финансы и статистика, 1985. - 256 с.

35. Майерс Г. Архитектура современных ЭВМ: В 2-х кн. Пер. с англ. М.: Мир, 1985.

36. Мищенко В.А., Лазаревич Э.Г., Аксенов А. И. Расчет производительности многопроцессорных вычислительных систем. Мн.: Вып. шк. , 1985. - 208 с.

37. Морару В.А. Аналитическое вероятностное моделирование потоковой архитектуры БМПС // Отчет по НИР. Госрегистрация N У29948 М.; МАИ, июнь 1990 г., п. 2.2.4, с. 131-137.

38. Морару В.А. Вероятностная модель ЭВМ, управляемой потоком данных // Информационное и программное обеспечение автоматизированных систем. Межвузовский сборник научных трудов. Рязань, 1990. - с. 81-85.

39. Морару В. А. Метод определения статических вероятностей модели ЭВМ УПД // Деп. в ВИНИТИ 11 февраля 1991 г., № 702-В91, 7с.

40. Морару В.А. Моделирование различных структур ЭВМ УПД // Деп. в ВИНИТИ 11 февраля 1991 г., № 701-В91, 9с.

41. Морару В.А. Структура БМПС управляемых потоком данных // Отчет по НИР. Госрегистрация N У29948 М.; МАИ, декабрь 1990 г., п. 2.4, с. 61-66.

42. Морисита И. Аппаратные средства микро-ЭВМ. Пер с япон. -М.: Мир, 1988. 280 с.

43. Мотоока Т. , Томита С., Танака X., Сайто Т., Узтхара Т. Компьютеры на СВИС: В 2-х кн. М.: Мир, 1988.

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

45. Прангишвили И.В. Микропроцессоры и локальные сети мик-ро-ЭВМ в распределенных системах управления. М.: Знергоатомиз-дат, 1985. - 272 с.

46. Прангишвили И. В. , Стецюра Г. Г. Микропроцессорные системы. М.: Наука, 1980. - 225 с.

47. Саати T.JI. Элементы теории массового обслуживания и ее применение. М.: Советское радио, 1971. - 520 с.

48. Самофалов К. Г. , Луцкий Г.М. Основы теории многоуровневых конвейерных вычислительных систем. М.: Радио и связь, 1989. -272 с.

49. Системы параллельной обработки / Под ред. Д.Ивенса; Пер. с англ. под ред. Ю. Г. Дадаева. М.: Мир, 1985. - 416 с.

50. Тербер К. Л. Архитектура высокопроизводительных вычислительных систем: Пер. с англ. М.: Наука, 1985. - 272 с.

51. Торгашев В. А. Управление вычислительным процессом и машины с динамической архитектурой // Вычислительные системы и методы автоматизации исследований и управления. М., Наука, 1982.с. 172-187.

52. Торгашев В. А. , Плюснин В. У. Процессоры с динамической архитектурой. // Электрониз. нар. х-ва., N 1-2, с. 27-36, М., 1989.

53. Феррари Д. Оценка производительности вычислительных систем. Пер. с англ. М.: Мир, 1981. - 576 с.

54. Фрир Лж. Построение вычислительных систем на базе перспективных микропроцессоров: Пер. с англ. М.: Мир, 1990. -413 с.

55. Хокни Р., Джессхоуп К. Параллельные ЭВМ. Архитектура, программирование и алгоритмы: Пер. с англ. М.: Радио и связь,1986. 392 с.

56. Хорошевский В.Г. Инженерный анализ функционирования вычислительных машин и систем. М.: Радио и связь, 1987. - 256 с.

57. Шеннон Р. Имитационное моделирование систем искусство и наука. - М.: Мир, 1978. - 418 с.

58. Шилов В.В. Имитационная модель потоковой вычислительной системы. // Вопросы кибернетики. Разработка и использование супер-ЭВМ / НС по комплексной программе "Кибернетика" АН СССР.- М.,1987. с. 145-162.

59. Шпаковский Г. И. Архитектура параллельных ЭВМ: Учеб. пособие для вузов. Мн.: Университетское, 1989. - 192 с.

60. Шрайбер Т.Дж. Моделирование на GPSS. М.: Машиностроение, 1980. - 592 с.

61. ЭВМ пятого поколения. Концепции, проблемы, перспективы / Под ред. Т.Мотоока; Пер. с англ. под ред. А.А.Рывкина, В.М.Савинкова. М.: Финансы и статистика, 1984. - 112 с.

62. Amamiya М., Takesue М., Hasegawa R. , Mikami Н. Implementation and evaluation of a list-processing-oriented data flow machine. Proceedings of the 13th Annual Symposium on Computer architecture (Tokyo, June 2-5). ASM, New York, pp. 10-19, 1986.

63. Arvind, Gostelow K. A computer capable of exchanging processors for time. Information Processing 77, Ed. North-Holland, New York, pp. 849-853, 1977.

64. Arvind, Kathali V. A multiple processor dataflow machine that supports generalized procedures. Proceedings of the 8th Annual Symposium on Computer Architecture (Minneapolis, Minn., May 12-14). ACM, New York, pp. 291-302, 1981.

65. Bic L., Gaudiot J-L. Special issue on data-flow computing. Parallel and Distrib. Comput., pp. 277-278, 1990.

66. Burkowski F.J. A multi-user data flow architecture. Proceedings of the 8th Annual Symposium on Computer Architecture (Minneapolis, Minn., May 12-14). ACM, New York, pp. 327-340, 1981.

67. Comte D. , Hifdi N., Syre J.C. The data driven LAUmultiprocessor system: Results and perspectives. Proceedings of the IFIP Congress 80 (Tokyo and Melbourne, Australia, Oct. 6-17), S.Lavington, Ed. North-Hoiiand, Amsterdam, pp. 175-180, 1980.

68. Cornish M., et al. The TI data flow architectures: The power of concurrency for avionics. Proceedings of the 3rd Conference on Digital Avionics Systems (Fort. Worth, Tex., Nov.), IEEE, New York, pp. 19-25, 1979.

69. Chin C.J., Hwang K. Packet Switching Networks for Multiprocessors and Data Flow Computers, IEEE Transactions on computers, vol. С-33, pp. 991-1003, Nov. 1984.

70. Davis A.L. Architecture of DDM1: A recursively structured data driven machine. Tech. Rep., Dept. of Computer Science, Univ. of Utah, Salt Lake City, Utah, 1977.

71. Davis A.L. A data flow evaluation systems based on the concept of recursive locality. Proceedings of the National Computing Conference. AFIPS Press, Reston, Va., pp. 1079-1086, 1979.

72. Dennis J.B. First version of a data flow procedure language. Lecture Notes in Computer Science, vol. 19, G.Goos and J.Hartmanis, Eds. Springer, New York, pp. 362-376, 1974.

73. Dennis J.B., Misunas R.P. A preliminary architecture for a basic data flow processor. Proceedings of the 2nd Annual Symposium on Computer Architecture (Houston, Tex., Jan. 12-14). Comput. Archit. News 3,4, pp. 126-132, 1974.

74. Dennis J.B. , Lim W.Y.P, Ackerman W.B. The MIT data flow engineering. Proceedings of the IFIP 9th World Computer Congress (Paris, Sept. 19-23), R. E. A. Mason, Ed. North-Holland, New York, pp. 553-560, 1983.

75. Dennis J.B. , Gao G.R., Todd K.W. Modeling the weather with a data flow supercomputer. IEEE Trans. Comput., C-21, No 7,pp. 392-603, Sept. 1984.

76. Duncan R. A Survey of Parallel Computer Arcitectures. -Computer, vol. 23, No 2, pp. 3-16, Feb. 1990.

77. Flynn M.J. Some computer organizations and their effectiveness. IEEE Trans. Comput., C-21, No 9, pp. 948-960, Sept. 1972.

78. Ghosal Dipak, Bhuyan Laxmi N. Performance Evaluation of a Dataflow Architecture. IEEE Tranzactions on computers, vol. С-39, No. 5, pp. 615-627, May 1990.

79. Gostelow K.P., Thomas R. E. Performance of simulated dataflow computer. IEEE Tranzactions on computers, C-29, No 10, pp. 905-919, Oct. 1980.

80. Gurd J.R., Watson I. A data driven system for high speed parallel computing. Comput. Design 19, Part I, No 6, pp. 91-100, Jun. 1980, Part II, No 7, pp. 97-106, Jul 1980.

81. Gurd J.R. , Watson I., Kirkham C.C. The Manchester prototype dataflow computer. Commun. ACM. vol. 28, pp. 34-52, Jan. 1985.

82. Hahn W. Perspectives of data-flow Architectures. Ann. Oper. Res., vol. 16, No 1-4, pp. 281-298, 1988.

83. Hudak P. , Goldberg B. Distributed execution of functional programs using serial combinators. IEEE Trans. Coput., C-34, No 10, pp. 881-891, Oct. 1985.

84. Iwashita M., Temma T., Matsumoto K. , Kurokawa H. Modular dataflow image processor. Spring 83 C0MPC0N. IEEE, New York, pp. 464-467, 1983.

85. Jeffery T. The |uPD7281 Processor. Byte, pp. 237-246, Nov. 1985.

86. Johnson D. and al. Automatic partitioning of programs in multiprocessor systems. Proceedings of the Spring 80 C0MPC0N.1.EE, New York, 1980.

87. Marczynski M.P., Milewski J. A data driven system based on a micropropgrammed processor module. Proceedings of the 10th Annual Symposium on Computer Architecture (Stockholm, June 13-173, IEEE, New York, pp. 98-106, 1983.

88. Miranker G.S. Implementation of procedures on a class of a data flow processors. Proceedings of the 1977 International Conference on Parallel Processing (Detroit, Mich., Aug. 23-263, J.L.Baer, Ed. IEEE, New York, pp. 77-86, 1977.

89. Rumbaugh J. A data flow multiprocessor. Proceedings of the 1975 Sagamore Computer Conference on Parallel Processing (Sagamore, N.Y.), pp. 220-223, 1975.

90. Shirazi B., Hurson A.R. A data driven multiprocessor -its architecture and performance evaluation. Multiprocess, and Microprogr., vol. 26, No 2, pp. 97-112, 1989.

91. Smith B.J. A pipelined shared resource MIMD computer.-Proceedings of the 1978 International Conference on Parallel Processing. IEEE, New York, 1978.

92. Srini V.P. An architectural comparison of dataflow systems. Computer 19, No 9, pp. 68-88, Mar. 1986.

93. Swan R.J., Fuller S.N. , Siewiorek D.P. Cm* A modular, multi-microprocessor. - Proceedings of the National Computer Conference (Dallas, Tex., June 13-16) AFIPS Press, Arlington, Va., pp. 637-644, 1977.

94. Takahashi N., Amamiya M. A data flow processor arraysystem; Design and analysis. Proceedings of the 10th Annual Symposium on Computer Architecture (Stockholm, June 13-173, IEEE, New York, pp. 243-250, 1983.

95. Vedder R., Finn D. The Hughes data flow multiprocessor: Architecture for efficient signal and data processing. Proceedings of the 12th Annual Symposium on Computer Architecture (Boston, Mass., June 17-19), IEEE, New York, pp. 324-332, 1985.

96. Veen A.H. Dataflow Machine Architecture. ACM Computing Surveys, Vol. 18, No 4, Dec. 1986, pp. 365-396.