Re: [PATCH] Document Linux's memory barriers

[David S. Miller]

From: Chuck Ebbert <76306.1226@xxxxxxxxxxxxxx>
Date: Tue, 7 Mar 2006 18:17:19 -0500

> In-Reply-To: <31492.1141753245@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
> 
> On Tue, 07 Mar 2006 17:40:45 +0000, David Howells wrote:
> 
> > The attached patch documents the Linux kernel's memory barriers.
> 
> References:

Here are some good ones for Sparc64:

The SPARC Architecture Manual, Version 9
    Chapter 8: Memory Models
    Appendix D: Formal Specification of the Memory Models
    Appendix J: Programming with the Memory Models

UltraSPARC Programmer Reference Manual
    Chapter 5: Memory Accesses and Cacheability
    Chapter 15: Sparc-V9 Memory Models

UltraSPARC III Cu User's Manual
    Chapter 9: Memory Models

UltraSPARC IIIi Processor User's Manual
    Chapter 8: Memory Models

UltraSPARC Architecture 2005
    Chapter 9: Memory
    Appendix D: Formal Specifications of the Memory Models

UltraSPARC T1 Supplment to the UltraSPARC Architecture 2005
    Chapter 8: Memory Models
    Appendix F: Caches and Cache Coherency
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/