RE: JavaMemoryModel: SC for DRF programs with Bill/Jeremy's new approach?

From: Sarita Adve (sadve@cs.uiuc.edu)
Date: Wed Aug 07 2002 - 23:57:48 EDT

Next message: Sarita Adve: "JavaMemoryModel: My approach"
Previous message: Sarita Adve: "JavaMemoryModel: RE: Total ordering of volatile memory operations"
In reply to: Bill Pugh: "Re: JavaMemoryModel: SC for DRF programs with Bill/Jeremy's new approach?"
Next in thread: Sarita Adve: "RE: JavaMemoryModel: SC for DRF programs with Bill/Jeremy's new approach?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

>
> No, we do not allow K = 2, X = 1, Y = 1. See theorem 4.1, and the
> below explanation.
>

Ok. I see that you don't allow it now. I still don't think that the
proof of Theorem 4.1 is correct though, as explained in a previous
message (it has a circularity).

Sarita

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

Next message: Sarita Adve: "JavaMemoryModel: My approach"
Previous message: Sarita Adve: "JavaMemoryModel: RE: Total ordering of volatile memory operations"
In reply to: Bill Pugh: "Re: JavaMemoryModel: SC for DRF programs with Bill/Jeremy's new approach?"
Next in thread: Sarita Adve: "RE: JavaMemoryModel: SC for DRF programs with Bill/Jeremy's new approach?"
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:41 EDT