Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью

Abstract

Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены их внутренние взаимосвязи и перспективные направления развития. Рассмотрены алгебродинамические модели параллельного взаимодействия последовательных программ и алгеброалгоритмические спецификации, ассоциированные с этими моделями. Изложены вопросы дискретных преобразователей над внутренней памятью и конвейерные вычисления, а также теория клонов и инструментальные средства синтеза параллельных алгоритмов и программ.

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

Issues of automata and algebraic research ascending to fundamental works of V.М. Glushkov are covered, the retrospective review of the basic results received in the given area is given and their internal interrelations and perspective directions of development are established. There are considered algebrai dynamic models of parallel interaction of the sequential programs and algebraic algorithmic specifications associated with these models. The questions of discrete transformers above internal memory and conveyor calculations are stated and also theory of clones and tool means of synthesis of parallel algorithms and programs are considered.