Java CAS操作与Unsafe类详解

时间:2022-09-22 21:14:50

一、复习

计算机内存模型,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