1. CAS概述
2. CAS原理:ussafe类+自旋锁
2.1 硬件级别保证:
2.2 Unsafe类:CPU源语级别的实现
①. 是CAS的核心类,由于Java 方法无法直接访问底层 ,需要通过本地(native)方法来访问,UnSafe相当于一个后门,基于该类可以直接操作特定的内存数据.UnSafe类在于sun.misc包中,其内部方法操作可以向C的指针一样直接操作内存,因为Java中CAS操作依赖于UnSafe类的方法
注意:UnSafe类中所有的方法都是native修饰的,也就是说UnSafe类中的方法都是直接调用操作底层资源执行响应的任务
②. 变量ValueOffset,便是该变量在内存中的偏移地址,因为UnSafe就是根据内存偏移地址获取数据的
③. 变量value和volatile修饰,保证了多线程之间的可见性
2.3 小总结
3. CAS缺点
①. 循环时间长开销很大:如果CAS失败,会一直进行尝试,产生自旋。
②. 只能保证一个共享变量的原子性
当对一个共享变量执行操作时,我们可以使用循环CAS的方式来保证原子操作。对多个共享变量操作时,循环CAS就无法保证操作的原子性,这个时候就可以用锁来保证原子性。
③. ABA问题
产生:比如一个线程one从内存位置V中取出A,这时候另一个线程two也从内存中取出A,并且线程two进行了一些操作将值变成了B,然后线程two又将V位置的数据变成A,这时候线程one进行CAS操作发现内存中仍然是A,然后线程one操作成功。尽管线程one的CAS操作成功,但是不代表这个过程就是没问题的。
解决方案:ABA问题解决方案是使用 AtomicStampedReference (戳计流水) 每修改一次都会有一个版本号
一句话:比较 + 版本号