Towards a formal model of shared memory consistency for Intel Itanium/sup TM/
- 13 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 515-518
- https://doi.org/10.1109/iccd.2001.955081
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Sequential consistency and the lazy caching algorithmDistributed Computing, 1999
- Shared memory consistency models: a tutorialComputer, 1996
- Causal memory: definitions, implementation, and programmingDistributed Computing, 1995