发信人: yifanw (王轶凡), 信区: CPlusPlus
标 题: 内存模型之参考文献
发信站: 水木社区 (Sun Mar 15 22:51:46 2009), 站内
前两篇文章，希望大家多多带着怀疑的态度来读，很有可能有错误。:)
如果想进一步了解，可以看如下文献：
1. Shared Memory Consistency Models: A Tutorial
http://www.cs.utexas.edu/users/dburger/teaching/cs382m-f06/papers/16paper.pdf
Sarita Advey和Kourosh Gharachorloo对内存一致性模型做了非常好的综述，好读懂
2. Threads Cannot be Implemented as a Library
http://www.hpl.hp.com/techreports/2004/HPL-2004-209.pdf
Boehm一篇非常著名的paper，说明了为什么现在pthread不能保证线程安全：编译器和CPU的
优化会使线程同步出现错误，好读懂
3. C++ and the Perils of Double-Checked Locking
http://www.aristeia.com/Papers/DDJ_Jul_Aug_2004_revised.pdf
Scott Meyers和Andrei Alexandrescu说明了为什么C++里double checked locking会出问题
，还说明了为啥现阶段的volatile不管用，好读懂
4. Foundations of the C++ Concurrency Memory Model
http://www.hpl.hp.com/techreports/2008/HPL-2008-56.pdf
Boehm和Sarita Adve一篇关于C++0x的memory model的非常重要的paper，写的非常晦涩，但
是只要把它的结论看明白就可以了，可以忽略证明
5. C++ 0x standard draft
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2798.pdf
传说中的标准，形式化的描述了c++0x的memory model
重点关注这两章：
1.10 Multi-threaded executions and data races
29 Atomic operations library
写的非常形式化，比较晦涩
6. The Java Memory Model
http://www.cs.umd.edu/~pugh/java/memoryModel/
写的非常形式化，比较晦涩
7. The CLR(dotnet) memory Model (Standard ECMA-335)
http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-335.pdf
主要关注12.6节，讲述CLR(dotnet)的memory model，用的大白话，我很喜欢:)
8. Intel 64 and IA-32 Architectures Software Developer’s Manual Volume 3A:
System Programming Guide, Part 1
http://download.intel.com/design/processor/manuals/253668.pdf
主要关注7.2节，讲述了x86会进行哪些reorder的优化，怎么阻止这些reorder
9. The JSR-133 Cookbook for Compiler Writers
http://g.oswego.edu/dl/jmm/cookbook.html
Doug Lea简述了compiler/runtime应该如何实现Java Memory Model，比如什么时候应该插
入barrier
--
欢迎来CSARCH版
※ 来源:·水木社区 newsmth.net·[FROM: 222.67.1.*]
转载于:https://www.cnblogs.com/shawn-zhou/archive/2009/03/16/1413580.html
猜想 (25 分))
)
