JavaMemoryModel: Good news on IA-64

From: William Pugh (pugh@cs.umd.edu)
Date: Wed Jan 19 2000 - 09:12:37 EST


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