Java运行原理分析

正文

• class文件包含的内容， class文件包含JAVA程序执行的字节码，数据格式严格按照紧凑排列在class文件中的二进制流，中间无任何分隔符；文件开头有一个0xcafebabe(16进制)特殊的一个标志。其中存着版本、访问标志、常量池、当前类、超级类、接口、字段、方法、属性等信息，这些文件有复杂的格式，专门给JVM读里面的内容，人类阅读可以借助专业的工具进行查看。
  
• jvm运行时数据区， 分为 线程共享部分（方法区、堆内存）、线程独享部分（虚拟机栈、本地方法栈、程序计数器）。
  2.1 线程共享的概念： 所有线程都能访问这块内存数据，随着虚拟机或者GC而创建和销毁 。
  a. 方法区： 保存类的信息，如常量、静态变量、编译后的代码等是一块逻辑区划。逻辑区划是一个概念，其具体的实现不同的虚拟机有可能不一样。
  b. 堆内存： 存放对象实例的地方，垃圾回收器就是用来对内存的管理。
  2.2 线程独占的概念： 每个线程都会有他的独立空间，会随着线程的生命周期而创建和销毁，也就是线程创建时会在虚拟机栈、本地方法栈、程序计数器中开辟对应的空间。
  a. 虚拟机栈 每个线程都在这个空间有一个私有的空间。
  线程栈由多个帧栈组成，一个线程对执行一个或多个方法，一个方法对应一个帧栈，栈帧（stack frame）是用于支持虚拟机进行方法调用和方法执行的数据结构，它是虚拟机运行时数据区中的虚拟机栈的栈元素。栈帧存储了方法的局部变量表、操作数栈、动态连接和方法返回地址等信息。栈内存默认最大时1M，如果超过则会抛出StackOverflowError。（执行计算、动态引用用都是在帧栈中保存信息的）。每一个方法从调用开始到执行完成的过程，就对应着一个栈帧在虚拟机栈里面从入栈到出栈的过程。
  对于执行引擎来说，活动线程中，只有栈顶的栈帧是有效的，称为当前栈帧，这个栈帧所关联的方法称为当前方法。执行引擎所运行的所有字节码指令都只针对当前栈帧进行操作。
  b. 本地方法栈 和虚拟机栈功能类似，虚拟机栈时为虚拟机执行Java方法而准备的，本地方法时为虚拟机使用Native本地方法而准备的。（虚拟机规范没有具体规定其实现，由不同的厂商实现）
  c. 程序计数器 记录当前线程执行字节码的位置，存储字节码的指令地址，如果执行Native，则计数器值为空。（每个线程都在这个空间有一个私有的空间，占用的内存空间很少，CPU同一时间只会执行一条线程中的指令，JVM多线程会轮流切换并分配CPU执行时间方式。为了线程切换后需要通过程序计数器来恢复正确的执行位置）。
• class内容 -版本号/访问控制 版本号规则:JDK5、6、7、8分别对应 major version :49、50、51、52。(ACC_SUPER是用来表示如何调用父类的方法)
• 常量池 class类编译后的的类的常量池,是包含着类里面的静态常量,就是编译类之后我们所需要用的一些方法名称、类信息。
• class内容
• 程序运行时分析 方法区存储类信息
  
  

附录

从网上找了一下虚拟机栈的对应资料，虚拟机栈是一个后入先出的栈。栈帧是保存在虚拟机栈中的，栈帧是用来存储数据和存储部分过程结果的数据结构，同时也被用来处理动态链接（Dynamic Linking）、方法返回值和异常分派（Dispatch Exception）。线程运行过程中，只有一个栈帧是处于活跃状态，称为“当前活跃栈帧”，当前活动栈帧始终是虚拟机栈的栈顶元素。下图为虚拟机中帧栈的结构:

