硬件内存模型论文阅读

引言

内存模型定义了内存操作的语义,提出内存模型的目的在于指明内存操作之间的次序有何限制.

内存模型并不直接指定内存操作的次序,它只提供一种行为描述,只要你的执行结果按内存模型规定的次序执行结果 一致就行,并不要求具体实现一定按这个顺序.

论文

Lamport 1979

SPARC-V9 1994

The SPARC architecture manual[M]. Englewood Cliffs, NJ 07632: PTR Prentice Hall, 1994.

Gharachorloo 1990

Gharachorloo K, Lenoski D, Laudon J, et al. Memory consistency and event ordering in scalable shared-memory multiprocessors[M]. ACM, 1990.

Sewell 2010

comments powered by Disqus