6.2多线程的互斥与同步 临界资源问题 前面所提到的线程都是独立的,而且异步执行,也就是说每个线程都包含了运行时所需要的数据或方法,而不需要外部的资源或方法,也不必关心其它线程的状态或行为。但是经常有一些同时运行的线程需要共享数据,此时就需考虑其他线程的状态和行为,否则就不能保证程序的运行结果的正确性。例6.4说明了此问题。 例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