看源码AtomicXXX类, 实际上都需要native方法的支持, native方法则采用CAS算法, CAS算法是一种无锁算法,CAS是CPU支持的指令.
我的理解CAS是这样一个过程:
1:先获取该值(currentVal)+修改后值(updateVal).
2:然后将(currentVal+updateVal)同时送给CPU.
3:CPU会判断currentVal和actualVal比对:
相等 :说明这个过程是没有被修改过, 属于安全操作,则CPU会修改成updateVal,操作结束
不相等 :则说明在这个过程中已经修改, 则是不安全的, 会返回失败操作.
4:如果失败情况下, 则继续第一步的操作, 直到修改成功为止.
CAS:优点是不会锁住当前线程, 缺点是并发越高, 则失败的次数会更多,消耗CPU资源也就越多.
在Java实现的并发队列中, 实际上内部实现都使用了AtomicInteger为队列在高并发环境下计数的.
下面是一段AtomicInteger.getAndDecrement的方法源码片段:
/**
* Atomically decrements by one the current value. * * @return the previous value */ public final int getAndDecrement() { for (;;) { //获取当前值 int current = get(); //设置修改后的值 int next = current - 1; //compareAndSet: cas方法 if (compareAndSet(current, next)) //只有在正确修改值后,才返回. return current; } }
compareAndSet则调用了unsafe.compareAndSwapInt(this, valueOffset, expect, update);
/**
* Atomically update Java variable to <tt>x</tt> if it is currently
* holding <tt>expected</tt>.
* @return <tt>true</tt> if successful
*/
public final native boolean compareAndSwapInt(Object o, long offset,
int expected,
int x);
所以最终还需要native方法的实现(即虚拟机JVM), 之后我想JVM再去CPU发送CAS操作指令.
CAS算法:compareAndSet的简写, 即比较再设值.