深入浅出 Java 虚拟机 · 通往高级 Java 开发的必经之路

向作者提问
上过舞台、演过话剧、拍过微电影、拉过小提琴的支付宝后端开发,CSDN专家博主,个人公众号:大闲人柴毛毛 dxrcmm
查看本场Chat

第一章 JVM 内存模型

Java 虚拟机(Java Virtual Machine=JVM)的内存空间分为五个部分,分别是:

  1. 程序计数器
  2. Java 虚拟机栈
  3. 本地方法栈
  4. 方法区。

下面对这五个区域展开深入的介绍。

1.1 程序计数器

1.1.1 什么是程序计数器?

程序计数器是一块较小的内存空间,可以把它看作当前线程正在执行的字节码的行号指示器。也就是说,程序计数器里面记录的是当前线程正在执行的那一条字节码指令的地址。

注:但是,如果当前线程正在执行的是一个本地方法,那么此时程序计数器为空。

1.1.2 程序计数器的作用

程序计数器有两个作用:

  1. 字节码解释器通过改变程序计数器来依次读取指令,从而实现代码的流程控制,如:顺序执行、选择、循环、异常处理。
  2. 在多线程的情况下,程序计数器用于记录当前线程执行的位置,从而当线程被切换回来的时候能够知道该线程上次运行到哪儿了。

1.1.3 程序计数器的特点

  1. 是一块较小的存储空间
  2. 线程私有。每条线程都有一个程序计数器。
  3. 是唯一一个不会出现OutOfMemoryError的内存区域。
  4. 生命周期随着线程的创建而创建,随着线程的结束而死亡。

1.2 Java虚拟机栈(JVM Stack)

1.2.1 什么是Java虚拟机栈?

Java虚拟机栈是描述Java方法运行过程的内存模型。

Java虚拟机栈会为每一个即将运行的Java方法创建一块叫做“栈帧”的区域,这块区域用于存储该方法在运行过程中所需要的一些信息,这些信息包括:

  1. 局部变量表 存放基本数据类型变量、引用类型的变量、returnAddress类型的变量。
  2. 操作数栈
  3. 动态链接
  4. 方法出口信息

当一个方法即将被运行时,Java虚拟机栈首先会在Java虚拟机栈中为该方法创建一块“栈帧”,栈帧中包含局部变量表、操作数栈、动态链接、方法出口信息等。当方法在运行过程中需要创建局部变量时,就将局部变量的值存入栈帧的局部变量表中。

当这个方法执行完毕后,这个方法所对应的栈帧将会出栈,并释放内存空间。

注意:人们常说,Java的内存空间分为“栈”和“堆”,栈中存放局部变量,堆中存放对象。

这句话不完全正确!这里的“堆”可以这么理解,但这里的“栈”只代表了Java虚拟机栈中的局部变量表部分。真正的Java虚拟机栈是由一个个栈帧组成,而每个栈帧中都拥有:局部变量表、操作数栈、动态链接、方法出口信息。

1.2.2 Java 虚拟机栈的特点

(1)局部变量表的创建是在方法被执行的时候,随着栈帧的创建而创建。而且,局部变量表的大小在编译时期就确定下来了,在创建的时候只需分配事先规定好的大小即可。此外,在方法运行的过程中局部变量表的大小是不会发生改变的。

(2)Java 虚拟机栈会出现两种异常:StackOverFlowError 和 OutOfMemoryError。

  • a) StackOverFlowError: 若Java虚拟机栈的内存大小不允许动态扩展,那么当线程请求栈的深度超过当前Java虚拟机栈的最大深度的时候,就抛出StackOverFlowError异常。

  • b) OutOfMemoryError: 若Java虚拟机栈的内存大小允许动态扩展,且当线程请求栈时内存用完了,无法再动态扩展了,此时抛出OutOfMemoryError异常。

(3)Java虚拟机栈也是线程私有的,每个线程都有各自的Java虚拟机栈,而且随着线程的创建而创建,随着线程的死亡而死亡。

注:StackOverFlowError和OutOfMemoryError的异同?

StackOverFlowError表示当前线程申请的栈超过了事先定好的栈的最大深度,但内存空间可能还有很多。而OutOfMemoryError是指当线程申请栈时发现栈已经满了,而且内存也全都用光了。

1.3 本地方法栈

1.3.1 什么是本地方法栈?

本地方法栈和Java虚拟机栈实现的功能类似,只不过本地方法区是本地方法运行的内存模型。

本地方法被执行的时候,在本地方法栈也会创建一个栈帧,用于存放该本地方法的局部变量表、操作数栈、动态链接、出口信息。

方法执行完毕后相应的栈帧也会出栈并释放内存空间。

也会抛出StackOverFlowError和OutOfMemoryError异常。

1.4 堆

1.4.1 什么是堆?

堆是用来存放对象的内存空间。 几乎所有的对象都存储在堆中。

