CAS
Compare and Swap(比较再交换)
体现了一种乐观锁的思想,在无锁情况下保证线程操作共享数据的原子性.
线程A和线程B对主内存中的变量c同时进行修改
在线程A中存在预期值a,修改后的更新值a1
在线程B中存在预期值b,修改后的更新值b1
当且仅当预期值和主内存中的变量值相等时,将主内存中的变量c修改为对应线程的更新值并返回true,如果失败,返回false并通过自旋的方式一直比较和尝试,直到CAS操作成功.
自旋
while(true){
预期值a = 共享变量c
更新值a1 = a++;
if(CAS){
return;
}
}
如果失败,就会重新读取主内存中的数据并进行数据操作,直到CAS成功.
CAS的底层实现
通过Unsafe类直接调用操作系统底层的CAS指令
依赖于三个由native修饰的本地方法
native:由java提供的原生方法
compareAndSwapObject()
compareAndSwapInt()
compareAndSwapLong()
参数中包含:
当前值©,预期值(a)和更新值(a1)
乐观锁和悲观锁
乐观锁思想:
CAS思想,不考虑其他线程来进行并发修改的情况,修改了再进行自旋操作.
悲观锁思想:
synchronized思想,时刻考虑其他线程来进行并发修改,上锁时其他线程全部阻塞直到解锁被唤醒.
