Модели распределенных вычислений

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