What do high-level memory models mean for transactions?

  title={What do high-level memory models mean for transactions?},
  author={Dan Grossman and Jeremy Manson and William Pugh},
  booktitle={Memory System Performance and Correctness},
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transactions with respect to a memory model weaker than sequential consistency. The details of such semantics are more subtle than many people realize, and the interaction between compiler transformations and transactions could produce behaviors that many people find surprising. A language's memory model, which determines these… CONTINUE READING
Highly Cited
This paper has 64 citations. REVIEW CITATIONS

10 Figures & Tables



Citations per Year

64 Citations

Semantic Scholar estimates that this publication has 64 citations based on the available data.

See our FAQ for additional information.