java程序是如何运行的（基本概念介绍版）

一、从.java文件到.class文件

我们在idea或者eclipse中编写的文件为.java文件，这个文件是给人看的，虚拟机和计算机都无法识别这个文件，那么如何让计算机执行这个文件呢？

• javac编译器将.java文件编译成.class文件
• jvm将.class文件作为输入输入，按照虚拟机规范，将其解释或者编译成机器能够执行的指令

从.java文件到.class文件过程是：

• 词法分析：从源代码中找出一些规范的token流，就像在人类语言中，给你一句话，你要能分辨出哪些是标点符号，哪些是动词，哪些是名词
• 语法分析：对这些token流进行语法分析，进一步检查这些关键词组合在一起是不是符合java语言规范，目的是生成符合java语言规范的抽象语法树，作用是把语言的主要词法用一个结构化的形式组织在一起。
• 语义分析：将语法糖和复杂的语法简化为简单的语法
• 生成字节码：将一种结构转换为另一种结构，符合jvm规范的字节码

二、java虚拟机如何读取.class文件

1. 类的加载机制

         类加载器根据类的全限定类名找到类的class文件，按照双亲委派的原则加载类

    2、类的加载原则

          当虚拟机要使用某个类的时候，它发现虚拟机中没有这个类，一个类加载器收到类加载的请求时，它先不会自己去加载这个类，而是将这个请求发给它的父类加载器，每一个层次的类加载器都是如此，最终加载的请求会到达启动类加载器，只有当父类加载器说自己无法完成这个加载操作时，子类加载器才会执行加载的操作。

      3、一个类加载到内存后的状态

• 根据全限定类名找到类的二进制字节流
• 将字节流所代表的静态存储结构转化为方法区的运行时数据结构
• 并在方法区生成这个类的class对象，作为方法区这个类的各种数据入口

三、加载到内存中的文件经过了怎样的检验，才能被虚拟机作为正确的类使用

• 验证：为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求

1. 文件格式验证：验证字节流是否符合class文件格式的规范，并且能被当前版本的虚拟机处理，该验证阶段的主要目的是保证输入的字节流能正确的解析并存储于方法区之内，格式上符合描述一个java类型信息的要求。只有通过了这个阶段的验证后，字节流才会进入内存的方法区中进行存储
2. 元数据验证：对字节码描述的信息进行语义分析，以保证其描述的信息符合java语言规范的要求，保证不存在不符合java语言规范的元数据信息
3. 字节码校验：主要目的是通过数据流和控制流分析，确定程序语义是合法，符合逻辑的（指令能正常工作，不会跳转到方法体以外的字节码中）
4. 符号引用验证：这个阶段的校验反正在虚拟机将符号引用转化为直接引用的时候，这个转化动作将在连接的第三阶段——解析阶段中发生

• 准备：正式为类变量准备内存空间并设置类变量初始值的阶段，这些变量所使用的内存都将在方法区中进行分配
• 解析 ：将符号引用转化为直接引用
• 初始化 ： 根据程序员通过程序制定的主观计划去初始化类变量和其他资源，初始化阶段是执行类构造器<clinit>()方法的过程<clinit>()方法是由编译器自动收集类中的所有类变量的赋值动作和静态语句块中的语句合并产生的，编译器收集的顺序是由语句在源文件出现的顺序所决定的，静态语句块中只能访问到定义在静态语句块之前的变量，定义在它之后的变量，在前面的静态语句块可以赋值，但是不能访问。（一个类只会初始化一次）
• 使用
• 卸载

四：虚拟机字节码执行引擎

• 根据虚拟机栈中的栈帧结构执行程序，局部变量表，操作数栈，返回地址，跳转连接
• 在不同的虚拟机实现里面，执行引擎在执行java代码的时候可能会有解释执行（通过解释器执行）和编译器执行（通过即时编译器产生本地代码执行）两种选择