PC Register介绍

官方文档地址：https://docs.oracle.com/javase/specs/jvms/se8/html/index.html

image.png

  • JVM中的程序计数寄存器（Program Counter Register）中，Register的命名源于CPU的寄存器，寄存器存储指令相关的现场信息。CPU只有把数据装载到寄存器才能够运行。

  • 这里，并非是广义上所指的物理寄存器，或许将其翻译为PC计数器（或指令计数器）会更加贴切（也称为程序钩子），并且也不容易引起一些不必要的误会。JVM中的PC寄存器是对物理PC寄存器的一种抽象模拟。


  • 它是一块很小的内存空间，几乎可以忽略不记。也是运行速度最快的存储区域。

  • 在JVM规范中，每个线程都有它自己的程序计数器，是线程私有的，生命周期与线程的生命周期保持一致。

  • 任何时间一个线程都只有一个方法在执行，也就是所谓的当前方法。程序计数器会存储当前线程正在执行的Java方法的JVM指令地址；或者，如果是在执行native方法，则是未指定值（undefined）。

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

  • 字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。

  • 它是唯一一个在Java虚拟机规范中没有规定任何OutofMemoryError情况的区域。

作用：
PC寄存器用来存储指向下一条指令的地址，也即将要执行的指令代码。由执行引擎读取下一条指令，并执行该指令。
image.png

举例说明

image.png

  1. public class PCRegisterTest {
  2.     public static void main(String[] args) {
  3.         int i = 10;
  4.         int j = 20;
  5.         int k = i + j;
  7.         String s = "abc";
  8.         System.out.println(i);
  9.         System.out.println(k);
  11.     }
  12. }

