Проект: ИММ УрО РАН/Т-модель Система поддержки разработки и отладки масс-параллельных программ |
Основные разработчики |
Институт математики и механики УрО РАН (ИММ УрО
РАН) зав. отделом, к.т.н. Виктор Владимирович Самофалов <svv@oso.imm.intec.ru> |
Тип (теория, программная система, приложение, аппаратные средства) проекта |
Программная система |
Краткое описание |
Выработан 3-уровневый подход к разработке и
отладке параллельных программ:
Разработка программы начинается с описания и отладки параллельной составляющей алгоритма (Т-модель). На этом этапе основное внимание уделяется проблемам производитель-ности программ, загрузки и синхронизации процессов. Далее на основе модели задачи генерируется программа на целевом алгоритмическом языке и программист переходит к разработке вычислительной составляющей программы и ее отладке на инструментальной машине. На третьем этапе происходит отладка программ на реальной параллельной ЭВМ. В основе понятия Т-модель лежит CSP Хоара. Т-модель программы состоит из процессов, которые взаимодействуют через синхронные однонаправленные каналы. Процесс предполагается строго последовательным и состоит из операторов работы, обмена и управляющих операторов. Помимо модели программы, другая важная составляющая процесса моделирования--определение среды выполнения алгоритмической модели программы. Под средой выполнения понимается сочетание идеализированной параллельной ЭВМ и базовых операционных средств на ней. |
Область применения |
Отладка параллельных программ для ЭВМ с распределенной памятью |
Связь с другими проектами/платформами |
Базовая версия системы ориентирована на МВС-100 |
Завершенность проекта |
Разработана базовая версия, ориентированная на МВС-100 |
Контакты, ссылки на доп. информацию |
620219, Екатеринбург, С.Ковалевской 16, ИММ УрО РАН Институт математики и механики УрО РАН, зав. отд., к.т.н. Виктор Владимирович Самофалов, тел.: (343)274-51-12 e-mail: svv@oso.imm.intec.ru URLs: http://www.imm.intec.ru/GRAF/RUS/WIN/DEPARTMT/OSO.HTM |