面试之JUC 并发编程

１、定义：java.util.concurrent包名的简写
    注意，一定要是JDK1.8、IDE 一定要设置

２、并发编程中使用的工具类
    java.util.concurrent
    java.util.concurrent.atomic
    java.util.concurrent.locks

３、哪里有用过volatile？
    单例模式DCL(Double Check Lock双端检锁机制），DCL机制不一定线程安全，原因是指令重排序的存在，加入volatile可以禁止指令重排。
   ３.１使用场景
        对变量的写入操作不依赖变量的当前值，或者确保只有一个线程更新变量的值
        变量不会与其他状态变量一起纳入不变性条件中
        访问变量时不需要加锁
    ３.２局限性
        volatile不能保证递增操作（count++）的原子性，即不可保证原子性。

４、volatile的三大特性（两保一不保）
    4.1、保证可见性
        一个线程修改了主物理内存的值，其他线程马上获取主内存的值
    4.2、保证有序性（禁止指令重排序）
        为了提高性能，编译器和处理器都会对指令做重排，一般分为  源代码-> 编译器优化的重排->指令并行的重排->内存系统的重排->最终执行的指令
            单线程环境里面确保程序最终执行结果和代码顺序执行的结果一致。
处理器在进行重排序时必须要考虑指令之间的数据依赖性
            多线程环境中线程是交替执行的，由于编译器优化重排的存在，两个线程中使用的变量能否保证一致性是无法确定的，结果无法预测。加入了volatile之后，就可以保证有序性。
    4.3、不保证原子性
        解决方案
            1、加synchonized关键字；
分析：过重，不适合。
            2、直接使用juc下AtomicInteger。
                atomicInteger.getAndIncrement(); 解决了多线程环境下number++的问题；底层原理是CAS。
                    

5、CAS原理
      简单的讲就是--比较并交换，CPU并发原语
      5.1、 原理：CAS则是比较当前工作内存中的值与主内存中的值，如果相同则执行规定操作，否则继续比较直到主内存和工作内存中的值一致为止
       5.2、 底层原理： 核心是Unsafe类（在jdk中rt.jar中的sun.misc下的Unsafe类），由于Java方法无法直接访问底层系统，需要通过本地（native）方法来访问，Unsafe相当于一个后门，基于该类可以直接操作特定内存的数据。换句话说就是CAS其实是直接操作的地址中的内容。CAS并发原语体现在JAVA语言中就是sun.misc.Unsafe类中的各个方法。调用UnSafe类中的CAS方法，JVM会帮我们实现出CAS汇编指令。这是一种完全依赖于硬件的功能，通过它实现了原子操作。再次强调，由于CAS是一种系统原语，原语属于操作系统用语范畴，是由若干条指令组成的，用于完成某个功能的一个过程，并且原语的执行必须是连续的，在执行过程中不允许被打断，也就是说CAS是一条CPU的原子指令，不会造成所谓的数据不一致问题。
       5.3、 缺点
                            循环时间长，开销很大（do…while）
                            只能保证一个共享变量的原子操作
                            会导致ABA问题

6、什么是ABA问题？
      CAS算法实现一个重要前提需要取出内存中某时刻的数据并在当下时刻比较并替换，那么这个时间差类会导致数据的变化。
      例子：线程1从内存中位置V中取出A，这时候线程2也从内存中取出A，改为B，再改为A，这时候线程1进行CAS操作发现仍为A，并进行CAS操作。尽管线程1的CAS操作成功，但不是代表这个过程是没有问题的。

     解决法案
     原来基础上加一个版本号

 7、 AtomicInteger，为什么要用CAS而不是synchronized？
       同一时间段只有一个线程可以进行访问，保证了线程安全，但是并发量下降。
       可以反复通过CAS进行比较，没有加锁，既保证了一致性，又提高了并发量

 8、 总结：
．java 的 cas 利用的的是 unsafe 这个类提供的 cas 操作。
· unsafe 的cas 依赖了的是 jvm 针对不同的操作系统实现的 Atomic::cmpxchg
· Atomic::cmpxchg 的实现使用了汇编的 cas 操作，并使用 cpu 硬件提供的 lock信号保证其原子性

9、volatile的理解
    volatile是Java虚拟机提供的轻量级的同步机制,基本遵守了JMM的规范,用来确保将变量的更新操作通知到其他线程
    当把变量声明为volatile类型后，编译器与运行时都会注意到这个变量是共享的，因此不会重排序。
    volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方，因此读取volatile类型的变量时总会返回最新写入的值
    在访问volatile变量时不会执行加锁操作，因此不会使执行线程阻塞。