ОГЛЯД ПРОБЛЕМНО-ОРІЄНТОВАНИХ МОВ ПРОГРАМУВАННЯ ДЛЯ ПАРАЛЕЛЬНОГО АНАЛІЗУ СТАТИЧНИХ ГРАФІВ

Предметом вивчення в статті є проблемно-орієнтовані мови програмування для паралельного аналізу статичних графів. Метою даної статті є огляд підходів до реалізації проблемно-орієнтованих мов програмування на прикладі Green-Marl, OptiGraph, Elixir і Falcon, призначених для аналізу статичних графів. Завдання: показати ефективність використання предметно-орієнтованих мов програмування в аналізі статичних графів, якими можуть оперувати не тільки спеціалісти в області програмування, а й фахівці розробки математичних моделей і алгоритмів аналізу даних, зокрема із застосуванням теорії графів; розглянути існуючі DSL для аналізу статичних графів із застосуванням паралельних і розподілених обчислень; відзначити існуючі предметно-орієнтовані мови для побудови алгоритмів обходів графа; порівняти DSL з точки зору виразності паралелізму і застосовності для генерації високоефективних паралельних програм для суперкомп'ютерів і кластерних систем у вигляді зведеної таблиці з основними властивостями мов і їх компіляторів. Використовуваним методом є: проведення порівняльного аналізу предметно-орієнтованих мов програмування. Отримані такі результати: виявлено рівень ефективності використання предметно-орієнтованих мов програмування в аналізі статичних графів; розглянуто існуючі DSL; проведено порівняльний аналіз DSL. Висновки. В статті були розглянуті чотири проблемно-орієнтованих мови програмування, призначених для розробки і реалізації алгоритмів аналізу статичних графів.