JMM的基本理论概述:
Java内存模型(JMM)是一种抽象的内存概念,其主要目的是为了解决在多线程环境下,由于各个线程的交替执行、编译器的优化等因素引起的内存可见性问题和指令重排序问题。
JMM的主要职责是定义程序中各种变量(实例字段,静态字段和构成数组对象的元素)的访问规则,即在JVM中,诸如赋值、读取、加载、存储、锁定、解锁等操作的具体实现细节。
并发编程内存问题
在并发编程中,当多个线程同时访问和修改同一内存区域(通常是一个共享变量)的时候,如果没有合适的同步机制去协调,往往会出现一些内存一致性问题。这些问题主要原因是多线程之间的内存可见性和指令重排序。
内存可见性:一个线程所做出的改动对于其他线程来说可能是不可见的。也就是说,当一个线程修改了某一个共享变量的值,新值对于其他线程不可见。
指令重排序:CPU为了提高执行效率,可能会对输入代码进行优化,它不保证程序中各个操作的执行顺序,只保证程序最终执行结果与代码顺序结果一致。
为何需要内存模型
正是因为这些内存问题,我们需要一个模型来描述,定义一些规则从而保证在并发环境下程序的正确性,这就是内存模型的初衷。JMM通过规定了一套读/写的规则,以解决上述并发问题。Java内存模型只要求从主存中读取变量和向主存中写入变量的操作是原子的,但是对于long和double类型的变量,JVM将64位(8字节)的读写操作分解为两次32位(4字节)的读写操作。
JMM中的重排序:
在Java内存模型(JMM)中,重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的操作。重排序可以分为三种类型:编译器重排序、指令级并行的重排序和内存系统的重排序。
编译器重排序:编译器在编译阶段将源代码中的顺序操作指令重新排列,而不改变程序的功能。编译器重排序是为了提高性能,但必须保证最终生成的指令序列在保证单线程程序语义的前提下进行优化。
指令级并行的重排序:现代处理器为了提高执行效率,可能会对指令进行并行执行,乱序执行或者进行流水线操作。这种乱序执行的方式并不改变程序的最终结果,但可能会改变指令的执行顺序。
内存系统的重排序:内存系统为了更好地利用缓存和PIPELINE,可能会导致读写内存操作的顺序和程序代码中的顺序不一致。具体来说,写操作可能被缓存而不是立即写入主内存,因此其他线程读取该变量时可能并不是最新的值。
重排序对程序的影响是潜在的可见性问题,即当多个线程并发执行时,由于重排序可能导致程序行为变得无法预测。为了解决这个问题,Java内存模型通过一些手段来禁止一些类型的重排序,比如使用volatile关键字、sy