(6)方法去无法满足内存分配需求时,抛出OutOfMemoryError;
2.运行时常量池(方法区一部分) ① Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有常量池,用于存储编译期生成的各种字面量和符号引用,这部分内容是在类加载后进入方法区的运行时常量池中存放; ② 对于运行时常量池,java虚拟机规范没有做任何细节的要求,提供商实现可以不同; ③ 动态性:并非预置入Class文件中常量池的内容才能进入方法区运行时常量池,运行期间也可以将新的常量存入池中,如String类的intern()方法; ④ 常量池中无法再申请到内存时,抛出OutOfMemoryError; 3.直接内存 ① JDK1.4加入NIO,引入一种基于通道与缓冲区的I/O方式,它可以使用Native函数库直接范配堆外内存,然后通过一个存储在java堆中的DirectByteBuffer对象作为这块内存的引用进行操作。这样可以在一些场景中提高性能,因为避免了在java堆和Native堆中来回复制数据; ② 由①可得其不受java堆大小限制,但是受本机总内存(RAM以及SWAP区或者分页文件)大小以及处理器寻址空间的限制; ③ 有可能出现OutOfMemoryError; 4.对象的创建(普通对象,不包含数组和Class对象) ① 类加载检查:虚拟机遇到new指令时,检查指令参数能否在常量池重定位到一个类的符号引用,并检查这个符号引用代表的类是否已被加载、解析和初始化过,如没有须先执行相应的类加载过程; ② 分配内存:对象所需大小在类加载后已确定,分配方式分为“指针碰撞”(假设java内存是绝对规整的)和“空闲列表”(假设java内存不是规整的,已使用内存和空闲内存相互交错,虚拟机必须维护一个列表),选择哪种方式由java堆是否规整决定,而java堆是否规整由其所采用的垃圾收集收集器是否带有压缩整理功能决定; ③ 并发情况下内存分配,指针可能正在给对象A分配内存,指针还未及修改就给B又同时分配内存,两种解决方案: (1)分配内存空间的动作同步处理(保证更新操作原子性) (2)把内存分配动作按照线程划分在不同的空间之中进行,即每个线程在java堆中预先分配一小块内存,称为“本地线程分配缓冲”(TLAB),只有TLAB用完并分配新的TLAB时,才需要同步锁定,虚拟机是否使用TLAB可通过“-XX:+/-UseTLAB”参数设定; ④ 内存分配完后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头); ⑤ 虚拟机对对象进行必要的设置(如哪个类的实例、元数据信息、对象哈希码、对象的GC分代年龄等信息,这些信息存放在对象头中); ⑥ new指令结束,然后是init方法,把对象按照程序员的意愿进行初始化; ⑦ 对象创建完毕; 5.对象的内存布局 ① HotSpot中布局分3快区域:对象头、实例数据、和对齐填充; ② 对象头:包含两部分 (1)存储自身的运行时数据:哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等,这部分数据长度区别于32bit和64bit,官方称为“Mark Word”,考虑到空间效率,Mark Word被设计成一个非固定的数据结构以便在绩效的空间内存储尽量多的信息,对象头是与对象自身定义的数据无关的额外存储成本; (2)类型指针:即对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例; (区别于数组,数组对象需要在对象头保存有一块记录数组长度的数据,因为虚拟机可以通过普通java对象的元数据信息确定java对象的大小,但是从数据的元数据中却无法确定数组的大小) ③ 实例数据: (1)是对象真正存储的有效信息,也是在程序代码中所定义的各种类型的字段内容; (2)存储顺序受虚拟机分配策略参数和字段在java源码中定义顺序影响,HotShot默认分配策略为longs/double,ints,shorts/chars,bytes/booleans,oops(相同宽度的字段总是被分配到一起); ④ 对齐填充:不是必然存在的,无特别含义,仅起着占位符的作用,HotShot自动内存管理系统要求对象起始地址必须是8字节的整数倍(就是对象的大小必须是8字节的整数倍),而对象头部分正好是8字节的倍数(1倍或2倍),因此,当对象实例数据部分没有对齐时,用此补全; 6.对象的访问定位 ① java程序通过栈上的引用数据来操作具体对象; ② 虚拟机规范只规定了一个指向对象的引用,并没有定义这个引用应该通过何种方式去定位、访问堆中对象的具体位置,所以对象访问取决于虚拟机具体实现方式,目前主流访问方式有使用句柄和直接指针两种: (1)使用句柄:java堆中划分一块内存作为句柄池,reference引用中存储的就是对象的句柄地址,而句柄中包含对象实例数据与类型数据各自的具体信息; (2)直接指针:java堆对象的布局中必须考虑如何放置访问类型数据的相关信息,而reference中存储的直接是对象地址; ③ 使用句柄特点:好处是reference中存储的是稳定的句柄地址,对象被移动时只会改变句柄中的实例数据指针,而reference本身不需要修改; ④ 直接指针特点:好处是速度快,节省一次指针定位的时间开销,由于对象访问频繁,这类开销积少成多也很可观,HotSpot使用的就是直接指针这种访问对象定位的方式; 7.实战:OutOfMemoryError异常 ① 虚拟机规范中,除了程序计数器外,其他几个内存区域都可能发生OOM(OutOfMemoryError简称); ② 测试时可以自定义虚拟机启动参数,如命令行运行,直接在java命令之后书写(java -jar xxx.jar ... ...),如果是eclipse ide,可以在Debug/Run标签页的(x)=Arguments的VM arguments下书写参数设置,java堆内存溢出异常测试代码可以这样,然后通过内存映像分析工具(eclipse memory analyzer)分析: List<Object> list = new ArrayList<>(); while(true){ list.add(new Object); }③ 检测,如果是内存泄漏,查看泄露对象到GC Roots的引用链,找到泄露对象是通过怎样的路径与GC Roots相关联并导致垃圾收集器无法自动回收他们的;如果不是内存泄漏,就是内存中对象确实是必须存活的,可以定位到虚拟机参数,物理内存,或从代码上检查是否存在某些对象生命周期、持续时间过长的情况,尝试减少程序运行期间的内存消耗; 8.虚拟机栈和本地方法栈溢出 ① HotSpot不区分虚拟机栈和本地方法栈,其-Xoss参数存在但是无效,栈容量只由-Xss参数设定; ② 虚拟机规范中描述了两种异常: (1)如果线程请求的栈深度大于虚拟机所允许的最大深度,抛出StackOverFlowError; (2)如果虚拟机在扩展栈时无法申请到足够的内存空间,则抛出OOM; ③ 作者测试实验:在单个线程下,无论是由于栈帧太大还是虚拟机栈容量太小,当内存无法分配的时候,虚拟机抛出的都是StackOverflowError异常; ④ 操作系统分配给每个进程的内存是有限制的,如32位windows限制为2GB,虚拟机提供了参数来控制java堆和方法区的这两个部分内存的最大值,最大堆容量(Xmx),最大方法区容量(-MaxPermSize),用2GB-Xmx-MaxPermSize-程序计数器内存容量(很小的)-虚拟机进程本身消耗的内存,剩下的内存就是虚拟机栈和本地方法栈瓜分,每个线程分配的内存越大,线程数量就越少,建立线程时就容易把剩下的内存耗尽; ⑤ 由④引发的问题,在不能减少线程数或者更换64位虚拟机情况下,只能通过减少最大堆和减少栈容量来换取更多线程; 9.方法区和运行时常量池溢出 ① 运行时常量池是方法区的一部分; ② 使用String.intern(),这是一个Native方法,作用是:如果字符串常量池中已经包含一个等于此String对象的字符串,则返回代表池中这个字符串的String对象;否则,将此String对象包含的字符串添加到常量池中,并且返回此String对象的引用。 ③ 书中作者使用JDK1.6(1.6及之前由于常量池分配在永久代内,可以通过-XX:PermSize和-XX:MaxPermSize限制方法区大小,从而间接限制其中常量池的容量)测试: List<String> list = new ArrayList<>(); int i = 0; while(true){ list.add( String.valueOf(i++).intern() ); } 此代码会出现OOM:PermGen space,说明运行时常量池属于方法区(HotSpot虚拟机中的永久代)的一部分; ④ 而JDK1.7版本中不会得到相同的结果,while将会一直进行下去(我没有尝试)。 ⑤ 在尝试如下代码: 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堆上,所以必然不是同一个引用,返回false JDK1.7中,intern()方法不会再复制实例,只在常量池中记录首次出现的实例引用,因此intern()返回的引用和由StringBuilder创建的那个字符串实例是同一个。对str2返回false是因为“java”这个字符串在执行StringBuilder.toString()之前已经出现过,字符串常量池中已经存在它的引用,不符合首次出现的原则,而计算机软件这个字符串是首次出现的。 ⑥ 当前很多主流框架,如Spring,Hibernate,在对类进行增强时,都会使用到CGLIB这类字节码技术,增强的类越多,就需要越大的方法区来保证动态生成的Class可以加载入内存。 ⑦ 一个类要被垃圾收集器回收掉,判定条件是比较苛刻的 10.本机直接内存溢出 ① DirectMemory容量可以通过-XX:MaxDirectMemorySize指定,如不指定,默认与Java堆最大值(-Xmx)一样,如下程序(书中作者写) Filed unsafeField = Unsafe.class.getDeclaredFields()[0]; unsafeField.setAccessible(true); Unsafe unsafe = (Unsafe) unsafeField.get(null); while(true){ unsafe.allocateMemory(_1MB); } 直接通过反射获取Unsafe实例进行内存分配(Unsafe类的getUnsafe()方法限制了只有引导类加载器才会返回实例,也就是设计者希望只有rt.jar中的类才能使用Unsafe的功能) 原因:虽然使用了DirectByteBuffer分配内存也会抛出内存溢出异常,但它抛出异常时并没有真正向操作系统请求分配内存,而是通过计算得知内存无法分配,于是手动抛出异常,真正申请内存的方法是unsafe.allocateMemory(_1MB);