Java内存模型

1. 衡量一个服务性能的高低好坏，每秒事务处理数（TPS）是最重要的指标之一，它代表着一秒内服务端平均能响应的请求总数，而TPS值与程序的并发能力又有非常密切的关系。

2. Java虚拟机规范中试图定义一种Java内存模型（JMM）来屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的并发效果。

3. Java内存规范规定了所有的变量都存储在主内存中，每条线程都还有自己的工作内存，线程的工作内存中保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存的变量。不同线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成，线程、主内存、工作内存三者的交互关系如图所示：
   

4. 主内存与工作内存之间的交互协议，Java内存模型定义了八种操作来完成：lock、unlock、read、load、use、assign、store和write。如果把变量从主内存复制到工作内存，就要顺序执行read和load操作；如果把变量从工作内存同步到主内存，就要顺序执行store和write操作。

5. 当一个变量并定义成volatile之后，它将具备两种特性，第一是保证此变量对所有线程的可见性，这里的可见性指当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的。第二个语义是禁止指令重排序优化。

6. 由于volatile变量只能保证可见性，在不符合以下两条规则的运算场景中，我们仍然要通过加锁 来保证原子性：

   • 运算结果并不依赖变量的当前值或者能保证只有单一线程修改变量的值。
   • 变量不需要与其他状态变量共同参与不变约束。

7. volatile读操作的性能消耗与普通变量几乎没有什么差别，但是写操作则可能会慢上一些，因为它需要在本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行。

8. Java内存模型是 围绕在并发过程中如何处理原子性、可见性和有序性这三个特征来建立的。

9. 除了volatile之外，Java还有两个关键字能实现可见性，它们是synchronized和final。

10. Java提供了volatile和synchronized两个关键字来保证线程之间操作的有序性，volatile本身就包含了禁止指令重排序的语义，而synchronized则是由“一个变量在同一个时刻只允许一条线程对其进行lock操作” 这条规则获得的。

11. Java里有一个先行发生原则，这个原则非常重要，它是判断数据是否存在竞争，线程是否安全的主要依据，依赖这个原则，我们可以通过几条规则一揽子解决并发环境下两个操作之间是否存在冲突的所有问题。

12. 先行发生原则指的是操作A先行发生于操作B，其实就是说发生操作B之前，操作A产生的影响能被操作B观察到。 影响包括修改了内存中共享变量的值、发送了消息、调用了方法等。

13. 先行发生原则具体包括以下八个方面：

    • 程序次序规则

      在一个线程内，按照程序代码顺序，书写在前面的操作先行发生于书写在后面的操作。准确地说是控制流顺序而不是程序代码顺序。

    • 管程锁定规则

      一个unlock操作先行发生于后面对同一个锁的lock操作。(其实针对synchronized关键字)

    • volatile变量规则

      对一个volatile变量的写操作先行发生于后面对这个变量的读操作。

    • 线程启动规则

      Thread的start()方法先行发生于此线程的每一个动作。

    • 线程终止规则

      线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值等手段检测到线程已经终止执行。

    • 线程中断规则

      对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread.interrupted()方法检测到是否有中断发生。

    • 对象终结规则

      一个对象的初始化完成先行发生于它的finalize()方法的开始。

    • 传递性

      如果A先行发生于B，B先行发生于C，那么A先行发生于C。

14. 时间上的先后顺序与先行发生原则之间基本没有太大的关系，因此我们衡量并发安全问题的时候不能收到时间顺序的干扰，一切必须以先行发生原则为准。