上篇文章Sychronized的偏向锁、轻量级锁、重量级锁简单介绍了三种锁,其中提到自旋锁的实现是通过CAS来实现的,今天就来浅浅的窥探一下CAS的实现原理。
CAS的概念
CAS的全称为:CompareAndSwap,直译为对比和交换。
CAS实际是大部分处理器都支持的一条指令,通过判断当前内存值V、旧的预期值A、即将更新的值B是否相等来对比并设置新值,保证变量的原子性,从而实现原子操作。
demo
static AtomicInteger num = new AtomicInteger();
public static void main(String[] args) {
for (int i = 0; i < 1000; i++) {
Thread t = new Thread(new Runnable() {
@Override
public void run() {
while (num.get() < 1000) {
num.addAndGet(1);
System.out.println(Thread.currentThread().getName()+"-->"+num);
}
}
});
t.start();
}
}
上面是一个简单的多线程共同完成的一个目标值修改操作,里面用到了JUC包中提供的AtomicInteger(作者是大名鼎鼎的DougLea)类。AtomicInteger是Java支持原子操作的类之一,它的原子操作其实就是通过CAS来实现的,下面我们来进入AtomicInteger类中一探究竟
addAndGet方法调用了Unsafe(Java 不能直接访问操作系统底层,而是通过本地方法来访问,Unsafe类提供了硬件级别的原子操作)中的getAndAddInt方法
这里使用到了compareAndSwap方法(自旋)
compareAndSwap方法
可以在jdk源码中找到这两个文件,找到具体的本地方法(此处是C++实现的CUP指令cmpxchg,以此实现无锁同步CAS操作)
到此为止,我们已经从应用层到CPU指令看到了一个基于CAS的完整demo,相信你也对CAS有了一些理解,本篇文章只能带你浅浅窥探一下CAS的基本概念和原理,激起你对知识的渴望,想深入了解还需要我们自身实践以及了解更多的资料。加油开发者,希望我们一直肩并肩,在后端路上前进着。
附:
Unsafe类