Проект: ИММ УрО РАН/Т-модель
Система поддержки разработки и отладки масс-параллельных программ
Основные разработчики
Институт математики и механики УрО РАН (ИММ УрО РАН)
зав. отделом, к.т.н. Виктор Владимирович Самофалов <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

Back