1.4.2 堆的特点

(1)线程共享

整个 Java 虚拟机只有一个堆,所有的线程都访问同一个堆。而程序计数器、Java 虚拟机栈、本地方法栈都是一个线程对应一个的。

(2)在虚拟机启动时创建。

(3)垃圾回收的主要场所。

(4)可以进一步细分为:新生代、老年代。

新生代又可被分为:Eden、From Survior、To Survior。不同的区域存放具有不同生命周期的对象。这样可以根据不同的区域使用不同的垃圾回收算法,从而更具有针对性,从而更高效。

(5)堆的大小既可以固定也可以扩展,但主流的虚拟机堆的大小是可扩展的,因此当线程请求分配内存,但堆已满,且内存已满无法再扩展时,就抛出 OutOfMemoryError。

1.5 方法区

1.5.1 什么是方法区?

Java 虚拟机规范中定义方法区是堆的一个逻辑部分。方法区中存放已经被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等。

1.5.2 方法区的特点

  1. 线程共享 方法区是堆的一个逻辑部分,因此和堆一样,都是线程共享的。整个虚拟机中只有一个方法区。
  2. 永久代 方法区中的信息一般需要长期存在,而且它又是堆的逻辑分区,因此用堆的划分方法,我们把方法区称为老年代。
  3. 内存回收效率低 方法区中的信息一般需要长期存在,回收一遍内存之后可能只有少量信息无效。 对方法区的内存回收的主要目标是:对常量池的回收 和 对类型的卸载。
  4. Java虚拟机规范对方法区的要求比较宽松。 和堆一样,允许固定大小,也允许可扩展的大小,还允许不实现垃圾回收。

1.5.3 什么是运行时常量池?

方法区中存放三种数据:类信息、常量、静态变量、即时编译器编译后的代码。其中常量存储在运行时常量池中。

我们一般在一个类中通过public static final来声明一个常量。这个类被编译后便生成Class文件,这个类的所有信息都存储在这个class文件中。

当这个类被Java虚拟机加载后,class文件中的常量就存放在方法区的运行时常量池中。而且在运行期间,可以向常量池中添加新的常量。如:String类的intern()方法就能在运行期间向常量池中添加字符串常量。

当运行时常量池中的某些常量没有被对象引用,同时也没有被变量引用,那么就需要垃圾收集器回收。

1.6 直接内存

直接内存是除Java虚拟机之外的内存,但也有可能被Java使用。

GYD
第一章总结的第四点有错误: ‘‘即每个线程都拥有各自的程序计数器、Java虚拟机栈、本地方法区’’ 应为本地方法栈
MAC: 已修改
CHEN-集锋
Java每个线程会申请一个栈。这些栈是不是专门存放在一个由虚拟机管理的内存区域?类似于堆里面又进行了分代
CHEN-集锋
请问老师:无限递归会造成那种溢出?
CHEN-集锋
请老师简述一下:CMS的过程。特别是第二阶段和第三阶段的交接过程。第三阶段是如何重新确认第二阶段用户的做了哪些操作
CHEN-集锋
请问老师:在学习MAS算法中,接触到吞吐量这个词,请解释一下吞吐量和gc的含义,以及他们之间的关系,能否举一个简单通俗的例子。
CHEN-集锋
能否简单举几个例子,具体说明一下class文件链接的时候,字节码验证的验证和符号引用验证的验证内容
CHEN-集锋
什么是符号引用。
CHEN-集锋
Java。Lang。Nosuchfielderror 在类的链接阶段,哪一步抛出的错误?
CHEN-集锋
Classloader的作用,
Aurora
Java对象的逻辑结构是怎样的?
Aurora
堆被分成新生代和老年代,那么哪些对象放入新生代?
Aurora
还想问下JVM是如何确定哪些对象是垃圾,需要被垃圾回收机制回收?
Aurora
还有JVM是否会对方法区进行内存回收?
Aurora
Java new一个对象时,Java虚拟机到底都做了什么?
Vic_坤乐梓
什么是双亲委派模型?
Vic_坤乐梓
请问轻量级锁和偏向锁有什么区别?
Vic_坤乐梓
Java对synchronized关键字做了哪些优化?
Vic_坤乐梓
作为业务开发,Java虚拟机在实际工作中几乎涉及不到,请问是否还有必要学习?
李志刚
请问:1.高并发web应用 使用什么垃圾收集机制比较合理;2.使用自定义classloader加载自定义字节码实现加密是否可行,如何提升性能;3.了解一下虚拟机对java函数编程的支持
亥时
1.7 综上所述 里边的第四点, 在Java虚拟机中只有一个堆、一个方法栈; 这应该是方法区吧?
啊文同学: 嗯,应该是方法区才对
朩头亾
好多错别字哦
iLeGeND
怎么和那本书区别不大
周杰伦: 和深入理解java虚拟机差别不大
微信扫描登录