Re: JavaMemoryModel: Agreement to disagree: where things stand

From: Jeremy Manson (jmanson@cs.umd.edu)
Date: Mon Jul 28 2003 - 15:59:18 EDT


> 1. Any definition should depend on only those definitions that precede
> it. For example, I can't figure out where AE in the definition of
> prohibited_k comes from. When reading the full formal semantics, I
> shouldn't need to glean this information from the informal text
> (though I can't find AE anywhere!).

Sorry. AE is the set of alternative executions (as defined in the text).
It was in there at some point...

                                        Jeremy
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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