A Correctness Condition for High-Performance Multiprocessors

  title={A Correctness Condition for High-Performance Multiprocessors},
  author={Hagit Attiya and Roy Friedman},
  journal={SIAM J. Comput.},
Hybrid consistency, a consistency condition for shared memory multiprocessors, attempts to capture the guarantees provided by contemporary high-performance architectures. It combines the expressiveness of strong consistency conditions (e.g., sequential consistency, linearizability) and the efficiency of weak consistency conditions (e.g., pipelined RAM, causal memory). Memory access operations are classified as either strong or weak. A global ordering of strong operations at different processes… CONTINUE READING
43 Citations
60 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 60 references


  • M. Dubois, C. Scheurich, F. A. Briggs
  • coherence and event ordering in multiprocessors…
  • 1988
Highly Influential
5 Excerpts

A Correctness Condition for High-Performance Multiprocessors

  • H. Attiya, R. Friedman
  • Technical Report #767, Department of Computer…
  • 1993
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…