比较并替换,实现并发算法时常用到的一种技术,在java同步器中大量使用了CAS技术,神奇的实现了多线程执行的安全性
思想很简单:三个参数一个当前内存值V
旧的预期值A
即将更新的值B
当且仅当预期值A和内存值V相同时,将内存值修改为B并返回true,否则什么都不做,并返回false。
问题
一个n++的问题。public class Case { public volatile int n; public void add() {
n++;
}
}
通过javap -verbose Case看看add方法的字节码指令public void add();
flags: ACC_PUBLIC
Code:
stack=3, locals=1, args_size=1
0: aload_0
1: dup
2: getfield #2 // Field n:I
5: iconst_1
6: iadd
7: putfield #2 // Field n:I
10: return
n++被拆分成了几个指令:
执行getfield拿到原始n;
执行iadd进行加1操作;
执行putfield写把累加后的值写回n;
通过volatile修饰的变量可以保证线程之间的可见性,但并不能保证这3个指令的原子执行,在多线程并发执行下,无法做到线程安全,得到正确的结果,那么应该如何解决呢?
如何解决
在add方法加上synchronized修饰解决。public class Case { public volatile int n; public synchronized void add() {
n++;
}
}
这个方案当然可行,但是性能上差了点,还有其它方案么?
再来看一段代码
public int a = 1;
public boolean compareAndSwapInt(int b) {
if (a == 1