Борисов Є. С. Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю

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