java 内存模型面试_「每日一面」面试中对Java 内存结构的认识

Q:简单说说 Java 的 JVM 内存结构分为哪几个部分？

A：JVM 内存共分为虚拟机栈、堆、方法区、程序计数器、本地方法栈，运行时常量池(六个部分，分别解释如下)虚拟机栈：线程私有的，每个方法在执行时会创建一个栈帧，用来存储局部变量表、操作数栈、动态连接、方法返回地址等；其中局部变量表用于存放 8 种基本数据类型(boolean、byte、char、short、int、float、long、double)和 reference 类型。每个方法从调用到执行完毕对应一个栈帧在虚拟机栈中的入栈和出栈。

堆：线程共享的，在虚拟机启动时创建，用于存放对象实例。

方法区：线程共享的，用于存储已被虚拟机加载的类信息、常量、静态变量等。

程序计数器：线程私有的，是当前线程所执行的字节码行号指示器，每个线程都有一个独立的程序计数器，字节码解释器工作时通过改变它的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理和线程恢复都依赖于它。

本地方法栈：线程私有的，主要为虚拟机用到的 native 方法服务，与虚拟机栈类似。

运行时常量池(Runtime Constant Pool)，存放的为类中的固定的常量信息、方法和Field的引用信息等，其空间从方法区域中分配。

Q： 堆和栈的特点

当在一段代码块定义一个变量时，Java就在栈中为这个变量分配内存空间，当超过变量的作用域后，Java会自动释放掉为该变量所分配的内存空间，该内存空间可以立即被另作他用。

堆内存用来存放由new创建的对象和数组。

java中变量在内存中的分配

1、类变量(static修饰的变量)：在程序加载时系统就为它在堆中开辟了内存，堆中的内存地址存放于栈以便于高速访问。静态变量的生命周期--一直持续到整个'系统'关闭

2、实例变量：当你使用java关键字new的时候，系统在堆中开辟并不一定是连续的空间分配给变量(比如说类实例)，然后根据零散的堆内存地址，通过哈希算法换算为一长串数字以表征这个变量在堆中的'物理位置'。 实例变量的生命周期--当实例变量的引用丢失后，将被GC(垃圾回收器)列入可回收“名单”中，但并不是马上就释放堆中内存

3、局部变量：局部变量，由声明在某方法，或某代码段里(比如for循环)，执行到它的时候在栈中开辟内存，当局部变量一但脱离作用域，内存立即释放

Q:你能不能谈谈，java GC是在什么时候，对什么东西，做了什么事情？

Q:简单谈谈你对 Java 虚拟机内存模型 JMM 的认识和理解及并发中的原子性、可见性、有序性的理解？

这是一个很泛很大且很有水准的面试题，也算是对并发基础原理实质的一个深度问题，想要在面试中简短的回答好不是特别容易，本解析也仅供参考，具体理解可自己查阅其他资料。

Java 内存模型主要目标是定义程序中变量(此处变量特指实例字段、静态字段等，但不包括局部变量和函数参数，因为这两种是线程私有无法共享)在虚拟机中存储到内存与从内存读取出来的规则细节，Java 内存模型规定所有变量都存储在主内存中，每条线程还有自己的工作内存，工作内存保存了该线程使用到的变量到主内存副本拷贝，线程对变量的所有操作(读取、赋值)都必须在工作内存中进行而不能直接读写主内存中的变量，不同线程之间无法相互直接访问对方工作内存中的变量，线程间变量值的传递均需要在主内存来完成(具体如下图)。

Java 内存模型对主内存与工作内存之间的具体交互协议定义了八种操作，具体如下：lock(锁定)：作用于主内存变量，把一个变量标识为一条线程独占状态。

unlock(解锁)：作用于主内存变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。

read(读取)：作用于主内存变量，把一个变量从主内存传输到线程的工作内存中，以便随后的 load 动作使用。

load(载入)：作用于工作内存变量，把 read 操作从主内存中得到的变量值放入工作内存的变量副本中。

use(使用)：作用于工作内存变量，把工作内存中的一个变量值传递给执行引擎，每当虚拟机遇到一个需要使用变量值的字节码指令时执行此操作。

assign(赋值)：作用于工作内存变量，把一个从执行引擎接收的值赋值给工作内存的变量，每当虚拟机遇到一个需要给变量进行赋值的字节码指令时执行此操作。

store(存储)：作用于工作内存变量，把工作内存中一个变量的值传递到主内存中，以便后续 write 操作。

write(写入)：作用于主内存变量，把 store 操作从工作内存中得到的值放入主内存变量中。

如果要把一个变量从主内存复制到工作内存就必须按顺序执行 read 和 load 操作，从工作内存同步回主内存就必须顺序执行 store 和 write 操作，但是 JVM 只要求了操作的顺序而没有要求上述操作必须保证连续性，所以实质执行中 read 和 load 间及 store 和 write 间是可以插入其他指令的。

Java 内存模型还会对指令进行重排序操作，在执行程序时为了提高性能编译器和处理器经常会对指令进行重排序操作，重排序主要分下面几类：编译器优化重排序：编译器在不改变单线程程序语义的前提下可以重新安排语句的执行顺序。

指令级并行重排序：现代处理器采用了指令级并行技术来将多条指令重叠执行，如果不存在数据依赖性处理器可以改变语句对应机器指令的执行顺序。

内存系统重排序：由于处理器使用缓存和读写缓冲区使得加载和存储操作看上去可能是在乱序执行。

其实 Java JMM 内存模型是围绕并发编程中原子性、可见性、有序性三个特征来建立的，关于原子性、可见性、有序性的理解如下：原子性：就是说一个操作不能被打断，要么执行完要么不执行，类似事务操作，Java 基本类型数据的访问大都是原子操作，long 和 double 类型是 64 位，在 32 位 JVM 中会将 64 位数据的读写操作分成两次 32 位来处理，所以 long 和 double 在 32 位 JVM 中是非原子操作，也就是说在并发访问时是线程非安全的，要想保证原子性就得对访问该数据的地方进行同步操作，譬如 synchronized 等。

可见性：就是说当一个线程对共享变量做了修改后其他线程可以立即感知到该共享变量的改变，从 Java 内存模型我们就能看出来多线程访问共享变量都要经过线程工作内存到主存的复制和主存到线程工作内存的复制操作，所以普通共享变量就无法保证可见性了；Java 提供了 volatile 修饰符来保证变量的可见性，每次使用 volatile 变量都会主动从主存中刷新，除此之外 synchronized、Lock、final 都可以保证变量的可见性。

有序性：就是说 Java 内存模型中的指令重排不会影响单线程的执行顺序，但是会影响多线程并发执行的正确性，所以在并发中我们必须要想办法保证并发代码的有序性；在 Java 里可以通过 volatile 关键字保证一定的有序性，还可以通过 synchronized、Lock 来保证有序性，因为 synchronized、Lock 保证了每一时刻只有一个线程执行同步代码相当于单线程执行，所以自然不会有有序性的问题；除此之外 Java 内存模型通过 happens-before 原则如果能推导出来两个操作的执行顺序就能先天保证有序性，否则无法保证，关于 happens-before 原则可以查阅相关资料。