为什么会存在不等于20000

Question

Ubuntu下gcc编译跑，为什么会存在不等于20000？

int n = 0;
void *fun1(void *a)
{
  for (int i = 0; i < 10000; ++i)
  {
    n++;
  }
  return NULL;
}
void *fun2(void *a)
{
  for (int i = 0; i < 10000; ++i)
  {
    n++;
  }
  return NULL;
}
int main()
{
  pthread_t tid1, tid2;
  pthread_create(&tid1, NULL, fun1, NULL);
  pthread_create(&tid2, NULL, fun2, NULL);
  pthread_join(tid1, NULL);
  pthread_join(tid1, NULL);
  printf("%d\n",n);
  return 0;
}

Answer 1

因为你的n是共享变量，n++存在读-修改-写回 三个操作，不是原子化的
如果线程1读，然后增加，此时线程2也在读，还是旧的值，然后线程1、2分别写回，这就会出现少+1的情况