Java内存模型(Java Memory Model, JMM)是Java虚拟机(JVM)规范的一部分,它定义了一套规则,用于指导Java程序中变量的访问和内存交互方式。JMM的主要目标是确保在多线程环境下,共享变量的访问是安全且高效的。以下是Java内存模型的详细介绍:
一、基本概念
主内存:
主内存是所有线程共享的内存区域,它存储了Java程序中的所有变量(包括实例字段、静态字段和数组对象的元素)。
工作内存:
每个线程都拥有自己的工作内存(有时也称为线程栈或本地内存),工作内存中保存了该线程使用的变量的副本。线程对变量的所有操作(如读取、赋值等)都必须在工作内存中进行,而不能直接操作主内存中的变量。
二、三大特性
Java内存模型围绕三大特性展开:原子性、可见性和有序性。
原子性:
原子性是指一个操作不可中断,即使在多线程环境下,一个操作一旦开始就不会被其他线程影响。Java内存模型通过一系列操作(如lock和unlock)来保证对变量的访问是原子的。
可见性:
可见性是指当一个线程修改了共享变量的值后,其他线程能够立即看到这个修改。Java内存模型通过volatile关键字和synchronized关键字来实现可见性。
有序性:
有序性是指程序执行的顺序按照代码的先后顺序执行。然而,由于编译器的优化和处理器指令集的重排序,Java程序在并发执行时可能会出现乱序执行的情况。Java内存模型通过Happens-Before原则来定义操作之间的偏序关系,从而允许一定程度的重排序,但同时又保证程序最终执行的结果与预期一致。
三、Happens-Before原则
Happens-Before原则是Java内存模型中定义的一组偏序关系,用于判断两个操作之间的内存可见性和有序性。主要规则包括:
程序次序规则:一个线程中的每个操作,Happens-Before于该线程中的任意后续操作。
监视器锁规则:对一个锁的解锁,Happens-Before于随后对这个锁的加锁。
volatile变量规则:对一个volatile变量的写,Happens-Before于任意后续对这个volatile变量的读。
传递性:如果A Happens-Before B,且B Happens-Before C,那么A Happens-Before C。
线程启动规则:Thread对象的start()方法调用Happens-Before于该线程的每一个动作。
线程终止规则:线程的所有操作都Happens-Before于其他线程检测到这个线程已经终止。
线程中断规则:对线程interrupt()方法的调用Happens-Before于被中断线程的代码检测到中断事件的发生。
对象终结规则:一个对象的初始化完成(构造函数执行结束)Happens-Before于它的finalize()方法的开始。
四、内存屏障
为了保证内存的可见性和有序性,Java编译器在生成指令序列时,会在适当位置插入内存屏障指令。内存屏障指令是一种特殊的指令,它能够阻止处理器对指令进行重排序,从而确保内存操作的顺序和可见性。
五、总结
Java内存模型是Java虚拟机规范中关于内存访问和交互的重要部分。它定义了一套规则,用于指导Java程序中变量的访问和内存交互方式,以确保在多线程环境下,共享变量的访问是安全且高效的。通过保证原子性、可见性和有序性,Java内存模型为程序员提供了一致的内存访问语义,使得多线程程序的行为可预测、可理解。