Методы организации параллельных вычислений в системах обработки данных на базе процессоров с суперскалярной архитектурой
Диссертация
В целом полученные в диссертационной работе модели, методы и алгоритмы могут рассматриваться как основа теории оптимизации скалярных вычислений на микроуровне параллелизма, использование положений которой совместно с методами конвейеризации вычислений обеспечивает построение оптимизирующих компиляторов и кросс-систем автоматизации программирования для нового класса изделий микропроцессорной… Читать ещё >
Содержание
- ВВЕДЕНИЕ
- И ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
- 1. АНАЛИЗ СОВРЕМЕННОГО СОСТОЯНИЯ ПРОБЛЕМЫ ОРГАНИЗАЦИИ ПАРАЛЛЕЛЬНЫХ СКАЛЯРНЫХ ВЫЧИСЛЕНИЙ
- 1. Л. Характеристики реальных задач обработки данных и требования к современным вычислительным средствам
- 1. 2. Необходимость оптимизации скалярных вычислений в параллельных процессах
- 1. 2. 1. Модели оценки эффективности параллельных вычислений
- 1. 2. 2. Параллелизм векторных и скалярных вычислений
- 1. 2. 3. Анализ состава операций и операндов реальных программ
- 1. 3. Анализ известных архитектурных решений проблемы распараллеливания скалярных вычислений
- 1. 3. 1. Аппаратно-программные средства оптимизации скалярных вычислений
- 1. 3. 2. Архитектурные особенности суперскалярных процессоров, влияющие на эффективность объектного кода
- 1. 4. Методы оптимизации скалярных вычислений в процедурах генерации параллельного микрокода
- 1. 2. Необходимость оптимизации скалярных вычислений в параллельных процессах
- Выводы
- 2. МОДЕЛИ ОРГАНИЗАЦИИ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ В ПРОЦЕССОРАХ С
- СУПЕРСКАЛЯРНОЙ АРХИТЕКТУРОЙ
- 2. 1. Дизъюнктивная теоретико-графовая модель организации параллельных процессов
- 2. 1. 1. Зависимости по данным
- 2. 1. 2. Теоретико-графовые модели параллельных программ
- 2. 1. 3. Влияние архитектурных ограничений на параллелизм операций программы
- 2. 2. Теоретико-графовая модель синтеза параллельного объектного кода со скалярными весами вершин
- 2. 2. 1. Целочисленная модель задачи оптимизации объектного кода по критерию времени
- 2. 2. 2. Задачи локальной оптимизации объектного кода на основе дизъюнктивной теоретико-графовой модели
- 2. 3. Теоретико-графовая модель синтеза параллельного объектного кода с векторными весами вершин
- 2. 3. 1. Целочисленная модель задачи оптимизации объектного кода по критерию времени с учетом неоднозначно заданных операций
- 2. 3. 2. Локальная оптимизация параллельного объектного кода на основе теоретико-графовой модели с векторными весами вершин
- 2. 4. Модель глобальной оптимизации параллельных объектных программ
- 2. 4. 1. Краткий анализ известных решений
- 2. 4. 2. Иерархическая дизъюнктивная теоретико-графовая модель параллельной объектной программы
- 2. 4. 3. Общий подход к решению задачи синтеза параллельных объектных программ с циклами и ветвлениями
- 2. 5. Сравнение с известными моделями и методами
- 2. 1. Дизъюнктивная теоретико-графовая модель организации параллельных процессов
- Выводы
- 3. МЕТОДЫ ЛОКАЛЬНОЙ ОПТИМИЗАЦИИ ПАРАЛЛЕЛЬНЫХ ОБЪЕКТНЫХ ПРОГРАММ В ПРЕДЕЛАХ ЛИНЕЙНЫХ ФРАГМЕНТОВ КОДА
- 3. 1. Минимизация времени исполнения для дизъюнктивной графовой модели синтеза объектного кода
- 3. 1. 1. Поиск оптимального состава командных слов
- 3. 1. 2. Эвристический алгоритм синтеза командных слов
- 3. 2. Минимизация времени исполнения объектного кода для графовой модели синтеза с векторными весами вершин
- 3. 3. Минимизация количества командных слов параллельной объектной программы
- 3. 3. 1. Последовательное сокращение непустых командных слов
- 3. 3. 2. Итерационный синтез объектных программ с заданными характеристиками
- 3. 4. Оптимизация загрузки регистровой памяти
- 3. 4. 1. Аппаратная и программная модификация регистров
- 3. 4. 2. Программные методы распределения регистров
- 3. 4. 3. Задача размещения временных скалярных переменных в регистровых файлах суперскалярного процессора
- 3. 5. Оптимизация скалярных вычислений в пределах арифметических выражений
- 3. 5. 1. Краткий анализ известных методов микрораспараллеливания выражений
- 3. 5. 2. Генерация тетрадной формы представления арифметических выражений
- 3. 1. Минимизация времени исполнения для дизъюнктивной графовой модели синтеза объектного кода
- 4. 1. Анализ логической структуры объектной программы
- 4. 1. 1. Выделение линейных, циклических и альтернативных фрагментов кода
- 4. 1. 2. Генерация билогической модели объектной программы
- 4. 2. Использование макроопределений при построении графовых моделей объектных программ
- 4. 3. Генерации параллельного объектного кода для структурированной программы с циклами и ветвлениями на основе дизъюнктивной графовой модели
- 4. 4. Генерации параллельного объектного кода для структурированной программы с циклами и ветвлениями на основе списочных расписаний
- 5. 1. Модель отказоустойчивой системы параллельной обработки данных с магистрально-модульной структурой
- 5. 1. 1. Организация активной отказоустойчивости
- 5. 1. 2. Основные предположения и понятия
- 5. 2. Диагностические модели в процедурах активной отказоустойчивости
- 5. 2. 1. Классические (асимметричные) диагностические модели
- 5. 2. 2. Симметричные модели дешифрации синдрома
- 5. 2. 3. Общая постановка задачи синтеза диагностических графов
- 5. 3. Дешифрация результатов диагностирования
- 5. 4. Синтез диагностических графов с экстремальными характеристиками
- 5. 4. 1. Характеризация диагностических графов для симметричной модели дешифрации синдрома
- 5. 4. 2. Синтез оптимальных диагностических графов для симметричной модели дешифрации синдрома
- 5. 5. Организация параллельных диагностических вычислений в режиме реального времени
- 6. 1. Исследование алгоритмов оптимизации скалярных вычислений в суперскалярных процессорах
- 6. 1. 1. Программные средства и результаты исследования алгоритмов синтеза параллельного объектного кода
- 6. 1. 2. Результаты исследования алгоритмов генерации тетрадной формы арифметических выражений
- 6. 2. Инструментальные средства генерации и оптимизации параллельного объектного кода
- 6. 2. 1. Учебно-исследовательский оптимизирующий кросс-транслятор, ориентированный на генерацию параллельного объектного кода
- 6. 2. 2. Программный комплекс автоматизированного синтеза параллельного микрокода для суперскалярных процессоров с микропрограммным управлением
- 6. 3. Исследование диагностических графовых моделей
- 6. 3. 1. Краткое описание использованных программных средств
- 6. 3. 2. Результаты вычислительного эксперимента
- 6. 4. Инструментальные средства организации параллельных диагностических вычислений в специализированных многопроцессорных системах
- 6. 4. 1. Программные средства синтеза и оптимизации диагностических графовых моделей отказоустойчивых многопроцессорных систем
- 6. 4. 2. Подготовка прикладных программ для параллельных диагностических вычислений
Список литературы
- Аваков В. Микропроцессор MIPS R10000 // Открытые системы. 1995. № 6. С. 62−69.
- Авижиенис A.A. Отказоустойчивость свойство, обеспечивающее постоянную работоспособность цифровых систем // ТИИЭР. 1978. Т. 66. № 10. С. 5−25.
- Автоматизация проектирования процессов в вычислительных структурах, реализуемых на СБИС: Отчет о НИР / Рязан. радиотехн. ин-т- Руководитель В. П. Корячко. № гос. per. 1 830 041 129- инв. № 0284.0 62 068. Рязань, 1984. 99 с.
- Акулич И.Л. Математическое программирование в примерах и задачах. М.: Высшая школа, 1986. 319 с.
- Алагич С., Арбиб М. Проектирование корректных структурированных программ. М.: Радио и связь, 1984. 264 с.
- Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем // Под ред. А. П. Ершова. М.: Наука, 1982. 336 с.
- Аллен Р., Кеннеди К. Автоматическая трансляция Фортран-программ в векторную форму // Векторизация программ: теория, методы, реализация. Сб. статей. М.: Мир, 1991. С. 77−140.
- Арапов Д. Можно ли превратить сеть в суперкомпьютер? // Открытые системы. 1997. № 4. С. 6−10.
- Артамонов Г. Т., Тюрин В. Д. Топология сетей ЭВМ и многопроцессорных систем. М.: Радио и связь, 1991. 248 с.
- Атстопас Ф.Ф., Плукас К. И. Метод минимизации микропрограмм ЭЦВМ // Автоматика и вычислительная техника. 1971. № 4. С. 10−16.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1. Синтаксический анализ. М.: Мир, 1978. 616 с.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 2. Компиляция. М.: Мир, 1978. 448 с.
- Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ алгоритмов для ЭВМ. М.: Мир, 1979. 536 с.
- А. с. 1 679 505 СССР, МКИ G 06 F 15/46. Способ контроля правильности функционирования дискретных устройств / М. А. Терещенко, И. Б. Шубинский, В. И. Николаев, Ф. С. Власов, А. М. Заяц. № 4 641 959/00−24- Заявлено 25.01.89- Опубл. 23.09.91, Бюл. № 35.
- Баранов С.И., Баркалов A.A. Микропрограммирование: принципы, методы, применения // Зарубежная радиоэлектроника. 1984. № 5. С. 3−29.
- Барский А.Б. Планирование параллельных вычислительных процессов. М.: Машиностроение, 1980. 192 с.
- Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация. М.: Радио и связь, 1990. 256 с.
- Бахаревский А.Д., Игнатущенко В. В. Новый подход к организации опережающей выборки данных для однопроцессорных и параллельных компьютеров: формальные модели и доказательства // Автоматика и телемеханика. 1995. № 8. С. 158−181.
- Бек JI. Введение в системное программирование. М.: Мир, 1988.448 с.
- Бердышев Е.М. Технология ММХ. Новые возможности процессоров Р5 и Р6. М.: ДИАЛОГ-МИФИ, 1998. 234 с.
- Борзенко А.Е., Корячко В. П. Синтез оптимальной структуры операционной части микропроцессорного модуля // Микропроцессорные устройства и автоматизация проектирования: Межвуз. сб. / Рязан. радиотехн. ин-т. Рязань, 1986. С. 5−10.
- Бортовые ЦВМ с архитектурой ПОИСК для истребительной авиации / А. А. Соловьев, В. Н. Геништа, Б. Ю. Курбатов и др. // Проблемы информатизации. 1998. Вып. 3−4. С. 15−27.
- Брамм П., Брамм Д. Микропроцессор 80 386 и его программирование. М.: Мир, 1990. 448 с.
- Бройтман Д. Микропроцессор PowerPC 601 // Монитор. № 4. 1994. С. 56−61.
- Бруно Бабэ. Просто и ясно о Borland С++: Пер. с англ. М.: БИНОМ. 400 с.
- Буслов A.B., Скворцов C.B. Программные средства экспериментальной оценки диагностических моделей отказоустойчивых систем // Новые информационные технологии: Межвуз. сб. / Рязан. гос. радио-техн. акад. Рязань, 1998. С. 23−31.
- Буслов A.B., Скворцов C.B. Метод обнаружения неисправных модулей в отказоустойчивых системах // Новые информационные технологии в радиоэлектронике: Тез. докл. Всероссийской научно-технич. конф. Рязань, май 1998. Рязань: РГРТА, 1998. С. 41−42.
- Буслов A.B., Скворцов C.B. Аналитический метод дешифрации результатов диагностирования многопроцессорных систем // Вычислительные машины, комплексы и сети: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1999. С. 64−68.
- Вайнгартен Ф. Трансляция языков программирования. М.: Мир, 1977. 190 с.
- Вайрадян A.C., Коровин A.B., Удалов В. Н. Эффективное функционирование управляющих мультипроцессорных систем. М.: Радио и связь, 1984. 328 с.
- Валях Е. Последовательно-параллельные вычисления. М.: Мир, 1985. 456 с.
- Василюк В.Р., Шувиков В. И., Юсим Г. В. Распределение общих ресурсов микропрограммируемой вычислительной системы // Проектирование вычислительных машин и систем: Межвуз. сб. / Рязан. радио-техн. ин-т. Рязань, 1984. С. 87−92.
- Ведешенков В.А. Об организации самодиагностируемых цифровых систем // Автоматика и телемеханика. 1983. № 7. С. 133−144.
- Ведешенков В.А., Нестеров A.M. О двух методах дешифрации результатов диагностирования цифровых систем // Электронное моделирование. 1981. № 2. С. 53−58.
- Векторизация программ: теория, методы, реализация. Сб. статей / Под ред. Г. Д. Чинина. М.: Мир, 1991. 275 с.
- Власов Ф.С., Гершанов В. И., Черников О. И. Решение задачи унификации при создании МВС «Циклоп» // Тез. докл. Всесоюзного совещания «Проблемы построения перспективных бортовых управляющих вычислительных комплексов». Владивосток, 1991. С. 7.
- Воеводин В.В. Математические модели и методы в параллельных процессах. М.: Наука, 1986. 296 с.
- Воеводин Вл.В. Теория и практика исследования параллелизма последовательных программ // Программирование, 1992. № 3. С. 38−53.
- Гаскаров Д.В., Истомин Е. П., Кутузов О. И. Автоматизированные системы управления распределенными сетями. Спб.: Энергоатомиз-дат. Санкт-Петербургское отд-ние, 1998. 351 с.
- Гершанов В.И., Корячко В. П. Оптимизация загрузки СОЗУ промежуточными результатами // Вопросы радиоэлектроники. Серия Электрон, вычисл. техн. 1986. Вып. 7. С. 27−33.
- Гершанов В.И., Скворцов C.B. Синтез микропрограмм и оценка качества структуры микропроцессорных систем управления процессами реального времени // Вопросы радиоэлектроники. Серия Электрон, вычисл. техн. 1987. Вып. 7. С. 90−97.
- Гершанов В.И., Скворцов C.B. Рациональное использование управляющей памяти при параллельном микропрограммировании // Вопросы радиоэлетроники. Серия Электрон, вычисл. техн. 1990. Вып. 7. С. 44−51.
- Гершанов В.И., Скворцов C.B., Телков И. А. Синтез параллельных форм алгоритмов функционирования специализированных вычислительных систем // Вопросы специальной радиоэлектроники. Серия Электрон, вычисл. техн. 1989. Вып. 1. С. 37−46.
- Гершанов В.И., Скворцов C.B., Телков И. А. Методы повышения отказоустойчивости вычислительных систем, основанных на принципе ассоциативной селекции потоков данных // Вопросы радиоэлектроники. Серия Электрон, вычисл. техн. 1992. Вып. 7. С. 50−58.
- Глушков В.М., Молчанов И. Н. О некоторых проблемах решения задач на ЭВМ с параллельной организацией вычислений // Кибернетика. 1981. № 1. С.82−88.
- Головкин Б.А. Параллельные вычислительные системы. М.: Наука, 1980. 520 с.
- Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов. М.: Радио и связь, 1983. 272 с.
- Головкин Б.А. Вычислительные системы с болыцим числом процессоров. М.: Радио и связь, 1995. 320 с.
- Горбатов В.А. Основы дискретной математики. М.: Высшая школа, 1986. 311 с.
- Горелов О.И., Плотников Е. В. Представление открытых вычислительных сетей моделью самодиагностируемой системы с распределенным диагностическим ядром // Автоматика и вычислительная техника. 1983. № 4. С. 64−70.
- Горелов О.И., Плотников Е. В. Об одном методе анализа вычислительных сетей // Автоматика и вычислительная техника. 1986. № 1. С. 30−35.
- Григорьев B.JI. Программирование однокристальных микропроцессоров. М.: Энергоатомиздат, 1987. 287 с.
- Грис Д. Конструирование компиляторов дж цифровых вычислительных машин. М.: Мир, 1975. 544 с.
- Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. М.: Мир, 1981. 368 с.
- Гуткин M. Intel и новая технология ММХ // PC Week. Russian Edition. 1996. № 14. С. 47−50.
- Дал У., Дейкстра Э., Хоор К. Структурное программирование. М.: Мир, 1975. 248 с.
- Димитриев Ю.К., Хорошевский В. Г. Вычислительные системы из миниЭВМ / Под ред. Э. В. Евреинова. М.: Радио и связь, 1982. 304 с.
- Дубова Н. РА 7200 новый процессор семейства HP РА-RI S С // Открытые системы. 1995. № 1. С. 62−66.
- Евсиков М. Новое семейство процессоров Analog Devices // КомпьютерПресс. 1996. № 8. С. 64−67.
- Евстигнеев В.А. Применение теории графов в программирова-ниии. М.: Наука, 1985. 352 с.
- Евстигнеев В.А. Некоторые особенности программного обеспечения ЭВМ с длинным командным словом // Программирование. 1991. № 2. С. 69−80.
- Евстигнеев В.А., Касьянов В. Н. Оптимизирующие преобразования в распараллеливающих компиляторах // Программирование. 1996. № 6. С. 12−26.
- Ершов А.П. Математическое обеспечение четвертого поколения // Кибернетика. 1973. № 1. С. 9−21.
- Жинтелис Г. Б., Карчяускас Э. К., Мачикенас Э. К. Автоматизация проектирования микропрограммируемых структур. Л.: Машиностроение, 1985. 216 с.
- Золотовский В.Е. Микропроцессорные вычислительные структуры для решения уравнений в частных производных // Автоматика и вычислительная техника. 1984. № 3. С. 62−68.
- Игнатущенко В.В. Организация структур управляющих многопроцессорных вычислительных систем. М.: Энергоатомиздат, 1984. 184 с.
- Игнатущенко В.В., Скугарев В. В. Новая технология групповой выборки данных для однопроцессорных и параллельных ЭВМ: характерные особенности и возможности // Автоматика и телемеханика. 1993. № 3. С. 165−177.
- Игнатущенко В.В. Новая организация опережающей выборки данных для конвейерных однопроцессорных и параллельных компьютеров // Автоматика и телемеханика. 1997. № 8. С. 196−209.
- Игнатущенко В.В., Подшивалова И. Ю. Динамическое управление параллельными вычислительными процессами на основе статического прогнозирования их выполнения // Автоматика и телемеханика. 1997. № 5. С. 160−173.
- Игнатущенко В.В., Подшивалова И. Ю. Динамическое управление надежным выполнением параллельных вычислительных процессов для систем реального времени // Автоматика и телемеханика. 1999. № 6. С. 142−157.
- Иыуду К.А. Надежность, контроль и диагностика вычислительных машин и систем. М.: Высшая школа, 1989. 216 с.
- Иыуду К.А., Кривощеков С. А. Математические модели отказоустойчивых вычислительных систем. М.: Изд-во МАИ, 1989. 144 с.
- Каширин И.Ю. Унификация на множестве термов формальной структуры программ // Вестник Рязанской государственной радиотехнической академии. 1997. Вып. 2. С. 53−60.
- Каширин И.Ю., Коричнев Л. П. Формальное исследование интеллектуальных программных систем. М.: Радио и связь, 1997. 160 с.
- Квиттнер П. Задачи, программы, вычисления, результаты. М.: Мир, 1980. 424 с.
- Клембо B.C. Автоматизированное проектирование микропрограмм // Электронная техника. Сер. 11. 1976. Вып. 3. С. 77−83.
- Клингман Э. Проектирование специализированных микропроцессорных систем. М.: Мир, 1985. 363 с.
- Кожевникова Г. П., Синицкий А. Л. О задаче перестройки деревьев в алгоритмах микрораспараллеливания // Кибернетика. 1983. № 5. С. 14−21.
- Комплект БИС К1804 в процессорах и контроллерах / В. М. Мещеряков, И. Е. Лобов, С. С. Глебов и др.- Под ред. В. Б. Смолова. М.: Радио и связь, 1990. 255 с.
- Конвей Р.В., Максвелл В. Л., Миллер Л. В. Теория расписаний. М.: Наука, 1975. 360 с.
- Корбут A.A., Финкельштейн Ю. Ю. Дискретное программирование. М.: Наука, 1969. 368 с.
- Корнеев В.В., Киселев A.B. Современные микропроцесоры. М.: НОЛИДЖ, 1998. 240 с.
- Коршунов Ю.М. Математические основы кибернетики. М.: Энергоатомиздат, 1987. 469 с.
- Корячко В.П. Конструирование микропроцессорных систем контроля радиоэлектронной аппаратуры. М.: Радио и связь, 1987.160 с.
- Корячко В.П. Микропроцессоры и микроЭВМ в радиоэлектронных средствах. М.: Высшая школа, 1990. 407 с.
- Корячко В.П., Курейчик В. М., Норенков И. П. Теоретические основы САПР. М.: Энергоатомиздат, 1987. 386 с.
- Корячко В.П., Курчидис В. А. Оптимизация организации внутренней памяти цифровой управляющей машины // Управляющие системы и машины 1975. № 3. С. 87−91.
- Корячко В.П., Курчидис В. А. Об укладке графов программ // Изв. АН СССР. Техническая кибернетика. 1979. № 6. С. 129 136.
- Корячко В.П., Скворцов C.B. Планирование загрузки регистровой памяти при микропрограммировании микропроцессорных систем // Автоматика и вычислительная техника. 1987. № 4. С. 75−80.
- Корячко В.П., Скворцов C.B. Оптимизация загрузки регистров общего назначения в управляющих микропроцессорных системах //
- Логическое управление с использованием ЭВМ: Тез. докл. X Всесоюзн. симпозиума. Ижевск, 1987. М.: Научный совет АН СССР по комплексной проблеме «Кибернетика», 1987. С. 98−100.
- Корячко В.П., Скворцов C.B. Иерархическая модель глобальной оптимизации параллельных объектных программ // Информационные технологии. 1998. № 9. С. 34−40.
- Корячко В.П., Скворцов C.B., Телков И. А. Построение микропрограмм с циклами и ветвлениями для специализированных микропроцессорных систем//Электронное моделирование. 1988. № 1. С. 17−22.
- Корячко В.П., Скворцов C.B., Телков И. А. Модель планирования параллельных процессов в суперскалярных процессорах // Информационные технологии. 1997. № 1. С. 8−12.
- Корячко В.П., Скворцов C.B., Телков И. А. Математическая модель мобильных вычислений // Информационные технологии. 1998. № 11. С. 27−32.
- Корячко В.П., Скворцов C.B., Телков И. А. Архитектуры многопроцессорных систем и параллельные вычисления. М.: Высшая школа, 1999. 235 с.
- Корячко В.П., Скворцов C.B., Шувиков В. И. Формирование микропрограммных управляющих слов для микропроцессорных систем // Электронное моделирование. 1987. № 6. С. 19−22.
- Корячко В.П., Скворцов C.B., Шувиков В. И. Характеризация диагностических графов для симметричной модели дешифрации синдрома // Информационные технологии. 1999. № 6. С. 18−22
- Корячко В.П., Скворцов C.B., Шувиков В. И. Синтез оптимальных диагностических графов для симметричной модели дешифрации синдрома // Информационные технологии. 1999. № 12. С. 32−37.
- Корячко В.П., Скворцов C.B., Шувиков C.B. Генерация машинно-независимого кода для параллельного вычисления арифметических выражений // Информационные технологии. 1999. № 3. С. 2−7.
- Кофман А. Введение в прикладную комбинаторику. М.: Наука, 1975. 480 с.
- Кофман А., Дебазей Г. Сетевые методы планирования. М.: Прогресс, 1968. 182 с.
- Кравцов Л.Я., Черницкий Г. И. Проектирование микропрограммных устройств управления. Д.: Энергия, 1976. 152 с.
- Крамаренко М.Б. Модели диагностирования отказов параллельной вычислительной системы // Электронное моделирование. 1989. № 3. С. 60−65.
- Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978. 432 с.
- Кручинин С. RISC-архитектура: общие принципы и перспективы развития // ComputerWeek-Moscow. 1995. № 32, 33.
- Кручинин С. Процессоры//Hard and Soft. 1995. № 11. С. 41−49.
- Кузьминский М. Микропроцессор PA-RISC 8000 // Открытые системы. 1995. № 5. С. 15−18.
- Кузьминский М. Микроархитектура DEC Alpha 21 264 // Открытые системы. 1998. № 1. С. 7−11.
- Кузюрин H.H., Фрумкин М. А. Параллельные вычисления: теория и алгоритмы (обзор) // Программирование, 1991. № 2. С. 6−19.
- Кузюрин H.H., Фрумкин М. А. Параллельные вычисления: теория и алгоритмы // Итоги науки и техники. Серия Вычислительные науки, т. 8. М.: ВИНИТИ АН СССР, 1991. С. 1−211.
- Лазарев В.Г., Пийль Е. И., Турута E.H. Построение программируемых управляющих устройств. М.: Энергоатомиздат, 1984. 192 с.
- Лингер Р., Миллс X., Уитт Б. Теория и практика структурного программирования. М.: Мир, 1982. 406 с.
- Липаев В.В. Распределение ресурсов в вычислительных системах. М.: Статистика, 1979. 248 с.
- Липкин И. RISC-поворот или сосуществование двух направлений // КомпьютерПресс. 1990. № 5. С. 70−75.
- Липкин И. Еще раз о RISC // КомпьютерПресс. 1991. № 6. С. 43−47. № 7. С. 15−19.
- Липский В. Комбинаторика для программистов. М.: Мир, 1988. 213 с.
- Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979. 654 с.
- Микеладзе М.А. Развитие основных моделей самодиагностирования сложных технических систем // Автоматика и телемеханика. 1995. № 5. С. 3−18.
- Микропроцессоры PowerPC 603, 604, 620 // Монитор. № 4. 1995. С. 6−9.
- Микропроцессорные комплекты БИС на основе интегральной инжекционной логики / В. С. Борисов, Ф. С. Власов, Э. П. Калошкин и др.- Под ред. Э. П. Калошкина. М.: Радио и связь, 1984. 248 с.
- Миренков H.H. Параллельное программирование для многомодульных вычислительных систем. М.: Радио и связь, 1989. 320 с.
- Многопроцессорные ЭВМ и методы их проектирования / Б. А. Бабаян, А. В. Бочаров, В. С. Волин и др. М.: Высшая школа, 1990.143 с.
- Мозгалевский A.B., Гаскаров Д. В. Техническая диагностика. М.: Высшая школа, 1974. 207 с.
- МП-3?.i860?.Неизвестные?! Незнакомые! / А. Лякишев, Е. Монахова, В. Новичихин, С. Степаненко // PC Week. Russian Edition. 1996. № 1,2
- Мы впереди ! // Мир связи, 1998. № 12 1999. № 1. С. 9.
- Мюллер Д.Е., Препарата Ф. П. Перестроение арифметических выражений для параллельного вычисления // Кибернетический сборник. Новая серия. Вып. 16. М.: Мир, 1979. С. 5−22.
- Набор команд процессоров Alpha пополняется новыми мультимедиа-инструкциями // ComputerWeek-Moscow. 1996. № 30.
- Назаров Л.Н. Многопроцессорные вычислительные комплексы «Эльбрус» // Проблемы информатизации. 1997. Вып. 1−2. С. 33−37.
- Настраиваемый инструментальный комплекс для разработки систем на секционированных микропроцессорах / О. И. Семенков. Л. А. Гриншпан, Е. М. Злотник и др. // Управляющие системы и машины. 1984. № 2. С. 36−39.
- Ope О. Теория графов. М.: Наука, 1980. 336 с.
- Основы технической диагностики. В 2-х книгах. Кн. 1. Модели объектов, методы и алгоритмы диагноза / Под ред. П. П. Пархоменко. М.: Энергия, 1976. 464 с.
- Падуа Д., Вольф М. Оптимизация в компиляторах для суперкомпьютеров // Векторизация программ: теория, методы, реализация. Сб. статей. М.: Мир, 1991. С. 7−47.
- Палагин A.B., Денисенко E.JL, Юсифов С. И. О формализации проектирования микропроцессоров с несколькими операционными блоками: Препринт / АН УССР, Ин-т кибернетики им. В.М.Глушкова- 85−32. Киев, 1985. 19 с.
- Палагин A.B., Слободянюк Т. Ф., Юсифов С. И. Проектирование мультиоперационных микропроцессоров на базе набора БИС со «слайсовой» структурой // Кибернетика. 1987. № 5. С. 73−78.
- Пападимитриу X., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. М.: Мир, 1985. 512 с.
- Параллельные вычисления / Под ред. Г. Родрига. М.: Наука, 1986. 376 с.
- Параллельная обработка информации: В 5 томах. Том 1. Распараллеливание алгоритмов обработки информации / A.B. Бабичев, В. А. Вальковский, В. В. Грицык и др.- Под ред. А. Н. Свенсона. Киев: Наук, думка, 1985. 280 с.
- Пархоменко П.П., Согомонян Е. С. Основы технической диагностики. М.: Энергия, 1981. 320 с.
- Перминов О.Н. Программирование на языке Паскаль. М.: Радио и связь, 1988. 224 с.
- Петрова Ю. RISC-процессоры третьего поколения // ComputerWeek-Moscow. 1995. № 22, 23.
- Плотников Е.В. Метод функционального диагностирования вычислительных сетей на макроуровне // Электронное моделирование. 1986. № 3. С. 41−44.
- Погребной В.К. Об автоматизации распределения памяти на графовых моделях алгоритмов // Управляющие системы и машины. 1980. № 5. С. 37−42.
- Подсистема автоматизированного проектирования микропрограмм / В. Н. Голубкин, В. В. Тимофеев, Э. Т. Емелеев, И. М. Якимов // Вопросы радиоэлектроники. Серия Электрон, вычисл. техн. 1982. Вып. 7. С. 49−54.
- Подсистема автоматизированного проектирования микропрограмм АВТПРОМ / Л. В. Арсентьева, Г. В. Поляков, Д. А. Скиндер, Ю. А. Татарников // Обмен производственно-техническим опытом. 1986. № 9. С. 34−37.
- Прангишвили И.В., Виленкин С. Я., Медведев И. Л. Параллельные системы с общим управлением. М.: Энергоатомиздат, 1983. 312 с.
- Применение булевых матриц в решении задач контроля технического состояния дискретных устройств и систем / Н. Н. Новиков, В. Н. Козлов, Н. М. Емелин, Ю. В. Астапенко // Надежность и контроль качества. 1998. № 3. С. 33−41.
- Проектирование цифровых систем на комплектах микропро-граммируемых БИС / С. С. Булгаков, В. М. Мещеряков, В. В. Новоселов, Л.А.Шумилов- Под ред. В. Г. Колесникова. М.: Радио и связь, 1984.240 с.
- Программирование на параллельных вычислительных системах / Р. Бэбб, Дж. Мак-Гроу, Т. Акселрод и др.- Под ред. Р. Бэбба И. М.: Мир, 1991. 376 с.
- Процессоры ТпМесНа с архитектурой У1Л? // СотрШ: ег?еек-Моэсоху. 1996. № 25.
- Радойчевски В.Ц., Шалаев А. Я. Параллельная диагностируе-мость модульных систем при централизованной дешифрации синдрома // Электронное моделирование. 1992. № 1. С. 57−63.
- Разработка и отладка микропрограммного обеспечения цифровых систем на основе секционированных микропроцессоров / А. Г. Алексенко, А. Г. Гапоненко, А. Д. Иванников, И. Д. Курилов // Микропроцессорные средства и системы. 1986. № 1. С. 37−43.
- Разработка методов и средств автоматизации управления для специализированных вычислительных структур: Отчет о НИР / Рязан. радиотехн. ин-т- Руководитель В. П. Корячко. № гос. per. 1 860 119 417- инв. № 0287.0 66 576. Рязань, 1987. 118 с.
- Разработка методов и средств автоматизации управления для специализированных вычислительных структур: Отчет о НИР / Рязан. радиотехн. ин-т- Руководитель В. П. Корячко. № гос. per. 1 860 119 417- инв. № 0288.0 78 232. Рязань, 1988. 142 с.
- Разработка методов и средств исследования эффективности микропрограммируемых вычислительных структур: Отчет о НИР / Рязан. радиотехн. ин-т- Руководитель В. П. Корячко. № гос. per. 1 840 040 820- инв. № 0286.0 52 805. Рязань, 1985. 201 с.
- Разработка методов и средств реализации навигационных задач на микропроцессорных системах и микроЭВМ: Отчет о НИР / Рязан. радиотехн. ин-т- Руководитель В. П. Корячко. № гос. per. 1 830 066 876- инв. № 0287.0 63 880. Рязань, 1985. 158 с.
- Разработка структуры САПР морской электронной геологоразведочной аппаратуры: Отчет о НИР / Рязан. радиотехн. ин-т- Руководитель В. П. Корячко. № гос. per. 1 860 004 815- инв. № 0287.0 34 003. Рязань, 1987. 258 с.
- Реджеевски P.P. Об арифметических выражениях и деревьях // Кибернетический сборник. Новая серия. Вып. 7. М.: Мир, 1970. С. 99−107.
- Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980. 476 с.
- Рейуорд-Смит Д.Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 1988. 128 с.
- Ручкин В.H., Скворцов C.B., Телков И. А. Анализ и оптимизация структуры автоматизированной системы обработки телеметрической информации / Рязан. радиотехн. ин-т. Рязань, 1982. 17 с. Деп. в ЦНИИТЭИ Приборостроения, № 1766пр-Д82.
- Рыбаков А. Процессоры семейства PowerPC // КомпьютерПресс. 1996. № 2. С. 86−93.
- Рыжков А.П. Правильная билотическая граф-модель параллельного вычислительного процесса и ее свойства // Известия АН СССР. Техническая кибернетика. 1976. № 2. С. 96−104.
- Савельев А.Я. Прикладная теория цифровых автоматов. М.: Высшая шкода, 1987. 272 с.
- Свидетельство об официальной регистрации программы для ЭВМ № 940 304, Россия. Программа анализа потоков команд (АНАЛИЗ) / С. В. Скворцов, И. А. Телков. Зарегистрировано в РосАПО 25.07.94, заявка № 940 216.
- Свидетельство об официальной регистрации программы для ЭВМ № 980 507, Россия. Программа анализа и выбора диагностических моделей модульных систем / А. В. Буслов, С. В. Скворцов. Зарегистрировано в РосАПО 20.08.98, заявка № 980 376.
- Свидетельство об официальной регистрации программы для ЭВМ № 980 385, Россия. Программа генерации графовых моделей (ГенГраф) / С. В. Скворцов, С. В. Шувиков. Зарегистрировано в РосАПО2306.98, заявка № 980 253.
- Свидетельство об официальной регистрации программы для ЭВМ № 990 663, Россия. Учебно-исследовательский кросс-транслятор, ориентированный на генерацию параллельного объектного кода /
- M.Е.Горюнов, С. В. Скворцов, С. В. Шувиков. Зарегистрировано в РОСПАТЕНТ 13.09.99, заявка № 990 545.
- Сир Ж. К. Метод потока операндов в многопроцессорных системах типа MIMD // Системы параллельной обработки / Под ред. Д.Ивенса. М.: Мир, 1985. С. 240−276.
- Системы команд процессоров пополняются мультимедиа-инструкциями // ComputerWeek-Moscow. 1996. № 32.
- Системы параллельной обработки / Под ред. Д.Ивенса. М.: Мир, 1985. 416 с.
- Скворцов C.B. Распределение ресурсов специализированной вычислительной системы при автоматизированном проектировании микропрограмм / Рязан. радиотехн. ин-т. Рязань, 1985. 11 с. Деп. в ЦНИИТЭИ Приборостроения 30.05.85, № 2895пр-85.
- Скворцов C.B. Построение оптимальной последовательности управляющих микрокоманд для специализированных микропроцессорных систем / Рязан. радиотехн. ин-т. Рязань, 1986. 15 с. Деп. в ЦНИИТЭИ Приборостроения 24.10.86, № 3536-пр.
- Скворцов C.B. Применение списочных расписаний при микропрограммировании микропроцессорных систем // Микропроцессорные устройства и автоматизация проектирования: Межвуз. сб. / Рязан. радиотехн. ин-т. Рязань, 1986. С. 41−45.
- Скворцов C.B. Автоматизированное проектирование символических микропрограмм для специализированных микропроцессорных систем // Проектирование вычислительных машин и систем: Межвуз. сб. / Рязан. радиотехн. ин-т. Рязань, 1987. С. 51−54.
- Скворцов C.B. Планирование загрузки управляющей памяти при микропрограммировании микропроцессорных систем // Автоматизация проектирования и микроминиатюризация ЭВМ: Межвуз. сб. / Рязан. радиотехн. ин-т. Рязань, 1988. С. 37−42.
- Скворцов C.B. Исследование алгоритмов составления расписаний для многопроцессорных систем с использованием смешанных графов / Рязан. радиотехн. ин-т. Рязань, 1989. 17 с. Деп. в Информприбор 20.03.89, № 4556-пр89.
- Скворцов C.B. Средства синтеза микропрограмм для маги-стрально-модульных микропроцессорных систем // Автоматика и вычислительная техника. 1990. № 2. С. 88−93.
- Скворцов C.B. Итерационный метод синтеза микропрограмм с заданными характеристиками // Автоматизация проектирования микроэлектронных вычислительных средств: Межвуз. сб. / Рязан. радиотехн. ин-т. Рязань, 1990. С. 35−39.
- Скворцов C.B. Лингвистическое обеспечение САПР: Методические указания к лабораторным работам / Рязан. радиотехн. ин-т. Рязань, 1990. 40 с.
- Скворцов C.B. Проектирование языков САПР: Учебное пособие / Рязан. радиотехн. ин-т. Рязань, 1991. 64 с.
- Скворцов C.B. Организация отказоустойчивых вычислений в магистрально-модульных многопроцессорных системах // Вестник Рязанской государственной радиотехнической академии. 1996. Вып. 1. С. 27−32.
- Скворцов C.B. Оптимизация кода для суперскалярных процессоров с использованием дизъюнктивных графов // Программирование. 1996. № 2. С. 41−52.
- Скворцов C.B. Модель организации параллельных вычислений в суперскалярных процессорах // Вычислительные машины, комплексы и сети: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1996. С. 41−52.
- Скворцов C.B. Применение метода ветвей и границ к задаче оптимизации кода для суперскалярных процессоров // Вестник Рязанской государственной радиотехнической академии. 1997. Вып. 2. С. 65−70.
- Скворцов C.B. Целочисленные модели оптимизации кода по критерию времени // Информационные технологии. 1997. № 10. С. 2−7.
- Скворцов C.B. Распараллеливание кода с циклами и ветвлениями на основе дизъюнктивных графов // Новые информационные технологии: Межвуз. сб./Рязан. гос. радиотехн. акад. Рязань, 1997. С. 48−55.
- Скворцов C.B. Синтез параллельных объектных программ с неоднозначно заданными операциями / Рязан. гос. радиотехн. акад. Рязань, 1997. 27 с. Деп. в ВИМИ 16.01.98, № ДО-8728.
- Скворцов C.B. Применение симметричной диагностической модели при организации активной отказоустойчивости многопроцессорных систем // Вестник Рязанской государственной радиотехнической академии. 1998. Вып. 4. С. 57−64.
- Скворцов C.B. Оптимизация скалярных вычислений в параллельных процессах: необходимость и современные средства / Рязан. гос. радиотехн. акад. Рязань, 1998. 20 с. Деп. в ВИМИ 20.03.98, № ДО-8717.
- Скворцов C.B. Глобальная оптимизация параллельных объектных программ / Рязан. гос. радиотехн. акад. Рязань, 1998. 30 с. Деп. в ВИМИ 16.04.98, № ДО-8729.
- Скворцов C.B. Оптимизация распределения регистров в процессорах с суперскалярной архитектурой / Рязан. гос. радиотехн. акад. Рязань, 1998. 30 с. Деп. в ВИМИ 21.09.98, № ДО-8741.
- Скворцов C.B. Анализ логической структуры программы в процессе синтеза параллельного объектного кода // Новые информационные технологии: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1998. С. 75−82.
- Скворцов C.B. Решение задачи характеризации для одной симметричной диагностической модели // Вестник Рязанской государственной радиотехнической академии. 1999. Вып. 5. С. 23−26.
- Скворцов C.B. Модель размещения временных данных в регистровых файлах суперскалярного процессора // Вычислительные машины, комплексы и сети: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1999. С. 85−89.
- Скворцов C.B., Новиков М. А. Расширение описания графа микропрограммы // Конструирование специализированной электронно-вычислительной аппаратуры: Межвуз. сб. / Рязан. радиотехн. ин-т. Рязань, 1984. С. 110−114.
- Скворцов C.B., Скворцов Н. В. Реализация отказоустойчивых вычислений в магистрально-модульной многопроцессорной системе // Проблемы автоматизированного проектирования: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1996. С. 52−58.
- Скворцов C.B., Скворцов Н. В. Выбор диагностических моделей для организации активной отказоустойчивости многопроцессорных систем // Новые информационные технологии: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1997. С. 55−61.
- Скворцов C.B., Скворцов Н. В. Синтез диагностических графов с экстремальными характеристиками // Новые информационные технологии: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1997. С. 118−123.
- Скворцов C.B., Телков И. А. Языки моделирования в САПР вычислительных систем: Учебное пособие / Рязан. радиотехн. ин-т. Рязань, 1992. 48 с.
- Скворцов C.B., Телков И. А. Оценка временных характеристик потоков команд для организации параллельных вычислений // Проблемы обработки информации: Межвуз. сб. / Рязан. гос. радиотехн. акад. Рязань, 1995. С. 56−61.
- Скворцов C.B., Хрюкин В. И. Экстремальные пути на графах: Методические указания к практическим занятиям / Рязан. гос. радиотехн. акад. Рязань, 1995. 32 с.
- Скворцов C.B., Хрюкин В. И. Эмулятор микропроцессорного тренажера МТ1804: Методические указания к лабораторным работам / Рязан. гос. радиотехн. акад. Рязань, 1995. 32 с.
- Скворцов C.B., Шувиков В. И. Формализованный синтез микропрограмм // Микроминиатюризация радиоэлектронных устройств: Межвуз. сб. / Рязан. радиотехн. ин-т. Рязань, 1983. С. 17−21.
- Скворцов C.B., Шувиков В. И. Формализованный синтез микрокоманд // Автоматизация проектирования микроэлектронной аппаратуры: Тез. докл. Всесоюзного совещания. Владимир, ноябрь 1983. М., 1983. Ч. 1. С. 32−33.
- Скворцов C.B., Шувиков C.B. Синтаксический разбор выражений для параллельного вычисления // Новые информационные технологии: Межвуз. сб./Рязан. гос. радиотехн. акад. Рязань, 1998. С. 69−74.
- Скворцов C.B. Шувиков C.B. Разбор выражений для VLIW-процессоров // Новые информационные технологии в радиоэлектронике: Тез. докл. Всероссийской научно-технич. конф. Рязань, май 1998. Рязань: РГРТА, 1998. С. 54−57.
- Скэнлон JI. Персональные ЭВМ IBM PC и XT. Программирование на языке ассемблера. М.: Радио и связь, 1989. 336 с.
- Сточный A.A., Кондратьев А. И. Теоретико-игровое информационное моделирование в системах принятия решений. Киев: Наукова думка, 1986. 279 с.
- СуперЭВМ. Аппаратная и программная организация / Под ред. С.Фернбаха. М.: Радио и связь, 1991. 320 с.
- Танаев B.C., Шкурба В. В. Введение в теорию расписаний. М.: Наука, 1975. 256 с.
- Теория и методы автоматизации проектирования вычислительных систем / Под ред. М.Брейера. М.: Мир, 1977. 284 с.
- Тербер К. Дж. Архитектура высокопроизводительных вычислительных систем. М.: Наука, 1985. 272 с.
- Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. М.: Наука, 1981. 254 с.
- Трахтенгерц Э.А. Влияние архитектуры и структуры многопроцессорных вычислительных машин на языки программирования и методы трансляции // Автоматика и телемеханика. 1986. № 3. С. 5−47.
- Трахтенгерц Э.А. Программное обеспечение параллельных процессов. М.: Наука, 1987. 272 с.
- Трусов С.С. Об эффективности простых диспетчеров // Изв. АН СССР. Техническая кибернетика. 1973. № 4. С. 150−160.
- Управление и оптимизация производственно-технологических процессов / Н. М. Вихров, Д. В. Гаскаров, А. А. Грищенков, А.А.Шнуренко- Под ред. Д. В. Гаскарова. СПб.: Энергоатомиздат. Санкт-Петербургское отд-ние, 1995. 301 с.
- Ферранте Дж., Оттенштейн К., Уоррен Дж. Граф программных зависимостей и его применение в оптимизации // Векторизация программ: теория, методы, реализация. Сб. статей. М.: Мир, 1991. С. 141−182.
- ФордЛ.Р., ФалкерсонД.Р. Потоки в сетях. М.: Мир, 1966.276 с.
- Французов Ю.А. Реорганизация кода по графу зависимости данных для ЭВМ векторно-конвейерного типа // Программирование. 1989. № 3. С. 25−49.
- Французов Ю.А. Планирование потока команд с отложенным распределением регистров // Программирование. 1991. № 1. С. 58−66.
- Французов Ю.А. Обзор методов распараллеливания кода и программной конвейеризации// Программирование. 1992. № 3. С. 16−37.
- Фрир Дж. Построение вычислительных систем на базе перспективных микропроцессоров. М.: Мир, 1990. 413 с.
- Хантер Р. Проектирование и конструирование компиляторов. М.: Финансы и статистика. 1984. 232 с.
- Хетагуров Я. А., Древе Ю. Г. Проектирование информационно-вычислительных комплексов. М.: Высшая школа, 1987. 279 с.
- Хокни Р., Джессхоуп К. Параллельные ЭВМ. Архитектура, программирование и алгоритмы. М.: Радио и связь, 1986. 392 с.
- Ху Т. Целочисленное программирование и потоки в сетях. М.: Мир, 1974. 519 с.
- Цой С., Цхай С. М. Прикладная теория графов. Алма-Ата: Наука, 1971. 500 с.
- Чернобровцев A. Hewlett-Packard выпускает рабочие станции и серверы с процессорами РА-8000 // ComputerWeek-Moscow. 1996. № 27.
- Чу Я. Организация ЭВМ и микропрограммирование. М.: Мир, 1975. 592 с.
- Шадский А. Семейство DEC Alpha АХР // Открытые системы. 1994. № 3. С. 12−16.
- Шейдвассер М.А. О длине и ширине размещений графов в решетках // Проблемы кибернетики: Сб. статей. Вып. 29. М.: Наука, 1974. С. 63−102.
- Шнитман В. Архитектура процессоров UltraSPARC // Открытые системы. 1996. № 2. С. 5−13.
- Шнитман В. Отказоустойчивые компьютеры компании Stratus // Открытые системы. 1998. № 1. С. 12−22.
- Шубинский И.Б. Об одном подходе к обеспечению надежности модульных систем обработки информации // Надежность и контроль качества. 1984. № 9. С. 10−15.
- Шубинский И.Б. Активная защита от отказов. М.: Знание, 1987. 61 с.
- Элементы параллельного программирования / В.А. Вальков-ский, В. Е. Котов, А. Г. Марчук, Н.Н.Миренков- Под ред. В. Е. Котова. М.: Радио и связь, 1983. 240 с.
- Электроника СБИС. Проектирование микроструктур / Под ред. Н.Айнспрука. М.: Мир, 1989. 256 с.
- HP 9000 что внутри?//Системы и решения. 1996. № 3. С. 4−5.
- Р7 процессор с архитектурой нового типа // ComputerWeek-Moscow. 1996. № 25.
- RISC-технологии и вопросы разработки современных БЦВМ / В. И. Штейнберг, И. Б. Григорьева, В. А. Белов, В. Ф. Мишин // Проблемы информатизации. 1998. Вып. 3−4. С. 28−37.
- Anderson J.P. A note on compiling algorithms // Communications of the ACM. 1964. № 7. P. 145−150.
- Baer J.L., Bovet D.P. Compilation of arithmetic expressions for parallel computations // Proc. IFIP Congr., 1968. Amsterdam: North-Holland Publ. Co. 1968. P. 340−346
- Barsi F., Grandoni F., Maestrini P. A Theory of Diagnosability of Digital Systems // IEEE Trans. Comput. 1976. V. C-25. № 6. P. 585−593.
- Beatty J.C. An axiomatic approach to code optimization for expressions // Journal of ACM. 1972. V. 19. № 4. P. 613−640.
- Belady L.A. A study of replacement algorithms for a virtual-storage computer // IBM Systems Journal. 1966. № 5. P. 78−82.
- Colwell R.P., Nix R.P., O’Donnel J J., et. al. A VLIW architecture for a trace scheduling compiler // IEEE Trans. Comput. 1988. V. C-37. № 8. P. 967−979.
- Dasgupta S., Tartar J. The identification of maximal parallelism in straight-line microprograms // IEEE Trans. Comput. 1976. V. C-25. № 10. P. 986−991.
- Dasgupta S. Parallelism in loop-free microprograms // Proc. IFIP Congr. 1977. P. 745−750.
- Eppstein D., Galil Z. Parallel algorithms techniques for combinatorial optimization // Ann. Rev. Comput. Sei. 1988. V. 3. P. 233−283.
- Fischer C.N., LeBlanc R.J. Crafting a compilers with C. The Benjamin / Cummings Publishing Company, Inc., 1991. 812 p.
- Fisher J.A. Trace scheduling: A technique for global microcode compaction // IEEE Trans. Comput. 1981. V. C-30. № 7. P. 478−490.
- Fisher J.A., Landscov D., Shriver B. Microcode compaction: Looking backward and looking forward // Proc. of the 1981 AFIPS National Computer Conf. 1981. V. 50. P. 95−102.
- Fisher J.A. A Very Long Instruction Word architectures and ELI-512 // Proc. of the 10th Symp. on Compiler Architectures, IEEE. June 1983. P. 140−150.
- Fisher J.A. The VLIW machine: a multiprocessor for compiling scientific cod // IEEE Computer. 1984. V. 17. № 7. P. 45−53.
- Fisher J.A., O’Donnel J.J. VLIW machines: multiprocessors we can actually program // COMPCON 84, IEEE, Feb. 1984. P. 299−305.
- Fisher J.A., Ellis J.A., Ruttenberg J.C., Nicolau A. Parallel processing: a smart compiler and dump machine // SIGPLAN Notices. 1984. V. 19. № 6. P. 37−47.
- Fisher J.A. The VLIW architecture: supercomputing via overlapped execution // The Second Intern. Conf. on Supercomputing. Santa Clara, California. May 3−8. 1987.
- Fortune S., Wile J. Parallelizm in random access machines // Proc. of 10th ACM STOC 1978. P. 114−118.
- Foster C.C., Riseman E.M. Percolation of code to enhance parallel dispatching and execution // IEEE Trans. Comput. 1972. V. C-21. № 12. P. 1411−1415.
- Hakimi S.L., Amin A.T. Characterization of the connection assignment of diagnosable systems // IEEE Trans. Comput. 1974. V. C-23. № 1. P. 86−88.
- Kavianpour A., Friedman A.D. Different Diagnostic Models for Multiprocessor Systems // Information Processing 80: Proc. IFIP Congr. Tokyo-Melburn, 1980. P. 157−162.
- Lam M.S. Instruction scheduling for superscalar architectures // Annu. Rev. Comput. Sei. 1990. V. 4. P. 173−201.
- Local microcode compaction techniques / D. Landscov, S. Davidson, B. Shriver, P.W.Mallett // ACM Comput. Surveys. 1980. V. 12. № 3. P. 261−294.
- Margulis N. The Intel 80 860//Byte. 1989. December. P. 333−339.
- Margulis N. i860 Microprocessor Internal Architecture // Microprocessors and Microsystems. 1990. V. 14. № 2. P. 89−96.
- Nakata I. A note on compiling algoritms for arithmetic expressions // Communications of the ACM. 1967. V. 10. № 10. P. 492−494.
- Nicolau A., Fisher J.A. Measuring the parallelism available for Very Long Instruction Word architectures // IEEE Trans. Comput. 1984. V. C-33. № 11. P. 968−976.
- Nicolau A. Uniform parallelism exploitation in ordinary programs // Proc. of the 1985 Intern. Conf. on Parallel Processing, Aug. 1985. P. 614−618.
- Polychronopoulos C.D., Kuck D.J., Padua D.A. Execution of parallel loops on parallel processor systems // Int. Conf. Parallel Process., Aug. 19−22, 1986. Washington, D. C., 1986. P. 519−527.
- Preparata F.P., Metze G., Chien R.T. On the Connection Assignment Problem of Diagnosable Systems // IEEE Trans. Electron. Comput. 1967. V. EC-16. № 6. P. 848−854.
- Ramamoorthy S.V., Gonzalez M.J. A survey of techniques for recognizing parallel programs//Proc. FICC AFIPS, USA. 1969. V. 35. P. 1−15.
- Ramamoorthy S.V., Park J.H., Li H.F. Compilation techniques for recognition of parallel processable tasks in arithmetic expressions // IEEE Trans. Comput. 1973. V. C-22. № 11. P. 986−998.
- Ramamoorthy C.V., Tsuchiya M. A high-level language for horizontal microprogramming // IEEE Trans. Comput. 1974. V. C-23. № 8. P. 791−802.
- Riseman E.M., Foster C.C. The inhibition of potential parallelism by conditional jumps // IEEE Trans. Comput. 1972. V. C-21. № 12. P. 1405−1411.425
- Siewiorec D.P. Architecture of Fault-Tolerant Computers // Computer. 1984. V. 17. № 8. P. 9−18.
- Squir I.S. A translation algorithm for multiple processor computer // Proc. 18 th ACM Nat. Conf. Colorado: Denver, 1963. P. 174−191.
- Some experiments in local microcode compaction for horizontal machines / S. Davidson, D. Landscov, B. Shriver, P.W.Mallett // IEEE Trans. Comput. 1981. V. C-30. № 7. P. 460−477.
- Stone H.S. One-pass compilation of arithmetic expressions for a parallel processor // Communications of the ACM. 1967. V. 10. № 4. P. 220−223.
- Tokoro M., Tamura E., Takizuka T. Optimization of microprograms // IEEE Trans. Comput. 1982. V. C-30. № 7. P. 491−504.
- Tsuchiya M., Gonzalez M.J. Toward optimization of horizontal microprograms // IEEE Trans. Comput. 1976. V. C-25. № 10. P. 992−999.
- Tjaden C.S., Flynn M.J. Detection and parallel execution of independent instructions // IEEE Trans. Comput. 1970. V. C-19. № 10. P. 889−895.
- АЛУ арифметико-логическое устройство
- БИС большая интегральная схема
- БНФ форма Бэкуса-Наура (нормальная форма Бэкуса)
- БМУ блок микропрограммного управления1. ВМ вычислительный модуль1. ВС вычислительная система
- ГЗД граф зависимости по данным1. ДГ диагностический граф1. ДМ диагностическая модель
- ИМ -информационная магистраль1. КС командное слово1. ЛБ линейный блок1. ЛУ линейный участок1. МКС микрокомандное слово1. МО микрооперация1. РгФ регистровый файл
- РОН регистр общего назначения
- СБИС- сверхбольшая интегральная схема1. УМ управляющий модуль1. УП управляющая память1. ФМ функциональный модуль
- ФУ функциональное устройство1. ЭК элементарная команда1. ЭП элементарная проверка
- BSP Burroughs Scientific Processor1. MMX MultiMedia extensions
- PRAM Parallel Random Access Machine1. RAM Random Access Machine
- SIMD Single Instruction — Multiple Data
- VIS Visual Instruction Set
- VLIW Very Long Instruction Word
- Результаты исследования алгоритмов оптимизации объектного кода