JavaMemoryModel: Proof that reordering transformation are legal

From: Bill Pugh (pugh@cs.umd.edu)
Date: Mon Aug 04 2003 - 14:54:24 EDT

Next message: Bill Pugh: "JavaMemoryModel: No decision on lost notifications"
Previous message: Bill Pugh: "JavaMemoryModel: Proposal for how to move forward on test cases 5 and 10"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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

Next message: Bill Pugh: "JavaMemoryModel: No decision on lost notifications"
Previous message: Bill Pugh: "JavaMemoryModel: Proposal for how to move forward on test cases 5 and 10"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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