Исследовательский центр мультипроцессорных систем ИПС РАН

На этой странице:

• Структура центра
• Основные направления исследований
• Другие направления исследований
• Ранее выполненные проекты

Смотри также

• Семинар по математике
• Список сотрудников

Структура центра

• Лаборатория программных систем для параллельных архитектур,
• Лаборатория автоматизации программирования,
• Лаборатория задач малой размерности (уже не существует),
• Лаборатория дистанционного образования.

Основные направления исследований

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

2. Адаптация к конфигурации мультипроцессора, отказоустойчивость. Все ПО (операционная система, прикладные задачи) корректно работает в мультипроцессоре с произвольной конфигурацией - с любым числом процессоров, с произвольным соединением процессоров в мультипроцессорную сеть. Таким образом, при изменении конфигурации мультипроцессора не требуется выполнять никаких изменений в ПО. Кроме того, это свойство обеспечивает отказоустойчивость системы, что особенно важно при реализации упавляющих комплексов для критических технологий (ядерная энергетика и т.п.).

• Intel 80386/80387, Intel 80486
• INMOS T-800, INMOS T-9000

Проект выполняется с учетом требования мобильности системы. Все делается для того, чтобы перенос системы на мультипроцессоры, основанные на других кристаллах, не был трудоемким.

Другие направления исследований

• функциональные языки программирования.
• компьютерная алгебра: разработка систем, языков и пакетов компьютерной алгебры, разработка математических методов точного (символьного) решения дифференциальных уравннений.
• чистая математика: дифференциальная геометрия, теория особенностей, инварианты узлов, теория графов.

Ранее выполненные проекты

Язык программирования FLAC

ПО используется программистами при написании пакетов компьютерной алгебры.

Институт Программных Систем