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

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


A 3,2 B 2,3 C 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实际打印的是压栈的参数,是值拷贝的栈变量)