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

• Дата: 2010
• Автори: Дорошенко, А.Е., Жереб, К.А.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут програмних систем НАН України 2010
• Теми: Моделі та засоби паралельних і розподілених програм
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/6593
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 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.