Java中的CAS操作

  在Java中,锁在并发处理上占据一席之地,但是使用锁有一个很不好的地方,当一个线程未获取到锁时会被阻塞挂起,这会导致线程上下文的切换和重新调度开销。Java提供非阻塞的volatile关键字来解决共享变量的可见性问题,但是却不能解决读写一致性问题。CAScompareAndSwap的缩写,是JDK提供的非阻塞原子性操作,他通过硬件保证比较-更新的原子性。JDK中的Unsefe类提供了一系列的compareAndSwap*方法。

  Unsafe类中的重要方法

//返回指定的变量在所属类中的内存偏移地址。
long objectFieldOffset(Field field) 
//获取obj对象中偏移量为offsetde 变量对应的volatile语义值。
public native long getLongvolatile(Object obj,long offset) 
// 设置obj对象中偏移量为offsetde 变量的值为value
void putLongvolatile(Object obj,long offset,long value)
// 获取对象中偏移量为offset的变量volatile语义的当前值,并设置变量volatile语义值为update
long getAndSetLong(Object obj,long offset,long update)
//获取对象中偏移量为offset的变量volatile语义的当前值,并设置变量volatile语义值为原始值+addValue
long getAndAddLong(Object obj,long offset,long addValue)

  使用Unsafe类
由于Unsafe类可以直接操作内存,这是不安全的,JDK开发组对获取Unsafe类对象做了限制,直接使用Unsafe类静态方法会抛出如下异常:

 Unsafe unsafe = Unsafe.getUnsafe();
Exception in thread "main" java.lang.SecurityException: Unsafe
	at sun.misc.Unsafe.getUnsafe(Unsafe.java:90)
	at com.xietong.phoenix.TestUafe.main(TestUafe.java:32)

如何获取Unsafe类并使用

import java.lang.reflect.Field;

/**
 * @Author: zzh
 * @Date: 2020/7/9 15:08
 */
public class TestUafe {
    static Unsafe unsafe;
    static long stateOffset;
    volatile long state = 0;

    static {
        try {
            Field field = Unsafe.class.getDeclaredField("theUnsafe");
            field.setAccessible(true);
            unsafe = (Unsafe) field.get(null);
            stateOffset = unsafe.objectFieldOffset(TestUafe.class.getDeclaredField("state"));
        } catch (NoSuchFieldException | IllegalAccessException e) {
            e.printStackTrace();
        }
    }

    public static void main(String[] args) {
        TestUafe testUafe = new TestUafe();
        boolean b = unsafe.compareAndSwapLong(testUafe, stateOffset, 1, 1);
        System.out.println("success:" + b + " state:" + testUafe.state);
    }
}

虽然可以通过反射获取到Unsafe类对象,但是还是不建议开发人员直接使用。后面继续更新JAVA并发包中的一些原子操作类JUC。

CAS 本身无法直接解决 ABA 问题,但通过一些附加的机制,可以解决这一问题。Java 提供了几种方法来避免 ABA 问题,常用的是使用版本号(`AtomicStampedReference`): ```java import java.util.concurrent.atomic.AtomicStampedReference; public class ABASolutionDemo { public static void main(String[] args) { // 初始值为 100,版本号为 1 AtomicStampedReference<Integer> stampedReference = new AtomicStampedReference<>(100, 1); int[] stampHolder = new int[1]; // 获取当前值和版本号 Integer currentValue = stampedReference.get(stampHolder); int currentStamp = stampHolder[0]; // 模拟其他线程修改操作 new Thread(() -> { int[] stampHolder1 = new int[1]; Integer value1 = stampedReference.get(stampHolder1); int stamp1 = stampHolder1[0]; // 将值从 100 改为 101 stampedReference.compareAndSet(value1, 101, stamp1, stamp1 + 1); int[] stampHolder2 = new int[1]; Integer value2 = stampedReference.get(stampHolder2); int stamp2 = stampHolder2[0]; // 再将值从 101 改回 100 stampedReference.compareAndSet(value2, 100, stamp2, stamp2 + 1); }).start(); try { // 等待其他线程操作完成 Thread.sleep(1000); } catch (InterruptedException e) { e.printStackTrace(); } // 尝试更新值 boolean result = stampedReference.compareAndSet(currentValue, 200, currentStamp, currentStamp + 1); if (result) { System.out.println("更新成功,新值为: " + stampedReference.getReference()); } else { System.out.println("更新失败,当前值为: " + stampedReference.getReference()); } } } ``` 在上述代码中,`AtomicStampedReference` 类不仅会比较值,还会比较版本号。每次对值进行修改时,版本号都会增加,这样即使值从 A 变为 B 再变回 A,但版本号已经改变,就可以避免 ABA 问题[^1]。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值