一、复习
计算机内存模型，synchronized和volatile关键字简介
二、两者对比
sychronized和volatile都解决了内存可见性问题
不同点：
（1）前者是独占锁，并且存在者上下文切换的开销以及线程重新调度的开销；后者是非阻塞算法，不会造成上下文切换的开销。
（2）前者可以保证操作的原子性，但是后者不能保证操作的原子性。
三、在什么情况下才会使用volatile
- 写入变量是不依赖当前值的，如果是依赖当前值的话，由于获取-计算-写入,三者不是原子性操作，而volatile是保证原子性操作的。
- 变量没有加锁的时候，如果变量加锁了，是可以保证内存的可见性的因此不需要再使用volatile
四、Java中的原子性操作
- 原子性操作通俗的来讲就是一组操作，要么都执行成功，要么都执行失败，不存在执行部分成功的情况
- 使用synchronized关键字既可以保证操作的原子性又可以保证内存的可见性，volatile只能保证内存的可见性，但是不能保证操作的原子性；synchronized固然好，但在高并发的情况下，由于它是一种独占锁，因此会引起性能低下的问题。
五、Java中的CAS操作
- 定义:CAS(compare and swap)比较并交换，这是JDK提供的一种非阻塞算法，它通过硬件保证了比较-更新的原子性问题。JDK中的Unsafe类提供了一系列的compareAndSwap*方法，下面以compareAndSwapLong为例进行讲解
- boolean compare(Object obj,long offset,long expect,long update)
- 先分别解释一下各个参数，obj是一个对象的引用（也就是对象存储的地址），offset是相对于前面地址的偏移量，expect是一个预想的值，update代表如果和预想的值一样，那么就是使用update这个值来代替，并且返回true，否则返回false
- 这是处理器提供的一种原子性指令
六、ABA问题
- 描述：线程1获取变量x的值为A，然后尝试修改为B，但是此时如果有另一个线程修改了x的值为B，同时又修改成了A，那么线程2的这个A和线程1之前的A就不是同一个A了
- 产生原因：环形依赖，变量的值从A到B，然后又从B到A，这样只能一个方向轮转，如果是从A到B，然后从B到C就不会出现这种情况。
- 解决方式：JDK中的AtomicStampedReferece给每个变量一个时间戳，从而避免了ABA问题
七、Unsafe类
在JDK中的rt.jar包中有许多方法都是native的，这是一种硬件级别的操作，使用JNI来调用C++底层函数来操作。
1.long objectFieldOffset(Field field)
释义：获取某个对象的中的某个域值所在对象的中的内存偏移量
|
1
2
3
4
5
|
try{ long value = Unsafe.objectFieldOffset(AutomicLong.class.getDeclaredField("value"));}catch(Exception e){ e.printStackTrace();} |
2.int arrayBaseOffset(Class arrayClass)
释义：获取数组中的第一个元素地址
3.int arrayIndexOffset(Class arrayClass)
释义：获取数组中第一个元素的字节大小
4.boolean compareAndSwapLong(Object obj,long offset,long expect,long update)
可以见上文
八、源码：
所在包：com.ruigege.OtherFoundationOfConcurrent2
https://github.com/ruigege66/ConcurrentJava
以上就是Java CAS操作与Unsafe类详解的详细内容，更多关于Java CAS操作与Unsafe类的资料请关注服务器之家其它相关文章！
原文链接：https://www.cnblogs.com/ruigege0000/p/14028056.html
