Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса

Анотація

Основним вирішенням проблеми підвищення ефективності паралельних обчислювальних систем є методи формального синтезу ефективних часопараметризованих мультипаралельних моделей задач. Стаття присвячена задачі дослідження ефективності використання методів формального синтезу даного класу паралельних моделей для конкретних прикладних задач, що робить її актуальною та практично значущою. У роботі проведено аналіз методів паралельної обробки даних та показників ефективності, а також аналіз методів синтезу та засобів специфікації та візуалізації паралельних статичних та часопараметризованих моделей задач. Розроблено паралельну часопараметризовану модель алгоритму Гауса на основі методу структур СЧС, а також паралельну часопараметризовану модель алгоритму Гауса на основі методу структур СЧС та формальних поліномів. Дана порівняльна оцінка ефективності цих двох методів синтезу для критерію мінімізації кількості міжпроцесорних обмінів повідомленнями в кластерній системі. Розроблено програмну реалізацію створення паралельних часопараметризованих моделей розв'язання систем лінійних рівнянь методом Гауса для кластерних систем з урахуванням комунікаційної складової. Об'єктом дослідження є методи формального синтезу паралельних часопараметризованих моделей задач для обчислювальних систем з розподіленою пам’яттю (MPP, CLASTER). Предметом дослідження є ефективність використання методів формального синтезу мультипаралельних часопараметризованих моделей конкретних прикладних завдань для критерію мінімізації кількості міжпроцесорних обмінів повідомленнями у кластерній системі.