Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models

@inproceedings{Saraswat2004ConcurrentCM,
  title={Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models},
  author={Vijay A. Saraswat},
  booktitle={ASIAN},
  year={2004}
}
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,AG95,APP99]. Such a model must specify the behavior of concurrent (conditional) reads and writes to the same memory locations. We present a simple, general framework for the specification of memory models based on an abstract machine that uses sets of (interdependent) order and value constraints to communicate between… CONTINUE READING