РОССИЯ 
Проект: ИММ УрО РАН/Т-модель

Система поддержки разработки и отладки масс-параллельных программ

Основные разработчики
ИММ УрО РАН (Институт математики и механики Уральского Отделения РАН)
зав. отделом, к.т.н. Виктор Владимирович Самофалов
Тип (теория, программная система, приложение, аппаратные средства) проекта
Программная система
Краткое описание
Выработан 3-уровневый подход к разработке и отладке параллельных программ:
  • на уровне модели программы,
  • на уровне псевдопараллельного исполнения алгоритмического языка,
  • на реальной машине.

Разработка программы начинается с описания и отладки параллельной составляющей алгоритма (Т-модель).   На этом этапе основное внимание уделяется проблемам производитель-ности программ, загрузки и синхронизации процессов.

Далее на основе модели задачи генерируется программа на целевом алгоритмическом языке и программист переходит к разработке вычислительной составляющей программы и ее отладке на инструментальной машине.

На третьем этапе происходит отладка программ на реальной параллельной ЭВМ.

В основе понятия Т-модель лежит CSP Хоара.   Т-модель программы состоит из процессов, которые взаимодействуют через синхронные однонаправленные каналы.  Процесс предполагается строго последовательным и состоит из операторов работы, обмена и управляющих операторов.

Помимо модели программы, другая важная составляющая процесса моделирования--определение среды выполнения алгоритмической модели программы.  Под средой выполнения понимается сочетание идеализированной параллельной ЭВМ и базовых операционных средств на ней.

Область применения
Отладка параллельных программ для ЭВМ с распределенной памятью
Связь с другими проектами/платформами
Базовая версия системы ориентирована на МВС-100
Завершенность проекта
Разработана базовая версия, ориентированная на МВС-100
Контакты, ссылки на доп. информацию
Виктор Владимирович Самофалов,
тел.: (343)274-51-12 e-mail: svv@oso.imm.intec.ru

© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ
Rambler's Top100