什么是 Java 中的 Unsafe 与 CAS
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了什么是 Java 中的 Unsafe 与 CAS，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含4098字，纯文字阅读大概需要6分钟。
内容图文
Unsafe
简单讲一下这个类。Java无法直接访问底层操作系统，而是通过本地（native）方法来访问。不过尽管如此，JVM还是开了一个后门，JDK中有一个类Unsafe，它提供了硬件级别的原子操作。
Unsafe提供了硬件级别的原子操作，可以理解为Unsafe方法都是线程安全的吗？
public
native
long staticFieldOffset(Field paramField);
这个方法可以用来获取给定的paramField的内存地址偏移量，这个值对于给定的field是唯一的且是固定不变的。
public
native
int
arrayBaseOffset(Class paramClass);
public
native
int arrayIndexScale(Class paramClass);
前一个方法是用来获取数组第一个元素的偏移地址，后一个方法是用来获取数组的转换因子即数组中元素的增量地址的。
public
native
long allocateMemory(long paramLong);
publicnativelong reallocateMemory(long paramLong1, long paramLong2);
publicnativevoid freeMemory(long paramLong);
分别用来分配内存，扩充内存和释放内存的。
CAS
CAS，Compare and Swap即比较并交换，设计并发算法时常用到的一种技术，java.util.concurrent包全完建立在CAS之上，没有CAS也就没有此包，可见CAS的重要性。
当前的处理器基本都支持CAS，只不过不同的厂家的实现不一样罢了。CAS有三个操作数：内存值V、旧的预期值A、要修改的值B，当且仅当预期值A和内存值V相同时，将内存值修改为B并返回true，否则什么都不做并返回false。
CAS也是通过Unsafe实现的，看下Unsafe下的三个方法：
public
final
native
boolean compareAndSwapObject(Object paramObject1, long paramLong, Object paramObject2, Object paramObject3);
publicfinalnativeboolean compareAndSwapInt(Object paramObject, long paramLong, int paramInt1, int paramInt2);
publicfinalnativeboolean compareAndSwapLong(Object paramObject, long paramLong1, long paramLong2, long paramLong3);
参数说明：compareAndSwapInt为例
这个是一个native方法
paramObject：需要改变的对象。
paramLong：偏移量(即之前求出来的headOffset的值)。
paramInt1：期待的值。
paramInt2：更新后的值。
整个方法的作用是如果当前时刻的值等于预期值paramInt1，则更新为新的期望值paramInt2，如果更新成功，则返回
true，否则返回false;（当前线程想要修改的对象是否已经被其他线程修改，没有修改则修改为更新后的新值。）
就拿中间这个比较并交换Int值为例好了，如果我们不用CAS，那么代码大致是这样的：
1
public
int i = 1;
2 3publicboolean compareAndSwapInt(int j)
4{
5if (i == 1)
6 {
7 i = j;
8returntrue;
9 }
10returnfalse;
11 }
当然这段代码在并发下是肯定有问题的，有可能线程1运行到了第5行正准备运行第7行，线程2运行了，把i修改为10，线程切换回去，线程1由于先前已经满足第5行的if了，所以导致两个线程同时修改了变量i。
解决办法也很简单，给compareAndSwapInt方法加锁同步就行了，这样，compareAndSwapInt方法就变成了一个原子操作。CAS也是一样的道理，比较、交换也是一组原子操作，不会被外部打断，先根据paramLong/paramLong1获取到内存当中当前的内存值V，在将内存值V和原值A作比较，要是相等就修改为要修改的值B，由于CAS都是硬件级别的操作，因此效率会高一些。
由CAS分析AtomicInteger原理
java.util.concurrent.atomic包下的原子操作类都是基于CAS实现的，下面拿AtomicInteger分析一下，首先是AtomicInteger类变量的定义：
//
setup to use Unsafe.compareAndSwapInt for updates
private
static
final Unsafe unsafe = Unsafe.getUnsafe();
privatestaticfinallong valueOffset;
static {
try {
valueOffset = unsafe.objectFieldOffset
(AtomicInteger.class.getDeclaredField("value"));
} catch (Exception ex) { thrownew Error(ex); }
}
privatevolatileint value;
关于这段代码中出现的几个成员属性：
1、Unsafe是CAS的核心类，前面已经讲过了
2、valueOffset表示的是变量值在内存中的偏移地址，因为Unsafe就是根据内存偏移地址获取数据的原值的
3、value是用volatile修饰的，这是非常关键的
下面找一个方法getAndIncrement来研究一下AtomicInteger是如何实现的，比如我们常用的addAndGet方法：
/**
* Atomically increments by one the current value.
*
*
@return
the previous value
*/
public
final
int
getAndIncrement() {
for
(;;) {
int current = get();
int next = current + 1;
if (compareAndSet(current, next))
return current;
}
}
public
final
boolean compareAndSet(int expect, int update) {
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
/**
* Gets the current value.
*
*
@return
the current value
*/
public
final
int
get() {
return
value;
}
private
volatile
int value;
1、AtomicInteger里面的value原始值为3，即主内存中AtomicInteger的value为3，根据Java内存模型，线程1和线程2各自持有一份value的副本，值为3
2、线程1运行到第三行获取到当前的value为3，线程切换
3、线程2开始运行，获取到value为3，利用CAS对比内存中的值也为3，比较成功，修改内存，此时内存中的value改变比方说是4，线程切换
4、线程1恢复运行，利用CAS比较发现自己的value为3，内存中的value为4，得到一个重要的结论–>此时value正在被另外一个线程修改，所以我不能去修改它
5、线程1的compareAndSet失败，循环判断，因为value是volatile修饰的，所以它具备可见性的特性，线程2对于value的改变能被线程1看到，只要线程1发现当前获取的value是4，内存中的value也是4，说明线程2对于value的修改已经完毕并且线程1可以尝试去修改它
6、最后说一点，比如说此时线程3也准备修改value了，没关系，因为比较-交换是一个原子操作不可被打断，线程3修改了value，线程1进行compareAndSet的时候必然返回的false，这样线程1会继续循环去获取最新的value并进行compareAndSet，直至获取的value和内存中的value一致为止
整个过程中，利用CAS机制保证了对于value的修改的线程安全性。
CAS的缺点
CAS看起来很美，但这种操作显然无法涵盖并发下的所有场景，并且CAS从语义上来说也不是完美的，存在这样一个逻辑漏洞：如果一个变量V初次读取的时候是A值，并且在准备赋值的时候检查到它仍然是A值，那我们就能说明它的值没有被其他线程修改过了吗？如果在这段期间它的值曾经被改成了B，然后又改回A，那CAS操作就会误认为它从来没有被修改过。这个漏洞称为CAS操作的”ABA”问题。java.util.concurrent包为了解决这个问题，提供了一个带有标记的原子引用类”AtomicStampedReference”，它可以通过控制变量值的版本来保证CAS的正确性。不过目前来说这个类比较”鸡肋”，大部分情况下ABA问题并不会影响程序并发的正确性，如果需要解决ABA问题，使用传统的互斥同步可能回避原子类更加高效。
原文：https://www.cnblogs.com/lhicp/p/14956962.html
内容总结
以上是互联网集市为您收集整理的什么是 Java 中的 Unsafe 与 CAS全部内容，希望文章能够帮你解决什么是 Java 中的 Unsafe 与 CAS所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。