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

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

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