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.
Jeremy
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:03 EDT