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