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