深入理解Java虚拟机第二章读书笔记

2.2 运行时数据区域

2.2.1 程序计数器

作者：淮左白衣
来源：CSDN
原文：https://blog.csdn.net/youngyouth/article/details/79868299
版权声明：本文为博主原创文章，转载请附上博文链接！
为了自己查看方便复制，大家请看原博主文章！

结论

• 程序计数器是一块较小的内存空间，它可以看作是当前线程所执行的字节码的行号指示器。字节码解释器工作时就是通过改变这个计数器的值来选取下一个需要执行的字节码指令。
• 程序计数器处于线程独占区，即每个线程都拥有一个程序计数器，在线程创建时创建。
• 如果线程执行的是Java方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址。如果正在执行的是native方法，这个计数器的值为undefined，即这个计数器为空
• 此区域是唯一一个在Java虚拟机规范中没有规定任何OutOfMemoryError情况的区域

---

什么是程序计数器？

程序计数器是一块 较小 的内存空间，它可以看做是当前线程所执行的字节码的 行号指示器 ；在虚拟机的概念模型里（仅仅是概念模型，各种虚拟机可能会通过一些更高效的方式去实现），字节码解释器工作时，就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳准、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成
；

———–摘抄自 周志明版 《深入理解java虚拟机》 P39

简单的理解为，是程序计数器保证了程序的正常执行 ；

什么特点

• 线程私有的
• 是java虚拟机规范里面， 唯一 一个 没有规定任何 OutOfMemoryError 情况的区域
• 生命周期随着线程，线程启动而产生，线程结束而消亡

为什么具有这些特点

1 要想理解什么是程序计数器，以及它的特点，需要理解上文中的一句话

这里重点理解 ：程序计数器，可以看做是当前线程执行的字节码的 行号指示器 ，这句话；要理解这句话，需要先知道字节码文件长什么样子，看下面的代码

1	// java 文件被翻译为字节码的时候，字节码大概类似于下面的样子
2	public void haha(){
3	// 原来的 haha 方法内部的 java 代码，被翻译为下面的类似于汇编语言的指令
4   0 xxxx ....
5   2 xxxx ....
6   4 xx  ...
7   5 xxx ...
8	}

上面左边的 0、2、4、5 ，就是类似于字节码的行号（实际是指令的偏移地址），程序计数器中保存中的值，就是它们；字节码解释器，就是根据它们，来执行程序的 ；

理解了程序计数器，就好理解它的这些特点了；

我们都知道，java是支持多线程的，当CPU执行权从 A 线程，转移到 B 线程的时候，JVM就要暂时挂起线程 A ，去执行线程 B ；当线程 A 再次得到CPU执行权的时候，又会挂起B线程，继续执行 A 线程 ；

我们想象下，CPU是怎么知道记住之前A线程，执行到哪一处的？

答案是，CPU根本就不会记住之前执行到哪里了，它只是埋头苦干；那是什么保证了切换线程的程序可以正常执行的；答案是 ： 程序计数器 ；程序计数器里面保存的是 当前线程执行的字节码的行号（看着像行号，其实是指令地址）；

那么，我们需要几个程序计数器呢？如果，我们只有一个的话，切换B线程以后，程序计数器里面保存的就是B线程所执行的字节码的行号了，再切换回A线程，就蒙圈了，不知道执行到哪里了，因为，程序计数器里面保存的是B线程当前执行的字节码地址 ；因此，我们可以想象出，要为每个线程都分配一个程序计数器，因此，程序计数器的内存空间是线程私有的 ；这样即使线程 A 被挂起，但是线程 A 里面的程序计数器，记住了A线程当前执行到的字节码的指令地址了 ，等再次切回到A线程的时候，看一下程序计数器，就知道之前执行到哪里了！

那么程序计数器，什么时候分配内存呢？我们试想下，一个线程在执行的任何期间，都会失去CPU执行权，因此，我们要从一个线程被创建开始执行，就要无时无刻的记录着该线程当前执行到哪里了！因此，线程计数器，必须是线程被创建开始执行的时候，就要一同被创建； ；

程序计数器，保存的是当前执行的字节码的偏移地址（也就是之前说的行号，其实那不是行号，是指令的偏移地址，只是为了好理解，才说是行号的，），当执行到下一条指令的时候，改变的只是程序计数器中保存的地址，并不需要申请新的内存来保存新的指令地址；因此，永远都不可能内存溢出的；因此，jvm虚拟机规范，也就没有规定，也是唯一一个没有规定 OutOfMemoryError 异常 的区域； ；

