JVM学习（二）

深入理解虚拟机栈

栈帧

• 栈帧：每个栈帧对应一个被调用的方法，可以理解为一个方法的运行空间。
  • 每个栈帧中包括局部变量表(Local Variables)、操作数栈(Operand Stack)、指向运行时常量池的引用(A reference to the run-time constant pool)、方法返回地址(Return Address)和附加信息。
    • 局部变量表：方法中定义的局部变量以及方法的参数存放在这张表中，局部变量表中的变量不可直接使用，如需要使用的话，必须通过相关指令将其加载至操作数栈中作为操作数使用。
    • 操作数栈:以压栈和出栈的方式存储操作数的
    • 动态链接:每个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用，持有这个引用是为了支持方法调用过程中的动态连接
    • 方法返回地址:当一个方法开始执行后,只有两种方式可以退出，一种是遇到方法返回的字节码指令；一种是遇见异常，并且这个异常没有在方法体内得到处理。
      

通过一个例子来理解栈帧

class Person{
	private String name="Jack";
	private int age;
	private final double salary=100;
	private static String address;
	private static Object ob = new Object();
	private final static String hobby="Programming";
	public void say(){
		System.out.println("person say...");
	}
	public static int calc(int op1,int op2){
		op1=3;
		int result=op1+op2;
		return result;
	}
	public static void order(){
	}
	public static void main(String[] args){
		calc(1,2);
		order();
	}
}

• 我们研究上面的 calc 方法
• 我们通过反编译代码得出下面的代码：

class Person {
...
public static int calc(int, int);
	Code:
	0: iconst_3 //将int类型常量3压入[操作数栈]
	1: istore_0 //将int类型值存入[局部变量0]
	2: iload_0 //从[局部变量0]中装载int类型值入栈
	3: iload_1 //从[局部变量1]中装载int类型值入栈
	4: iadd //将栈顶元素弹出栈，执行int类型的加法，结果入栈
	5: istore_2 //将栈顶int类型值保存到[局部变量2]中
	6: iload_2 //从[局部变量2]中装载int类型值入栈
	7: ireturn //从方法中返回int类型的数据
...
}

1. 第一步：将int类型常量3压入[操作数栈]
   
2. 第二步：将int类型值存入[局部变量0]
   
3. 第三步和第四步：分别从[局部变量0]和[局部变量1]中装载int类型值入栈
   
4. 第五步：将栈顶元素弹出栈，执行int类型的加法，结果入栈
   
5. 第六步：将栈顶int类型值保存到[局部变量2]中
   
6. 第七步：从[局部变量2]中装载int类型值入栈
7. 第八步：从方法中返回int类型的数据

深入理解内存存放

栈是如何指向堆

• 假设在栈帧中有一个引用型变量，这个时候局部变量表如何存储数据
  
• 大致如下图
  

方法区又是如何指向堆

• 方法区是存放静态变量，常量等数据，静态变量是否可以指向堆内存呢，答案是可以的，请看下面的代码
  
• 看下图
  

对象的内存结构

• 方法区中包含很多类的元数据，那堆中创建的对象又如何知道自己本身类的元数据的呢？
• 答案当然是通过方法区得到，那究竟是如何得到呢，这个就需要引入对象的内部结构了
• 一个Java对象在内存中包括3个部分：对象头、实例数据和对齐填充
  

理解JAVA内存分布

1. 最开始设计的时候，JAVA内存分布应该是方法区和堆区
   
2. 一般我们先关注的应该是创建对象的堆内存，如果堆内存这么设计的话，在堆满了情况下使用GC垃圾回收，就需要全盘扫描堆空间，十分浪费时间，所以就需要给堆内存分块，分为 Old 区 和 Young 区，每一垃圾回收就给存活下来的对象年龄增加1，如果到达一定的年龄，就放到old区也就是老年代，新的对象创建就放在young区新生代。
   
