关于Java虚拟机

下面是学习《深入Java虚拟机》的一些笔记，分享出来，重温一下基础知识。

Java虚拟机的主要任务是装载class文件并且执行其中的字节码，Java虚拟机包含一个类装载器（class loader），它可以从程序和API中装载class文件（API中只有程序执行时需要的那些类才会被装载），字节码由执行引擎来执行。

当被装载的类引用了另外一个类时，虚拟机会使用第一个类的类装载器来装载被引用的类，运行时的Java程序中每一个类装载器都有自己的命名空间。

Java虚拟机的基本结构图

Java虚拟机的内部结构体系

常量池：(constant pool)指的是在编译期被确定，并被保存在已编译的.class文件中的一些数据，它包括了关于类、方法、接口等中的常量，也包括字符串常量。JVM必须为每个被装载的类型维护一个常量池，常量池就是该类型所用常量的一个有续集合，包括直接常量（string、integer和float常量）和对其他类型、字段和方法的符号引用。

在Java中，String对象的内容是不可改变的。

<span style="font-size:12px;">String s1 = “Welcome to Java”;
String s2 = new String(“Welcome to Java”);
String s3 = “Welcome to Java”;</span>

其中s1、s3指向同一个String对象，s2指向另一个String对象。

创建String对象的两种方法：

<span style="font-size:12px;">String str1 = new String("Hello");
String str1 = "Hello";</span>

对于第一种情况：用new String()创建的字符串不是常量，不能在编译期就确定，所以newString()创建的字符串不放入常量池中，JVM在heap中创建一个String对象，然后将该对象的引用返回给用户。

对于第二种情况：JVM首先会在内部维护的常量池中通过String的 equels 方法查找常量池中是否存在该String对象，如果有，则返回已有的String对象给用户，而不会在heap中重新创建一个新的String对象；如果常量池中没有该String对象，JVM则在heap中创建新的String对象，将其引用返回给用户，同时将该引用添加至strings pool中。

每个虚拟机实例都有一个方法区和一个堆，为该虚拟机实例中所有的线程共享。当程序运行时，虚拟机会把所有该程序创建的对象都放到堆中。

当一个新线程被创建时，它将得到自己的PC寄存器以及一个Java栈。Java栈由许多栈帧（stack frame）组成，一个栈帧包含一个Java方法调用的状态。任何线程都不能访问另一个线程的PC寄存器或者Java栈。对于堆来讲，生长方向是向上的，也就是向着内存地址增加的方向；对于栈来讲，它的生长方式是向下的，是向着内存地址减小的方向增长。

在Java虚拟机中，false由整数零来表示，所有非零整数都表示true，涉及boolean值的操作则会使用int，另外，boolean数组是当做byte数组来访问的。

一个类(class)要被使用必须经过装载，连接，初始化这样的过程。

装载——查找并装载类型的二进制数据；

连接——可以分为三个子步骤：验证、准备和解析（可选）；

验证：确保Java类型数据格式的正确性；

准备：JVM为类变量分配内存空间，并将其初始化为默认值（基本数据类型的变量会被赋予默认值0或false，引用类型的变量默认会被赋予null）。在这个阶段，JVM可能还会为一些数据结构分配内存，目的是提高运行程序的性能，比如说方法表；

解析：把常量池类型中的符号引用转换为直接引用。就是在类型的常量池中寻找类、接口、字段和方法的符号引用，把这些符号引用替换成直接引用。这个阶段可以被推迟到初始化之后，当程序运行的过程中真正使用某个符号引用的时候 再去解析它。

 

类初始化必须发生在装载、连接以后，Java虚拟机一般会在每个类或接口首次主动使用时才会对类型进行初始化。下面六中情形符合主动使用的要求：

1.当创建某个类的新实例时；（注：包括创建的所有方式，如new、反射、克隆以及反序列化等）

2.当调用某个类的静态方法时；

3.当使用某个类或接口的静态字段，或对该非常量静态字段进行赋值时。（注意：用final修饰的静态字段除外，因为在编译阶段时，它就被替换成一个常量表达式）

4.调用Java API中的某些反射方法时；（比如类Class中的方法或java.lang.reflect包中的方法）

5.初始化某个类的子类时；（某个类初始化时，要求它的超类已经被初始化了）

6.包含有main方法的类启动时；

 

类的初始化是只执行一次，初始化类时，如果这个类有一个直接父类，且直接父类还未初始化，则先初始化直接父类。

初始化接口不需要初始化其父接口。