JVM堆栈方法区详解

一、栈

每当启用一个线程时，JVM就为他分配一个JAVA栈，栈是以帧为单位保存当前线程的运行状态

栈是由栈帧组成，每当线程调用一个java方法时，JVM就会在该线程对应的栈中压入一个帧

只有在调用一个方法时，才为当前栈分配一个帧，然后将该帧压入栈

栈帧帧是由局部变量区、操作数栈和帧数据区组成

java栈上的所有数据都是私有的，任何线程都不能访问另一个线程的栈数据

局部变量区 调用方法时，类型信息确定此方法局部变量区和操作数栈的大小

　　局部变量区被组织为以一个字长为单位、从0开始计数的数组，类型为short、byte和char的值在存入数组前要被转换成int值，而long和double在数组中占据连续的两项，在访问局部变量中的long或double时，只需取出连续两项的第一项的索引值即可,如某个long值在局部变量区中占据的索引时3、4项，取值时，指令只需取索引为3的long值即可

runInstanceMethod的局部变量区第一项是个reference（引用），它指定的就是对象本身的引用，也就是我们常用的this

但是在runClassMethod方法中，没这个引用，那是因为runClassMethod是个静态方法。

操作数栈 可把操作数栈理解为存储计算时，临时数据的存储区域。

　　和局部变量区一样，操作数栈也被组织成一个以字长为单位的数组。

　　但和前者不同的是，它不是通过索引来访问的，而是通过入栈和出栈来访问的。

　　int a = 100;

　　int b = 98;

　　int c = a + b;

帧数据区 java栈帧通过帧数据区存的数据来支持常量池解析、正常方法返回以及异常派发机制

　　当JVM执行到需要常量池数据的指令时，它都会通过帧数据区中指向常量池的指针来访问它。

　　处理java方法的正常结束和异常终止：如果是通过return正常结束，则当前栈帧从Java栈中弹出，恢复发起调用的方法的栈。如果方法有返回值，JVM会把返回值压入到发起调用方法的操作数栈。

　　为了处理java方法中的异常情况，帧数据区还必须保存一个对此方法异常引用表的引用。当异常抛出时，JVM给catch块中的代码。如果没发现，方法立即终止，然后JVM用帧区数据的信息恢复发起调用的方法的帧。然后再发起调用方法的上下文重新抛出同样的异常。

1.Java中的基本数据类型不一定存储在栈中，如果该变量是基本数据类型则存储在栈中，

　　该变量是一个对象（如：int[] array=new int[]{1,2};），则在堆中。

2.为什么函数调用要用栈实现？

　　函数调用的局部状态之所以用栈来记录是因为这些数据的存活时间满足“后入先出”（LIFO）顺序，而栈的基本操作正好就是支持这种顺序的访问

二、堆

　　（不再造轮子，出门左转 JVM入门——JVM内存结构）

三、方法区

　　用于存储虚拟机加载的：静态变量+常量+类信息+运行时常量池

　　类信息：类的版本、字段、方法、接口、构造函数等描述信息

　　运行时常量池用于存储 Java 类文件常量池中的符号信息

　　运行时常量池中保存着一些 class 文件中描述的符号引用，同时还会将这些符号引用所翻译出来的直接引用存储在运行时常量池中

HotSpot 方法区变迁

　　在 JDK1.2 ~ JDK6 的实现中，HotSpot 使用永久代实现方法区

　　JDK7+ 移除永久代 字符串常量和类引用被移动到 Java Heap中

　　Oracle 同时收购了 BEA 和 Sun 公司，同时拥有 JRockit 和 HotSpot，在将 JRockit 许多优秀特性移植到 HotSpot 时由于 GC 分代技术遇到了种种困难，所以从 JDK7 开始 Oracle HotSpot 开始移除永久代

影响示例：

public class Test2 {
    public static void main(String[] args) {
        /**
         * 首先设置 持久代最大和最小内存占用(限定为10M)
         * VM args: -XX:PermSize=10M -XX:MaxPremSize=10M
         */
 
        List<String> list  = new ArrayList<String>();
 
        // 无限循环 使用 list 对其引用保证 不被GC  intern 方法保证其加入到常量池中
        int i = 0;
        while (true) {
            // 此处永久执行，最多就是将整个 int 范围转化成字符串并放入常量池
            list.add(String.valueOf(i++).intern());
        }
    }
}

　　将整个 int 范围转化成字符串并放入常量池
　　JDK1.6常量池在方法区（永久带），设置了最大内存为10M，导致Perm 内存溢出
　　JDK1.7及以后常量池在堆中，代码执行不会有问题

public class Test1 {
    public static void main(String[] args) {
 
         String s1 = new StringBuilder("漠").append("然").toString();
         System.out.println(s1.intern() == s1);
 
         String s2 = new StringBuilder("漠").append("然").toString();
         System.out.println(s2.intern() == s2);
 
    }
 
}

JDK6 下执行结果为 false、false

在 JDK7 以上执行结果为 true、false

1.在 Java 中直接使用双引号展示的字符串将会在常量池中直接创建
2.String的intern方法首先将尝试在常量池中查找该对象，如果找到则直接返回该对象在常量池中的地址；找不到则将该对象放入常量池后再返回其地址
3. s1--对象堆中的地址
　　s1.intern()--对象常量池中的引用（JDK1.6方法区 JDK1.7堆）
　　==>JDK1.6 false JDK1.7 true
4.JDK1.7 s2.intern() == s2 false原因:
　　s2--新对象s2堆中的地址
　　s2.intern()--首先尝试在常量池中查找该对象，找到s1(s1.intern()已经将该对象放入常量池)，返回s1的地址

参考资料