(Editing anonymously: to be credited for your changes, login or register a new account)
Some references on cache coherency and memory models, that recently came up on the Java concurrency mailing list. The below is based on the original list is by Jaroslav Sevcik with slight additions…
Intel Itanium: A Formal Specification of Intel Itanium Processor Family Memory Ordering
Intel IA-64 (x86), AMD:
Sparc TSO: The SPARC Architecture Manual, Version v9
Java Memory Model:
Miscellaneous: