第一部分:面试题

本篇文章我们将尝试回答以下问题:

  1. 描述一下jvm的内存结构
  2. 描述一下jvm的内存模型
  3. 谈一下你对常量池的理解
  4. 什么情况下会发生栈内存溢出?和内存溢出有什么不同?
  5. String str = new String(“abc”)创建了多少个实例?

第二部分:深入原理

ok,开始。怎们还是先讲原理,再说答案。如果时间不足,也可以直接跳到最后看答案。

本次分享我们主要围绕jvm内存结构展开,这也是java面试必考知识点之一。所以我们先来看看jvm内存结构到底是啥样子。

1. jvm内存模型

我们首先看下面这张图:

这张图是虚拟机的结构图,当我们在讨论jvm内存模型时,指的就是中间五彩的那条区域:运行时数据区(runtime data area)。

我们把这个区域单独画出来,如下图所示:



现在我们来看看每个区域的用途

1.1 栈(Stack)

每当一个线程去执行方法时,就会同时在栈里面创建一个栈帧(Stack Frame)用于存储局部变量表、操作数栈、动态链接、方法出口等。

每一个方法从被调用到执行完成的过程,都对应着一个栈帧从入栈到出栈的过程。

栈是线程私有的,每个线程在栈中保有自己的数据,别的线程无法访问。

在栈中我们可能遇到两种异常:StackOverflowError和OutOfMemoryError

StackOverflowError是指线程请求的栈深度大于虚拟机所允许的深度

OutOfMemoryError是指栈扩展时无法申请到足够的内存

这两种异常我们会在后面的文章中详细讲到。

1.2 本地方法栈(Native Method Stack)

本地方法栈和栈差不多,区别只在于本地方法栈为Native方法服务。

Native 方法就是一个Java调用非Java代码的接口,比如JNI。

本地方法栈也是线程私有的

1.3 程序计数器(PC Register)

要理解程序计数器,我们需要知道java代码最终都要编译成一条条的字节码,然后由字节码解释器一条条的执行的。而程序计数器可以看作是当前线程所执行的字节码的行号计数器

如果正在执行的是一个java方法,那么这个计数器记录的是正在执行的字节码指令地址。如果正在执行的是Native方法,那么计数器的值为Undefined。

程序计数器也是线程私有的,每条线程都有一个独立的程序计数器,各线程的程序计数器互不影响。

程序计数器是唯一一个不会OOM的内存区域

1.4堆(Heap)

堆应该是java内存中占用空间最大的一个区域,大家喜闻乐见的垃圾回收就主要发生在这个区域。

堆的唯一作用就是存放对象,不过并非所有对象都在堆中。这个我们以后会讲到。

堆如果空间不足,就会抛出OOM异常。

堆是可以让多个线程共享的

1.5 方法区(Method Area)

方法区也是可以让多个线程共享的

方法区主要用来存放类的版本,字段,方法,接口、常量池和运行时常量池。

常量池里存储着字面量和符号引用

还记得我们在jvm类加载面试题详解里说到的“加载”过程吗?其中说到“类加载器把类读入内存”。这里的所说的“内存”,指的就是方法区。

和方法区相关的知识点有永久代、元空间、常量池等。这几个概念非常容易把人绕晕,所以接下来我会尽量画图说明,给大家讲清楚。

1.5.1 永久代与元空间

作为和堆一样可以让线程共享的区域,堆之外的的空间被叫做非堆(Non-Heap)。可以粗略地理解为非堆里包含了永久代,而永久代里又包括了方法区

我们常常把永久代和方法区等同起来,然而永久代其实是Hotspot虚拟机把分代GC的范围扩展到方法区的产物。(分代GC我们会在后面讲到)。如下图:



所以,永久代和方法区虽然基本上指的是同一片内存区域,但是实质上是有差别的。

而到了jdk1.8中,永久代被取消,取而代之的便是元空间

