两个线程并发执行以下代码,假设a是全局变量,那么以下输出___哪个是可能的?

两个线程并发执行以下代码,假设a是全局变量,那么以下输出_哪个是可能的?

int a=1;
void foo(){
    ++a;
    printf("%d",a);
}

解析

假设线程x和y同时执行，x和y可随时被抢占，a的初始值为1

• A：3, 2
  y先执行++a，a为2;
  y再执行printf，a入栈，在打印到终端之前切换到x
  x执行＋＋a，a为3;
  x执行printf，输出3;再切换到y
  y执行打印，输出2

• B：2 3
  x先执行＋＋a，a为2;
  x再执行printf，输出2;切换到y
  y执行＋＋a，a为3;
  y执行printf，输出3;

• C：3 3
  x先执行＋＋a，a为2;切换到y
  y执行＋＋a，a为3;
  y执行printf，输出3;切换到x
  x执行printf，输出3

• D：2 2
  类似C， 执行++a操作但没有写回到内存

这里关键有两点：
（1)两个线程可随时被抢占
（2)＋＋a和printf不是原子指令，可随时被打断；特别注意函数printf，a作为参数压栈后，a再变化则不会影响输出（printf实际打印的是压栈的参数，是值拷贝的栈变量）