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思想,时刻考虑其他线程来进行并发修改,上锁时其他线程全部阻塞直到解锁被唤醒.