<<
>>

Секвенциальная состоятельность

Следующей мы рассмотрим модель секвенциальной состоятельности [121]. В соответствии с этой моделью при наличии нескольких запросов на чтение и запись порядок обработки запросов определяется аппаратно, но при этом все процессоры воспринимают один и тот же порядок.

Рассмотрим пример.

Предположим, процессор 1 записывает значение 100 в слово х, а через 1 нс процессор 2 записывает туда же значение 200. А теперь предположим, что через 1 нс после начала второй операции записи (процесс записи еще не закончен) два других процессора, 3 и 4, считывают слово х по два раза (рис. 8.19).

Возможные варианты очередности шести событий представлены в табл. 8.4.

Рис. 8.19. Два процессора записывают, а другие два процессора считывают одно и то же слово из общей памяти

операций считывания. Во втором варианте процессор 3 получает значения 100 и 200, а процессор 4 — оба раза по 200.

В третьем варианте процессор 3 получает два раза по 100, а процессор 4 — значения 200 и 100. Все эти варианты допустимы, как и некоторые другие, которые здесь не показаны.

Память, построенная в соответствии с моделью секвенциальной состоятельности, никогда не позволит процессору 3 получить значения 100 и 200, если процессор 4 получает значения 200 и 100. Если бы это произошло, с точки зрения процессора 3 это бы означало, что запись значения 100 процессором 1 завершилась раньше записи значения 200, которую осуществляет процессор 2. Это вполне возможно. Но с точки зрения процессора 4 это также значит, что запись процессором 2 числа 200 завершилась до записи процессором 1 числа 100. Сам по себе такой результат тоже возможен, но он противоречит первому результату. Секвенциальная состоятельность гарантирует единую глобальную (воспринимаемую всеми процессорами) последовательность операций записи. Если с точки зрения процессора 3 первым записывается значение 100, процессор 4 должен «видеть» тот же самое.

Хотя правила секвенциальной состоятельности не выглядят столь «жестокими», как правила строгой, эта модель тоже очень полезна. Даже если несколько событий совершаются одновременно, считается, что на самом деле они происходят в определенном порядке (который может выбираться произвольно), и все процессоры воспринимают именно этот порядок. Хотя такое положение дел и кажется очевидным, далее мы рассмотрим некоторые модели состоятельности, которые не гарантируют подобного порядка.

<< | >>
Источник: Таненбаум Э.. Архитектура компьютера. 5-е изд. 2007

Еще по теме Секвенциальная состоятельность:

  1. Финансовое состояние.
  2. Финансовое состояние.
  3. СПТ дает психотерапевту возможность чувствовать себя причастным к жизни, а не к смерти
  4. Необходимые шаги
  5. 2.3.5. Венера V поле
  6. КАК РАЗВИВАТЬ ЧАКРУ СОЛНЕЧНОГО СПЛЕТЕНИЯ С ПОМОЩЬЮ АРХАНГЕЛА УРИИЛА
  7. НАДЕЖНОСТЬ
  8. Грусть моя...
  9. Глава двадцать четвертая Отношение к старикам
  10. ПОСТУПКИ ВЫРАЗИТЕЛЬНЕЕ, ЧЕМ СЛОВА
  11. Вычисление ошибки репрезентативности для собственно случайной выборки.
  12. Аспекты транзитной Венеры с натальным Плутоном
  13. Обманутая любовь
  14. Обманутая любовь
  15. Благоприятная конфигурация Юпитера
  16. Аспекты транзитной Венеры с натальным Юпитером
  17. 1. Только личность способна воспитать личность