Многопроцессорные системы. Архитектура, топология, анализ производительности. Бикташев Р.А - 59 стр.

контроллеру удаленной памяти посылается сообщение для обращения к
требуемым данным.
     Чтобы обойти проблемы когерентности, разделяемые (общие)
данные не кэшируются. Конечно, с помощью программного обеспечения
можно реализовать некоторую схему кэширования разделяемых данных
путем их копирования из общего адресного пространства в локальную
память конкретного узла. В этом случае когерентностью памяти также
будет управлять программное обеспечение. Преимуществом такого
подхода является практически минимально необходимая поддержка со
стороны аппаратуры, хотя наличие, например, таких возможностей как
блочное (групповое) копирование данных было бы весьма полезным.
Недостатком такой организации является то, что механизмы программной
поддержки когерентности подобного рода кэш-памяти компилятором
весьма ограничены. Существующая в настоящее время методика в
основном подходит для программ с хорошо структурированным
параллелизмом на уровне программного цикла.
      Машины с архитектурой, подобной Cray T3D, называют
процессорами (машинами) с массовым параллелизмом (MPP Massively
Parallel Processor). К машинам с массовым параллелизмом предъявляются
взаимно исключающие требования. Чем больше объем устройства, тем
большее число процессоров можно расположить в нем, тем длиннее
каналы передачи управления и данных, а значит и меньше тактовая
частота. Происшедшее возрастание нормы массивности для больших
машин до 512 и даже 64К процессоров обусловлено не ростом размеров
машины, а повышением степени интеграции схем, позволившей за
последние годы резко повысить плотность размещения элементов в
устройствах. Топология сети обмена между процессорами в такого рода
системах может быть различной. На рис. 2.10 приведены характеристики
сети обмена для некоторых коммерческих MPP.
     Для построения крупномасштабных систем альтернативой
рассмотренному в предыдущем разделе протоколу наблюдения может
служить протокол на основе справочника, который отслеживает состояние
кэшей. Такой подход предполагает, что логически единый справочник
хранит состояние каждого блока памяти, который может кэшироваться. В
справочнике обычно содержится информация о том, в каких кэшах
имеются копии данного блока, модифицировался ли данный блок и т.д. В
существующих реализациях этого направления справочник размещается
рядом с памятью. Имеются также протоколы, в которых часть информации
размещается в кэш-памяти.




                                 59