概述
在C/C++语言中,需要程序员自己去负责内存的管理,对于程序员来讲,工作量比较大,且存在风险。
到了JAVA这里,在JVM自动内存管理机制下,关于内存的操作就不需要程序员去关心。
但是,随着工作年限的增长,内存泄露和内存溢出层出不穷,因此,如果想成为高级研发人员的话,对于内存管理这块,迟早是要了解的。
运行时数据区域
JVM在执行class文件的时候,会把它管理的内存划分为5个不同的数据区域。不同的区域,其用途、创建时间、销毁时间各不相同。
运行时数据区域组成:方法区Mehtod-Area、虚拟机栈VM-Stack、本地方法栈Native-Method-Stack、堆Heap、程序计数器Program-Couter-Register。
运行时数据区域:程序计数器
程序计数器是一块较小的内存空间,其作用可以看做是当前线程所执行的字节码的行号指示器。在JVM概念模型中,字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。
由于JVM的多线程是通过线程轮流切换并分配处理器执行时间的方式来实现的,那么在任意一个时刻,某个处理器只会执行一条线程中的指令。因此, 为了线程切换之后能恢复到正确的执行位置,每条线程都有自己的、独立的程序计数器,各个线程之间的计数器互不干扰、独立存储,因此,这类内存区域是线程私有的内存。
该内存区域是唯一一个在JVM规范里面没有规定任何OutOfMemoryError情况的内存区域。
运行时数据区域:虚拟机栈
JAVA虚拟机栈是线程私有的,且其生命周期与线程相同。
虚拟机栈其作用就是JAVA方法执行的内存模型:每个方法都执行的时候都会同时创建一个栈帧来存储局部变量表、操作栈、动态链接、方法出口等信息。每一个方法被调用直至执行完成的过程,就是对应着一个栈帧在虚拟机栈中从入栈,再到出栈的过程。
局部变量表存放了编译期可知的各种基本数据类型(boolean、byte、char、short、int、float、long、double)、对象引用、returnAddress类型(指向了一条字节码指令的地址)。
其中64位长度的long和double类型的数据会占用2个局部变量空间,其余的数据类型只占用1个空间。局部变量表所需的内存空间在编译期间完成分配,当进入一个方法时,这个方法需要在栈帧中分配多大的局部变量空间是完全确定的,在方法运行期间不会改变局部变量表的大小。(在java-class期间就会计算每个方法所需变量占用的空间大小,因此到了JVM直接分配即可,无需再计算)
在JVM规范中规定,该区域存在2种异常情况:
①如果线程请求的栈深度大于虚拟机所允许的深度,将跑出StackOverflowError异常。
②如果虚拟机栈可以动态扩展(JVM规范里既允许动态扩展, 也允许固定长度的虚拟机栈,到底哪一种就看厂家的实现情况了),当扩展时无法申请到足够的内存时会抛出OutOfMemoryError异常。
运行时数据区域:本地方法栈
本地方法栈与虚拟机栈作用类似,区别在于:虚拟机栈为虚拟机执行JAVA方法服务,而本地方法栈则是为了虚拟机使用到的Native方法服务。
JVM规范中对本地方法栈中的方法所使用的语言、使用方式、数据结构并没有强制规定,因此具体的虚拟机可以自由实现它,甚至有的虚拟机把本地方法栈与虚拟机栈合并。
本地方法栈也会抛出2个异常:StackOverflowError、OutOfMemoryError。
运行时数据区域:堆
对于大多数应用来讲,JAVA堆是JVM所管理的内存中最大的一块。
JAVA堆是被所有线程共享的一块内存区域,在JVM启动时创建。此内存区域的唯一目的就是存放对象实例,几乎所有的对象实例都在这里分配内存。
在JVM规范中是这样描述的:所有的对象实例以及数据都要在堆上分配,不过,现实中随着技术发展,所有的对象都分配在堆上也渐渐变得不是那么绝对了。
JAVA堆是垃圾收集器管理的主要区域,因此也被称为:GC堆。
从内存回收角度看,由于现在收集器基本都是采用的分代收集算法,所以JAVA堆中还可以继续细分为:新生代、老年代;再细致一点的还有Eden、From Survivor、To Survivor空间等等。
从内存分配角度看,线程共享的JAVA堆中可能划分出多个线程私有的分配缓冲区TLAB,当然,无论如何划分,都与存放内容无关,也无论是哪个区域,存储的都仍然是对象实例,进一步划分的目的是为了更好地回收内存,或者更快地分配内存。
在JVM规范中,JAVA堆可以处于物理上不连续的内存空间中,只要逻辑上是连续的即可。现实中,既可以实现成固定大小的,也可以是动态扩展的,当前主流JVM都是按照可扩展来实现的,通过-Xmx、-Xms来设置。
如果在堆中没有内存来完成实例的分配,且堆也无法动态再扩展时,就会抛出OutOfMemoryError异常。
运行时数据区域:方法区
方法区与JAVA堆一样,是各个线程共享的内存区域。
方法区用于存储已被JVM加载的类信息、常量、静态变量、即时编译器编译后的代码等等数据。
虽然JVM规范把方法区描述为堆的一个逻辑部分,但是该区却有一个别名,叫做:Non-Heap非堆,来与堆区分开来。
JVM规范对该区域的限制非常宽松,除了和JAVA堆一样不需要连续的内存和可以选择固定大小或者可扩展外,还可以选择不实现垃圾收集。因此相对JAVA堆而言,垃圾收集行为在这个区域比较少出现。但是这个区域的内存回收目标主要是针对常量池的回收和对类型的卸载,一般来说这个区域的回收效果很难令人满意,尤其是类型卸载,其卸载条件相当苛刻,但是该区域的回收行为确实是有必要的。
当方法区无法满足内存分配需求时,将抛出OutOfMemoryError异常。
运行时数据区域:方法区:运行时常量池
运行时常量池是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池来存放存放编译期生成的各种字面量和符号引用,该部分内容将在类加载后存放到方法区的运行时常量池中。
JVM对Class文件的每一部分,包括常量池的格式,都是有严格规定的,每一个字节用于存储哪种数据都必须符合规范上的要求,只有这样才能被JVM认可、装载、执行。
但对于运行时常量池,JVM规范反而没有做任何细节的要求,不同的厂家可以按照自己的需求来实现这个内存区域。不过,一般情况来说,除了保存Class文件中描述的符号引用外,还会把翻译出来的直接引用也存储在运行时常量池中。
运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性,JAVA语言并不会要求常量一定只能在编译期产生,也就是并非预置入Class文件中常量池的内容才能进入方法区运行时常量池,运行期间也可能将新的常量放入池中,这种特性被开发人员利用比较多的就是String类的intern()方法。
既然运行时常量池是方法区的一部分,自然会受到方法区内存的限制,当常量池无法再申请到内存时便会抛出OutOfMemoryError异常。
运行时数据区域:直接内存
直接内存并不是JVM运行时数据区的一部分,也不是JVM规范中定义的内存区域,但该区域也被频繁地使用,同样也是可能导致OutOfMemoryError异常出现。
在JDK1.4中新加入了NIO类,基于操作系统的通道与缓冲区的IO方式,该方式使用Native函数库来直接分配堆外内存,然后通过一个存储在JAVA堆里面的DirectByteBuffer对象作为这块内存的引用来进行操作,这种方式由于避免了在JAVA堆与Native堆中来回复制数据,因此在某些场景下能显著提高性能。
既然本机直接内存的分配不会受到JAVA堆大小的限制,但既然是内存,则会受到本机总内存大小及处理器寻址空间的限制。
因此配置JVM参数时,避免-Xmx等各个内存区域总和大于物理内存限制(包括物理上的和操作系统级别上的限制),从而导致动态扩展时出现OutOfMemoryError异常。
对象访问
public void test(){
Car car = new Car();
car.run();
}
1:由于car定义在方法test中,因此,car是存储在虚拟机栈的本地变量表中。
2:new Car()则存储在JAVA堆中,形成一块存储了Car类型所有实例数据值的结构化内存,根据具体类型以及JVM实现的对象内存布局的不同,这块内存长度是不固定的。另外,在JAVA堆中还必须包含能查找到此对象的类型数据(如对象类型/父类/接口/方法等)的地址信息,这些类型数据则存储在方法区。
针对car这个引用类型,由于JVM规范里面只规定了一个指向对象的引用,并没有定义这个引用应该通过哪种方式去定位,以及访问到JAVA堆中对象的具体位置,因此,不同JVM实现的对象访问方式会有所不同,常见的访问方式有2种:使用句柄、直接指针。
①句柄访问:在这种访问方式下,JAVA堆中将会划分出一块内存来作为句柄池,引用类型car存储的就是对象的句柄地址,而句柄中包含了对象实例数据和类型数据各自的具体地址信息。
通俗来讲就是car存储着句柄池的地址,然后句柄池里面存放着JAVA堆、方法区对应的地址,这样car先找到句柄池,然后再从句柄池找到JAVA堆,或者方法区中存储的Car实例的数据。
②直接指针访问:在这种访问方式下,JAVA堆中对象的布局就必须考虑如何放置访问类型数据的相关信息,引用类型car中直接存储的就是对象地址。
通俗来讲,由于car存放的是JAVA堆中Car的地址,因此,对象car可以直接访问JAVA堆中的实例数据,然后再从JAVA堆去访问方法区中的对象类型数据。
总结如下:
使用句柄访问方式的最大好处就是引用类型car中存储的是稳定的句柄地址,在对象被移动(垃圾收集时移动对象是非常普遍的行为)时只会改变句柄中的实例数据指针,而引用类型car本身不需要被修改。
使用直接指针访问方式的最大好处就是速度快,其节省了一次指针定位的时间开销,由于对象的访问在JAVA中非常频繁,因此这类开销积少成多后也是一项非常可观的执行成本。