TY - JOUR

T1 - Построение комплекса автоматизированной отладки фрагментированных программ

AU - Власенко, Андрей Юрьевич

AU - Мичуров, Михаил Антонович

AU - Царев, Василий Дмитриевич

AU - Курбатов, Максим Андреевич

N1 - Построение комплекса автоматизированной отладки фрагментированных программ / А.Ю. Власенко, М.А. Мичуров, В.Д. Царев, М.А. Курбатов // Вестник Новосибирского государственного университета. Серия: Информационные технологии. – 2024. – Т. 22. - № 1. – С. 5-20.

PY - 2024

Y1 - 2024

N2 - В статье кратко изложена концепция фрагментированного программирования, а также принципиальное устройство системы автоматического конструирования параллельных программ LuNA (Language for Numerical Algorithms) и одноименного языка программирования. Описаны такие свойства системы LuNA, как возможность работы на вычислительных системах разных типов, динамическая балансировка нагрузки на узлы и процессорные ядра вычислительного кластера и другие. Целью описываемой в статье работы является создание программного комплекса отладки фрагментированных программ в системе LuNA. В связи с этим приведен ряд ошибок, специфических для фрагментированных программ. Перечислены подходы к отладке параллельных программ и проанализирована их применимость к фрагментированным программам. Подробно изложена реализация методов статического анализа и «посмертного анализа» в авторских средствах автоматизированной отладки фрагментированных программ для системы LuNA. Два средства статического анализа используют такие промежуточные представления, как абстрактное синтаксическое дерево и граф информационных зависимостей. Третье средство базируется на оригинальном методе статического анализа, заключающемся в генерации Prolog-программы, содержащей набор фактов об исходной LuNA-программе и соответствующие ошибочным ситуациям правила. При последующем запуске Prolog-программы факты проверяются на соответствие правилам, в результате чего пользователю выдаются сообщения о найденных ошибках. Представлена модель интеграции созданных средств в единый комплекс автоматизированной отладки фрагментированных программ, а также утилита автоматизированного тестирования инструментов отладки LuNA-программ.

AB - В статье кратко изложена концепция фрагментированного программирования, а также принципиальное устройство системы автоматического конструирования параллельных программ LuNA (Language for Numerical Algorithms) и одноименного языка программирования. Описаны такие свойства системы LuNA, как возможность работы на вычислительных системах разных типов, динамическая балансировка нагрузки на узлы и процессорные ядра вычислительного кластера и другие. Целью описываемой в статье работы является создание программного комплекса отладки фрагментированных программ в системе LuNA. В связи с этим приведен ряд ошибок, специфических для фрагментированных программ. Перечислены подходы к отладке параллельных программ и проанализирована их применимость к фрагментированным программам. Подробно изложена реализация методов статического анализа и «посмертного анализа» в авторских средствах автоматизированной отладки фрагментированных программ для системы LuNA. Два средства статического анализа используют такие промежуточные представления, как абстрактное синтаксическое дерево и граф информационных зависимостей. Третье средство базируется на оригинальном методе статического анализа, заключающемся в генерации Prolog-программы, содержащей набор фактов об исходной LuNA-программе и соответствующие ошибочным ситуациям правила. При последующем запуске Prolog-программы факты проверяются на соответствие правилам, в результате чего пользователю выдаются сообщения о найденных ошибках. Представлена модель интеграции созданных средств в единый комплекс автоматизированной отладки фрагментированных программ, а также утилита автоматизированного тестирования инструментов отладки LuNA-программ.

KW - ФРАГМЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ

KW - ЛОГИЧЕСКИЕ ОШИБКИ

KW - АВТОМАТИЗИРОВАННАЯ ОТЛАДКА

KW - СТАТИЧЕСКИЙ АНАЛИЗ

KW - "ПОСМЕРТНЫЙ АНАЛИЗ"

KW - СИСТЕМА LUNA

UR - https://elibrary.ru/item.asp?id=68534137

U2 - 10.25205/1818-7900-2024-22-1-5-20

DO - 10.25205/1818-7900-2024-22-1-5-20

M3 - статья

VL - 22

SP - 5

EP - 20

JO - Вестник Новосибирского государственного университета. Серия: Информационные технологии

JF - Вестник Новосибирского государственного университета. Серия: Информационные технологии

SN - 1818-7900

IS - 1

M1 - 1

ER -