x86（-64）中的总存储顺序和写入合并答案

【问题标题】：Total Store Order and write merging in x86(-64)x86（-64）中的总存储顺序和写入合并
【发布时间】：2013-07-20 00:36:49
【问题描述】：

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

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

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

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

【问题讨论】：

标签： architecture x86 x86-64 computer-architecture

【解决方案1】：

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

有关如何完成写入合并的详细说明，请参见此处 - what is a store buffer?

【讨论】：