3

我正在学习 TSO(Total Store Order Consistency 模型)并读到计算机架构研究人员认为 Intel x86 (x86-64) 处理器实现了这种一致性模型。

(假设这是真的,他们确实实现了 TSO)这是否意味着 x86(-64) 英特尔处理器不(也不能)执行写入合并?但是在帕特森和轩尼诗的书中,他们提到核心 i7 确实写合并。

我问这个的原因是因为如果他们允许写合并,那么这可能会违反 TSO(写-写)。因此,英特尔处理器无法实现 TSO。

我在这方面犯的错误在哪里?

4

1 回答 1

2

写入合并不会违反 TSO,因为它是针对连续存储执行的(除了在限制较少但不保证正常内存排序的写入组合内存类型上完成的写入合并),没有存储被重新排序,只是组合在一起。
另请注意,内存排序与单独的元素(存储本身)有关,而合并仅针对外部世界(较低的缓存和内存)进行,因此我们在这里讨论的是完全不同的硬件结构。

有关如何完成写入组合的详细说明,请参见此处 - 什么是存储缓冲区?

于 2013-08-20T18:47:19.977 回答