JavaMemoryModel: Proof that reordering transformation are legal

From: Bill Pugh (pugh@cs.umd.edu)
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.

http://www.cs.umd.edu/~pugh/java/memoryModel/ReorderingIsLegal.pdf

        Bill
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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