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