Заседание семинара "Математическое обеспечение высокопроизводительных вычислительных систем" 17.05.2017 в 15-00. "Использование вычислительных моделей для обеспечения автоматического конструирования фрагментированных программ в системе LuNA", Софронов И.В.

Cеминар ИВМиМГ СО РАН: 
Математическое обеспечение высокопроизводительных вычислительных систем
Дата / Время проведения: 
среда, 17 мая, 2017 - 15:00
Место проведения: 
малый конференц-зал ИВМиМГ СО РАН (1-233)
Докладчик
Ф.И.О. докладчика: 
Софронов И.В.
Должность: 
магистрант 2-года
Место работы: 
ФИТ НГУ
Название доклада: 
Использование вычислительных моделей для обеспечения автоматического конструирования фрагментированных программ в системе LuNA
Аннотация доклада: 

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

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