元空间跟永久代最大的区别就在于,元空间直接使用机器内存,不在jvm虚拟机内。所以理论上你的机器内存有多大,元空间就能有多大。

此外,之前永久代的符号引用(Symbols)转移到了堆外内存(native heap);字面量(interned strings)和类的静态变量(class statics)转移到了堆内(heap)。

这样做的好处在于可以减少OOM,同时方便HotSpot和JRockit合并。

1.5.2 虚拟机的多实现

上一个小节我们提到了HotSpot和JRockit,这是个啥呢?

要知道,jdk的全称是Java Development Kit ,Java开发工具包。可以简单认为,jdk就是各种java开发工具+java虚拟机。而HotSpot就是目前Oracle jdk默认使用的虚拟机。

我们可以用java -version查看目前使用的虚拟机:

~ java -version
java version "1.8.0_151"
Java(TM) SE Runtime Environment (build 1.8.0_151-b12)
Java HotSpot(TM) 64-Bit Server VM (build 25.151-b12, mixed mode)

看见最后一行了吗?“Java HotSpot(TM) 64-Bit”说明我目前正在用的就是HotSpot。

除了HotSpot之外,还有很多其他的虚拟机,比如JRockit就是由BEA公司开发的一款java虚拟机,号称世界最快。

后来 JRockit被Oracle收购,于是Oracle就同时拥有了HotSpot和JRockit两款虚拟机,这也是为什么要把它们合并的原因之一。

1.5.3 各种常量池

上面我们提到了常量池、运行时常量池和字符串常量池,现在我们来看看这几个池子到底是个什么关系。

以下为jdk1.7的情况。

首先还是来张图:

数据是怎么在这几个池子里流转的呢?

首先,当类被加载的时候,class文件就会被加载到方法区,里面有块区域就被称为常量池。常量池主要存储两个东西:字面量(Literal)和符号引用(Symbolic References)。

下面这个图清楚的展示了常量池的内容:

当程序运行到该类的时候,常量池的大部分内容都会进入运行时常量池。但是String不同,String对象会存在堆里,然后在字符串常量池保存一个引用。

当主线程开始实例化字符串的时候,先到字符串常量池找有没有相等的字符串,有的话就直接把引用赋值给变量。

不过,需要注意的是,如果以创建对象的方式创建字符串,比如new String("abc"),那么,会在内存中开辟一块全新的内存地址,创建一个新对象,然后把引用赋值给变量,就没有字符串常量池的事了。

1.6 直接内存(Direct Memory)

看到这儿你可能要问了,what?直接内存是什么鬼?

直接内存并不是虚拟机运行时数据区的一部分,但是这部分区域却可以被虚拟机使用,且使用不当也会OOM,所以干脆在这讲一下。

在jdk1.4中加入的NIO类引入了一种基于通道和缓冲区的IO方式,可以直接分配堆外内存,并操作。理论上来说,直接内存由于不在虚拟机内,所以不受虚拟机内存大小控制(是不是有点像元空间?)。但是如果这块空间太大,可能会挤占虚拟机的内存,毕竟物理内存有限,从而使虚拟机在动态扩展的时候由于空间不足而抛出OOM。

jvm内存结构到此结束,下面我们来说说java内存模型。

1.7 java7和java8的jvm内存模型区别

看下面这张图:

java8中,元空间(METASPACE)取代了永久代(PREM GEN),并且移到了堆外内存(Native Memory)中。

2. Java内存模型

看到这你是不是在想:什么鬼?难道刚刚我们说的不是java内存模型吗?

实际上,jvm内存模型和java内存模型的确是两个比较容易混淆的概念。

java内存模型是指Java Memory Model,简称JMM。用于屏蔽掉各种硬件和操作系统的内存访问差异,以实现让Java程序在各种平台下都能达到一致的并发效果,JMM规范了Java虚拟机与计算机内存是如何协同工作的:规定了一个线程如何和何时可以看到由其他线程修改过后的共享变量的值,以及在必须时如何同步的访问共享变量。

