| | |
Summary: A Theory of Memory Models (Extended Abstract)
Vijay Saraswat
IBM TJ Watson Research Center
vijay@saraswat.org
Radha Jagadeesan
DePaul University
rjagadeesan@cs.depaul.edu
Maged Michael
IBM TJ Watson Research Center
magedm@us.ibm.com
Christoph von Praun
IBM TJ Watson Research Center
praun@us.ibm.com
Abstract
A memory model for a concurrent imperative programming lan-
guage specifies which writes to shared variables may be seen by
reads performed by other threads. We present a simple mathemat-
ical framework for relaxed memory models for programming lan-
guages. To instantiate this framework for a specific language, the
designer must choose the notion of atomic steps supported by the
|
