Жереб К. А. Моделі та засоби програмування ефективних паралельних обчислень на основі техніки переписувальних правил

Дисертація присвячена розробці моделей і засобів, заснованих на техніці переписувальних правил, для автоматизованого проектування високоефективних обчислень для сучасних паралельних платформ. Побудовано алгебро-динамічні моделі структури програм та виконання програм для мультипоточної та відеографічної платформ. На основі побудованих моделей описані перетворення програм з метою переходу від послідовної до паралельної програми, а також підвищення ефективності паралельних програм за часом виконання. Описано використання побудованих моделей для доведення коректності перетворень. При цьому використовуються властивості програм: еквівалентність, безконфліктність, безтупиковість та достатні умови, що забезпечують виконання цих властивостей для певних класів програм. Створено програмний інструментарій на основі техніки переписувальних правил, який може бути використано для автоматизації застосування перетворень, побудови високорівневих моделей програм за початковим текстом програми, перевірки властивостей програм. Розроблені моделі та засоби апробовано на конкретних обчислювальних задачах, при цьому досягнуто суттєве підвищення продуктивності.