|
例6.4
class stack{
int idx=0; //堆栈指针的初始值为0
char[ ] data = new char[6]; //堆栈有6个字符的空间
public void push(char c){
//压栈操作
data[idx] = c; //数据入栈
idx + +; //指针向上移动一位
}
public char pop(){ //出栈操作
idx - -; //指针向下移动一位
return data[idx]; //数据出栈
}
}
--观看动画--
两个线程A和B在同时使用Stack的同一个实例对象,A正在往堆栈里push一个数据,B则要从堆栈中pop一个数据。如果由于线程A和B在对Stack对象的操作上的不完整性,会导致操作的失败,具体过程如下所示:
1) 操作之前
data = | p | q | | | | | idx=2
2) A执行push中的第一个语句,将r推入堆栈;
data = | p | q | r | | | | idx=2
3) A还未执行idx++语句,A的执行被B中断,B执行pop方法,返回q:
data = | p | q | r | | | | idx=1
4〕A继续执行push的第二个语句:
data = | p | q | r | | , | | idx=2
最后的结果相当于r没有入栈。产生这种问题的原因在于对共享数据访问的操作的不完整性。
|