Проект: ИММ УрО РАН/Т-модель Система поддержки разработки и отладки масс-параллельных программ |
|
Основные разработчики | |
ИММ УрО РАН (Институт математики и механики Уральского Отделения РАН) зав. отделом, к.т.н. Виктор Владимирович Самофалов | |
Тип (теория, программная система, приложение, аппаратные средства) проекта | |
Программная система | |
Краткое описание | |
Выработан 3-уровневый подход к разработке и
отладке параллельных программ:
Разработка программы начинается с описания и отладки параллельной составляющей алгоритма (Т-модель). На этом этапе основное внимание уделяется проблемам производитель-ности программ, загрузки и синхронизации процессов. Далее на основе модели задачи генерируется программа на целевом алгоритмическом языке и программист переходит к разработке вычислительной составляющей программы и ее отладке на инструментальной машине. На третьем этапе происходит отладка программ на реальной параллельной ЭВМ. В основе понятия Т-модель лежит CSP Хоара. Т-модель программы состоит из процессов, которые взаимодействуют через синхронные однонаправленные каналы. Процесс предполагается строго последовательным и состоит из операторов работы, обмена и управляющих операторов. Помимо модели программы, другая важная составляющая процесса моделирования--определение среды выполнения алгоритмической модели программы. Под средой выполнения понимается сочетание идеализированной параллельной ЭВМ и базовых операционных средств на ней. |
|
Область применения | |
Отладка параллельных программ для ЭВМ с распределенной памятью | |
Связь с другими проектами/платформами | |
Базовая версия системы ориентирована на МВС-100 | |
Завершенность проекта | |
Разработана базовая версия, ориентированная на МВС-100 | |
Контакты, ссылки на доп. информацию | |
Виктор
Владимирович Самофалов, тел.: (343)274-51-12 e-mail: svv@oso.imm.intec.ru |
© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