堆(FIFO先进先出):
存放的是对象也就是new 的信息也包括class对象,每new一个信息,就会为对象分配堆内存区域,堆分配了对象的空间,当垃圾回收器检测到某对象未被引用,则自动销毁该对象,如果忘记销毁对象,那么它的内存空间还在。就会导致内存泄漏。
- 和程序开发密切相关
- 应用系统对象都保存在java堆中
- 所有线程共享java堆
- 对分代GC来说,堆也是分代的
- GC的主要工作区间
栈(FILO先进后出):
java栈,也叫帧栈,存放的是对象的引用或者存放基本类型(int, short, long, byte, float, double, boolean, char)的变量数据,常用于保存方法(函数)中的参数,局部变量。当一个程序结束时候,程序会自动移除栈帧
- 线程是私有的
- 栈由一系列帧组成(因此java栈也叫做帧栈)
- 帧保存一个方法的局部变量,操作数栈,常量池指针
- 每一次方法调用创建一个帧,并压栈
java栈上的分配:
- 小对象(一般为几十个bytes),在没有逃逸的情况下,可以直接分配在栈上
- 直接分配在栈上,可以自动回收,减轻GC压力
- 大对象或者逃逸对象无法在栈上分配。
优点:GC可以自动回收,减轻GC的压力
逃逸对象:线程是私有的,某个对象分配到栈中,这个对象被这个线程使用又在另一个线程使用,因为线程是私有的,所以栈不允许这种情况出现。
存在栈中的数据可以共享。假设我们同时定义:
int a = 3;
int b = 3;
编译器先处理int a = 3;首先它会在栈中创建一个变量为a的引用,然后查找栈中是否有3这个值,如果没找到,就将3存放进来,然后将a指向3。接着处理int b = 3;在创建完b的引用变量后,因为在栈中已经有3这个值,便将b直接指向3。这样,就出现了a与b同时均指向3的情况。这时,如果再令a=4;那么编译器 会重新搜索栈中是否有4值,如果没有,则将4存放进来,并令a指向4;如果已经有了,则直接将a指向这个地址。因此a值的改变不会影响到b的值。要注意这 种数据的共享与两个对象的引用同时指向一个对象的这种共享是不同的,因为这种情况a的修改并不会影响到b, 它是由编译器完成的,它有利于节省空间。而一个对象引用变量修改了这个对象的内部状态,会影响到另一个对象引用变量。
String是一个特殊的包装类数据。可以用:
String str = new String("abc");
String str = "abc";
两种的形式来创建,第一种是用new()来新建对象的,它会在存放于堆中。每调用一次就会创建一个新的对象。
而第二种是先在栈中创建一个对String类的对象引用变量str,然后查找栈中有没有存放"abc",如果没有,则将"abc"存放进栈,并令str指向”abc”,如果已经有”abc” 则直接令str指向“abc”。
可以模仿栈溢出的简单代码,那就是递归循环调用并且出入死节状态。
public static int runStatic(int i,long l,float f,Object o ,byte b){
return runStatic(i,l,f,o,b);
}
可以看出帧一直在压栈那么空间就会导致一处,就会抛出栈异常信息。下面的图片可以理解压栈弹栈。
方法区:(jdk6时,String等常量信息置于方法。jdk7时,已经移入到了堆)
- 保存装在类的信息
1.类的常量池
2.字段信息方法
3.方法字节码
- 通常和永久区(perm)关联在一起
线程是共享的。用于存储已被虚拟机加载的类信息、常量、静态变量、及时编译器编译后的代码等数据。方法区包含运行常量池,CLASS文件除了有类的版本、字段、方法、接口等描述信息外,还有一项信息是常量池,用于存放编译期生成的各种字面量和符号引用,这部分内容将在类加载后进入方法区运行时常量池中存放。
PC寄存器
- 每个线程拥有一个PC寄存器
- 在线程创建时创建
- 指向下一条指令的地址
- 执行本地方法时,PC的值为undefined
堆,栈,方法区的交互
引用相关博客: