Java 高级面试问题及答案

Java 高级面试问题及答案

问题 1: 请详细解释Java内存模型以及happens-before原则。

答案

Java内存模型（JMM）是一个抽象的概念，它描述了程序中的变量（线程共享变量）在多线程环境下的可见性、原子性和有序性。JMM定义了一组规则，这些规则决定了在不同线程中执行操作时，这些操作在何时以及如何对其他线程可见。

happens-before原则是JMM的核心概念之一，它规定了操作之间的因果关系。如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见。JMM通过以下规则定义了happens-before关系：

1. 程序顺序规则：在一个线程内，按照程序代码顺序，前面的操作happens-before后续的任意操作。
2. 监视器锁规则：对一个锁的解锁操作happens-before后续对这个锁的加锁操作。
3. volatile变量规则：对一个volatile变量的写操作happens-before后续对这个变量的读操作。
4. 传递性：如果A happens-before B，且B happens-before C，那么A happens-before C。
5. 线程启动规则：线程的start()操作happens-before线程中的任意操作。
6. 线程中断规则：对线程的interrupt()调用happe