RE: JavaMemoryModel: The Intuition Is the Model - the full model is in this email!

From: Sarita Adve (sadve@cs.uiuc.edu)
Date: Tue Jul 29 2003 - 14:42:04 EDT


Martin,

Thanks for the suggestion. Unfortunately, this is too strong, even CnC is
weaker than this. I will put up a document soon that adds happens-before
consistency and causality to SC-.

Sarita

> -----Original Message-----
> From: owner-javamemorymodel@cs.umd.edu
> [mailto:owner-javamemorymodel@cs.umd.edu] On Behalf Of Martin Trotter
> Sent: Tuesday, July 29, 2003 10:59 AM
> To: javamemorymodel@cs.umd.edu; owner-javamemorymodel@cs.umd.ed
> Subject: RE: JavaMemoryModel: The Intuition Is the Model -
> the full model is in this email!
>
>
>
> Towards convergence ? If we want to add causality to this
> model how about
> this. At the read discontinuity we identify the set of all
> previous writes
> from this thread and the set of all future writes. Previous is well
> defined since we are SC. For causality we need to ensure
> that the value we
> read doesn't depend on any of the future writes by this thread.
>
>
> Martin Trotter
>
> -------------------------------
> JavaMemoryModel mailing list -
> http://www.cs.umd.edu/~pugh/java/memoryModel
>

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



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