і порядку виконання програм і когерентності пам'яті для користувача: уявіть, що третій процесор постійно читає ту ж саму комірку пам'яті, в яку записують процесори P1 і P2; він повинен спостерігати спочатку значення, записане P1, а потім значення , записане P2. Можливо він ніколи не зможе побачити значення, записаного P1, оскільки запис від P2 виникла раніше читання. Якщо він навіть бачить значення, записане P1, він повинен бачити значення, записане P2, при подальшому читанні. Подібним чином будь-який інший процесор, який може спостерігати за значеннями, записуваними як P1, так і P2, повинен спостерігати ідентичне поведінку. Найпростіший спосіб добитися таких властивостей полягає в строгому дотриманні порядку операцій запису, щоб всі записи в одну і ту ж комірку могли спостерігатися в тому ж самому порядку. Це властивість називається послідовним виконанням (сериализацией) операцій запису (write serialization). Питання про те, коли процесор повинен побачити значення, записане іншим процесором досить складний і має помітний вплив на продуктивність, особливо в великих машинах. p align="justify"> Є дві методики підтримки описаної вище когерентності. Один з методів полягає в тому, щоб гарантувати, що процесор повинен отримати виняткові права доступу до елемента даних перед виконанням запису в цей елемент даних. Цей тип протоколів називається протоколом запису з анулюванням (write ivalidate protocol), оскільки при виконанні запису він анулює інші копії. Це найбільш часто використовуваний протокол як у схемах на основі довідників, так і в схемах спостереження. Виключне право доступу гарантує, що під час виконання запису не існує ніяких інших копій елемента даних, в які можна писати або з яких можна читати: всі інші кешированниє копії елемента даних анульовані. Щоб побачити, як такий протокол забезпечує когерентність, розглянемо операцію запису, слідом за якою слід операція читання іншим процесором. Оскільки запис вимагає виняткового права доступу, будь-яка копія, підтримувана читаючою процесором повинна бути анульована (відповідно з назвою протоколу). Таким чином, коли виникає операція читання, відбудеться промах кеш-пам'яті, який змушує виконати вибірку нової копії даних. Для виконання операції запису ми можемо вимагати, щоб процесор мав достовірну (valid) копію даних у своїй кеш-пам'яті перш, ніж виконувати в неї запис. Таким чином, якщо обидва процесора спробують записати в один і той же елемент даних одночасно, один з них виграє змагання у другого (ми незабаром побачимо, як прийняти рішення, хто з них виграє) і викликає анулювання його копії. Інший процесор для завершення своєї операції запису повинен спочатку отримати нову копію даних, яка тепер вже повинна містити оновлене значення. p align="justify"> Альтернативою протоколу запису з анулюванням є оновлення всіх копій елемента даних у разі запису в цей елемент даних. Цей тип протоколу називається протоколом запису з оновленням (write update protocol) або протоколо...
