JVM内存模型高频面试题及答案.docxVIP

JVM内存模型高频面试题及答案

一、基础概念题

问题：JVM内存模型（JMM）的核心目标是什么？和JVM内存结构有什么区别？

答案：JMM的核心目标是解决多线程并发时，共享变量的可见性、原子性、有序性问题，定义线程和主内存之间的交互规则。而JVM内存结构是物理划分（如堆、栈、方法区），关注“内存放什么”；JMM是逻辑模型，关注“多线程如何安全访问内存”——比如堆是JVM内存结构的一部分，而JMM规定了多个线程操作堆中共享变量时的可见性保障机制。

问题：JMM中的主内存和工作内存分别对应实际硬件的什么组件？

答案：主内存对应物理内存（存放共享变量，如堆中的对象字段）；工作内存对应CPU的高速缓存和寄存器（线程操作共享变量时，会先拷贝到工作内存，操作后再同步回主内存）。这也是并发问题的根源——CPU缓存导致可见性问题，指令重排序导致有序性问题。

二、核心特性题

问题：请解释JMM中的可见性、原子性、有序性，各举一个实际代码场景说明。

答案：

可见性：一个线程修改共享变量后，其他线程能立即看到修改结果。场景：线程A修改布尔变量flag=true，线程B循环判断flag，若未加volatile，线程B可能一直看不到修改（CPU缓存未刷新）。

原子性：一个操作或多个操作要么全执行，要么全不执行，不可分割。场景：i++（读取、加1、写入），多线程下可能出现计数不准（中间步骤被打断）。

有序性：程序执行顺序按代码逻辑推进，禁止指令重排序导致的执行混乱。场景：单例模式双重检查锁，若未给实例加volatile，可能出现“实例已赋值但未初始化完成”的情况（指令重排序导致）。

问题：volatile关键字在JMM中是如何保证可见性和有序性的？为什么不能保证原子性？

答案：

可见性：线程修改volatile变量后，会立即将工作内存中的值刷新到主内存；其他线程读取时，会直接从主内存加载，跳过工作内存缓存。

有序性：通过“内存屏障”禁止指令重排序——volatile变量前后的指令不能跨越该变量重排，保证代码逻辑顺序。

不能保证原子性：volatile仅解决“读/写单个变量”的可见性和有序性，但复合操作（如i++、a+=b）仍需多步执行，线程切换时会被打断。比如两个线程同时执行volatileinti=0;i++，可能都读取到0，最终结果为1而非2。

三、实战应用题

问题：synchronized和volatile的区别与适用场景？

答案：

|维度|volatile|synchronized|

|--------------|-------------------------|-------------------------|

|保证特性|可见性、有序性|可见性、有序性、原子性|

|锁粒度|无锁（轻量级）|悲观锁（对象锁/类锁）|

|性能|开销极低，无阻塞|开销较高，可能阻塞|

|适用场景|单个变量的读/写同步|复合操作、代码块同步|

示例：简单的状态标记（如flag控制线程启停）用volatile；多线程累加计数、修改复杂对象属性用synchronized或AtomicInteger。

问题：JMM中的happens-before原则是什么？列举3个常用原则并说明。

答案：happens-before是JMM的核心规则，定义了两个操作的偏序关系——若Ahappens-beforeB，则A的执行结果对B可见，且A的执行顺序在B之前。常用原则：

程序次序原则：同一线程内，代码按书写顺序执行（单个线程内指令重排序不影响逻辑结果）。

volatile变量原则：对volatile变量的写操作，happens-before后续对该变量的读操作。

锁原则：解锁操作happens-before后续对同一锁的加锁操作（如线程A解锁，线程B加锁后能看到A的修改）。

线程启动原则：Thread.start()happens-before线程内的所有操作。

问题：为什么单例模式的双重检查锁（DCL）必须给实例加volatile？

答案：未加volatile时，可能出现“指令重排序”导致的空指针异常：

//错误写法

publicclassSingleton{

privatestaticSingletoninstance;//未加v