Search
Now showing items 1-1 of 1
Memory consistency models for high performance distributed computing
(Massachusetts Institute of Technology, 2001)
This thesis develops a mathematical framework for specifying the consistency guarantees of high performance distributed shared memory multiprocessors. This framework is based on computations, which specify the operations ...