JavaMemoryModel: Experimental Memory Model Without Forbidden Executions

• Next message: Vijay Saraswat: "JavaMemoryModel: Reopen Case 18?"
• Previous message: David Holmes: "RE: JavaMemoryModel: correct synchronization"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi folks,

Bill and I have been experimenting with a new M/P memory model that gets
rid of forbidden executions. It borrows and adapts a few ideas from
Sarita's latest proposal, such as responsible reads.

So take a gander at it and tell us what you think!

http://www.cs.umd.edu/users/pugh/java/memoryModel/M-P/Feb-24-Experimental.pdf

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

• Next message: Vijay Saraswat: "JavaMemoryModel: Reopen Case 18?"
• Previous message: David Holmes: "RE: JavaMemoryModel: correct synchronization"
• 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:58 EDT