From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Luck, Tony" <tony.luck@intel.com>
Date: Mon, 07 Apr 2003 22:18:43 +0000
Subject: RE: [Linux-ia64] spin_unlock() problem
Message-Id: <marc-linux-ia64-105590723705430@msgid-missing>
List-Id: <linux-ia64.vger.kernel.org>
References: <marc-linux-ia64-105590723705414@msgid-missing>
In-Reply-To: <marc-linux-ia64-105590723705414@msgid-missing>
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
To: linux-ia64@vger.kernel.org

> Thanks for the book reference, I went and read it and then went on to
> the Intel IA-64 Architecture Software Developer's Manual, vol #1. I
> only have an old version 1.1 dated July 2000, so it's possible that
> there is an updated version out with further clarifications.

Newer versions of the manuals can be found online at developer.intel.com
(follow links: h/w design > processors > server processors > Itanium family=
")

In particular you might be interested in "A Formal Specification of Intel=AE
Itanium=AE Processor Family Memory Ordering"

http://developer.intel.com/design/itanium/downloads/251429.htm

[But it might just make your head hurt even more].

-Tony Luck