This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
buzzword [2015/04/10 16:38] kevincha [Lecture 28 (4/8 Wed.)] |
buzzword [2015/04/10 16:38] kevincha [Lecture 28 (4/8 Wed.)] |
||
---|---|---|---|
Line 1250: | Line 1250: | ||
* Debugging is also difficult (non-deterministic behavior) | * Debugging is also difficult (non-deterministic behavior) | ||
* Dekker's algorithm | * Dekker's algorithm | ||
- | * Inconsistency -- the two processors did NOT see the same order of | + | * Inconsistency -- the two processors did NOT see the same order of operations to memory |
- | operations to memory | + | |
* Sequential consistency | * Sequential consistency | ||
* Multiple correct global orders | * Multiple correct global orders |