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