Алгебро-динамические модели для распараллеливания программ

• Date: 2010
• Main Authors: Дорошенко, А.Е., Жереб, К.А.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2010
• Subjects: Моделі та засоби паралельних і розподілених програм
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/6593
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 2010. — № 1. — С. 39-55. — Бібліогр.: 19 назв. — рос.

Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения эффективности распараллеливания вычислений. Запропоновано алгебро-динамічні моделі та метод перевірки коректності оптимізуючих перетворень для мультипоточних програм та програм для графічних прискорювачів. Описано використання цих моделей за допомогою техніки переписувальних правил для доведенні коректності перетворень та підвищення ефективності розпаралелювання обчислень. We propose algebra-dynamic models and a method for checking correctness of optimizing transformations for multithread programs and programs for graphical processing units. Proposed models are used together with rewriting rules technique to prove correctness of transformations and increase effectiveness of program parallelization.