RE: JavaMemoryModel: The range of memory models now in play

From: Yue Yang (
Date: Fri Aug 09 2002 - 13:09:41 EDT

On Thu, 8 Aug 2002, Sarita Adve wrote:

> Saying only that an execution trace is totally ordered is somewhat
> "content-free" unless some properties are assigned to the total
> ordering.

To say this in another way, conceptually forming the total order is
only an intermediate process of defining the legal execution trace.

The final effect is that each thread would have a per-thread visibility
order, defined by some partial order based on the synchronization
mechanism and possibly other requirements.

-- Jason

JavaMemoryModel mailing list -

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