Interesting paper, important material for algorithm designers and machine architects. Memory models, particularly relaxed models, are difficult and important.

Interesting paper, important material for algorithm designers and machine architects. Memory models, particularly relaxed models, are difficult and important. Both the Sparc 64 and the DEC Alpha had formal memory models.