方法区和运行时常量池溢出

在JDK1.6以及之前的版本中，由于常量池被分配在永久代内，我们可以通过XX:PermSize和-XX:MaxPermSize限制方法大小，从而间接限制其中常量池的容量，代码如下：

import java.util.*;

/**
 * VM args : -XX:PermSize=10M -XX:MaxPermSize=10M
 * test:运行时常量池导致的内存溢出异常
 */
public class RuntimeConstantPoolOOM {

    public static void main(String[] args) {
        //使用List保持着常量池引用，避免Full GC回收常量池行为
        List<String> list = new ArrayList<String>();
        //10MB的PermSize在Integer范围内足够产生OOM了
        long i=0;
        while(true){
            list.add(String.valueOf(i++).intern());

        }

    }

}

其中String.intern()是一个Native方法，他的作用是：如果字符串常量池中包含一个等于此String对象的字符串，则返回代表池中这个字符串的String对象；否则，将此String包含的字符串添加到常量池中，并且返回此String对象的引用。
从jdk1.6的运行结果可以看到，运行时常量池溢出，在OutOfMemoryError后面跟随的提示信息是”PermGen Space”,说明运行时常量池属于方法区的一部分。
而jdk1.7不会看到这样的结果，while循环会一直继续下去。关于这个字符串常量的实现问题，还可以引申出一个更有意思的影响，代码如下：

package Chapter2;

public class RuntimeConstantPoolOOM2 {
    public static void main(String []args){
        String str1 = new StringBuilder("计算机").append("软件").toString();
        System.out.println(str1.intern() == str1);

        String str2 = new StringBuilder("ja").append("va").toString();
        System.out.println(str2.intern() == str2);
    }
}

在jdk1.6中，会得到两个false,而在jdk1.7中会得到一个true,一个false。原因是jdk1.6，intern()方法会把首次遇到的字符串实例复制到永生代中，返回的也是永生代中这个字符串的引用。而由StringBuilder创建的字符串实例在Java堆上，所以必然不是一个引用。而jdk1.7中，intern()实现不会再复制实例，只是再常量池中记录首次出现的实例引用，因此intern()返回的引用和由StringBuilder创建的那个字符串实例是同一个。对str2，不符合”首次出现“原则。