Pitfalls in Memory Consistency Modelling*
Abstract
Five pitfalls or potential mistakes in memory consistency modelling are identified. Each pitfall can have dramatic impact on our ability to write correct and efficient programs, to determine the algorithmic capabilities or limitations of particular architectures, and to compare various systems. These potential problems are highlighted by illustrating each pitfall with examples from known consistency model definitions.
* This research is supported by a Discovery Grant from the Natural Sciences and Research Council of Canada.
Communicated by P. Spirakis


