虚拟机中,Java 程序所占的内存区域可以划分为 5 个部分,程序计数器、虚拟机栈、本地方法栈、堆和方法区(里面有常量池)。方法区与堆是线程共享的,
1.程序计数器
该区域是内存中较小的一块区域,是当前线程在执行字节码时的行号指示器。程序计数器是线程私有的,所有每个线程都有一个程序计数器,是 Java 虚拟机中唯一一个没有规范 OutOfMemoryError 情况的区域。
2. 虚拟机栈
一个线程一个栈,且生命周期与线程是相同的。也是线程私有的。虚拟机栈描述的是方法执行的内存模型。每个方法在执行时都会创建一个栈帧,用于存储局部变量表、操作数栈、动态链接、方法出口的信息。每个方法从调动到结束,就会有栈帧在虚拟机栈中入栈和出栈。一个方法的调用链可能会很长,当调用一个方法时,可能有许多方法都处于执行状态。但是对于执行引擎,只有在虚拟机栈顶的栈帧是有效的,这个栈帧被称为当前栈,这个栈帧所关联的方法叫当前方法,执行引擎所有指令都是针对当前栈帧进行操作。
StackOverflowError 异常:当线程申请的栈空间大于虚拟机所允许的深度。
outofmemoryError 异常:当虚拟机无法申请到足够的内存。
1. 局部变量表:是一组变量值的存储空间,局部变量表的存储单位是 slot ,若是实例方法,则第 0 个 slot是存储的指向所有实例对象的引用,在方法中可以通过 this 来访问到这个隐含的函数。往下是参数,再往下是方法内的局部变量。
2. 操作数栈:方法刚开始执行时,操作数栈为空,执行过程中会有各种字节码指令写入或者弹出。比如算法运算或者调用其他方法的参数等。
3. 动态链接:类似于与静态链接即解析时符号引用转化为直接引用。动态链接是在运行时转化为直接引用。
3. 本地方法栈
功能与虚拟机相同,只不过本地方法栈为 native 服务。
4.堆
堆与方法区都是被线程共享的区域。堆上用来存放实例对象以及数组对象。由于现在有了逃逸分析技术,也可以将对象分配在栈上,同时 Java 堆也是垃圾回收的主要区域,垃圾回收主要采用分代回收,有年轻代、老年代,Java 堆可以是物理上不连续的区域,只要逻辑上是连续就可以。在堆中为对象分配内存的分配方法有:碰撞指针(前提是绝对规整)、空闲列表(不是规整的内存)。选择哪一种分配方法取决于是否规整,是否规整取决于采用的垃圾回收算法是否压缩。对象的访问一般两种方式,句柄和直接访问。堆空间不足抛出 outofmemoryError 。
5.方法区
与堆一样,是线程共享的区域,用于存储已经被虚拟机加载的类的类信息,常量、静态变量、编译后的代码、运行时常量池(存储编译器生成的各种字面量与符号引用)。方法区中有一个运行常量池,class文件中的常量池在被类加载后就放入运行时常量池。运行时常量池相对于 class文件的常量池,具有动态性。可在运行期间通过 intern 将常量放入池中,方法区空间不足就抛出 outofmemoryError 。
6. 直接内存(堆外内存)
堆外内存能够减少 IO 时的内存复制,实现零拷贝,不需要堆内存 Buffer 拷贝一份到直接内存中,然后才写入 Socket 中,而且也没有 GC 。
优点:
- 减少了垃圾回收的工作,因为垃圾回收会暂停其他工作。
- 加快了复制的速度,因为堆内存在 flush 到远程时,会先复制到直接内存,然后再发送。而堆外内存直接省去了这个工作。
缺点:
- 堆外内存难以控制,如果内存泄漏,很难排查。
- 堆外内存不适合存储很复杂的对象,一般简单的对象或者扁平化的比较合适。