C ++内存模型char vs word，并发？来自 Stroustrup 的书

Question

Stroustrup 在C++ 4th Ed Page 1193 中给出了以下示例。我的问题是使用两个线程的并发程序，一个用于f()，另一个用于g()，Stroustrup 的声明是：

如果链接器在内存中的同一个字中分配 c 和 b 并且（像大多数现代硬件一样）"，

变量c 和b 会发生什么情况？

在某些硬件上，我的理解是一个单词是 2 个字节，并且两个变量都包含在其中，一个线程可能会覆盖另一个线程的 char。

Stroustrup 进一步指出：

如果没有定义明确且合理的内存模型，线程 1 可能 读取包含 b 和 c 的单词，更改 c，然后将单词写回 进入记忆。同时，线程 2 可以对 b 做同样的事情。 然后，无论哪个线程设法先读到这个词，无论哪个 管理最后将其结果写回内存的线程将 确定结果。我们可能会得到 10、01 或 11（但不是 00）。这 记忆模型将我们从这种混乱中解救出来；我们得到 11. 00 的原因 不可能发生的是 b 和 c 的初始化已经完成（通过 编译器或链接器）在任一线程启动之前。

我的困惑是，为了解决这个问题，C++ 链接器是否将 c 放在一个 2 字节内存地址中，而将 b 放在另一个？

// thread 1
char c = 0;
void f()
{
    c = 1;
    int x = c;
}

char b = 0;
void g()
{
    b = 1;
    int y = b;
}

Answer 1

Stroustrup 的观点是，C++ 实现需要在特定硬件上执行任何必要的操作，以使事情按照内存模型的要求工作。这可能取决于硬件的细节。特定的缓存体系结构可能允许从不同线程同时修改同一“字”中的两个值。如果特定的缓存架构不能做到这一点，那么实现的工作就是确保每个单独的 C++ 对象仍然按照内存模型正确运行。这可能需要插入填充，或执行特殊的写入操作或其他任何操作。