堆区结构
1、对象分配过程
2、对象创建过程
3、对象内存布局
堆区就是一组连续指定的内存地址的逻辑空间;
通过对象逃逸,JIT(just in time)支撑标量替换,能提升性能;
Eden区域中会给每个线程单独开辟一块内存空间
原因是什么?
由于堆区的内容是线程共享,对象实例创建很频繁,在并发环境下对重新划分内存空间是线程不安全的,如果需要避免多个线程对于同一个地址操作,需要加锁,而加锁会影响分配速度;
所以JVM默认在堆区里开辟了一块空间,专门服务于每个线程,他为每个线程分配了一个私有缓存区域,这个区域在Eden中,这就是Thread Local Allocation Buffer ,TLAB——线程私有缓存;
TLAB占Eden总区域的1%;
一旦对象在TLAB空间分配失败,JVM会尝试使用加锁来保证数据操作的原子性,从而直接在Eden中分配;
对象逃逸
对象未逃逸 指的是在方法内部自己消耗了这个对象;
对象逃逸 指的是创建一个对象并返回给其他方法使用;
事例:
//对象未逃逸
public void a(){
Point p = new Point();
p = null;//表示内部消耗了
}
//对象逃逸
public StringBuffer b(){
StringBuffer s = new StringBuffer();
s.append("1");
return s;//返回出去了,这表示对象逃逸
}
//产生逃逸
Paint p;
public void c(){
p = new Paint();
}
逃逸分析,代码优化:
使用逃逸分析,编译器可以对堆代码做如下优化:
1.栈上分配:JIT编译器在编译期间根据逃逸分析结果,如果发现当前对象没有发生逃逸现象,那么当前对象就可能被优化成栈上分配,会将对象直接分配在栈中;
2.标量替换:
标量:指的是无法在拆分的更小数据的数据,比如java原始数据:基本数据类型
聚合量:等同于引用数据类型
对象创建步骤
第一步:创建对象
第二步:分配内存
第三步:处理并发安全问题:区域加锁保证原子性、每个线程预先分配一块TLAB(Thread Local Allcation Buffer);
第四步:初始化分配到控件:所有数据设置默认值,保证示例字段在不赋值的情况下,可以直接使用;
第五步:设置对象的对象头:将对象的所属类、对象的HashCode和对象的GC信息、锁信息等数据存储在对象头中;
第六步:执行init方法初始化
一、对象创建的几种方式:
new 最常见
Class.newInstance 反射
Cpmstructor.newInstance 反射
obj.clone 克隆数据
反序列化 从文件、网络中获取一个流对象
Object b = new Object();
new的时候要加载object原信息,走到init方法的调用java.lang.Object;
二、内存分配有两种情况:
1:内存规整
也就是有一部分使用的内存连续在一起,没使用的一部分连续在一起,这个时候新对象进来会做一个指针碰撞,指针碰撞的概念就是你新对象要多少我就往后给你分配多少,一个槽32位;
2:内存不规整
也就是使用的内存导致剩余内存空间不连续了,这个时候,未使用的内存会集中在一个列表中,当你新对象进来需要内存,我就将这个列表中一部分内存地址给你;
三、设置对象头
除了自己需要的数据之外,JVM需要对于对象进行相关管理时需要对于对象进行一些状态判定,信息检索等一些额外数据。
两部分:
运行时元数据(markword)
hashcode哈希值、GC分代年龄、锁状态标志、线程持有锁、偏向线程ID、偏向时间戳;
类型指针(klass)
执行类元数据,用于确定该对象的所属类型;
常规对象由64位所组成,而数组是96位,比常规对象多了32位是length
对象内存布局
对象头 :hashcode,标记位....
实例数据
对其填充
核心理论
待补充……