Архітектура і операційні середовища комп’ютерних систем
Кеші повинні забезпечувати несуперечливість. … Несуперечливість − це когерентність (цілісність) у синхронізаційній точці. … Але як тоді забезпечити несуперечливість у роботі DSM ? … Несуперечливість послідовності (Lamport 1979) Всі процеси бачать усі записи пам’яті в тому ж самому порядку (але не обов’язково « Програмному порядку »)