当线程执行的是本地方法的时候，程序计数器中保存的值是空（undefined）；原因很简单：本地方法是C++/C 写的，由系统调用，根本不会产生字节码文件，因此，程序计数器也就不会做任何记录 ；

2.2.2 Java虚拟机栈

结论

• 虚拟机栈为虚拟机执行Java方法服务
• 本地方法栈为虚拟机执行native方法服务

作者：淮左白衣
来源：CSDN
原文：https://blog.csdn.net/youngyouth/article/details/79929940
版权声明：本文为博主原创文章，转载请附上博文链接！

java虚拟机栈是什么

平时大家在说 JVM内存的时候，最常见的说法就是：堆、栈，这种说法很浅显，这里大家理解的栈，就是我们今天讲的java虚拟机栈，或者可能只是虚拟机栈中的局部变量表部分；

特点

1. 线程私有的
2. 生命周期与线程一致
3. 每个方法执行的同时，都会在java虚拟机栈中创建一个 栈帧
4. 会抛出 StackOverflowError、OutOfMemoryError异常

栈帧
每个方法在执行的时候，在内存中的模型就是创建一个栈帧，栈帧是方法运行时的基本数据结构，可以理解为栈帧是当前正在运行时的方法的对象；帧中存储着方法运行时需要的一些信息：局部变量表、操作数栈、动态链接、方法出口等信息；

1（我们后期再去着重理解栈帧，现在只需要知道一些基本概念就好了）

常说入栈出栈，就是栈帧的入栈出栈；

---

局部变量表

局部变量表中，保存着方法中用到的局部变量（基本数据类型，引用类型）；
局部变量表，所占的内存空间在 编译期间 就确定下来了，也就是当方法入栈的时候，栈帧中为方法的局部变量表分配多大空间是完全确定的；你可能会问，假如我程序中有if-else块，那么if块和else块中的变量，会全部算进局部变量表里面吗；答案是肯定的，分支结构中的变量，都会被算进去；
其中long和double占两个局部变量空间（slot）,其他类型占用一个slot；因此，我们写的方法，如果方法中的局部变量太多，会占用更大的虚拟机栈空间；

什么时候抛出 StackOverflowError 、OutOfMemoryError异常

StackOverflowError：当线程申请的栈深度大于虚拟机允许的深度，抛出StackOverflowError异常；

OutOfMemoryError：假如线程申请的栈深度已经大于虚拟机所允许的深度了，但是虚拟机支持动态扩展 栈的深度，则进行扩展栈的深度，而不是抛StackOverflowError异常；最后，假如虚拟机无法获得足够的内存进行栈深度的扩展，则抛出OutOfMemoryError异常 ；

后记：本地方法栈

在JVM的内存中，还有一个本地方法栈，它和虚拟机栈的功能基本一样，只是它里面的栈帧，是本地方法对象；它同样抛出StackOverflowError、 OutOfMemoryError这两个异常，没啥好说的；(HotPots就是把虚拟机栈和本地方法栈这两个区域合二为一了)

2.2.3 本地方法栈

结论

• 虚拟机栈为虚拟机执行Java方法服务
• 本地方法栈为虚拟机执行native方法服务

2.2.4 Java堆

结论

1. java堆是java虚拟机管理的内存最大的一块
2. java堆是被所有线程共享的，在虚拟机启动时创建
3. java堆的唯一目的是存放对象实例，几乎所有的对象实例都在这里分配内存
   注：这一点在Java虚拟机规范中的描述是：所有的对象实例以及数组都要在对上分配内存，但是随着JIT编译器的发展与逃逸分析技术逐渐成熟，栈上分配、标量替换优化技术将会导致一些微妙的变化发生，所有的对象都分配在堆上也渐渐变得不是那么“绝对”了。
4. java堆是垃圾收集器管理的主要区域，因此有时候被称为“GC”堆
5. 收集器基本都采用分代收集算法
6. java堆可以分为新生代和老年代，再细致还可以分为Eden区，From Surivor区，To Surivor区
   注：从内存回收的角度来看，由于现在收集器基本都采用分代收集算法，所以Java 堆中还可以细分为：新生代和老年代；在细致一点的有Eden空间、From Survivor空间、To Survivor空间等。从内存分配的角度看，线程共享的Java 堆中可能划分出多个线程私有的分配缓冲区。不过无论如何划分，都与存放内容无关，无论哪个区域，存储的都仍然是对象实例，进一步划分的目的是为了更好地回收内存，或者更快地分配内存。
