Распараллеливание программ для суперкомпьютеров с параллельной памятью и открытая распараллеливающая система
Диссертация
Предложен метод минимизации межпроцессорных пересылок на основе алгоритмов переразмещения данных. Получены новые общие алгоритмы переразмещения данных в параллельной памяти для различных коммуникационных систем. Для таких важных случаев, когда в качестве коммуникационной системы выступает полнодоступный коммутатор или п-мерный куб — доказана оптимальность (неулучшаемость) разработанных… Читать ещё >
Список литературы
- Абрамов С., Адамович А., Коваленко М. Т-система: среда программирования с поддержкой автоматического динамического распараллеливания на платформе «IP-сеть UNIX-компьютеров». www.botik.ru/4 abram/ts-pabs.html
- Адигеев М.Г. Экономичные коммутационные схемы и распараллеливание программ. Диссертация на соискание ученой степени кандидата технических наук, Ростов-на-Дону, ростовский госуниверситет, 2000 г., 143 с.
- Аллен Р., Кеннеди К. Автоматическая трансляция Фортран-программ в векторную форму.//Векторизация программ: теория, методы, реализация. М.: Мир, 1991. С. 77−140.
- Андрианов А.Н., Ефимкин К. Н., Задыхайло И. Б. Непроцедурный язык для решения задач математической физики.// Программирование, № 2, 1991, с. 80−94.
- Антонов А.С., Крысанов Б. Ю. Сравнение характеристик кластерных систем при помощи вычислительного полигона // Научный сервис в сети Интернет. Труды Всероссийской научной конференции, г. Новороссийск, 22−27 сентября 2003. М.: изд-во МГУ, с. 342−344.
- Антонов А.С. Параллельное программирование с использованием технологии MPI.// М.: Изд-во МГУ, 2004 г., 71 с.
- Артамонов Г. Т. Топология регулярных вычислительных сетей и сред/ М., «Радио и связь», 1985, 192 с.
- Артамонов Г. Т., Тюрин В. Д. Топология сетей ЭВМ и многопроцессорных систем// М., «Радио и связь», 1991,248 с.
- Архангельская А.А., Ершов В. А., Нейман В. И. Автоматическая коммутация каналов связи. М.: «Связь», 1970, 192 е.
- Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов// М., «Мир», 1979, 536 с.
- Бабаян Б.А. Уровень программирования и архитектурные принципы построения ЭВМ //В сб. «Кибернетика и вычислительная техника», М., «Наука», 1986, № 2, с. 18−27.
- Бабаян Б. Основные принципы архитектуры Е2К. «Main Principles ofE2K Architecture», Free Software Magazine, v. 1, Issue 02, Feb 2002 17. (Китай).
- Бабичев А.В., Лебедев В. Г. Распараллеливание программных циклов./ Программирование// 1983, N 5, с. 52−63.
- Бахтеяров С.А., Язык программирования ОККАМ//М.: МНИИПУ, 1989, 87 с.
- Бахтин В.А., Коновалов Н. А., Крюков В. А. Расширение языка ОрепМР Fortran для программирования GRID-приложений. Научный сервис в сети Интернет. Труды Всероссийской научной конференции, 23−28 сентября 2002, г. Новороссийск. М.: изд-во МГУ, с. 273.
- Белецкий В.Н. Многопроцессорные и параллельные структуры с организацией асинхронных вычислений. // Киев, «Наукова думка», 1988,240 с.
- Бенеш В.Э. Математические основы теории телефонных сообщений.-М.: «Связь», 1968,292 с.
- Большие задачи и суперЭВМ.// ТИИЭР, том 77, № 7, 1989 г.
- Бочаров Н.В. Технологии и техника параллельного программирования.// Программирование. № 1,2003, с. 5−23.
- Букатов А.А., Дацюк В. Н., Жегуло А. И. Программирование многопроцессорных вычислительных систем// Ростов-на-Дону: Изд-во ООО «ЦВВР», 2003 г.
- Бурцев B.C. новые подходы к оценке качества вычислительных средств.// Интеллектуальные и многопроцессорные системы — 1999/ Тезисы докладов Международной научной конференции. Таганрог: Изд-во ТРТУ, 1999, с. 9−21.
- Головков С.JI., Рубин А. Г. Смирнов В.К. Монитор поддержки параллельных научно-технических задач в сети Интернет // Научный сервис в сети Интернет. Труды Всероссийской научной конференции, г. Новороссийск, 22−27 сентября 2003, М.: изд-во МГУ, с. 79−82.
- Вальковский В.А., Распараллеливание алгоритмов и программ. Структурный подход/ М., «Радио и связь», 1989 г., 176 с.
- Вальковский В.А. Параллельное выполнение циклов. Метод пирамид. Кибернетика. 1983, N 5. с. 51−55.
- Вальковский В.А. Параллельное выполнение циклов. Метод параллелепипедов. Кибернетика. 1982, N 2. с. 51−62.
- Валях Е. Последовательно-параллельные вычисления// М., Мир, 1985, 456 с.
- Векторизация программ. // Векторизация программ: теория, методы, реализация. / Сборник переводов статей М.: Мир, 1991. С. 246 267.
- Воеводин В.В. Математические модели и методы в параллельных процессах// М.: Наука, гл. ред. физ.-мат. лит., 1986, 296 с.
- Воеводин В.В. Математические основы параллельных вычислений, М., МГУ, 1991,345 с.
- Воеводин В. В. Воеводин Вл.В. Параллельные вычисления, С-Петербург «БХВ-Петербург», 2002, 599 с.
- Воеводин В. В. Пакулев В.В. Определение дуг графа алгоритма. М., Отдел вычислительной математики АН СССР, 1989,22 с. (препринт).
- Воеводин Вл. В. Статистические оценки возможности выявления параллельной структуры последовательных программ. // Программирование, № 4, 1990, с. 44−54.
- Воеводин Вл. В. Теория и практика исследования параллелизма последовательных программ. // Программирование, № 3, 1992, с. 38−54.
- Воробьев Н.Н. Числа Фибоначчи// М., Наука, Гл. ред. физ. мат. лит., 1984, 144 с.
- Вьюкова Н.И., Галатенко В. А., Самборский С. В., Шумаков С. М. Генерация эффективного кода для процессорных архитектур с явным параллелизмом// Программирование, 2002, № 5, с. 27−51.
- Галюк Ю.Н., Золотарев В. И., Менонов В.П. GRID: отказоустойчивая схема многокластерных вычислений // Научный сервис в сети Интернет. Труды Всероссийской научной конференции, г. Новороссийск, 22−27 сентября 2003. М.: изд-во МГУ, с. 87.
- Головкин Б.А. Параллельные вычислительные системы.// М., Наука,. Гл. ред. физ.-мат. лит., 1980, 518 с.
- Гохберг И.Ц., Фельдман И. А. Уравнения в свертках и проекционные методы их решений. М.: Наука, 1971.
- Евстигнеев В.А. Некоторые особенности программного обеспечения ЭВМ с длинным командным словом (Обзор) //Программирование, 1991, N 2, с. 69−80.
- Евстигнеев В.А., Касьянов В. Н. Оптимизирующие преобразования в распараллеливающих компиляторах// Программирование, 1996, № 6, с. 1226.
- Евстигнеев В.А., Мирзуитова И. А. Анализ циклов: выбор кандидатов на распараллеливание. Препринт № 58, ИСИ РАН, Новосибирск, 1999, 41 с.
- Евстигнеев В.А., Спрогис С. В. Векторизация программ. В сборнике: «Векторизация программ: теория, методы, реализация.» — М.: Мир, 1991, с. 246−267.
- Ершов Н.М., Попов A.M. Оптимизация параллельных вычислений с учетом архитектуры и быстродействия связей в вычислительной системе.// Вестн. Моск. ун-та. Сер. 15, Вычислительная математика и кибернетика. 1993, N 1.С. 24−30.
- Жегуло О.А. Непроцедурное представление преобразований программ в системе поддержки распараллеливания. // Компьютерное моделирование. Вычислительные технологии. Ростов-на-Дону, ЦВВР, 2003 г. с. 27−40.
- Затуливетер Ю.С. Введение в проблему параметризованного синтеза программ для параллельных компьютеров/М., ИПУ РАН, препринт, 1993, 89с.
- Затуливетер Ю.С. К глобальному компьютеру// Научный сервис в сети Интернет. Труды Всероссийской научной конференции, г. Новороссийск, 22−27 сентября 2003. М.: изд-во МГУ, с. 186−190.
- Игумнов А.С., Открытая платформа отладки параллельных программ// Научный сервис в сети Интернет. Труды Всероссийской научной конференции, г. Новороссийск, 22−27 сентября 2003. М.: изд-во МГУ, с. 92−94.
- Иванников В.П., Гайсарян С. С. Особенности систем программирования для векторно-конвейерной ЭВМ//В сб. «Кибернетика и вычислительная техника», М., «Наука», 1986, № 2, с. 3−17.
- Касперский К. Техника оптимизации программ. Эффективное использование памяти. СПб.: БХВ-Петербург, 2003 г. — 456 с.
- Касьянов В.Н., Оптимизирующие преобразования программ/ М., «Наука», 1988 г., 336 с.
- Касьянов В.Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003 г. — 1104 с.
- Каляев А.В., Левин И. И. Модульно-наращиваемые многопроцессорные системы со структурно-процедурной организацией вычислений //М., «Янус-К», 2003, 380 с.
- Каляев А.В., Однородные коммутационные регистровые структуры// М., «Советское радио», 1978, 334 с.
- Каляев А.В., Многопроцессорные системы с программируемой архитектурой, М., «Радио и связь», 1984, 240 с.
- Сэм Канер, Джек Фолк, Енг Кек Нгуен Тестирование программного обеспечения.//Киев, DiaSoft, 2000, 544 с.
- Ки-Чанг Ким Мелкозернистое распараллеливание неполных гнезд циклов// Программирование, 1997, № 2, с. 52−66.
- Ковалев М.М. Дискретная оптимизация./ Мн. Изд-во БГУ, 1977, 192 с.
- Коваль В.В. Современные методы трансформации программ. // Компьютерное моделирование. Вычислительные технологии. Ростов-на-Дону, ЦВВР, 2003 г. с. 41−58.
- Кодачигов В.И. Электронная коммутация информационных каналов. — Ростов-на-Дону, изд-во Ростовского университета, 1983,208 с.
- Корнеев В.В. Параллельные вычислительные системы// М., «Нолидж», 1999, 311 с.
- Корнеев В.В., Киселев А. В., Современные микропроцессоры. 2 издание. М., «НОЛИДЖ», 2000 г., с. 315.
- Корнеев В.В., Хорошевский В. Г. Архитектура вычислительных систем с программируемой структурой// Новосибирск, Ин-т математики СО АН СССР, препринт ОВС-Ю, 1979, 48 с.
- Корнеев В.В., Хорошевский В. Г. Структура и функциональная организация вычислительных систем с программируемой структурой// Новосибирск, Ин-т математики СО АН СССР, препринт ОВС-11, 1979,48 с.
- Котов В.Е., Сети Петри/ М. «Наука», Гл. редакция ф.-м. лит., 1984, 159 с.
- Котов В.Е., Черкасова Л. А. Сетевой подход к описанию семантики параллельных систем и процессов. //В сб. «Кибернетика и вычислительная техника», М., «Наука», 1986, № 2, с. 75−94.
- Коуги П.М. Архитектура конвейерных ЭВМ//М., «Радио и связь», 1985 г. 358с.
- Кристофидес Н. Алгоритмы на графах. М.: Мир, 1974. «
- Кун С. Матричные процессоры на СБИС// М. Мир., 1991, 672 с.
- Лазарева С.А. Многоуровневое представление программ при автоматическом распараллеливании// Математическое моделирование, 1997, т. 9, № 2, с. 31−33.
- Лацис А.О. Как собрать и использовать суперкомпьютер.// М. „Бестселлер“, 2003,238 с.
- Лиходед Н.А. Распределение операций и массивов данных между процессорами.// Программирование, 2003, № 3, с. 73−80.
- Луговой В.В. Методы реализации внутреннего представления программ в CASE-системе распараллеливания программ. // Компьютерное моделирование. Вычислительные технологии. Ростов-на-Дону, ЦВВР, 2003 г. с. 91−99.
- Маккиман У., Хорнинг Дж., Уортман Д. Генератор компиляторов// М., „Статистика“, 1980, 527 с.
- Маркушевич А.И. Возвратные последовательности. // М., Наука, Гл. ред. физ. мат. лит., 1983, 47 с.
- Малер Д., Препарата Ф. Нахождение пересечения двух выпуклых многогранников./ Кибернетический сборник. Новая серия. Вып. 20// М: Мир, 1983, 224 с.
- Матиясевич Ю.В. Вещественные числа и ЭВМ. //В сб. „Кибернетика и вычислительная техника“, М., „Наука“, 1986, № 2, с. 104−133.
- Метлицкий Е.А., Каверзнев В. В. Системы параллельной памяти. Теория, проектирование, применение. Ленинград, ЛГУ, 1989
- Миренков Н.Н., Параллельное программирование для многомодульных вычислительных систем.// М., „Радио и связь“, 1989, 320 с.
- Напрасникова М.В., Штейнберг Б. Я. Автоматизация тестирования программ в учебном процессе// Тезисы докладов учебно-методической конференции „Современные информационные технологии в учебном процессе“ (25−26 апреля 2000 г).-Ростов-на-Дону, 2000.
- Немнюгин С., Стесик О. Параллельное программирование для многопроцессорных вычислительных систем. // С.-Петербург, „БХВ-Петербург“, 2002,
- Подлазов B.C. Свойства мультикольцевых и гиперкубовых коммутаторов на произвольных перестановках. // РАСО'2001/ Труды международной конференции „Параллельные вычисления и задачи управления“. М., 24 октября 2001 г., ИПУ РАН, с. 152−164.
- Прангишвили И.В., Виленкин СЛ., Медведев И. Л., Параллельные вычислительные системы с общим управлением// М.: Энергоатомиздат, 1983.-312 с.
- Программирование на параллельных вычислительных системах. Под редакцией Р. Бэбба. // М., Мир, 1991, 372 с.
- Самарский А.А. Введение в численные методы.-М.: Наука, 1987, 280 с.
- Самофалов К.Г., Луцкий Г. М. Основы теории многоуровневых конвейерных вычислительных систем. Москва: Радио и связь, 1989, 272 с.
- Серебряков В.А. Циклическая программная конвейеризация и трансляция DO циклов для сильносвязанных многопроцессорных систем// Программирование, 1992, № 3, с. 54−60.
- Системы параллельной обработки// Под редакцией Д. Ивенса, М., Мир, 1985,413 с.
- Трахтенгерц Э.А. Программное обеспечение параллельных процессов. Москва: Наука, 1987.
- Фаддеева В.Н., Фаддеев Д. К. Параллельные вычисления в линейной алгебре. 1.// Кибернетика.-1977.- N 6, с. 28−40.
- Фаддеев Д.К., Фаддеева В. Н. Параллельные вычисления в линейной алгебре. 2. Кибернетика, 1982, № 3, с. 18−31,44.
- Филамофитский М.П. Система Х-СОМ: организация распределенных вычислений в сети Интернет// Научный сервис в сети Интернет. Труды Всероссийской научной конференции, г. Новороссийск, 22−27 сентября 2003. М.: изд-во МГУ, с. 363−367.
- Французов Ю.А. Обзор методов распараллеливания кода и программной конвейеризации// Программирование, 1992, № 3, с. 16−37.
- Фролов А. В. Оптимизация размещения массивов в ФОРТРАН-программах на многопроцессорных вычислительных системах.// Программирование, 1998, № 3, с. 70−80.
- Фролов А. В. Нахождение и использование ориентированных разрезов реальных графов алгоритмов/ЯТрограммирование, 1998, № 3, с. 70−80.
- Фролов А.В. Инструментальная система для распараллеливания фортран-программ как пример использования Интернет-технологий в программировании. Тезисы докладов всероссийской научной конференции. Новороссийск. 24−29.09.2001. Москва: МГУ, 2001. с. 221−222.
- Хокни Р.У., Джесхоуп К. Р. Параллельные ЭВМ. Архитектура, программирование и алгоритмы/ М., „радио и связь“, 1986 г., 392 с.
- Хожайнова С.А. Статистические данные о распараллеливаемости программ.- Смешанные вычисления и преобразования программ. Тезисы докладов. Новосибирск, институт систем информатики и вычислительный центр АН СССР. 27−29 ноября 1990 .
- Хохлюк В.И. Параллельные алгоритмы целочисленной оптимизации. // М., „Радио и связь“, 1987, 224 с.
- Черняев А.П. Программные системы векторизации и распараллеливания ФОРТРАН-программ для некоторых векторно-конвейерных ЭВМ (обзор)//Программирование, 1991, № 2, с. 53−68.
- Черняев А.П. Системы программирования для высокопроизводительных ЭВМ.// Итоги науки и техники. Вычислительные науки. Т.З. М., ВИНИТИ АН СССР, 1990, с. 1−141.
- Ширай А.Е. Системная поддержка вычислений в комплексе с автоматическим распределением ресурсов. // Интеллектуальные и многопроцессорные системы 2003/ Тезисы докладов Международной научной конференции. Таганрог: Изд-во ТРТУ, 2003, с.54−55.
- Штейнберг Б.Я. Распараллеливание рекуррентных циклов с условными операторами//Автоматика и телемеханика/ 1995, N6, с. 176−184.
- Штейнберг Б.Я. Открытая распараллеливающая система.// РАСО'2001/ Труды международной конференции „Параллельные вычисления и задачи управления“. М., 2−4 октября 2001 г., ИПУ РАН, с. 214−220.
- Штейнберг Б .Я. Стандартные процедуры для распараллеливания некратных циклов. Рукоп. деп. в ВИНИТИ 10.02.89, т. 701−89, 1989 г., 8 с.
- Штейнберг Б.Я. Вершины области изменения параметров циклов и информационная независимость.- 1-я Всесоюзная конференция „Однородные вычислительные среды и систолические структуры“, 17−20 апреля 1990 г., тезисы докладов, т. З, г. Львов, с. 112−116.
- Штейнберг Б.Я. Оптимальные параллельные переразмещения двумерных массивов.//Программирование, N 6, 1993 г. с.81−88.
- Штейнберг Б.Я. Бесконфликтные размещения массивов при параллельных вычислениях// Кибернетика и системный анализ/1999, N 1, с. 166 178.
- Штейнберг Б.Я. Операторы типа дискретной свертки и их нетеро-вость.- Математические заметки, 1978, т. 23, вып. 3., с. 417−423.
- Штейнберг Б.Я. Об операторах типа свертки на локально компактных группах.- Функциональный анализ и его приложения, 1981, т. 15, вып. 3., с. 95−96.
- Штейнберг Б.Я. Ограниченность и компактность операторов свертки с неограниченными коэффициентами на локально компактных группах.-Математические заметки, 1985, т.38, вып.2., с. 278−292.
- Деундяк В.М., Штейнберг Б. Я. Об индексе операторов свертки с медленно изменяющимися коэффициентами на абелевых группах.- Функциональный анализ и его приложения, 1985, т. 19, вып.4., с. 84−85.
- Штейнберг Б.Я. Операторы Винера-Хопфа с осциллирующими коэффициентами Дифференциальные уравнения, 1987, т.23, N 9.
- Штейнберг Б.Я. Нетеровость и индекс многомерных сверток с коэффициентами типа быстро осциллирующих.- Сибирский математический журнал, 1990, т. 31, N 4, с. 180−186.
- Steinberg B.J. The Compactification of a Local Compact Group and a Fredholmness of Convolutions with coefficients on Factor Groups// Mark Krein International Conference „Operator Theory and Applications"/ Odessa, August 18−22,1997, Abstracts
- Компактификация локально компактных групп и нетеровость операторов свертки с коэффициентами на факторгруппах//Труды С.-Петербургского математического общества, т.6, 1998, с.242−260.
- Штейнберг Б.Я. Подстановка и переименование индексных переменных в многомерных циклах.// Известия вузов. Северокавказский регион. Юбилейный выпуск. 2002 г., с. 94−99.
- Штейнберг Б .Я. Распараллеливание рекуррентных программных циклов.// Информационные технологии, № 4,2004 г., с. 16 — 23.
- Штейнберг Б.Я. Математические методы распараллеливания рекуррентных программных циклов на суперкомпьютеры с параллельной памятью.// Ростов-на-Дону, Издательство Ростовского университета, 2004 г., 192 с.
- Штейнберг Б.Я., Напрасникова М. В. Минимальное множество контрольных дуг при тестировании программных модулей.// Известия ВУЗов. Северо-Кавказский регион. Естественные науки, 2003, № 4, с. 15−18.
- Штейнберг Б.Я. Преобразования программ и граф информационных связей//Ростов-на-Дону, РГУ, методические указания, 1997 г., с. 23.
- Штейнберг Б.Я. Распараллеливающие и оптимизирующие преобразования программных циклов//Ростов-на-Дону, РГУ, методические указания, 1997 г., с. 24.
- Штейнберг Б.Я. Распараллеливание III. Разбиение программных циклов.// Ростов-на-Дону: УПЛ РГУ, 1999. 31 с.
- Штейнберг Б.Я., Распараллеливание, IY. Подстановка и переименование индексных переменных в многомерных циклах. // Ростов-на-Дону: УПЛ РГУ, 2000,26 с.
- Штейнберг Б.Я. Параллельное решение СЛАУ с ленточными матрицами и распараллеливание рекуррентных циклов. // Ростов-на-Дону: УПЛ РГУ, 2000,31 с.
- Электроника, т. 61, N 5 (787), 1988 г.
- Almasi G.S., Gottlib A. Highly Parallel Computing.- 1989, The Benja-min/Cummings Publishing Company, inc.
- The Charm++ Programming Language Manual// University of Illinois at Urbana-Champain, 78 p., http://charm.cs.uiuc.edu/research/bluegene/
- Cooper K.D., Torcson L. Engineering a Compiler.// Morgan Kaufmann Publishers, Elsvier Science, San Francisko, USA, 2003.. .
- Collard Jean-Francois, Feautrier Paul, Risset Tanguy Construction of DO Loops from Systems of Affine Constraints/ZLaboratoire de I’lnformatique du Parallelisme, Lyon, Institut IMAG, Research Report № 93−15, May 1993, p. 126.
- Croz D.J.J., Mayes P.J.D., Wasnewski J. Wilson S. Applications of Level 2 BLAS in the NAG library. Parallel Computing, 8, 1988, p. 345−350. North-Holland... .
- Cytron R., Ferrante J. What’s in a name? Or The value of renaming for parallelism detection and storage allocation. IBM Res. Rep. RC 12 785 (#55 984), 1987.
- Enzler R. The Current Status of Reconfigurable Computing. Swiss Federal Institute of Technology. CH-8092, Curich, Technical Report, July, 1999. 22 p.
- Fahringer Т., Scholz B. A Unified Symbolic Evaluation Framework for Parallelizing Compilers// IEEE Transactions on Parallel and Distributed Systems, vol. 11, № 11, November 2000, c. 1105−1125.
- Faigin K.A., Hoeflinger J.P., Padua D.A., Petersen P.M., Weatherford S.A. The Polaris Internel Representation // February 18, 1994, p. 1−32., http://polaris.cs.uiuc.edu .
- Feautrier Paul Parametric Integer Programming// Laboratoire MASI, Institut Blaise Pascal, Universite de Versailles St-Quentin, 1988, p. 25.
- Feautrier Paul Data Flow Analysis for Array and Scalar References// International Journal of Parallel Programming/V. 20, N 1, Feb. 1991, p. 23−53.
- Feautrier Paul. Some efficient solutions no the affine scheduling problem. Part 1. One-dimentional Time. //"International journal of Parallel Programming“, V. 21, № 5, Octouber, 1992.
- Feautrier Paul. Some efficient solutions no the affine scheduling problem. Part 2. Multidimentional Time. // Technical Report, IBP/MASI, Number 92.78, Octouber, 1992,28 p.
- Fernandez Augustin, Llaberia Jose M., Valero-Garcia Miguel. Loop Transformation Using Nonunimodal Matrices // IEEE Transactions on Parallel and Distributed Systems, 1995, vol. 6, № 8, pp. 832−840.
- Hartenstein R.W. The Microprocessor is no more General Purpose: Why Furture Reconfigurable Platforms will win- Proceedings of the International Conference in Innovative Systems in Silicon, ISIS'97, Austin, Texas, USA, 8−10 October, 1997.
- Hoeflinger J.P., Paek Y., Padua D.A. Region-Based Parallelization Using the Region Test// Tech. Report, University of Illinois at Urbana-Champaign, Cntr. for Supercomputing R&D, 1996, CSRD Report, p. 1−8. http://polaris.cs.uiuc.edu
- Kuck D.J., Kuhn R.H., Leasure В., Wolfe M. Depedance graph and compiler optimizations. Proc. 8-th ACM Symp. On Principles of Progr. Lang. (Williamsburg, Va., Jan. 26−28), 1981, p. 207−218.
- Kuck D. The structure of computers and computations. John Wiley and Sons. Inc., New York, NY, 1978.
- Ku Jee Myeong The Design of an Efficient and Portable Interface between Parallelizing Compiler and its Target Machine. Thesis of Master of Science, University of Illinois, 1995. http://polaris.cs.uiuc.edu .
- Kulkurni D.,, Stumm M. Loop and Data Transformations: A Tutorial. Technical Report CSRI 337, Computer Systems Research Institute, Univercity of Toronto, June 1993,53 p.
- Lamport L. The Coordinate Method for the parallel execution of DO loops// Sagamore Computer Conference on Parallel Processing.- 1973, p. 1−12.
- Lamport L. The parallel execution of DO loops// Commun. ACM.-1974.-v.17, N 2, p. 83−93.
- Lim Amy W., Lam Monika S. Maximizing Parallelism and Minimizing Synchronization with Affine Partitions. Parallel Computing, 24, 1998, p. 445 475.
- Lim Amy W., Cheong Gerald I. and Lam Monika S. An Affine Partitioning Algorithm to Maximize Parallelism and Minimize Communication. Stanford University, Stanford, CA 94 305, 10 p.
- Lim Amy W., Lam Monika S. Cache Optimizing with Affine Partitioning. 14 p.
- Lim Amy W., Lam Monika S. Maximizing Parallelism and Minimizing Synchronization with Affine Transformations. 14 p.
- Padua D. Multiprocessors: Discussion of some theoretical and practical problems. Ph.D. thesis. Rep. 79−990. Dept. of Computer Science. Univ. of Illinois at Urbana Champaign. Oct. 1979.
- Pugh W. The Omega Test: a fast and practical integer programming algorithm for dependence analysis.// Comm. Of the ACM, August, 1992.201. http://polaris.cs.uiuc.edu
- Pottenger W.M. Theory, Techniques and Experiments in Solving Recurrences in Computer Programs. Thesis Ph/D in Computer Science, University of Illinois at Urbana-Champaign, 1997. http://polaris.cs.uiuc.edu
- Pottenger W.M. The Role of Associativity and Commutativity in the Detection and Transformation of Loop level Parallelism. University of Illinois at Urbana-Champaign. http://polaris.cs.uiuc.edu
- Paek Yunheung. Compiling for Distributed Memory Multiprocessors Based on Access Region Analysis. Thesis Ph/D in Computer Science, University of Illinois at Urbana-Champaign, 1997. http://polaris.cs.uiuc.edu
- Saboo N., Singla A.K., Under J.M., Kale L.V. Emulating PetaFLOPS Ma-chins and Blue Gene.// University of Illinois at Urbana-Champain, http://charm.cs.uiuc.edu/research/bluegene/
- Schauser K.E. Compiling Dataflow into Threads^/Research project, MS Thesis, July, 1991, University of California, Berkley, 71 p.www.es .ucsb .edu/schauser/papers/91 -fpca.ps
- Treleaven P.C. Parallel architecture overview.// Parallel Computing, 8 (1988), p. 59−70. North-Holland.
- Wolfe M. Beyond Induction Variables //SIGPLAN 1992, v. 27, № 7, p. 162−174.
- Министерство образования н науки Российской Федерации
- Ростовский государственный Университет
- РАСПАРАЛЛЕЛИВАНИЕ ПРОГРАММ ДЛЯ СУПЕРКОМПЬЮТЕРОВ С ПАРАЛЛЕЛЬНОЙ ПАМЯТЬЮ И ОТКРЫТАЯ РАСПАРАЛЛЕЛИВАЮЩАЯ СИСТЕМА.»
- Методы скалярной оптимизации линейных участков программ, в т. ч. протягивание константных значений массивов, которое является частным случаем подстановки индексных переменных в многомерных циклах.
- Оптимизация и распараллеливание вычисления рекуррентных циклов.
- Катаев О.В., зав. лаб., с.н.с., к.т.н.
- Мельник Э.В., зав. лаб., к.т.н.
- Дордопуло А.И., с.н.с., к.т.н.настоящим актом подтверждает, что внедрены и использовались следующиенаучно-теоретические положения докторской диссертации Штейнберга Б. Я.:
- Методы бесконфликтного размещения многомерных массивов в распределяемой памяти суперкомпьютера со структурно-процедурной реализацией вычислений.
- Методы отображения одномерных циклов языков программирования ФОРТРАН С на архитектуру суперкомпьютера со структурно-процедурной организацией вычислений.
- Методы отображающихся многомерных циклов на архитектуру суперкомпьютера со структурно-процедурной организацией вычислений на1. СИСТЕМА’иъъхоснове устранения выходной зависимости и антизависимости путем переименования индексных переменных.
- Демонстрационная версия компилятора с языка С на многопроцессорную систему со структурно-процедурной организацией вычислений.
- РАСПАРАЛЛЕЛИВАНИЕ ПРОГРАММ ДЛЯ СУПЕРКОМПЬЮТЕРОВ С ПАРАЛЛЕЛЬНОЙ ПАМЯТЬЮ И ОТКРЫТАЯ РАСПАРАЛЛЕЛИВАЮЩАЯ1. Комиссия в составе:
- Левин И.И., зав. отделом MB и УС, к.т.н.
- Семерников Е.А., с.н.с., к.т.н.
- Трунов И.Л., с.н.с., к.т.н.настоящим актом подтверждает, что внедрены и использовались следующие научно-теоретические положения докторской диссертации Штейнберга Б. Я.:
- Метод распараллеливания программ, содержащих циклы с рекуррентной зависимостью, на основе опережающего вычисления коэффициентов.
- Методы переразмещений данных в параллельной памяти и основанные на них алгоритмы распараллеливания программ с минимизацией межпроцессорных пересылок.
- Алгоритм определения оптимального количества процессоров при выполнении программных циклов, обеспечивающих максимальную1. СИСТЕМА’it
- Зав. отделом MB и УС, к.т.н.1. И.И. Левин1. С.н.с., к.т.н.1. Е.А. Семерников1. С.н.с., к.т.н.1. И.Л. Трунов1. ЗУ/
- ZD, OS. 2D04 /ir- DM. iSloS- Щ1. УТВЕРЖДАЮ
- Пирек-кТр"ОАО НКБ ВС, к.т.н.нберг И.И.1. АКТоб использовании результатов докторской диссертации доцента Ростовского государственного университета Штейнберга Б.Я.
- РАСПАРАЛЛЕЛИВАНИЕ ПРОГРАММ ДЛЯ СУПЕРКОМПЬЮТЕРОВ С ПАРАЛЛЕЛЬНОЙ ПАМЯТЬЮ И ОТКРЫТАЯ РАСПАРАЛЛЕЛИВАЮЩАЯ1. Комиссия в составе:
- Сапрыкин В.А., зав. отделом., с.н.с., к.т.н.
- Наумов В.В., главный конструктор проекта, к.ф.м.н.настоящим актом подтверждает, что в ОАО НКБ ВС использовались следующие научно-теоретические положения докторской диссертации Штейнберга Б.Я.
- Методы отображения одномерных циклов языка1. СИСТЕМА’itпрограммирования С на архитектуру суперкомпьютера со структурно-процедурной организацией вычислений.
- Методы оптимизирующих преобразований многомерных циклов для вычислений на суперкомпьютерах с параллельной архитектурой.
- Метод опережающего вычисления коэффициентов для выполнения программных циклов с линейной рекуррентной зависимостью.3W
- Зав. отделом., с.н.с., к.т.н.
- Главный конструктор проекта, к.ф.м.н. суИ Наумов1. ЪНЬ5.0^20 041. АКТоб использовании результатов докторской диссертации доцента кафедры алгебры и дискретной математики мехмата Ростовского государственного университета
- Штейнберга Бориса Яковлевича «Распараллеливание программ для суперкомпьютеров с параллельной памятью и Открытаяраспараллеливающая система».
- ПРЕДСЕДАТЕЛЬ КОМИССИИ декан мехмата, проф.1. Ерусалимский Я.М.
- Зам. декана по научн. работе, доц.
- ЧЛЕНЫ КОМИССИИ Зам. декана по уч. работе, доц.
- Зам. декана по уч. работе, доц.1. Чернявская И. А.1. Кряквин В.Д.1. Карякин М.И.