好吧,上面这段话着实不大好理解。我们化繁为简,主要记住JMM规范了程序中变量的访问规则,保证了操作的原子性、可见性、有序性。

第三部分:面试题答案

1.描述一下jvm内存模型

jvm内存模型分为5个区域,其中线程独占的区域是栈、本地方法栈、程序计数器,线程共享的区域是堆、方法区。

2.描述一下java内存模型

回答这个问题一定要问清楚是不是要问java内存模型,确认是的话,可以回答:java内存模型规定了变量的访问规则,保证操作的原子性、可见行、有序性。

3.谈一下你对常量池的理解

常量池是类在编译后储存常量的一块区域,当程序运行到该类,常量池的大部分数据会进入运行时常量池,字符串会进入字符串常量池。

4.什么情况下会发生栈内存溢出?和内存溢出有什么不同?

栈内存溢出指程序调用的栈深度多大或栈空间不足时抛出的StackOverflowError。

一般所谓内存溢出指的是堆内存溢出,抛出的是OutOfMemoryError:java heap space。

在jdk1.7中,还可能出现永久代内存溢出,抛出的是OutOfMemoryError: PermGen space

在jdk1.8中,则会出现元空间溢出,抛出的是OutOfMemoryError:MetaSpace

5.String str = new String(“abc”)创建了多少个实例?

虽然很多博客都告诉我们创建了两个对象:一个字符串abc对象和一个字符串常量池里指向abc的引用对象。

但实际情况要更复杂一点。

实际上在执行完String str = new String(“abc”)之后,其实只创建了一个对象:堆里的字符串对象。而str直接指向该对象。在执行intern()方法后,才会到字符串常量池创建引用对象。当然有时候这个过程会自动完成,但情况比较复杂,难以确定。

有很多面试官其实自己也搞不清,所以不妨先告诉他创建了两个对象,然后再分析一番,效果更好。

引用文献

JVM虚拟机种类

什么是HotSpot VM

永久代(PermGen)和元空间的区别(Metaspace)

JVM的Heap Memory和Native Memory

JAVA8里的native heap究竟是个什么概念?

方法区和常量池

java用这样的方式生成字符串:String str = "Hello",到底有没有在堆中创建对象?

Java内存模型(JMM)总结

JVM内存溢出详解

系列文章总目录:https://mp.weixin.qq.com/s/56JgXLArTAEDj1f3y4arLA

