第 4 章 程序计数器 (PC寄存器)
1、PC寄存器概述
(重点)
文档网址
- https://docs.oracle.com/javase/specs/jvms/se8/html/index.html
PC寄存器介绍 以及 作用 :
线程私有
, 运行速度最快的存储区域,程序计数器
会存储
当前线程正在执行的Java方法的JVM指令地址
- PC寄存器不会出现OOM(OutofMemoryError) 内存溢出, StackOverFlow 栈溢出 的情况
- 字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令
- 当CPU并发执行, cpu时间片轮训执行不同的线程(或者发生中断操作), 使用
pc寄存器
中存储的指令地址, 来恢复到原来的执行位置
- JVM中的
程序计数寄存器(Program Counter Register)
中,Register的命名源于CPU的寄存器,寄存器存储指令相关的现场信息。CPU只有把数据装载到寄存器才能够运行。 - 这里,并非是广义上所指的物理寄存器,或许将其翻译为
PC计数器(或指令计数器)
会更加贴切(也称为程序钩子),并且也不容易引起一些不必要的误会。JVM中的PC寄存器是对物理PC寄存器的一种抽象模拟。 - 它是一块很小的内存空间,几乎可以忽略不记。也是运行速度最快的存储区域。
- 在
JVM规范中,每个线程都有它自己的程序计数器,是线程私有的
,生命周期与线程的生命周期保持一致。 - 任何时间一个线程都只有一个方法在执行,也就是所谓的当前方法 (虚拟机栈的栈顶栈帧)。
程序计数器会存储当前线程正在执行的Java方法的JVM指令地址
,或者,如果是在执行native方法,则是未指定值(undefned)。 - 它是程序控制流的指示器,分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。
字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。
- 它是唯一一个在Java虚拟机规范中没有规定任何OutofMemoryError情况的区域。
PC 寄存器的作用
PC寄存器
用来存储指向下一条指令的地址,也即将要执行的指令代码。由执行引擎将指令解释为机器码交由cpu进行处理
- 代码
public class PCRegisterTest {
public static void main(String[] args) {
int i = 10;
int j = 20;
int k = i + j;
String s = "abc";
System.out.println(i);
System.out.println(k);
}
}
- 反编译:
javap -v xxx.class
// 常量池
Constant pool:
#1 = Methodref #6.#26 // java/lang/Object."":()V
#2 = String #27 // abc
#3 = Fieldref #28.#29 // java/lang/System.out:Ljava/io/PrintStream;
#4 = Methodref #30.#31 // java/io/PrintStream.println:(I)V
#5 = Class #32 // com/atguigu/java/PCRegisterTest
#6 = Class #33 // java/lang/Object
#7 = Utf8
#8 = Utf8 ()V
#9 = Utf8 Code
#10 = Utf8 LineNumberTable
#11 = Utf8 LocalVariableTable
#12 = Utf8 this
#13 = Utf8 Lcom/atguigu/java/PCRegisterTest;
#14 = Utf8 main
#15 = Utf8 ([Ljava/lang/String;)V
#16 = Utf8 args
#17 = Utf8 [Ljava/lang/String;
#18 = Utf8 i
#19 = Utf8 I
#20 = Utf8 j
#21 = Utf8 k
#22 = Utf8 s
#23 = Utf8 Ljava/lang/String;
#24 = Utf8 SourceFile
#25 = Utf8 PCRegisterTest.java
#26 = NameAndType #7:#8 // "":()V
#27 = Utf8 abc
#28 = Class #34 // java/lang/System
#29 = NameAndType #35:#36 // out:Ljava/io/PrintStream;
#30 = Class #37 // java/io/PrintStream
#31 = NameAndType #38:#39 // println:(I)V
#32 = Utf8 com/atguigu/java/PCRegisterTest
#33 = Utf8 java/lang/Object
#34 = Utf8 java/lang/System
#35 = Utf8 out
#36 = Utf8 Ljava/io/PrintStream;
#37 = Utf8 java/io/PrintStream
#38 = Utf8 println
#39 = Utf8 (I)V
{
public com.atguigu.java.PCRegisterTest();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: aload_0
1: invokespecial #1 // Method java/lang/Object."":()V
4: return
LineNumberTable:
line 7: 0
LocalVariableTable:
Start Length Slot Name Signature
0 5 0 this Lcom/atguigu/java/PCRegisterTest;
public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=5, args_size=1
0: bipush 10
2: istore_1
3: bipush 20
5: istore_2
6: iload_1
7: iload_2
8: iadd
9: istore_3
10: ldc #2 // String abc
12: astore 4
14: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
17: iload_1
18: invokevirtual #4 // Method java/io/PrintStream.println:(I)V
21: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
24: iload_3
25: invokevirtual #4 // Method java/io/PrintStream.println:(I)V
28: return
LineNumberTable:
line 10: 0
line 11: 3
line 12: 6
line 14: 10
line 15: 14
line 16: 21
line 18: 28
LocalVariableTable:
Start Length Slot Name Signature
0 29 0 args [Ljava/lang/String;
3 26 1 i I
6 23 2 j I
10 19 3 k I
14 15 4 s Ljava/lang/String;
- 左边的数字代表指令地址(指令偏移),即
PC寄存器中可能存储的值
,然后执行引擎读取 PC 寄存器中的值,并执行该指令
(重要)
- 使用PC寄存器存储字节码指令地址有什么用呢?
- 为什么使用 PC 寄存器来记录当前线程的执行地址呢?
- 因为线程是一个个的顺序执行流,
CPU需要不停的切换各个线程,这时候切换回来以后,就得知道接着从哪开始继续执行
- JVM的字节码解释器就需要通过改变PC寄存器的值来明确下一条应该执行什么样的字节码指令
PC寄存器为什么被设定为私有的?
- 总结下面: 为了保证当并发执行的多个线程的时候, cpu时间片疯狂切换, 当切换到别的线程的时候, 我们要记录上一个线程执行到哪个指令了. 所以使用pc寄存器来存储; 如果设置为
线程共享
的pc寄存器, 当切换到上一个线程的时候, 它恢复到原来执行的位置. 就不准确了
- 我们都知道
所谓的多线程在一个特定的时间段内只会执行其中某一个线程的方法(并发操作)
,CPU会不停地做任务切换,这样必然导致经常中断或恢复,如何保证分毫无差呢? 为了能够准确地记录各个线程正在执行的当前字节码指令地址,最好的办法自然是为每一个线程都分配一个PC寄存器
,这样一来各个线程之间便可以进行独立计算,从而不会出现相互干扰的情况。- 由于CPU时间片轮限制,众多线程在
并发
执行过程中,任何一个确定的时刻,一个处理器或者多核处理器中的一个内核,只会执行某个线程中的一条指令。 - 这样
必然导致经常中断或恢复
,如何保证分毫无差呢?每个线程在创建后,都会产生自己的
程序计数器和
栈帧,程序计数器在各个线程之间互不影响
。
- 并发执行的时候: 宏观上来说, 同时执行; 微观上来说, 串行执行
- CPU时间片即CPU分配给各个程序的时间,每个线程被分配一个时间段,称作它的时间片。
- 在
宏观
上:我们可以同时打开多个应用程序,每个程序并行不悖,同时运行
。 - 在
微观
上:由于只有一个CPU(当有多核,多个CPU的时候, 真正意义上存在并行, 但也存在并发的现象.),一次只能处理程序要求的一部分,如何处理公平,一种方法就是引入时间片,每个程序轮流执行。