рмально, проблема когерентності пам'яті полягає в необхідності гарантувати, що будь-яке зчитування елемента даних повертає останнє за часом записане в нього значення. Це визначення не зовсім коректно, оскільки неможливо вимагати, щоб операція зчитування миттєво бачила значення, записане в цей елемент даних деяким іншим процесором. Якщо, наприклад, операція запису на одному процесорі передує операції читання тієї ж осередки на іншому процесорі в межах дуже короткого інтервалу часу, то неможливо гарантувати, що читання поверне записане значення даних, оскільки в цей момент часу записувані дані можуть навіть не покинути процесор. Питання про те, коли точно записуване значення має бути доступне процесору, що виконує читання, визначається обраною моделлю узгодженого (несуперечливого) стану пам'яті і пов'язаний з реалізацією синхронізації паралельних обчислень. Тому з метою спрощення припустимо, що ми вимагаємо тільки, щоб записане операцією запису значення було доступно операції читання, що виникла трохи пізніше запису і що операції запису даного процесора завжди видно в порядку їх виконання. p align="justify"> З цим простим визначенням узгодженого стану пам'яті ми можемо гарантувати когерентність шляхом забезпечення двох властивостей:
Операція читання комірки пам'яті одним процесором, яка слідує за операцією запису в ту ж комірку пам'яті іншим процесором отримає записане значення, якщо операції читання і запису досить відокремлені один від одного за часом.
Операції запису в одну і ту ж комірку пам'яті виконуються строго послідовно (іноді говорять, що вони серіалізовані): це означає, що дві поспіль йдуть операції запису в одну і ту ж комірку пам'яті будуть спостерігатися іншими процесорами саме в тому порядку, в якому вони з'являються в програмі процесора, що виконує ці операції запису.
Перше властивість очевидно пов'язано з визначенням когерентного (погодженого) стану пам'яті: якби процесор завжди б зчитував тільки старе значення даних, то пам'ять була б некогерентного.
Необхідність строго послідовного виконання операцій запису є більш тонким, але також дуже важливою властивістю. Уявімо собі, що строго послідовне виконання операцій запису не дотримується. Тоді процесор P1 може записати дані в клітинку, а потім в цю комірку виконає запис процесор P2. Строго послідовне виконання операцій запису гарантує два важливих наслідки для цієї послідовності операцій запису. По-перше, воно гарантує, що кожен процесор в машині в деякий момент часу спостерігатиме запис, виконувану процесором P2. Якщо послідовність операцій запису не дотримується, то може виникнути ситуація, коли який-небудь процесор буде спостерігати спочатку операцію запису процесора P2, а потім операцію запису процесора P1, і буде зберігати це записане P1 значення необмежено довго. Більш тонка проблема виникає з підтриманням розумною модел...
