JavaMemoryModel: JMM: Fig. 24

From: Sergey (psergey@012.net.il)
Date: Wed Sep 03 2003 - 05:58:22 EDT

I have a question about the formal model in "JSR-133: The Java$^TM$ Memory Model and Thread Specification". In Figure 24, the last definition: "$x \mapsto x'$." This relation between x and x' depends on the causal orders under consideration, doesn't it? Thus, may be "$(x,\alpha) \mapsto (x',\alpha ')$"?
Thank you. Sergey.

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

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