问C++线程与可见性问题--常见的工程实践是什么？

EN

从我的研究中，我知道饥饿、僵局、公平和其他并发问题的概念。然而，理论与实践不同，在某种程度上，真正的工程任务往往涉及比学术废话更多的细节。

作为一个C++开发人员，我关心线程问题已经有一段时间了.

假设您有一个共享变量x，它指的是程序内存的更大部分。变量在两个线程A和B之间共享。

现在，如果我们考虑x上来自A和B线程的读/写操作，可能是同时进行的，那么需要同步这些操作，对吗？因此，对x的访问需要某种形式的同步，这种同步可以通过使用互斥来实现。

现在让我们考虑另一个场景，其中x最初是由线程A编写的，然后传递给线程B (不知怎么的)，而该线程只读取x。然后，线程B生成一个名为y的x响应，并将其传递回线程A (同样，以某种方式)。我的问题是:我应该使用哪些同步原语来使这个场景线程安全。我读过有关atomics的文章，更重要的是，记忆栅栏--这些是我应该依赖的工具吗？

这不是一个典型的情况，在其中有一个“关键部分”。相反，某些数据在线程之间传递，不可能在同一个内存位置并发写入。因此，在编写之后，数据应该首先以某种方式“刷新”，以便其他线程在读取之前能够看到它处于有效和一致的状态。它在文学中是怎么称呼的，它是“能见度”吗？

那么pthread_once和它的Boost/std对应物call_once呢？如果x和y都通过一种通过“一次性”功能访问的“消息队列”在线程之间传递，这会有帮助吗？AFAIK，它作为一种记忆栅栏，但我找不到任何确认。

CPU缓存和它们的一致性呢？从工程学的角度来看，我应该知道些什么呢？在上述场景中，或者在C++开发中常见的任何其他场景中，这些知识是否有所帮助？

我知道我可能混合了很多主题，但我想更好地理解什么是常见的工程实践，这样我就可以重用已经知道的模式。

这个问题主要与C++03的情况有关，因为这是我日常工作的环境。因为我的项目主要涉及Linux，所以我只能使用p线程和Boost，包括Boost.Atomic。但我也感兴趣的是，随着C++11的出现，有关此类问题的任何事情是否都发生了变化。

我知道这个问题是抽象的，没有那么精确，但是任何输入都是有用的。