7. 根据java虚拟机规范，java堆可以处在物理上不连续的内存空间中，只要逻辑上是连续即可在实现时，既可以实现固定大小的，也可以是扩展的，不过当前主流的虚拟机都是按照可扩展来实现的(通过-Xmx和-Xms控制)。如果在堆中没有内存完成实例分配，并且堆也无法再扩展时，将会抛出OutOfMemoryError异常。

2.2.5 方法区

• 存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据
  - 类的版本
  - 字段
  - 方法
  - 接口
• 方法区和永久代
• 垃圾回收在方法区的行为
• 异常的定义OutOfMemoryError

https://blog.csdn.net/youngyouth/article/details/79933612

2.2.6 运行时常量池

运行时常量池是属于方法区的
jdk7之前属于方法区的一部分，jdk8之后属于Metaspace，在heap中。
运行时常量池俗称常量池，主要用于存放编译期生成的各种字面常量以及符号引用，这部分的内容将在类加载后进入常量池中存放。
java语言并不要求常量一定只有编译期才能产生，也就是并非预置入class文件中的常量池的内容才能进入运行时常量池，运行期间也可能将新的常量放入池中

https://blog.csdn.net/xiao______xin/article/details/81985654

2.2.7 直接内存

2.3 HotSpot虚拟机对象探秘

2.3.1 对象的创建

https://www.cnblogs.com/arax/p/7901004.html

1.虚拟机遇到一条new指令时，首先将去检查该指令的参数是否能在常量池中定位到一个类的符号引用，并且检查这个符号引用代表的类是否已被加载、解析和初始化。如果没有，那必须先执行相应的类加载过程。

2.在类加载检查通过之后，接下来虚拟机为新生对象分配内存。新生对象所需内存的大小在类加载完成之后便可完全确定。然后为对象分配内存空间。

3.内存分配完成之后，虚拟机需要将分配到的内存空间都初始化为0值（不包括对象头），如果使用本地线程分配缓冲（TLAB），这一工作过程也可以提前至分配时进行，接下来，对对象进行必要的设置，例如这对象是哪个类的实例，如何才能找到类的元数据信息，对象的哈希吗，对象的GC分代年龄等信息。这些信息存放在对象头中。

为对象分配内存空间：

1.指针碰撞的方式：假设java堆中内存是绝对规整的，所用用过的内存都放在一边，空闲的内存放在另一边，中间放着一个指针作为分界点的指示器，那所分配内存就仅仅把那个指针向空闲空间那边挪动一段与对象大小相等的距离。

2.空闲列表：如果java堆中的内存并不是规整的，已使用的内存和空间的内存相互交错，那就没办法简单进行指针碰撞了，虚拟机就必须维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录

使用serial parnew 等收集器时，系统采用的是指针碰撞的分配方式，而CMS这种基于标记清除的算法，常采用空闲列表。

：对象创建在虚拟机中是非常频繁的行为，即使是仅仅修改了一个指针所指向的位置，在并发情况下也并不是线程安全的，可能出现正在给对象a分配内存，指针还没来得及修改，对象b又同时使用了原来的指针来分配内存的情况。

解决方案：
1.是对分配内存空间的动作进行同步处理——实际上虚拟机采用了CAS（compare and sweep）配上失败重复的方式保证更新操作的原子性。

2.把内存分配的动作按照线程划分在不同的空间之中进行，每一个线程在java堆中预先分配一小块内存，称为本地线程分配缓冲，哪个线程要分配内存，就在哪个线程的本地线程分配缓冲上分配。使用参数 -XX：+/-UserTLAB来设定是否使用TLAB

2.3.2 对象的内存布局

https://www.cnblogs.com/zhengbin/p/6490953.html#autoid-0-1-0

对象在内存中存储的布局可以分为3块区域：对象头，实例数据和对其填充。

对象头：第一部分用于存储对象自身的运行时的数据，如哈希码，Gc分代年龄等。另外一部分是类型指针，即对象指向它的类元数据的指针，虚拟机通过这个指针来确定这个对象是哪个类的实例，如果是数组还记录数组长度的数据。

实例部分：是对象真正存储的有效信息，也是在程序代码中定义的各种类型的字段内容。

对其填充：不是必然存在的，它仅仅起着占位符的作用。（对象的大小必须是8字节的整数倍）

2.3.3 对象的访问定位

https://www.cnblogs.com/YYfish/p/6722258.html

java程序通过栈上的reference数据来操作堆上的具体对象，主流有两种访问的方式：

1，使用句柄：java堆中将会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，句柄中包含了对象实例指针与类型数据的具体地址。（优点：对象移动了，只会改变句柄中的实例数据指针）

2.使用直接指针访问：reference中存储的直接就是对象实例的地址。（速度快，节省一次指针定位的开销）