Войти
В информатике распределенная разделяемая память (DSM ) представляет собой форму архитектура памяти, в которой физически разделенные блоки памяти могут быть адресованы как одно логически разделяемое адресное пространство. Здесь термин «совместно используемая» не означает, что существует единственная централизованная память, но что адресное пространство является «совместно используемым» (один и тот же физический адрес на двух процессорах относится к одному и тому же месту в памяти). Распределенное глобальное адресное пространство (DGAS ) - аналогичный термин для широкого класса программных и аппаратных реализаций, в которых каждый узел из кластера имеет доступ к разделяемой памяти в дополнение к неразделенной частной памяти каждого узла .
. Система с распределенной памятью, часто называемая мультикомпьютером, состоит из нескольких независимых узлы обработки с локальными модулями памяти, которые связаны общей сетью межсоединений. Программные системы DSM могут быть реализованы в операционной системе или как программная библиотека и могут рассматриваться как расширения базовой архитектуры виртуальной памяти. При реализации в операционной системе такие системы прозрачны для разработчика; это означает, что основная распределенная память полностью скрыта от пользователей. Напротив, программные системы DSM, реализованные на уровне библиотеки или языка, непрозрачны, и разработчикам обычно приходится программировать их по-другому. Однако эти системы предлагают более переносимый подход к реализациям системы DSM. Система с распределенной общей памятью реализует модель с общей памятью в системе с физически распределенной памятью.
Обычно существует два метода достижения распределенной разделяемой памяти:
Существует три способа реализации программной распределенной разделяемой памяти:
| Передача сообщений | Распределенная разделяемая память |
|---|---|
| Переменные должны быть упорядочены | Переменные совместно используются напрямую |
| Стоимость связи очевидна | Стоимость связи невидима |
| Процессы защищены с помощью частного адресного пространства | Процессы могут вызвать ошибку изменение данных |
| Процессы должны выполняться одновременно | Выполнение процессов может происходить с неперекрывающимися сроками жизни |
Программные системы DSM также обладают гибкостью для организации области совместно используемой памяти различными способами. Страничный подход организует разделяемую память в страницы фиксированного размера. Напротив, объектно-ориентированный подход организует общую область памяти как абстрактное пространство для хранения совместно используемых объектов переменного размера. Другая часто встречающаяся реализация использует пространство кортежей , в котором единицей совместного использования является кортеж.
Архитектура общей памяти может включать разделение памяти на разделяемые части, распределенные между узлами и основной памятью; или распределение всей памяти между узлами. Протокол согласованности , выбранный в соответствии с моделью согласованности, поддерживает согласованность памяти.
Согласованность памяти необходима так, чтобы система, которая организует DSM, могла отслеживать и поддерживать состояние блоков данных в узлах через воспоминания, составляющие систему. Каталог - это один из таких механизмов, который поддерживает состояние блоков кеша, перемещающихся по системе.
Базовый DSM будет отслеживать по крайней мере три состояния среди узлов для любого данного блока в каталоге. Будет какое-то состояние, определяющее блок как некэшированный (U), состояние, определяющее блок как исключительно принадлежащий или модифицированный (EM), и состояние, определяющее блок как совместно используемый (S). Когда блоки входят в организацию каталога, они переходят из U в EM (состояние владения) в начальном узле, затем состояние может переходить в S, когда другие узлы начинают читать блок.
Существует два основных метода, позволяющих системе отслеживать, где блоки кэшируются и в каком состоянии на каждом узле. Ориентированный на дом запрос-ответ использует дом для обслуживания запросов и управления состояниями, тогда как ориентированный на запросчик позволяет каждому узлу управлять своими собственными запросами через дом и управлять ими.
Диаграмма состояний блока памяти в DSM. Блок является «принадлежащим», если один из узлов имеет блок в состоянии EM. В домашней системе DSM избегает необходимости обрабатывать запрос-ответ гоняется между узлами, позволяя происходить только одной транзакции за раз, пока домашний узел не решит, что транзакция завершена - обычно, когда домашний узел получил ответ всего отвечающего процессора на запрос. Примером этого является режим Intel QPI home-source.
В системе, ориентированной на запросчик, DSM позволит узлам по желанию общаться друг с другом через домашнюю сеть. Это означает, что несколько узлов могут попытаться начать транзакцию, но это требует дополнительных соображений для обеспечения согласованности. Например: когда один узел обрабатывает блок, если он получает запрос на этот блок от другого узла, он отправляет NAck (отрицательное подтверждение), чтобы сообщить инициатору, что узел обработки не может выполнить этот запрос сразу. Примером этого является режим источника отслеживания Intel QPI.
DSM должен следовать определенным правилам для поддержания согласованности в том, как порядок чтения и записи просматривается между узлами, это называется системной моделью согласованности.
Предположим, у нас есть n процессов и операции с памятью Mi для каждого процесса i, и что все операции выполняются последовательно. Мы можем заключить, что (M1 + M2 +… + Mn)! / (M1! M2!… Mn!) - возможные чередования операций. Проблема с этим выводом заключается в определении правильности чередующихся операций. Согласованность памяти для DSM определяет, какие чередования разрешены.
Есть два типа алгоритмов репликации. Репликация чтения и репликации записи. В репликации чтения несколько узлов могут читать одновременно, но только один узел может писать. В репликации записи несколько узлов могут читать и писать одновременно. Запросы на запись обрабатываются секвенсором. Репликация общих данных в целом имеет тенденцию:
Однако сохранение согласованности и согласованности может стать более сложной задачей.
