A Correctness Condition for High-Performance Multiprocessors
- 1 December 1998
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 27 (6) , 1637-1670
- https://doi.org/10.1137/s0097539795289215
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Implementing hybrid consistency with high-level synchronization operationsDistributed Computing, 1995
- Causal memory: definitions, implementation, and programmingDistributed Computing, 1995
- A performance comparison of asynchronous atomic broadcast protocolsDistributed Systems Engineering, 1994
- Sequential consistency versus linearizabilityACM Transactions on Computer Systems, 1994
- The process group approach to reliable distributed computingCommunications of the ACM, 1993
- Lightweight causal and atomic group multicastACM Transactions on Computer Systems, 1991
- Memory access dependencies in shared-memory multiprocessorsIEEE Transactions on Software Engineering, 1990
- Reliable communication in the presence of failuresACM Transactions on Computer Systems, 1987
- Reliable broadcast protocolsACM Transactions on Computer Systems, 1984
- A New Solution to Coherence Problems in Multicache SystemsIEEE Transactions on Computers, 1978