Eliot Moss talked with some of the IA-64 architects, and got them to swear
on their mothers grave that:
* If initialize an object X, store a reference to X using a st.rel
(Store.Release)
instruction,
* then another processor reads that reference using a normal load
instruction,
then reads a field from the reference'd object (i.e., from X), it is
guaranteed not
to see a stale value.
In other words, IA-64 will not reorder dependent loads, at least not if the
reference was last stored via a st.rel instruction.
We still need to get public documents that make this clear, but this is
very promising.
Bill
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:24 EDT