multithreading - pthreads:如果我从两个不同的线程增加一个全局变量，会出现同步问题吗？

Question

假设我有两个线程 A 和 B，它们都在递增 ~global~ 变量“count”。每个线程都运行一个像这样的 for 循环:

for(int i=0; i<1000; i++)
    count++; //alternatively, count = count + 1;

即每个线程将计数增加 1000 次，假设计数从 0 开始。在这种情况下会出现同步问题吗？或者在执行完成时计数正确等于 2000？我猜因为语句“count = count + 1”可能会分解为两条汇编指令，所以有可能在这两条指令之间交换另一个线程？没有把握。你怎么认为？

Answer 1

是的，在这种情况下可能存在同步问题。您需要使用互斥锁保护计数变量，或者使用(通常是特定于平台的)原子操作。

使用 pthread 互斥锁的示例

static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

for(int i=0; i<1000; i++) {
    pthread_mutex_lock(&mutex);
    count++;
    pthread_mutex_unlock(&mutex);
}

使用原子操作

这里有一个平台特定的原子操作的先前讨论:
UNIX Portable Atomic Operations

如果您只需要支持 GCC，这种方法很简单。如果您支持其他编译器，则可能必须针对每个平台做出一些决定。