今天看ribbon的源码有一个同步代码用到了CAS,想来好奇,加上CAS是JAVA并发的很重要的思想
直接贴源码,其中一个定时任务TimeTask,用于检查本地服务列表每个服务的健康状态是否可用
/**
* TimerTask that keeps runs every X seconds to check the status of each
* server/node in the Server List
*
* @author stonse
*
*/
public void runPinger() throws Exception {
if (!pingInProgress.compareAndSet(false, true)) {
return; // Ping in progress - nothing to do
}
// we are "in" - we get to Ping
Server[] allServers = null;
boolean[] results = null;
Lock allLock = null;
Lock upLock = null;
public final boolean compareAndSet(boolean expect, boolean update) {
int e = expect ? 1 : 0;
int u = update ? 1 : 0;
// 这里发现使用unsafe方法 就是JAVA的Native Interface 本地方法就是C/C++
return unsafe.compareAndSwapInt(this, valueOffset, e, u);
}
CAS三个参数含义是:当前内存中的value,旧的预期值,要修改的值;当且仅当旧的预期值和当前内存中的值一样,才会去修改成新值。这是一个非阻塞的算法,当前线程的执行或挂起不影响其他线程的执行。
先来看一下原子性integer的递增是如何保证原子性的
public final int incrementAndGet() {
for (;;) {
int current = get();
int next = current + 1;
if (compareAndSet(current, next))
return next;
}
}
CAS虽然很高效,但是也有缺点,就是ABA问题,但是JAVA1.5之后提供的新方法可以解决ABA问题,加了modCount操作数机制,每次会对比当前的modCount和预期值是否一样,一样才会进行修改操作;另外源码发现是一直自旋去尝试修改成功,这是很消耗性能的;还有一个缺点就是只能保证一个共享变量的原子性。
volatile和CAS机制是JAVA并发的基石,volatile保证了共享变量的读可见性,CAS保证写的线程安全性以及可见性;是JAVA并发线程间共享变量通信的基石。
AQS,非阻塞队列,原子类这是JAVA并发的核心实现