<< back

Memory Consistency Models

Java Memory Model

Atomicity

Transactional Memory

Papers and Pointers

Memory Consistency Models

Sarita Adve and Kourosh Gharachorloo tutorial on Memory Consistency Models.

Samuel Midkiff's publications and David Padua's Pensieve Project.
Also Jaejin Lee research page.

Java Memory Model

Bill Pugh's Java Memory Model page.

The JSR-133 Cookbook for Compiler Writers by Doug Lea.

Atomicity

Scott Stoller's publications.

Reduction: a method of proving properties of parallel programs by Richard J. Lipton.
Presents the concept of left/right movers and reduction.

U.C. Santa Cruz research on atomicity.

AtomCaml, Objective Caml extended with transactional primitive.

Transactional Memory

Hardware Transactional Memory by Maurice Herlihy and Eliot Moss.

Cambridge lock-free group
Tim Harris.
Keir Fraser.

Transactional Memory Online from UW-Madison.

Unbounded Transactional Memory from MIT.

Transactional Coherence and Consistency at Stanford.

Rober Ennals at Intel Cambridge.