Посвящается проблеме автоматического распараллеливания алгоритмов и программ для последующего их исполнения на многопроцессорных вычислительных комплексах. Вводятся и изучаются с математических позиций параллельные вычислительные процессы над общей памятью. Рассматриваются вопросы максимального распараллеливания операторных схем для различных отношений эквивалентности. Предлагаются методы организации динамического распараллеливания программ. Доказывается ряд теорем, дающих необходимые и достаточные условия максимальной распараллеливаемости схем программ заданного класса в динамическом режиме. Приводятся некоторые важные следствия из этих теорем. Построены конкретные алгоритмы распараллеливания. Отдельно рассматриваются вопросы параллельной реализации циклических участков программ. Вв...
Posvjaschaetsja probleme avtomaticheskogo rasparallelivanija algoritmov i programm dlja posledujuschego ikh ispolnenija na mnogoprotsessornykh vychislitelnykh kompleksakh. Vvodjatsja i izuchajutsja s matematicheskikh pozitsij parallelnye vychislitelnye protsessy nad obschej pamjatju. Rassmatrivajutsja voprosy maksimalnogo rasparallelivanija operatornykh skhem dlja razlichnykh otnoshenij ekvivalentnosti. Predlagajutsja metody organizatsii dinamicheskogo rasparallelivanija programm. Dokazyvaetsja rjad teorem, dajuschikh neobkhodimye i dostatochnye uslovija maksimalnoj rasparallelivaemosti skhem programm zadannogo klassa v dinamicheskom rezhime. Privodjatsja nekotorye vazhnye sledstvija iz etikh teorem. Postroeny konkretnye algoritmy rasparallelivanija. Otdelno rassmatrivajutsja voprosy parallelnoj realizatsii tsiklicheskikh uchastkov programm. Vv...