sorted by: recent | see : popular

Content Tagged with User:jerryk + concurrency

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:

• Intel 64 Architecture Memory Ordering White Paper
• Richard Hudson’s talk on IA memory ordering.

Sparc TSO: The SPARC Architecture Manual, Version v9

Java Memory Model:

• Java Language Specification, Third Edition, chapter 17, Memory Model
• Doug Lea’s JSR-133 Cookbook

Miscellaneous:

• PhD dissertation of Jalal Kawash: Limitations and Capabilities of Weak Memory Consistency Systems
• Shavit and Herlihy: The Art of Multiprocessor Programming