The list has deemed it necessary to provide some causal guarantees for
Java. For example, out of thin air safety:
Thread 1
x = y
Thread 2
y = x
We have agreed long since that this cannot, for example, result in x = y =
42. There are other, more meaningful examples of out-of-thin-air results
that are widely agreed upon.
Jeremy
----- Forwarded message from Paul Loewenstein -----
From: Paul Loewenstein <Paul.Loewenstein@sun.com>
It is now over 10 years since I was last involved in writing a memory
model (Sparc V9). In the interests of simplicity the RMO model admits
non-causal traces. The cure was deemed worse than the disease. The
only effect would be some unnecessary synchronization in somewhat
obscure and unlikely code. Is relaxing the Java memory model for the
sake of simplicity a viable option?
Paul
----- End of forwarded message from Paul Loewenstein -----
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:46 EDT