image.png

  1. Classfile /F:/IDEAWorkSpaceSourceCode/JVMDemo/out/production/chapter04/com/atguigu/java/PCRegisterTest.class
  2.   Last modified 2020-11-2; size 675 bytes
  3.   MD5 checksum 53b3ef104479ec9e9b7ce5319e5881d3
  4.   Compiled from "PCRegisterTest.java"
  5. public class com.atguigu.java.PCRegisterTest
  6.   minor version: 0
  7.   major version: 52
  8.   flags: ACC_PUBLIC, ACC_SUPER
  9. Constant pool:
  10.    #1 = Methodref          #6.#26         // java/lang/Object."<init>":()V
  11.    #2 = String             #27            // abc
  12.    #3 = Fieldref           #28.#29        // java/lang/System.out:Ljava/io/PrintStream;
  13.    #4 = Methodref          #30.#31        // java/io/PrintStream.println:(I)V
  14.    #5 = Class              #32            // com/atguigu/java/PCRegisterTest
  15.    #6 = Class              #33            // java/lang/Object
  16.    #7 = Utf8               <init>
  17.    #8 = Utf8               ()V
  18.    #9 = Utf8               Code
  19.   #10 = Utf8               LineNumberTable
  20.   #11 = Utf8               LocalVariableTable
  21.   #12 = Utf8               this
  22.   #13 = Utf8               Lcom/atguigu/java/PCRegisterTest;
  23.   #14 = Utf8               main
  24.   #15 = Utf8               ([Ljava/lang/String;)V
  25.   #16 = Utf8               args
  26.   #17 = Utf8               [Ljava/lang/String;
  27.   #18 = Utf8               i
  28.   #19 = Utf8               I
  29.   #20 = Utf8               j
  30.   #21 = Utf8               k
  31.   #22 = Utf8               s
  32.   #23 = Utf8               Ljava/lang/String;
  33.   #24 = Utf8               SourceFile
  34.   #25 = Utf8               PCRegisterTest.java
  35.   #26 = NameAndType        #7:#8          // "<init>":()V
  36.   #27 = Utf8               abc
  37.   #28 = Class              #34            // java/lang/System
  38.   #29 = NameAndType        #35:#36        // out:Ljava/io/PrintStream;
  39.   #30 = Class              #37            // java/io/PrintStream
  40.   #31 = NameAndType        #38:#39        // println:(I)V
  41.   #32 = Utf8               com/atguigu/java/PCRegisterTest
  42.   #33 = Utf8               java/lang/Object
  43.   #34 = Utf8               java/lang/System
  44.   #35 = Utf8               out
  45.   #36 = Utf8               Ljava/io/PrintStream;
  46.   #37 = Utf8               java/io/PrintStream
  47.   #38 = Utf8               println
  48.   #39 = Utf8               (I)V
  49. {
  50.   public com.atguigu.java.PCRegisterTest();
  51.     descriptor: ()V
  52.     flags: ACC_PUBLIC
  53.     Code:
  54.       stack=1, locals=1, args_size=1
  55.          0: aload_0
  56.          1: invokespecial #1                  // Method java/lang/Object."<init>":()V
  57.          4: return
  58.       LineNumberTable:
  59.         line 7: 0
  60.       LocalVariableTable:
  61.         Start  Length  Slot  Name   Signature
  62.             0       5     0  this   Lcom/atguigu/java/PCRegisterTest;
  64.   public static void main(java.lang.String[]);
  65.     descriptor: ([Ljava/lang/String;)V
  66.     flags: ACC_PUBLIC, ACC_STATIC
  67.     Code:
  68.       stack=2, locals=5, args_size=1
  69.          0: bipush        10
  70.          2: istore_1
  71.          3: bipush        20
  72.          5: istore_2
  73.          6: iload_1
  74.          7: iload_2
  75.          8: iadd
  76.          9: istore_3
  77.         10: ldc           #2                  // String abc
  78.         12: astore        4
  79.         14: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
  80.         17: iload_1
  81.         18: invokevirtual #4                  // Method java/io/PrintStream.println:(I)V
  82.         21: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
  83.         24: iload_3
  84.         25: invokevirtual #4                  // Method java/io/PrintStream.println:(I)V
  85.         28: return
  86.       LineNumberTable:
  87.         line 10: 0
  88.         line 11: 3
  89.         line 12: 6
  90.         line 14: 10
  91.         line 15: 14
  92.         line 16: 21
  93.         line 18: 28
  94.       LocalVariableTable:
  95.         Start  Length  Slot  Name   Signature
  96.             0      29     0  args   [Ljava/lang/String;
  97.             3      26     1     i   I
  98.             6      23     2     j   I
  99.            10      19     3     k   I
  100.            14      15     4     s   Ljava/lang/String;
  101. }
  102. SourceFile: "PCRegisterTest.java"
  • 左边的数字代表指令地址（指令偏移），即 PC 寄存器中可能存储的值，然后执行引擎读取 PC 寄存器中的值，并执行该指令

image.png

两个常见问题

使用PC寄存器存储字节码指令地址有什么用呢？或者问为什么使用 PC 寄存器来记录当前线程的执行地址呢？

  • 因为CPU需要不停的切换各个线程，这时候切换回来以后，就得知道接着从哪开始继续执行
  • JVM的字节码解释器就需要通过改变PC寄存器的值来明确下一条应该执行什么样的字节码指令

PC寄存器为什么被设定为私有的？

  • 我们都知道所谓的多线程在一个特定的时间段内只会执行其中某一个线程的方法，CPU会不停地做任务切换，这样必然导致经常中断或恢复，如何保证分毫无差呢？为了能够准确地记录各个线程正在执行的当前字节码指令地址，最好的办法自然是为每一个线程都分配一个PC寄存器，这样一来各个线程之间便可以进行独立计算，从而不会出现相互干扰的情况。
  • 由于CPU时间片轮限制，众多线程在并发执行过程中，任何一个确定的时刻，一个处理器或者多核处理器中的一个内核，只会执行某个线程中的一条指令。

  • 这样必然导致经常中断或恢复，如何保证分毫无差呢？每个线程在创建后，都会产生自己的程序计数器和栈帧，程序计数器在各个线程之间互不影响。

    CPU 时间片

  • CPU时间片即CPU分配给各个程序的时间，每个线程被分配一个时间段，称作它的时间片。

  • 在宏观上：我们可以同时打开多个应用程序，每个程序并行不悖，同时运行。
  • 但在微观上：由于只有一个CPU，一次只能处理程序要求的一部分，如何处理公平，一种方法就是引入时间片，每个程序轮流执行。