Java虚拟机结构和类加载机制

阅读《深入理解Java虚拟机》笔记

一、Java虚拟机结构

    Java虚拟机运行时数据区包括程序计数器、方法区、堆、虚拟机栈和本地方法栈。

    1.程序计数器是当前线程所执行的字节码的行号指示器。每条线程有一个独立的程序计数器。

    2.方法区是各个线程共享的数据区域。用于存储已加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。其中字面量和引用存放于常量池中。

    3.堆是Java虚拟机所管理的内存中最大的一块。是被所有线程共享的数据区域。用于存放创建好的对象实例。如果堆中没有内存完成实例分配，并且堆也无法扩展时，会抛出OutOfMemoryError异常。

    4.虚拟机栈是线程私有的，生命周期和线程一样。每个方法在执行的同时都会创建一个栈帧用于存放局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用到执行完成的过程，就对应着一个栈帧在虚拟机中入栈到出栈的过程。局部变量表存放了编译器可知的基本数据类型、对象引用和returnAddress类型。方法运行期间不会改变局部变量表的大小。如果线程请求的栈深度超过了虚拟机允许的栈深度，会抛出StackOverflowError；如果虚拟机栈可动态扩展，而扩展时无法申请到足够的内存，会抛出OutOfMemoryError异常。

    5.本地方法栈。与虚拟机栈类似，但是为虚拟机的Native方法服务。

二、类加载机制

    可分为加载、验证、准备、解析、初始化五个阶段。验证、准备、解析统称为连接。

    1.加载

•     根据类的全限定名获取对应类的二进制字节流
•     将Class文件中的静态存储结构转变为方法区中的运行时数据结构
•     在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口
  2.验证
•     Class文件格式验证：是否以魔数0xCAFEBABE开头；主次版本号是否在本虚拟机处理范围之内；常量池的常量是否有不被支持的常量类型……
•     元数据验证：语义分析，是否符合Java语法规范
•     字节码验证：对类的方法体进行校验分析，保证不会危害虚拟机。
•     符号引用验证：发生在虚拟机将符号引用转化为直接引用的时候。这个动作在解析阶段发生。
• 3.准备
•     正式为类对象分配内存并赋初值0，但是final static修饰的变量赋值为所指定的值（已经在编译期存入静态常量池中）。
• 4.解析
•     将常量池中的符号引用转化为直接引用。符号引用以一组符号来描述所引用的目标。直接引用可以是直接指向目标的指针、相对偏移量或是一个能直接定位到目标的句柄。
• 5.初始化
•     执行类构造器<clinit>()方法的过程。该方法由编译器自动收集类中的所有类变量的赋值动作和静态语句块中的语句合并产生。