Advanced Computer Architecture Chapter 7.19
Cache
consistency (aka cache coherency)
Goal
(?):
“Processors
should not continue to use out-of-date data indefinitely”
Goal
(?):
“Every
load instruction should yield the result of the most recent store to that address”
Goal
(?): (definition: Sequential Consistency)
“the
result of any execution is the same as if the operations of all the processors were
executed in some
sequential order, and the operations of each individual processor appear in this sequence
in the order specified by its
program”
(Leslie Lamport, “How to make a multiprocessor computer
that correctly executes multiprocess
programs” (IEEE Trans Computers Vol.C-28(9) Sept 1979)