亲宝软件园·资讯

展开

java架构之路(多线程)原子操作,Atomic与Unsafe魔术类

小菜技术 人气:6

  这次不讲原理了,主要是一些应用方面的知识,和上几次的JUC并发编程的知识点更容易理解.

知识回顾:

  上次主要说了Semaphore信号量的使用,就是一个票据的使用,我们举例了看3D电影拿3D眼镜的例子,还说了内部的抢3D眼镜,和后续排队的源码解析,还有CountDownLatch的使用,我们是用王者农药来举例的,CyclicBarrier栅栏的使用和CountDownLatch几乎是一致的,Executors用的很少我只是简单的写了一个小示例。上次遗漏了一个CountDownLatch和CyclicBarrier的区别。

CountDownLatch和CyclicBarrier的区别:

  区别的根本在于有无主线程参与,这样就很容易区别了,CountDownLatch有主线程,CyclicBarrier没有主线程,我们来举两个例子,CountDownLatch主线程是游戏程序,而我们开启的10个线程是玩家加载程序,我们的游戏主程序会等待10个玩家加载完成,线程可能结束,然后主程序游戏程序继续运行。CyclicBarrier没有主线程,但是具有重复性,再举一个例子,年会了,公司团建活动,三人跨栅栏,要求是必须三人全部跨过栅栏以后才可以继续跨下一个栅栏。

  CountDownLatch和CyclicBarrier都有让多个线程等待同步然后再开始下一步动作的意思,但是CountDownLatch的下一步的动作实施者是主线程,具有不可重复性;而CyclicBarrier的下一步动作实施者还是“其他线程”本身,具有往复多次实施动作的特点。

本次新知识

  什么是原子操作?

  原子(atom)本意是“不能被进一步分割的小粒子”,而原子操作(atomic  operation)意为”不可被中断的一个或一系列操作” 。就像是我们的mysql里面的提到的ACID,原子性,也是不可分割的操作,最小的单位。

  我们以前说的MESI,说到了缓存行,也是上锁的最小单位,原子变更就不做过多解释了,就是把一个变量的值改为另外一个值。比较与交换我们在Semaphore源码里也接触过了,也就是CAS操作需要输入两个数值,一个旧值,一个新值,在将要变更为新值之前,会比较旧值是否已经改变,如果改变了修改失败,如果没有改变,修改成功。

  Atomic的使用

  在Atomic包内一共有12个类,四种原子更新方式,原子更新基本类型,原子更新数组,原子更新字段,Atomic包里的类基本都是基于Unsafe实现的包装类。

  

   基本类型:AtomicInteger,AtomicBoolean,AtomicLong。

   引用类型:AtomicReference、AtomicReference的ABA实例、AtomicStampedReference、AtomicMarkableReference。

  数组类型:AtomicIntegerArray、AtomicLongArray、AtomicReferenceArray。

  属性原子修改器:AtomicLongFieldUpdater、AtomicReferenceFieldUpdater、AtomicIntegerFieldUpdater。

  来一个简单的实例,就是开启10个线程然后做一个自加的操作,还是很好理解的。

public class AtomicIntegerTest {
    static AtomicInteger atomicInteger = new AtomicInteger();

    public static void main(String[] args) {
        for (int i = 0; i<10; i++){
            new Thread(new Runnable() {
                @Override
                public void run() {
                    atomicInteger.incrementAndGet();
                }
            }).start();
        }

        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println("自加10次数值:--->"+atomicInteger.get());
    }
}

   ABA问题,ABA这样更能好理解一些,一眼就可以看出来A已经不是原来的A了,虽然值一样,但是里面的属性变成了红色的,先来看一段代码。

package com.xiaocai.main;

import java.util.concurrent.atomic.AtomicInteger;

public class AtomicIntegerTest {
    static AtomicInteger atomicInteger = new AtomicInteger(1);
    public static void main(String[] args) {
        Thread main = new Thread(new Runnable() {
            @Override
            public void run() {
                int a = atomicInteger.get();
                System.out.println("操作线程"+Thread.currentThread().getName()+",修改前操作数值:"+a);
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                boolean isCasSuccess = atomicInteger.compareAndSet(a,2);
                if(isCasSuccess){
                    System.out.println("操作线程"+Thread.currentThread().getName()+",Cas修改后操作数值:"+atomicInteger.get());
                }else{
                    System.out.println("CAS修改失败");
                }

            }
        },"主线程");

        Thread other = new Thread(new Runnable() {
            @Override
            public void run() {
                atomicInteger.incrementAndGet();// 1+1 = 2;
                System.out.println("操作线程"+Thread.currentThread().getName()+",自加后值:"+atomicInteger.get());
                atomicInteger.decrementAndGet();// atomic-1 = 2-1;
                System.out.println("操作线程"+Thread.currentThread().getName()+",自减后值:"+atomicInteger.get());
            }
        },"干扰线程");
        main.start();
        other.start();
    }
}

  我们可以看到主线程设置一个初始值为1,然后进行等待,干扰线程将1修改为2,又将2修改回1,然后主线程继续操作1修改为2,这一系列的动作,主线程并没有感知到1已经不是原来的1了。

   这样的操作其实是很危险的,我们假象,小王是银行的职员,他可以操作每个账户的金额(假设啊,具体能不能我也不知道),他将撕葱的账户转走了1000万用于炒股,股市大涨,小王赚了2000万,还了1千万,自己还剩下2千万,过几天撕葱来查看自己账户钱并没有少,但是钱已经不是那个钱了,有人动过的。所以ABA问题我们还是要想办法来处理的。我们每次转账汇款的操作都是有一个流水号(回执单)的,也就是每次我们加一个版本号码就可以了,我们来改一下代码。

