Навігація
Головна
 
Головна arrow Інформатика arrow Архітектура ЕОМ і систем
< Попередня   ЗМІСТ   Наступна >

СУВОРА УЗГОДЖЕНІСТЬ

У такій моделі будь-яке звернення до пам'яті завжди дозволяє зчитувати з її осередки з адресою X значення останнього запису в цей осередок. Це найпростіша модель з точки зору програмування. Однак для її реалізації необхідно мати у своєму розпорядженні одним модулем пам'яті з послідовним обслуговуванням запитів у міру надходження за принципом першим надійшов - першим оброблений. У такій пам'яті не повинно бути кеша і дублювання даних, що дуже сильно уповільнює роботу пам'яті.

УЗГОДЖЕНІСТЬ ПО ПОСЛІДОВНОСТІ

Особливість цієї моделі полягає в тому, що при наявності декількох запитів на читання / запис даних порядок їх обслуговування визначається апаратними засобами і може бути різним, проте всі ПЕ спостерігають одну й ту ж послідовність запитів. Для пояснення узгодженості по послідовності розглянемо приклад. Припустимо, що одночасно до осередку (сторінці) пам'яті X звертаються чотири ПЕ, при цьому (рис. 18.1, а ):

  • • два елементи, ПЕ1 і ПЕ2, намагаються записати відповідно значення 100 і 200;
  • • два інших елемента, ПЕЗ і ПЕ4, роблять спробу двічі вважати вміст цього осередку.

Можуть бути різні варіанти послідовності появи даних в елементах ПЕЗ і ПЕ4. Розглянемо три з них (рис. 18.1, б):

  • • обидва елементи, ПЕЗ і ПЕ4, зчитують значення 200, 200;
  • • ПЕ3 зчитує 100, 200, а ПЕ4 - значення 200, 200;
  • • ПЕ3 і ПЕ4 отримують 100, 100 і 200, 100 відповідно.

Якщо ПЕ4 отримав 200, 100, то узгоджена з послідовності пам'ять ніколи не дозволить елементу ПЕЗ вважати значення 100, 200 з двох причин:

  • • з точки зору ПЕЗ це б означало, що запис значення 100 елементом ПЕ1 завершилася раніше більш пізньої записи значення 200, яку здійснює ПЕ2;
  • • з точки зору ПЕ4 це також означає, що запис елементом ПЕ2 числа 200 завершилася до запису елементом ПЕ1 числа 100.

Два процесу записують, а інші два процеси зчитують одне і те ж слово із загальної пам'яті

Мал. 18.1. Два процесу записують, а інші два процеси зчитують одне і те ж слово із загальної пам'яті

Узгодженість по послідовності гарантує єдиний глобальний порядок записів (хоча порядок може визначатися випадково), який видно всім процесорам. Якщо ПЕЗ бачить, що першим було записано значення 100, а другим 200, то ПЕ4 повинен спостерігати той же порядок запису.

Розглянемо моделі узгодженості, які не гарантують та кого порядку.

 
Якщо Ви помітили помилку в тексті позначте слово та натисніть Shift + Enter
< Попередня   ЗМІСТ   Наступна >
 
Дисципліни
Агропромисловість
Аудит та Бухоблік
Банківська справа
БЖД
Географія
Документознавство
Екологія
Економіка
Етика та Естетика
Журналістика
Інвестування
Інформатика
Історія
Культурологія
Література
Логіка
Логістика
Маркетинг
Медицина
Нерухомість
Менеджмент
Педагогіка
Політологія
Політекономія
Право
Природознавство
Психологія
Релігієзнавство
Риторика
Соціологія
Статистика
Техніка
Страхова справа
Товарознавство
Туризм
Філософія
Фінанси
Пошук