JavaMemoryModel: Proof that reordering transformation are legal

From: Bill Pugh (
Date: Mon Aug 04 2003 - 14:54:24 EDT

Here is a proof sketch that reordering transformations are legal
under the Manson/Pugh model. Only 1 page if you want to take a look
at it.

JavaMemoryModel mailing list -

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:50 EDT