CSC 456 Spring 2012/10b CP: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
m (→Performance: added markup for sections) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 2: | Line 2: | ||
== Models in Use == | == Models in Use == | ||
Strict Consistency | ===Strict Consistency=== | ||
Sequential Consistency | ===Sequential Consistency=== | ||
Weak Consistency | ===Weak Consistency=== | ||
== Performance == | == Performance == | ||
===Weak Consistency=== | |||
Weak Consistency | ===Sequential Consistency=== | ||
Sequential Consistency | ===Strict Consistency=== | ||
Strict Consistency | |||
Latest revision as of 17:37, 23 April 2012
Romanescu, Lebeck, and Sorin make a great point that "The most important feature of a computer is correct execution." Computers are expected to produce correct output consistently. Memory consistency -- the intentional ordering of all reads and writes to memory addresses (Solihin) -- plays a crucial role in guaranteeing that the results of running a program are the results intended by the programmer. Maintaining memory consistency is a problem on all multiprocessor machines (Solihin).