3. 这样子创建虽然很好，但是也有一个问题，假设要存储的对象需要3个单元，young区也有三个单元，但是不连续，就像下图
   
   • 空间不连续，空间碎片太多，并且如果经常gc的话，也会让很多的对象年龄变大，使得去老年区，所以就需要给young区再做分化，分为Eden区和Survivor区，而这个分配的前提是大多数对象的生命周期很短，基本上朝生夕死。gc垃圾回收是对整个young区进行的，所以对两个区域都会进行gc，所以当Eden区gc剩下的对象就会放到survivor区中。
     
4. 但是这样子还是会有问题，跟上面的问题一样，就是Survivor区也有可能出现空间碎片化的问题，这个又怎么解决呢？解决方法就是将Survivor区一分为二，分为S0和S1，当Eden区存活下来不连续的对象后，存放到S0中，S1空着，而当下一次进行gc的时候Eden区和S0区都会又剩下的对象，然后统一放入S1中，这样S0和S1始终有一个是空的，就能解决空间碎片的问题。
   
5. 但是如果S0或者S1的区域不够用怎么办？可以向Old区借一点空间，使用担保机制。
   

对象创建所在的区域

• 一般情况下，新创建的对象都会被分配到Eden区，一些特殊的大的对象会直接分配到Old区。
• 比如有对象A，B，C等创建在Eden区，但是Eden区的内存空间肯定有限，比如有100M，假如已经使用了
  100M或者达到一个设定的临界值，这时候就需要对Eden内存空间进行清理，即垃圾收集(Garbage Collect)，
  这样的GC我们称之为Minor GC，Minor GC指得是Young区的GC。
• 经过GC之后，有些对象就会被清理掉，有些对象可能还存活着，对于存活着的对象需要将其复制到Survivor
  区，然后再清空Eden区中的这些对象。

Survivor区详解

• Survivor区分为两块S0和S1，也可以叫做From和To 。
• 在同一个时间点上，S0和S1只能有一个区有数据，另外一个是空的。接着上面的GC来说，比如一开始只有Eden区和From中有对象，To 中是空的。此时进行一次GC操作，From区中对象的年龄就会+1，我们知道Eden区中所有存活的对象会被复制到To 区，From区中还能存活的对象会有两个去处。若对象年龄达到之前设置好的年龄阈值，此时对象会被移动到Old区，如果Eden区和From区没有达到阈值的对象会被复制到To 区。此时Eden区和From区已经被清空(被GC的对象肯定没了，没有被GC的对象都有了各自的去处)。这时候From和To 交换角色，之前的From变成了To ，之前的To 变成了From。也就是说无论如何都要保证名为To 的Survivor区域是空的。
• Minor GC会一直重复这样的过程，直到To 区被填满，然后会将所有对象复制到老年代中。

Old区详解

• 一般Old区都是年龄比较大的对象，或者相对超过了某个阈值的对象。
• 在Old区也会有GC的操作，Old区的GC我们称作为Major GC。

对象的生命流程

我是一个普通的Java对象,我出生在Eden区,在Eden区我还看到和我长的很像的小兄弟,我们在Eden区中玩了挺长时间。
有一天Eden区中的人实在是太多了,我就被迫去了Survivor区的“From”区,自从去了Survivor区,我就开始漂了.
有时候在Survivor的“From”区,有时候在Survivor的“To”区,居无定所。
直到我18岁的时候,爸爸说我成人了,该去社会上闯闯了。
于是我就去了年老代那边,年老代里,人很多,并且年龄都挺大的,我在这里也认识了很多人。
在年老代里,我生活了20年(每次GC加一岁),然后被回收。

常见性问题

1. 如何理解Minor/Major/Full GC
   • Minor GC:新生代
   • Major GC:老年代
   • Full GC:新生代+老年代
2. 新生代中Eden:S1:S2为什么是8:1:1？
   • 新生代中的可用内存：复制算法用来担保的内存为9：1
   • 可用内存中Eden：S1区为8：1
   • 即新生代中Eden:S1:S2 = 8：1：1