Re: JavaMemoryModel: New Unified JMM Description

From: Jeremy Manson (
Date: Tue Apr 13 2004 - 14:52:25 EDT

Boehm, Hans wrote:
> If I'm not too confused, there is one related and confusing mistake.
> I think the sentence at the bottom of page 24 is wrong:
> "All of the reads that happened-before a in E must see writes that
> that happen-before them."
> I think this only applies to actions a that were not previously committed.
> Clearly I have to be able to commit reads that (in the final execution)
> don't see writes that happen-before them. And these will have to see the
> same writes in all the Ei past a certain point.
> I think the more formal description gets this right.

You are right, this is wrong.


JavaMemoryModel mailing list -

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