Please use this identifier to cite or link to this item:
|Title:||Memory Consistency Models of Bus-Based Multiprocessors|
|Abstract:||The Partial Orders Framework  provides a unified way to specify the memory semantics of distributed systems. This report demonstrates the usefulness of this framework for reasoning about the behavior of the shared memory of existing multiprocessors. Three bus-based machine models are examined: total ordering, total store ordering, and partial store ordering. A formal and unambiguous description of their memory consistency models is established using the unifying framework. The influence of caches on the memory is also investigated.|
|Appears in Collections:||Higham, Lisa|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.