Search academic texts

Registration Number

0419U000172, Candidate dissertation

Title

Methods for automation of development of autotuners for parallel programs

Author

Ivanenko Pavlo ,

popup.head Doroshenko Anatoliy Yuhimovich
popup.opponent Panchenko Taras
popup.opponent Letychevskyi Oleksandr

Status

Кандидат фізико-математичних наук, 01.05.03, Математичне та програмне забезпечення обчислювальних машин і систем

Date

14-12-2018

Description

Дисертація присвячена розробці методів і моделей для автоматизації оптимізації програм у сучасних паралельних платформах. Розроблені методи формалізовані у побудованих моделях автотюнінга. Ефективність методів пояснюється й аналізується у моделі PRAM* – запропонованому розширенні класичної моделі додатковим рівнем пам’яті. Коректність методів доводиться у термінах дискретних динамічних систем. Для цього було побудовано алгебро-динамічну модель автотюнінгу для мультипроцесорних платформ. Також створено програмну реалізацію усіх запропонованих методів автотюнінга, що не залежить від предметної області задачі й операційної системи обчислювального середовища. Система автотюнінга базується на системі правил переписування й орієнтована в першу чергу на програмні додатки на мові Java. Загалом запропоноване рішення підходить для будь-якої імперативної мови програмування. Розроблені засоби було застосовано для оптимізації складних обчислювальних задач, в результаті досягнуто значні показники їх ефективності.