java 8 list属性判空_深入理解Java虚拟机——Java内存模型与线程

1.Java内存模型

它是用于屏蔽掉各种硬件和操作系统的内存访问差异，以让Java程序在各种平台下都能达到一致的内存访问效果。

• 主内存和工作内存

Java内存模型的主要目标是定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。

Java内存模型规定了所有的变量都存储在主内存上，每条线程还有自己的工作内存，工作内存中保存了被该线程使用到的变量的主内存拷贝副本，线程对变量的所有操作都必须在工作内存中进行，不同县城无法直接访问对方的工作内存。

Java内存模型定义了8种原子操作：

2.对于volatile型变量的特殊规则

volatile变量可以提供最轻量级的同步机制，当一个变量定义为volatile后，他将具备两种特性：

• 第一是保证此变量对于所有线程的可见性（可见性指当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的）。普通变量就不能做到这一点。例如，线程A修改了一个普通变量的值，然后向主内存回写，线程B在线程A写入完成后才对新变量的值可见。当一个变量被volatile修饰后，表示着线程本地内存无效，当一个线程修改共享变量后它会立即被更新到主内存中（通过一个空操作add 0完成，它的作用是将本地内存的值刷新到主内存，并使其他线程本地内存的该值无效），当其他线程读取共享变量时，它会直接从主内存中读取。

但volatile不是线程安全的，因为它不能保证原子性。

上述代码在多线程中并不是安全的，因为race++由多条字节码指令构成，当执行读取指令把race的值读取到操作栈顶时，保证了race是最新的，但继续执行++操作的时候，其他线程可能已经修改了race，这导致操作栈顶的值变成了过期数据，这导致最后一条指令写回了错误的race。

• 第二是禁止指令重排序优化。指令重排序优化是处理器可能会对代码乱序执行，然后将计算之后的结果重组，保证该结果与顺序执行的结果是一致的，但并不保证程序中语句的执行先后顺序与代码顺序一致。

在上述例子中，若initialized没有使用volatile修饰，那么可能initialized=true在前几行代码之前执行，这样就会造成错误。

选择volatile能让代码更快吗？

大多数场景下volatile的总开销比锁低，volatile变量的读操作性能消耗和普通变量几乎没有什么差别，但写操作要慢一些，因为它需要在本地代码中插入许多内存屏障指令保证处理器不发生乱序执行。

3.原子性，可见性与有序性

• 原子性：Java内存模型提供了lock和unlock操作满足原子性需求，尽管虚拟机未把lock和unlock操作直接开放给用户，但却提供了相应的字节码指令来隐式使用，反映到Java代码中就是同步块——synchronized关键字。
• 可见性：前面讲到，volatile关键字保证了可见性，除此之外，synchronized和final也保证了可见性。
• 有序性：Java线程中天然的有序性可以总结为一句话：如果在本线程内观察，所有的操作都是有序的，如果在一个线程中观察另一个线程，那么所有的操作都是无序的。前半句指“线程内表现为串行”，后半句指“指令重排序”和“工作内存与主内存同步延时”现象。

4.Java与线程

• 线程的实现：线程是CPU调度的基本单位。Thread类中所有关键方法都是Native的，也就是这个方法的实现与平台（如操作系统）有关。

5.双锁检测的单例模式

解析

• 第一个注意点：使用私有的构造函数，确保正常情况下该类不能被外部初始化（非正常情况比如通过反射初始化，一般使用反射之后单例模式也就失去效果了）。
• 第二个注意点：getInstance方法中第一个判空条件，逻辑上是可以去除的，去除之后并不影响单例的正确性，但是去除之后效率低。因为去掉之后，不管instance是否已经初始化，都会进行synchronized操作，而synchronized是一个重操作消耗性能。加上之后，如果已经初始化直接返回结果，不会进行synchronized操作。
• 第三个注意点：加上synchronized是为了防止多个线程同时调用getInstance方法时，各初始化instance一遍的并发问题。
• 第四个注意点：getInstance方法中的第二个判空条件是不可以去除，如果去除了，并且刚好有两个线程a和b都通过了第一个判空条件。此时假设a先获得锁，进入synchronized的代码块，初始化instance，a释放锁。接着b获得锁，进入synchronized的代码块，也直接初始化instance，instance被初始化多遍不符合单例模式的要求~。加上第二个判空条件之后，b获得锁进入synchronized的代码块，此时instance不为空，不执行初始化操作。
• 第五个注意点：instance的声明有一个voliate关键字，如果不用该关键字，有可能会出现异常。因为instance = new Test();并不是一个原子操作，会被编译成三条指令，如下所示。

参考资料：

《深入理解Java虚拟机》

双重检查锁定的单例模式和延迟初始化 - dquery - 博客园

https://blog.csdn.net/hnd978142833/article/details/81633730