JAVA中的内存分配策略.pdfVIP

JAVA JAVA 解析JJAAVVAA中的内存分配策略 照编译原理的观点,程序运行时的内存分配有三种策略,分别是静态的,栈式的,和堆式的. 静态存储分配是指在编译时就能确定 每个数据目标在运行时刻的存储空间需求,因 而在编译时就可以给他们分配固定的内存空间.这种分配策略要求程序代码中不允许有 可变数据结构(比如可变数组) 的存在,也不允许有嵌套或者递归的结构出现,因为它们都 会导致编译程序无法计算准确的存储空间需求. 栈式存储分配也可称为动态存储分配,是 由一个类似于堆栈的运行栈来实现的.和 静态存储分配相反,在栈式存储方案中,程序对数据区的需求在编译时是完全未知的,只有 到运行的时候才能够知道,但是 规定在运行中进入一个程序模块时,必须知道该程序模 块所需的数据区大小才能够为其分配内存.和我们在数据结构所熟知的栈一样,栈式存储 分配按照先进后出的 原则进行分配。 静态存储分配要求在编译时能知道所有变量的存储要求,栈式存储分配要求在过程 的入口处必须知道所有的存储要求,而堆式存储分 配则专门负责在编译时或运行时模块 入口处都无法确定存储要求的数据结构的内存分配,比如可变长度串和对象实例.堆由大 片的可利用块或空闲块组成,堆中的内 存可以按照任意顺序分配和释放. 堆和栈的比较 上面的定义从编译原理的教材中总结而来,除静态存储分配之外,都显得很呆板和难 以理解,下面撇开静态存储分配,集中比较堆和栈: 从堆和栈的功能和作用来通俗的比较,堆主要用来存放对象的，栈主要是用来执行程 序的.而这种不同又主要是由于堆和栈的特点决定的: 在编程中，例如C/C++中，所有的方法调用都是通过栈来进行的,所有的局部变量, 形式参数都是从栈中分配内存空间的。实际上也不是什么分配,只是从栈顶 向上用就行, 就好像工厂中的传送带(conveyor belt)一样,StackPointer 会自动指引你到放东西的位置, 你所要做的只是把东西放 下来就行.退出函数的时候，修改栈指针就可以把栈中的内容 销毁.这样的模式速度最快,当然要用来运行程序了.需要注意的是,在分配的时候,比如为 一个即将 要调用的程序模块分配数据区时,应事先知道这个数据区的大小,也就说是虽 然分配是在程序运行时进行的,但是分配的大小多少是确定的,不变的,而这个大小 多少 是在编译时确定的,不是在运行时. 堆是应用程序在运行的时候请求操作系统分配给自己内存，由于从操作系统管理的 内存分配,所以在分配 和销毁时都要占用时间，因此用堆的效率非常低.但是堆的优点在 于,编译器不必知道要从堆里分配多少存储空间，也不必知道存储的数据要在堆里停留多 长的时 间,因此,用堆保存数据时会得到更大的灵活性。事实上,面向对象的多态性,堆内 存分配是必不可少的,因为多态变量所需的存储空间只有在运行时创建了对象之 后才能 确定.在C++中，要求创建一个对象时，只需用new命令编制相关的代码即可。执行这 些代码时，会在堆里自动进行数据的保存.当然，为达到这种灵活 性，必然会付出一定 的代价:在堆里分配存储空间时会花掉更长的时间！这也正是导致我们刚才所说的效率 低的原因,看来列宁同志说的好,人的优点往往也是人的 缺点,人的缺点往往也是人的优 点. JVM中的堆和栈 JVM是基于堆栈的虚拟机.JVM为每个新创建的线程都分配一个堆栈.也就是说,对于 一个 Java程序来说，它的运行就是通过对堆栈的操作来完成的。堆栈以帧为单位保存 线程的状态。JVM对堆栈只进行两种操作:以帧为单位的压栈和出栈操作。 我们知道,某个线程正在执行的方法称为此线程的当前方法.我们可能不知道,当前方 法使用的帧称为当前帧。当线程激活一个Java方法,JVM就会在线程的 Java堆栈里新 压入一个帧。这个帧自然成为了当前帧.在此方法执行期间,这个帧将用来保存参数,局部 变量,中间计算过程和其他数据.这个帧在这里和编译 原理中的活动纪录的概念是差不 多的. 从Java的这种分配机制来看,堆栈又可以这样理解:堆栈(Stack)是操作系统在建立某个 进程时或者线程(在支持多线程的操作系统中是线程)为这个线程建立的存储区域，该区 域具有先进后出的特性。 每一个Java应用都唯一对应一个JVM实例，每一个实例唯一对应一个堆。应用程 序在运行中所创建的所有类实例或数组都放在这个堆中,并由应用所有的线程 共享.跟