•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)
–
–
–