Протокол когерентности DASH для распределения памяти

Каждая резидентная строка ОЗУ имеет 3 глобальных состояния:

1. NC – не кешированная – копии строки нет удаленных узлах, но может быть в резидентном узле.

2. RS – удаленно-разделенная – копии строки имеются в удаленных узлах.

3. RM – удаленно-измененная – строка изменена операцией записи в нерезидентном узле.

Локальные состояния строк КЭШа (3 штуки):

1. NU – невозможная к использованию.

2. S – разделяемая – строка КЭШа не изменена и ее копии имеются в других узлах.

3. M – измененная – строка изменена операцией записи в данном узле.

Чтение:

1. Чтение из своего кэша при локальном состоянии S/M

2. При промахе чтения или локальном состоянии NU – посылается запрос «Промах чтения» в резидентный узел.

При глобальном состоянии NC/RS копия строки посылается в запрашиваемый узел.

При глобальном состоянии RM запрос из резидентного узла посылается в узел, содержащий измененную строку. Данный узел возвращает измененную копию строки резидентному узлу, устанавливается глобальное состояние RS. Резидентный узел возвращает запросившему узлу измененную строку.

Все узлы, разделяющие строку КЭШа, организуют список.

<рисунок>

Право записи имеет головной узел.

Перед выполнением операции записи узел S переместиться.

Запись:

1. При локальном состоянии M вычисления продолжаются сразу после выполнения операции записи.

2. При локальном состоянии NU/S операция записи начинается с посылки в резидентный узел запроса на захват строки в исключительное пользование. Ожидается подтверждение о переводе локального состояния строки в состояние NU (во всех узлах списка).

3. При глобальном состоянии строки NC строка посылается в запросивший узел, узел продолжает вычисления.

<таблица>

Применение явной когерентности обусловлено:

1. Слишком большим временем реализации.

2. Слишком высокие аппаратные затраты на реализацию.

SCI – кэши в узлах строятся на памяти резидентного узла (и кэширует удаленную память)

<у Арсентия>