J.U.C中的原子类实现大致相同,所以我们看AtomicInteger的实现来看一下CAS
AtomicInteger的实现
其有一个私有,volatile变量
private volatile int value;//实现可见性
public final int incrementAndGet() {
for (;;) {
int current = get();
int next = current + 1;
if (compareAndSet(current, next))
return next;
}
}
//实现原子自增
publicfinal boolean compareAndSet(int expect,int update) {
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
//可以看到调用unsafe类的CAS
unsafe类的CAS
- static inline bool
- compareAndSwap (volatile jint *addr, jint old, jint new_val)
- {
- jboolean result = false;
- spinlock lock;
- if ((result = (*addr == old)))
- *addr = new_val;
- return result;
- }
//这是一段c++代码,用当前值和期望值比较
回到cpu的指令上,CAS被编译成cmpxchg,CMPXCHG r/m,r 将累加器AL/AX/EAX/RAX中的值与首操作数(目的操作数)比较,如果相等,第2操作数(源操作数)的值装载到首操作数,zf置1。如果不等, 首操作数的值装载到AL/AX/EAX/RAX并将zf清0