【JVM】运行机制

启动流程

我们写完代码之后代码到底是如何执行的呢？
1、编写源代码，XXX.java
2、编译成XXX.class
3、打包成XXX.jar
4、执行命令 java -jar XXX.jar来启动程序

JVM基本结构

类加载子系统：把描述类的数据从Class文件加载到内存，并对数据进行校验、转换解析和初始化最终形成可以被JVM直接使用的Java类型
指令计数器：可以当做当前线程所执行字节码行号指示器，简单说就是字节码执行到第几行了实由指令计数器控制的。
java栈：线程私有的，生命周期与线程相同；描述的是java方法执行的内存模型，每个方法的执行都会创建一个栈帧用于存储局部变量表、操作数栈、动态链接、方法接口等信息。
本地方法栈：与java栈的区别是执行的是本地方法。
java堆：是被所有线程共享的一块内存区域，在虚拟机启动时创建。用于存放java对象实例，几乎所有的对象和数组都要在java堆上分配。java堆不要求物理连续，逻辑连续即可。堆又可分为：Eden新生代、From空间、to空间和Tenured区。

方法区：与堆一样，是各个线程共享的内存区域，用于存储被虚拟机加载的类、常量、静态变量、JIT编译后的代码等数据。运行时常量池是方法区的一部分，用于存放编译期生成的各种字面量和符号引用。
栈、堆、方法区交互

public class AppMain{
	public static void main(String []args){
		Sample test1=new Sample("test1");
		Sample test2=new Sample("test2");
		test1.printName();
		test2.printName();
	}
}
//运行时, jvm 把appmain的信息都放入方法区 
public class Sample {
    private String name;

    //new Sample实例后， name 引用放入栈区里，  name 对象放入堆里 
    public Sample(String name) {
        this.name = name;
    }

    //print方法本身放入 方法区里。
    public void printName() {
        System.out.println(name);
    }
}

内存模型

每个线程都有一个工作内存与主存独立
工作内存中存放变量值的拷贝

当数据从主内存复制到工作存储时，必须出现两个动作：第一，由主内存执行的读（read）操作；第二，由工作内存执行的相应的load操作；当数据从工作内存拷贝到主内存时，也出现两个操作：第一个，由工作内存执行的存储（store）操作；第二，由主内存执行的相应的写（write）操作
每一个操作都是原子的，即执行期间不会被中断
对于普通变量，一个线程中更新的值，不能马上反应在其他变量中
如果需要在其他线程中立即可见，需要使用 volatile 关键字

可见性
一个线程修改了变量，其他线程可以立即知道
保证可见性的方法

• volatile
  每次访问变量时都会进行一次刷新，因为每次访问都是主内存中最新的版本，所以可以保证变量修改的实时可见性。
• synchronized （unlock之前，写变量值回主存）
• final(一旦初始化完成，其他线程就可见)

指令重排
JVM为了优化指令，提高程序运行效率，在不影响单线程程序执行的情况下尽可能的提高并行度。但是多线程就会有一些问题。
什么是数据依赖？
程序指令之间的顺序不允许交换，则这些程序指令之间存在数据依赖。

名称 代码示例 说明
写后读 a = 1;b = a; 写一个变量之后，再读这个位置。
写后写 a = 1;a = 2; 写一个变量之后，再写这个变量。
读后写 a = b;b = 1; 读一个变量之后，再写这个变量。

以上类型的指令编译期不会重排。但是像a=1;b=2;这样的指令是可以重排的。
指令重排的后货是破坏线程间的有序性

解决方案：同步

不会重排的规则：

• 程序次序法则：线程中的每个动作A都happens-before于该线程中的每一个动作B，其中，在程序中，所有的动作B都能出现在A之后。
• 监视器锁法则：对一个监视器锁的解锁 happens-before于每一个后续对同一监视器锁的加锁。
• volatile变量法则：对volatile域的写入操作happens-before于每一个后续对同一个域的读写操作。
• 线程启动法则：在一个线程里，对Thread.start的调用会happens-before于每个启动线程的动作。
• 线程终结法则：线程中的任何动作都happens-before于其他线程检测到这个线程已经终结、或者从Thread.join调用中成功返回，或Thread.isAlive返回false。
• 中断法则：一个线程调用另一个线程的interrupt happens-before于被中断的线程发现中断。
• 终结法则：一个对象的构造函数的结束happens-before于这个对象finalizer的开始。
• 传递性：如果A happens-before于B，且B happens-before于C，则A happens-before于C