不止面试02-JVM内存模型面试题详解的更多相关文章

  1. JVM内存模型和结构详解(五大模型图解)

    JVM内存模型和Java内存模型都是面试的热点问题,名字看感觉都差不多,实际上他们之间差别还是挺大的. 通俗点说,JVM内存结构是与JVM的内部存储结构相关,而Java内存模型是与多线程编程相关@mi ...

  2. Java内存模型相关原则详解

    在<Java内存模型(JMM)详解>一文中我们已经讲到了Java内存模型的基本结构以及相关操作和规则.而Java内存模型又是围绕着在并发过程中如何处理原子性.可见性以及有序性这三个特征来构 ...

  3. 不止面试-JVM垃圾回收面试题详解

    第一部分:面试题 本次分享我们将尝试回答以下问题: GC 是什么? 为什么要有 GC? 简单说一下java的垃圾回收机制. JVM的常见垃圾回收算法有哪些? 为什么要使用分代回收机制? 如何判断一个对 ...

  4. JVM内存模型和面试题解析

    一.JVM运行时区域 其中, 线程私有的:程序计数器,虚拟机栈,本地方法栈 线程共享的:堆,方法区,直接内存 1 程序计数器 程序计数器是一块较小的内存空间,可以看作是当前线程所执行的字节码的行号指示 ...

  5. Java内存模型:volatile详解

    详见:http://blog.yemou.net/article/query/info/tytfjhfascvhzxcyt202 Java内存模型:volatile是干什么用的Volatile字段是用 ...

  6. JVM内存管理--GC算法详解

    标记/清除算法 首先,我们回想一下上一章提到的根搜索算法,它可以解决我们应该回收哪些对象的问题,但是它显然还不能承担垃圾搜集的重任,因为我们在程序(程序也就是指我们运行在JVM上的JAVA程序)运行期 ...

  7. jvm内存模型-回收算法-和内存分配以及jdk、jre、jvm是什么关系(阿里,美团,京东面试题)

    1.什么是jvm?(1)jvm是一种用于计算设备的规范,它是一个虚构出来的机器,是通过在实际的计算机上仿真模拟各种功能实现的.(2)jvm包含一套字节码指令集,一组寄存器,一个栈,一个垃圾回收堆和一个 ...

  8. Java面试- JVM 内存模型讲解

    经常有人会有这么一个疑惑,难道 Java 开发就一定要懂得 JVM 的原理吗?我不懂 JVM ,但我照样可以开发.确实,但如果懂得了 JVM ,可以让你在技术的这条路上走的更远一些. JVM 的重要性 ...

  9. jvm内存模型-和内存分配以及jdk、jre、jvm是什么关系(阿里,美团,京东)

    参考:JVM的垃圾回收机制 总结(垃圾收集.回收算法.垃圾回收器) 1.什么是jvm?(1)jvm是一种用于计算设备的规范,它是一个虚构出来的机器,是通过在实际的计算机上仿真模拟各种功能实现的.(2) ...

随机推荐

  1. Java多线程编程(三)线程间通信

    线程是操作系统中独立的个体,但这些个体如果不经过特殊的处理就不能成为一个整体.线程间的通信就是成为整体的必用方案之一,可以说,使线程间进行通信后,系统之间的交互性会更强大,在大大提高CPU利用率的同时 ...

  2. Java基础(二)数据类型

    数据类型主要分为基本类型和引用类型两大类. 一.基本类型 1.基本类型又分为数值类型和boolean类型, (1)数值类型包括浮点数类型.整数类型和字符类型 整型                    ...

  3. js滚动事件

    <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <title> ...

  4. 随机数产生器:Random.Next

    Random类是一个产生伪随机数字的类,它的构造函数有两种,一个是直接New Random(),另外一个是New Random(Int32),前者是根据触发那刻的系统时间做为种子,来产生一个随机数字, ...

  5. Rest_Framework之频率组件部分

    一.RestFramework之频率组件源码部分 频率组件的源码部分和权限组件流程一模一样的,这里就不多说了,直接上源码的主要逻辑部分: def check_throttles(self, reque ...

  6. github 下载子目录内容 亲测可用!

    下载我的LYBTouchID项目的Kit目录内容 (1)在github上点开这个目录,浏览器地址栏可以得到这个地址 https://github.com/Liuyubao/LYBTouchID/tre ...

  7. javadoc的使用

    在进行项目开发过程中,项目接口文档是很重要的一块内容,在java项目中我们可以用swagger,asciidoc,javadoc等方式来生产文档,而其中最基本的文档生成方式就是javadoc,它一般用 ...

  8. CSPS模拟 75

    我身边 mikufun:矩阵树学学学 Lrefrain:矩阵题刷刷刷 Dybala:神仙定理康康康 skyh:讨论讨论讨论(most mei face) DeepinC:我过样例了! Mouding: ...

  9. 开源 ERP 系统 GoodERP

    如果你有一个苹果,我也有一个苹果,彼此交换后,你我还是一人一个苹果,但是如果你有一个想法,我有一个想法,彼此交换后,你我就都有两个想法,三个人呢?一百个人呢? 使用openobject框架 重写全部功 ...

  10. php imagick蒙版做法

    php imagick蒙版做法<pre> $image = new \Imagick(); $image->readImage(__DIR__ . '/mengban.png'); ...