СТАТИЧЕСКИЙ АНАЛИЗ ПОСЛЕДОВАТЕЛЬНЫХ ПРОГРАММ В СИСТЕМЕ АВТОМАТИЗИРОВАННОГО РАСПАРАЛЛЕЛИВАНИЯ «САПФОР» |
| 5 | |
| 2012 |
| научная статья | 004.45 | ||
| 359-366 | САПФОР, DVM, OpenMP, анализ последовательных программ, зависимости по данным, приватные переменные, редукционные переменные |
| Для использования последовательных языков программирования при создании параллельной программы необходимо наличие эффективных средств анализа. Описывается подсистема анализа, входящая в САПФОР. Представлены результаты решения задачи анализа скалярных приватных переменных. Приводится описание структуры подсистемы анализа, представлены разработанные алгоритмы анализа, используемые в подсистеме анализа. Корректность и эффективность предложенных алгоритмов проверена на ряде задач. |
 |
| 1 . Воеводин В.В., Воеводин Вл.В. Параллельные вычисления. СПб.: БХВ-Петербург, 2004. 608 с. 2 . Система автоматизированной параллелизации Фортран-программ. URL: http://www.keldysh.ru/dvm/ SAPFOR/ (дата обращения: 02.04.2012). 3 . Бахтин В.А., Коновалов Н.А., Крюков В.А., Поддерюгина Н.В. Fortran OpenMP/DVM – язык параллельного программирования для кластеров // Материалы Второго Международ. науч.-практич. семинара «Высокопроизводительные параллельные вычисления на кластерных системах», Н. Новгород, 26–29 ноября 2002 г. C. 28–30. 4 . Бахтин В.А., Коновалов Н.А., Поддерюгина Н.В., Устюгов С.Д. Гибридный способ программирования DVM/OpenMP на SMP-кластерах // Труды Всерос. науч. конф. «Научный сервис в сети Интернет: технологии параллельного программирования», Новороссийск, сент. 2006 г. Изд-во МГУ. C. 128–130. 5 . Бахтин В.А., Клинов М.С., Крюков В.А. и др. Расширение DVM-модели параллельного программирования для кластеров с гетерогенными узлами // Труды Международ. суперкомпьютерной конф. «Научный сервис в сети Интернет: экзафлопсное будущее», Новороссийск, 19–24 сент. 2011 г. М.: Изд-во МГУ. С. 310–315. 6 . Крюков В.А., Клинов М.С., Бахтин В.А., Поддерюгина Н.В. Автоматическое распараллеливание последовательных программ для многоядерных кластеров // Труды Международ. суперкомпьютерной конф. «Научный сервис в сети Интернет: суперкомпьютерные центры и задачи», Новороссийск, 20–25 сент. 2010 г. М.: Изд-во МГУ. С. 12–15. 7 . Бахтин В.А., Бородич И.Г., Катаев Н.А. и др. Диалог с программистом в системе автоматизации распараллеливания САПФОР // Труды Международ. науч. конф. «Научный сервис в сети Интернет: экзафлопсное будущее», Новороссийск, 19–24 сент. 2011 г. М.: Изд-во МГУ, 2011. С. 67–70. 8 . Ахо А.В., Лам М.С., Сети Р., Ульман Дж.Д. Компиляторы: принципы, технологии и инструментарий. 2-е изд.: Пер. с англ. М.: ООО «И.Д.Вильямс», 2008. 1184 с. 9 . Главы 9, 11. pC++/Sage++ Home Page. URL: http://www. extreme.indiana.edu/sage/ (дата обращения 12.01.2012). 10 . Катаев Н.А. Система автоматизированного распараллеливания Фортран-программ: анализ многомодульных программ // Сборник тезисов лучших дипломных работ 2009 года. М.: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, МАКС Пресс, 2009. С. 141–142. 11 . Катаев Н.А. Анализ последовательных программ с помощью средств УБТ // Труды Международ. науч. конф. «Параллельные вычислительные технологии (ПаВТ’2011)», Москва, 28 марта – 1 апреля 2011 г. Челябинск: Издательский центр ЮУрГУ, 2011. С. 697. 12 . Optimizing Technologies. URL: http:// http:// www.optimitech.com/ (дата обращения: 15.01.2012). |