• 局部变量表： 局部变量表是一组局部变量值存储空间，用于存放方法参数和方法内部定义的局部变量。
• 操作数栈： 操作数栈也常被称为操作栈，它是一个后入先出栈。JVM底层字节码指令集是基于栈类型的，所有的操作码都是对操作数栈上的数据进行操作，对于每一个方法的调用，JVM会建立一个操作数栈，以供计算使用。和局部变量一样。操作数栈的最大深度也是编译的时候写入到方法表的code属性的max_stacks数据项中。操作数栈的每一个元素可以是任意的Java数据类型，包括long、double。32位数据类型所占的栈容量为1，64位数据类型所占的栈容量为2。栈容量的单位为“字宽”，对于32位虚拟机来说，一个“字宽”占4个字节，64位虚拟机来说，一个“字宽”占8个字节。当一个方法刚刚执行的时候，这个方法的操作数栈是空的，在方法执行的过程中，会有各种字节码指向操作数栈中写入和提取值，也就是入栈与出栈操作。例如，在做算术运算的时候就是通过操作数栈来进行的，又或者调用其它方法的时候是通过操作数栈来行参数传递的。 另外，在概念模型中，两个栈帧作为虚拟机栈的元素，相互之间是完全独立的，但是大多数虚拟机的实现里都会作一些优化处理，令两个栈帧出现一部分重叠。让下栈帧的部分操作数栈与上面栈帧的部分局部变量表重叠在一起，这样在进行方法调用返回时就可以共用一部分数据，而无须进行额外的参数复制传递了。
• 动态链接 每个栈帧都包含一个指向运行时常量池中该栈帧所属性方法的引用，持有这个引用是为了支持方法调用过程中的动态连接。在Class文件的常量池中存有大量的符号引用，字节码中的方法调用指令就以常量池中指向方法的符号引用为参数。这些符号引用一部分会在类加载阶段或第一次使用的时候转化为直接引用，这种转化称为静态解析。另外一部分将在每一次的运行期期间转化为直接引用，这部分称为动态连接。
• 方法返回地址 当一个方法被执行后，有两种方式退出这个方法。第一种方式是执行引擎遇到任意一个方法返回的字节码指令，这时候可能会有返回值传递给上层的方法调用者(调用当前方法的的方法称为调用者)，是否有返回值和返回值的类型将根据遇到何种方法返回指令来决定，这种退出方法方式称为正常完成出口(Normal Method Invocation Completion)。另外一种退出方式是，在方法执行过程中遇到了异常，并且这个异常没有在方法体内得到处理，无论是Java虚拟机内部产生的异常，还是代码中使用athrow字节码指令产生的异常，只要在本方法的异常表中没有搜索到匹配的异常处理器，就会导致方法退出，这种退出方式称为异常完成出口(Abrupt Method Invocation Completion)。一个方法使用异常完成出口的方式退出，是不会给它的调用都产生任何返回值的。 无论采用何种方式退出，在方法退出之前，都需要返回到方法被调用的位置，程序才能继续执行，方法返回时可能需要在栈帧中保存一些信息，用来帮助恢复它的上层方法的执行状态。一般来说，方法正常退出时，调用者PC计数器的值就可以作为返回地址，栈帧中很可能会保存这个计数器值。而方法异常退出时，返回地址是要通过异常处理器来确定的，栈帧中一般不会保存这部分信息。 方法退出的过程实际上等同于把当前栈帧出栈，因此退出时可能执行的操作有：恢复上层方法的局部变量表和操作数栈，把返回值(如果有的话)压入调用都栈帧的操作数栈中，调用PC计数器的值以指向方法调用指令后面的一条指令等。
• 附加信息 虚拟机规范允许具体的虚拟机实现增加一些规范里没有描述的信息到栈帧中，例如与高度相关的信息，这部分信息完全取决于具体的虚拟机实现。在实际开发中，一般会把动态连接，方法返回地址与其它附加信息全部归为一类，称为栈帧信息。