有人知道原始全局变量是否是线程安全的吗？
// global variable
int count = 0;
void thread1()
{
count++;
}
void thread2()
{
count--;
if (count == 0) print("Stuff thing");
}
如果count没有任何锁定保护，我可以这样做吗？
谢谢。
【问题讨论】：
标签： c++ multithreading
这不是线程安全的。你在这里有一个竞争条件。原因是，count++ 不一定是原子的（意味着不是单个处理器操作）。该值首先加载，然后递增，然后写回。在每个步骤之间，其他线程也可以修改该值。
【讨论】：
不，不是。 可能取决于实现、编译时选项甚至月相。
但标准并没有强制要求某些东西是线程安全的，特别是因为在当前标准中没有线程安全。
有关此类问题的更详细分析，另请参阅 here。
如果您使用的环境支持线程，则可以使用互斥锁：例如，检查 POSIX 线程下的 pthread_mutex_* 调用。
如果您正在为 C++0x/C++11 编码，请使用互斥体或该标准中详述的原子操作之一。
【讨论】：
只有在您的 PC 上有 1 个具有 ++ 和 -- 原子操作的 CPU 时，它才是线程安全的。
如果你想让它成为线程安全的，这是 Windows 的方式：
LONG volatile count = 0;
void Thread1()
{
::InterlockedIncrement( &count );
}
void Thread2()
{
if(::InterlockedDecrement( &count ) == 0 )
{
printf("Stuf");
}
}
【讨论】：
要让两个或更多线程同时安全地使用一个对象，您需要两件事：操作的原子性和顺序保证。
有些人会假装在某些平台上你在这里尝试的东西是安全的，因为例如int 代表这些平台的任何类型的操作都是原子的（甚至是递增或其他）。这样做的问题是您不一定有订购保证。因此，虽然您想知道这个特定的变量将被同时访问，但编译器却不会。 （编译器假设这个变量一次只能被一个线程使用是正确的：你不希望每个变量都被视为潜在共享的。性能后果将是可怕的。）
所以不要以这种方式使用原始类型。您无法从语言中得到任何保证，即使某些平台有自己的保证（例如原子性），您也无法告诉编译器该变量与 C++ 共享。对原子类型、C++0x 原子类型或库解决方案（例如互斥锁）使用编译器扩展。并且不要让名称误导您：要真正有用，原子类型必须提供排序保证以及名称附带的原子性。
【讨论】：
它是一个全局变量，因此多个线程可以竞相更改它。它不是线程安全的。
使用互斥锁。
【讨论】：
一般来说，不，你不能逃避。在您的简单示例中，它可能碰巧有效，但并不可靠。
【讨论】：