JVM 运行时内存空间详解——程序计数器

雨点打透心脏的1/2处 2022-08-30 00:46 257阅读 0赞

### 文章目录 ###

*   *   *   *  一、什么是程序计数器（PC寄存器）
             *  二、PC寄存器有哪些特点
             *  三、多个线程，如何确定执行到某个位置进行恢复呢

通过上一篇文章，我们大体了解了[JVM的整体架构][JVM]，其分为：**元数据**（JDK7是方法区）**、堆、虚拟机栈、本地方法栈、程序计数器几个部分。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70]  
本篇文章，咱们对程序计数器**进行剖析，一探究竟。

#### 一、什么是程序计数器（PC寄存器） ####

**程序计数器（Program Counter Register）**: 也叫PC寄存器，是一块较小的内存空间，它可以看做是当前线程所执行的字节码的行号指示器。

在虚拟机的概念模型里，字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。

概念不好理解？那么通过代码方式来看下，

java代码：

public class PCRegister { 
        public static void main(String[] args) { 
            int x = 1;
            int y = 2;
            System.out.println(x+y);
        }
    }

为了了解其机制，首先，我们得查看反编译后的字节码文件。  
如何查看？有以下两种方式，

**方式1（控制台命令）：**

1.  右键字节码文件打开控制台终端：  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 1]
2.  在控制台输入命令：javap -v 字节码文件名称  
    ![在这里插入图片描述][20210717233559699.png]
3.  红框里的内容即为字节码文件反编译后的内容  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 2]

**方式2（IDEA插件）：**

1.  安装  jclasslib Bytecode Viewer 插件  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 3]  
    2.打开字节码文件 PCRegister.class -> 点击 View -> 点击 Show Bytecode with Jclasslib  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 4]
2.  选中方法 -> 选中main -> 选中 Code, 即可查看字节码反编译后的内容  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 5]  
    **分析：**  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 6]

如上图，字节码文件反编译后可以看到有一系列 指令地址和 操作指令。

要想让计算机执行程序，需要让执行引擎中的**解释器**将字节码操作指令解释成CPU能够识别的**机器指令**。

而选取哪一条**操作指令**进行解释并执行，这个时候就需要依赖于程序计数器了。可以把它想象成一个临时空间，用于存储字节码操作指令的**指令地址**。

本图中，**0** 就是一个指令地址，通过指令地址就能够找到哪条指令，说明当前需要选取执行的操作指令是：**iconst\_1**。

如果执行完0后，需要执行指向**1**的这条指令，那么将程序计数器（PC计数器）中存储的指令地址改成1就行了。

#### 二、PC寄存器有哪些特点 ####

1.  **区别于计算机硬件的pc寄存器**，两者不略有不同。计算机用pc寄存器来存放“伪指令”或地址，而相对于虚拟机，pc寄存器它表现为一块内存，虚拟机的pc寄存器的功能也是存放伪指令，更确切的说存放的是将要执行指令的地址。
2.  当虚拟机正在执行的方法是一个**本地（native）方法**的时候，jvm的pc寄存器存储的值是**undefined**。
3.  程序计数器是**线程私有**的，它的生命周期与线程相同，每个线程都有一个。
4.  此内存区域是**唯一一个**在Java虚拟机规范中**没有**规定任何**OutOfMemoryError** 情况的区域。

#### 三、多个线程，如何确定执行到某个位置进行恢复呢 ####

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 7]

*  Java虚拟机的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的，在任何一个确定的时刻，一个处理器只会执行一条线程中的指令。
 *  因此，为了线程切换后能恢复到正确的执行位置，每条线程都需要有一个独立的程序计数器，各条线程之间的计数器互不影响，独立存储，我们称这类内存区域为“线程私有”的内存。

下面，举个栗子：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 8]  
如上图所示，目前有两个线程，因为程序计数器线程私有，所以两个线程中各有一个程序计数器。

当Thread1 执行完指令2后，此时程序计数器保存的指令地址是3。此时时间片刚好切到 Thread2, Thread2开始执行，执行完指令6后，程序计数器的指令地址保存为7。

此时时间片再次切回 Thread1 , Thread1直接找到原来存储的指令3进行执行。

同理，后续如果切回Thread2线程，Thread2会找到原本存储的指令7进行执行。

这就是线程执行到某个位置的恢复，主要是依据程序计数器的值来实现的[。][Link 1]

[JVM]: https://blog.csdn.net/u012660464/article/details/118712904
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70]: /images/20220829/b74c01fe3dd44bb78c30e3a38a85baae.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 1]: /images/20220829/1e0bdd36fa044a5e95f7303a1934b46c.png
[20210717233559699.png]: /images/20220829/3bb03fec24674553a03ab58962b08eca.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 2]: /images/20220829/a5b2e8f02eda414eb2f87994f79abe11.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 3]: /images/20220829/5958a92e0900465bae497adeba1f08de.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 4]: /images/20220829/f042aef17e444d549b494f2c0d412391.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 5]: /images/20220829/a828c4cb048042ea87afbc1fd299fd35.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 6]: /images/20220829/1bf1527d82ee4d6fa986a24130c7eaa6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 7]: /images/20220829/bb1d0d8512464452bec81b0057454948.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTI2NjA0NjQ_size_16_color_FFFFFF_t_70 8]: /images/20220829/3c95ff8605fc4b3290b11579de316c36.png
[Link 1]: https://blog.csdn.net/weixin_43912367/article/details/113799690?utm_medium=distribute.pc_relevant.none-task-blog-2~default~OPENSEARCH~default-1.pc_relevant_baidujshouduan&depth_1-utm_source=distribute.pc_relevant.none-task-blog-2~default~OPENSEARCH~default-1.pc_relevant_baidujshouduan