进程学习（3）

两个线程并非执行以下代码，假设a是全局变量，输出结果是：

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

A 3,2 B 2,3C 3, 3 D 2,2

分析：答案是;ABCD 

假设线程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实际打印的是压栈的参数，是值拷贝的栈变量）