public class AtomicIntegerTest {
    static AtomicStampedReference atomicInteger = new AtomicStampedReference<>(1,0);
    public static void main(String[] args) {
        Thread main = new Thread(new Runnable() {
            @Override
            public void run() {
                int stamp = atomicInteger.getStamp(); //获取当前标识别
                System.out.println("操作线程"+Thread.currentThread().getName()+"修改前的版本号为:"+stamp+",修改前操作数值:"+atomicInteger.getReference());
                try {
                    Thread.sleep(3000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                boolean isCasSuccess = atomicInteger.compareAndSet(1,2,stamp,stamp +1);  //此时expectedReference未发生改变,但是stamp已经被修改了,所以CAS失败
                if(isCasSuccess){
                    System.out.println("操作线程"+Thread.currentThread().getName()+",Cas修改后操作数值:"+atomicInteger.getReference());
                }else{
                    System.out.println("CAS修改失败,当前版本为:"+atomicInteger.getStamp());
                }

            }
        },"主线程");

        Thread other = new Thread(new Runnable() {
            @Override
            public void run() {
                int stamp = atomicInteger.getStamp();
                atomicInteger.compareAndSet(1,2,atomicInteger.getStamp(),atomicInteger.getStamp()+1);
                System.out.println("操作线程"+Thread.currentThread().getName()+",版本号为:"+stamp+",修改后的版本号为:"+atomicInteger.getStamp()+",自加后值:"+atomicInteger.getReference());

                int newStamp = atomicInteger.getStamp();
                atomicInteger.compareAndSet(2,1,atomicInteger.getStamp(),atomicInteger.getStamp()+1);
                System.out.println("操作线程"+Thread.currentThread().getName()+",版本号为:"+newStamp+",修改后的版本号为:"+atomicInteger.getStamp()+",自减后值:"+atomicInteger.getReference());

            }
        },"干扰线程");
        main.start();
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        other.start();
    }
}

  我们先初始一个主线程,并且设置版本号为0。然后干扰线程进行修改,每次修改时版本号加一,干扰线程结束,而主线程想继续修改时,发现版本不匹配,修改失败。

  其余Atomic的类使用都是大同小异的,可以自行尝试一遍。

  Unsafe魔术类的使用

   Unsafe是位于sun.misc包下的一个类,主要提供一些用于执行低级别、不安全操作的 方法,如直接访问系统内存资源、自主管理内存资源等,这些方法在提升Java运行效率、增 强Java语言底层资源操作能力方面起到了很大的作用。但由于Unsafe类使Java语言拥有了 类似C语言指针一样操作内存空间的能力,这无疑也增加了程序发生相关指针问题的风险。 在程序中过度、不正确使用Unsafe类会使得程序出错的概率变大,使得Java这种安全的语 言变得不再“安全”,因此对Unsafe的使用一定要慎重。

  在过去的几篇博客里也说到了Unsafe这个类,我们需要通过反射来使用它,比如读写屏障、加锁解锁,线程的挂起操作等等。

   如何获取Unsafe实例?

  1、从getUnsafe方法的使用限制条件出发,通过Java命令行命令-Xbootclasspath/a把 调用Unsafe相关方法的类A所在jar包路径追加到默认的bootstrap路径中,使得A被 引导类加载器加载,从而通过Unsafe.getUnsafe方法安全的获取Unsafe实例。 java ­Xbootclasspath/a:${path}   // 其中path为调用Unsafe相关方法的类所在jar包路径。 

  2、通过反射获取单例对象theUnsafe。 

public static Unsafe reflectGetUnsafe() {
    try {
        Field field = Unsafe.class.getDeclaredField("theUnsafe");
        field.setAccessible(true);
        return (Unsafe) field.get(null);
    } catch (Exception e) {
        e.printStackTrace();
    }
    return null;
}

总结:

  这次博客完全没有代码的解析阅读,都是一些简单的使用,我们开始时候说到了什么是原子操作,接下来我们说了Atomic类的基本使用,再就是什么是ABA问题,如何用Atomic来解决ABA问题,再就是我们的魔术类Unsafe类,越过虚拟机直接来操作我们的系统的一些操作(不是超级熟练别玩这个,玩坏了不好修复)。希望对大家在工作面试中能有一些帮助。

 

 

最进弄了一个公众号,小菜技术,欢迎大家的加入

 

 

 

 

加载全部内容

相关教程
猜你喜欢
用户评论