Рассматриваются существующие модели организации вычислений в параллельных системах, применяе-мые в различных инструментальных средствах. Предложены подходы к оценке єффективности параллель-ных систем с локальной памятью. Приведен математический формализм и семантика операций, программ-ная реализация которых позволит соответствовать математической модели.

Different models used in modern libraries and frameworks to organize computations in parallel systems arestudied and reviewed. An improved approach, which allows consideration of data locality in distributed system.The mathematical formalism of this model and semantics of operations on the model are described.