如果我在一个线程中设置变量的值并在另一个线程中读取它，我会用锁保护它以确保第二个线程读取第一个线程最近设置的值：
线程 1：
lock();
x=3;
unlock();
线程 2：
lock();
<use the value of x>
unlock();
到目前为止，一切都很好。但是，假设我有一个 c++ 对象，它在初始化程序中设置 x 的值：
theClass::theClass() : x(3) ...
theClass theInstance;
然后，我生成一个使用实例的线程。是否可以保证新生成的线程会看到正确的 x 值？或者是否有必要在 theInstance 的声明周围加锁？我主要对 Linux 上的 c++ 感兴趣。
【问题讨论】：
标签： linux memory c++ multithreading
在 C++11 之前，C++ 标准对多线程执行没有任何规定，因此不保证任何事情。
C++11 引入了一种内存模型，该模型定义了在什么情况下写入一个线程的内存保证对另一个线程可见。
对象的构造本质上不是跨线程同步的。但是，在您的特定情况下，您说您首先构造对象，然后“生成线程”。如果您通过构造std::thread 对象来“生成线程”，并且在同一线程上构造了一些对象x 之后执行此操作，那么您可以保证在新生成的线程上看到x 的正确值。这是因为thread构造函数的完成synchronizes-with是你线程函数的开始。
synchronizes-with 一词是用于定义 C++ 内存模型的特定术语，值得准确理解 what it means 以了解更复杂的同步，但在您概述的情况下“正常工作”无需任何额外的同步。
这一切都假设您使用的是std::thread。如果您直接使用平台线程 API，则 C++ 标准对发生的情况无话可说，但实际上您可以假设它无需锁定我所知道的任何平台即可工作。
【讨论】：
你似乎对锁有误解：
如果我在一个线程中设置变量的值并在另一个线程中读取它， 我用锁保护它，以确保第二个线程读取 第一个最近设置的值。
这是不正确的。锁用于防止数据竞争。锁不会将线程 1 的指令安排在线程 2 的指令之前发生。有了锁，线程 2 仍然可以在线程 1 之前运行，并在线程 1 之前读取 x 的值更改x 的值。
至于你的问题：
theInstance 的初始化发生在某个线程A 的初始化/启动之前，则可以保证线程A 看到x 的正确值。示例
#include <thread>
#include <assert.h>
struct C
{
C(int x) : x_{ x } {}
int x_;
};
void f(C const& c)
{
assert(c.x_ == 42);
}
int main()
{
C c{ 42 }; // A
std::thread t{ f, std::ref(c) }; // B
t.join();
}
在同一个线程中：A 是 sequenced-before B，因此 A happens-before B。线程 t 中的断言因此永远不会触发。 p>
x 的正确值。示例
#include <thread>
#include <atomic>
#include <assert.h>
struct C
{
int x_;
};
std::atomic<bool> is_init;
void f0(C& c)
{
c.x_ = 37; // B
is_init.store(true); // C
}
void f1(C const& c)
{
while (!is_init.load()); // D
assert(c.x_ == 37); // E
}
int main()
{
is_init.store(false); // A
C c;
std::thread t0{ f0, std::ref(c) };
std::thread t1{ f1, std::ref(c) };
t0.join();
t1.join();
}
t0 和t1 之间发生线程间的happens-before 关系。和以前一样，A 发生在创建线程 t0 和 t1 之前。
分配c.x_ = 37 (B) 发生在存储到is_init 标志(C) 之前。 f1 中的循环是线程间发生之前关系的来源：f1 仅在设置了 is_init 后继续执行，因此 C 发生在 E 之前.由于这些关系是可传递的，B 线程间发生在 D 之前。因此，断言永远不会在f1 中触发。
【讨论】：
首先，您上面的示例不保证任何锁定。您需要做的就是声明您的变量是原子的。没有锁，不用担心。
其次，你的问题并没有什么意义。由于在构造对象（类的实例）之前不能使用它，并且构造是在单线程中进行的，因此无需锁定在类构造函数中完成的任何操作。您根本无法从多个线程访问非构造类，这是不可能的。
【讨论】：