【探究JVM三】运行时数据区的指示器——程序计数器

àì夳堔傛蜴生んèń 2023-02-26 13:25 14阅读 0赞

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

### 文章目录 ###

*   *  1. 程序计数器
     *   *  线程私有
         *  不会产生OOM
     *  2. 程序计数器的使用
     *  3. 面试题考点

## 1. 程序计数器 ##

![format_png][]

程序计数器（Program Counter Register，也称作PC计数器）是一块很小的内存空间，可以当做是**当前线程所执行字节码的行号指示器**。JVM中的程序计数器是对物理PC寄存器的模拟抽象。

【程序计数器的作用】

**执行引擎的解释器在工作时就是通过改变程序计数器来选取下一条需要执行的字节码指令**

程序控制流的指示器，分支、循环、跳转异常处理、线程恢复等基础功能都需要依赖程序计数器完成。

大白话来讲，就是执行引擎解释执行字节码文件，在执行完当前行的字节码时，PC计数器会告诉执行引擎下一行在什么位置，该执行谁了。

> PC计数器存储的是下一条指令的地址

### 线程私有 ###

我们都知道，Java虚拟机的多线程实现是通过CPU分配执行时间来对线程轮流切换执行的，也就是说在**同一时刻，一个处理器只会执行一个线程中的指令**。

PC计数器存储的当前线程指令的地址，所以它是**线程私有**的，每个线程都会有自己的PC计数器。生命周期与线程的生命周期保持一致。

> 执行本地方法时，由于是C/C++的代码，PC计数器无法记录，则是未指定值（Undefined）

### 不会产生OOM ###

PC计数器相对于运行时数据区的其他区域来说，所占的空间很小，存放的都是地址，不会被垃圾回收

**PC计数器是Runtime Data Area中唯一不会产生OOM（内存溢出）的区域**

--------------------

## 2. 程序计数器的使用 ##

我们对一段简单的程序进行测试，来验证PC计数器的内容：

![format_png 1][]

`Ctrl + Shift + F9`编译

编译后的字节码class

package iqqcode.pcregister;
    
    public class PCRegisterTest { 
        public PCRegisterTest() { 
        }
    
        public static void main(String[] args) { 
            int i = 10;
            int j = 20;
            int var10000 = i + j;
        }
    }

对字节码进行反编译

`javap -v PCRegisterTest.class`

![format_png 2][]

在虚拟机字节码指令的左侧，就是PC计数器中存放的**指令的偏移地址**

--------------------

## 3. 面试题考点 ##

**Q1：为什么使用PC寄存器记录当前线程的执行地址呢？**

或者说**使用PC寄存器存储字节码指令地址有什么用呢？**

**答：记录线程的上下文环境。** 当线程进行上下文切换（Context Switch）发生时，需要由操作系统保存当前线程的状态，并恢复另一个线程的状态。Java中对应的概念就是程序计数器，它的作用是记住下一条JVM指令的执行地址，是线程私有的。

> 其实这个问题我们可以类比CPU的中断处理过程，CPU在响应中断之前，为了在中断处理结束后能正确地返回到中断点，会先记录当前执行位置，即**保护现场、保护断点**，它将断点放到了程序计数器中。

我们类比操作系统中CPU的响应中断机制来说明：

CPU要轮番切换各个线程来调度执行，在切换当前线程之前，需要记录当前的执行位置（理解为线程的中断点）。在下次切换回当前线程后，知道接着从哪里继续执行（避免重头再执行）

JVM的执行引擎----字节码解释器通过改变PC计数器的值来明确下一条要执行的指令。

--------------------

**Q2：PC寄存器为什么会被设定为线程私有？**

我们都知道，Java虚拟机的多线程实现是通过CPU分配执行时间来对线程轮流切换执行的，也就是说：在同一时刻，一个处理器只会执行一个线程中的指令。

PC计数器存储当前线程指令的地址，为了保证能够准确地记录各个线程正在执行的当前字节码指令的地址，所以它是**线程私有**的，每个线程都会有自己的PC计数器。

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzIzMjk1NQ_size_16_color_FFFFFF_t_70_pic_center]: /images/20230209/274d0ff478bf4402ba4abc79e8d124cc.png
[format_png]: /images/20230209/3e492d2474f046ccb9917a08cb0f6d73.png
[format_png 1]: /images/20230209/13679c9d610c41158f5d750c9ad0839c.png
[format_png 2]: https://imgconvert.csdnimg.cn/aHR0cHM6Ly9pcXFjb2RlLWJsb2cub3NzLWNuLWJlaWppbmcuYWxpeXVuY3MuY29tL2ltZy8yMDIwMDYyNTA5NTA0My5wbmc?x-oss-process=image/format,png