RE: [Linux-ia64] spin_unlock() problem

Luck, Tony
2003-04-07T22:18:43Z

> 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®
Itanium® 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