在我的理解中，CPU为了优化而改变了写在机器码上的操作顺序，称为乱序执行。
在术语“内存顺序”中，它定义了访问内存的顺序。例如，在宽松的顺序中，它定义了非常弱的排序规则，很容易发生执行重排序。
x86 中有一些内存排序模型，例如 TSO。在这样的内存排序模型中，定义了处理器对内存访问顺序的语义。
我不明白的是他们之间的关系。
内存顺序是一种乱序执行吗，OoOe还有其他方法吗？
或者，是内存顺序是乱序执行的实现，处理器的所有重新排序都是基于语义的？
【问题讨论】：
标签： memory cpu cpu-architecture memory-barriers
一般问题是，在现代多处理器系统上，加载和存储指令可能会以与程序顺序不同的顺序对其他内核可见。乱序执行是可能发生这种情况的一种方式，但还有其他方式。
例如，您可以有一个 CPU 以严格的程序顺序执行和退出所有指令，但是当它执行存储指令时，它不会立即将其提交到 L1 缓存，而是将其放入存储缓冲区中以写入稍后缓存。存储缓冲区可以设计为以不同于它们进入的顺序写出存储；例如，如果第一个存储错过了 L1 缓存但第二个会命中，您可以通过在等待第一个缓存行加载的同时写出第二个来节省时间。
或者，即使存储缓冲区没有重新排序，您也可能会遇到这样的情况：当存储仍在存储缓冲区中等待时，CPU 会执行稍后按程序顺序出现的加载指令。因此，其他核心将看到在存储之前发生的负载。例如，x86 就是这种情况。
内存排序模型以抽象的方式定义了程序员有权期望加载和存储对其他内核（或硬件等）可见的顺序。它通常还指定程序员在需要时如何获得更强的保证（例如，通过执行屏障指令）。然后必须将 CPU 设计为提供定义的行为，这可能会对它可以包含的功能施加限制。例如，如果架构承诺 TSO，则 CPU 可能无法包含能够重新排序的存储缓冲区，除非他们设法以如此聪明的方式做到这一点，以至于重新排序永远不会被其他内核注意到。
相关问题：
【讨论】：