JUC知识点学习（1）

JUC是啥？额，那个是并发包。啥是并发包？额，那个你打开这个网址：www.baidu.com输入并发包。我也搞不清楚这玩意咋学，但面试就他妈的要问，问到怀疑人生。然后在一个视屏中听到阳哥的声音，学习了下。但是没得资料，只好找到破旧不堪的图，自己整理。就有了这个，先来一点下下饭。当然这里都是进阶版，不属于基础概念那种。

一 谈谈对volatile的理解

volatile是java虚拟接提供的轻量级的同步机制，啥是轻量级，重量级？看特性！他有三个特性：
1.保证可见性
2.不保证原子性
3.禁止指令重排
首先可见性，在线程A修改了共享变量的值后，线程B可以立马获取到最新修改的值。不保证原子性，线程A修改共享变量的值，共享变量的还没来得及写进主内存，此时B线程也修改共享变量的值，导致B修改的共享变量不是A修改后的而是之前的副本，所以不是同一个操作。禁止指令重排，通过内存屏障保证指令的有序性。

二 谈谈jmm

Java Memory Model的简称，是一个抽象的概念，说明了程序中变量的访问方式。
jmm同步规定
1.线程解锁前,必须把共享变量的值刷新回主内存
2.线程加锁前,必须读取主内存的最新值到自己的工作内存
3.加锁解锁是同一把锁

我们看下下面的一段话。
由于JVM运行程序的实体是线程,而每个线程创建时JVM都会为其创建一个工作内存(有些地方成为栈空间),工作内存是每个线程的私有数据区域,而Java内存模型中规定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可访问,但线程对变量的操作(读取赋值等)必须在工作内存中进行,首先要将变量从主内存拷贝到自己的工作空间,然后对变量进行操作,操作完成再将变量写回主内存,不能直接操作主内存中的变量,各个线程中的工作内存储存着主内存中的变量副本拷贝,因此不同的线程无法访问对方的工作内存,此案成间的通讯(传值) 必须通过主内存来完成.

这个简图就很好解释了这段话，说通俗点，就像我们平时工作使用的版本控制工具git.master的代码是每个人可见的，我们要修改代码是先拉取到本地，修改后提交到master，同一个文件只有A修改提交后B才能接着修改，若A修改的同时，B也修改，最后就冲突了。
jmm有几个问题
1.可见性
各个线程对主内存中共享变量的操作都是各个线程各自拷贝到自己的工作内存操作后再写回主内存中的.
这就可能存在一个线程AAA修改了共享变量X的值还未写回主内存中时 ,另外一个线程BBB又对内存中的一个共享变量X进行操作,但此时A线程工作内存中的共享比那里X对线程B来说并不不可见.这种工作内存与主内存同步延迟现象就造成了可见性问题.就像你的同事修改了代码没及时提交，你看到的还是他没修改之前的代码。
2.原子性
这个就比较好理解，这就引出了一个问题，我们常用的I++是线程安全的吗？显然不是，这就涉及到i++操作的三个指令。
1.先get到原始的值i
2.执行n+1的操作
3.将累加后的n+1写回去。
3有序性
这个就属于指令重排，我们知道在多线程运行时不能保证线程的顺序执行，volatile禁止指令重排就保证了特定操作的顺序问题。

三 哪些场景用到了volatile

volatile保证了数据的可见性，不保证原子性，但是还是应用在一些场景。
单例模式DCL（双端检测）代码

public class SingletonDemo {

private static volatile SingletonDemo instance=null;
private SingletonDemo(){
    System.out.println(Thread.currentThread().getName()+"\t 构造方法");
}

/**
 * 双重检测机制
 * @return
 */
public static SingletonDemo getInstance(){
    if(instance==null){
        synchronized (SingletonDemo.class){
            if(instance==null){
                instance=new SingletonDemo();
            }
        }
    }
    return instance;
}

public static void main(String[] args) {
    for (int i = 1; i <=10; i++) {
        new Thread(() ->{
            SingletonDemo.getInstance();
        },String.valueOf(i)).start();
    }
}

}

这是一个熟悉的代码，那么他是否是线程安全的呢？咋一看是线程安全的，仔细一看，有猫腻。
DCL(双端检锁) 机制不一定线程安全,原因是有指令重排的存在,加入volatile可以禁止指令重排
原因在于某一个线程在执行到第一次检测,读取到的instance不为null时,instance的引用对象可能没有完成初始化.
instance=new SingletonDem(); 可以分为以下步骤(伪代码)

memory=allocate();//1.分配对象内存空间
instance(memory);//2.初始化对象
instance=memory;//3.设置instance的指向刚分配的内存地址,此时instance!=null

步骤2和步骤3不存在数据依赖关系.而且无论重排前还是重排后程序执行的结果在单线程中并没有改变,因此这种重排优化是允许的.
memory=allocate();//1.分配对象内存空间
instance=memory;//3.设置instance的指向刚分配的内存地址,此时instance!=null 但对象还没有初始化完.
instance(memory);//2.初始化对象
但是指令重排只会保证串行语义的执行一致性(单线程) 并不会关心多线程间的语义一致性
所以当一条线程访问instance不为null时,由于instance实例未必完成初始化,也就造成了线程安全问题.

总体来说，这个就是从原理去了解特性，而不是死记硬背，死记硬背晚上会硬是睡不着。看了原理就像发现新大陆，加上自己的YY，就属于自己的知识了。