JavaMemoryModel: Good news on IA-64

From: William Pugh (
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
   * then another processor reads that reference using a normal load
      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.


JavaMemoryModel mailing list -

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