1、对象在内存中的存储布局
-- markword (64位系统占8个字节)
-- 锁信息
-- hashcode(方便后续调用hashcode,省去再次计算)
-- GC信息(颜色标记)
-- 类型指针(class pointer)(压缩占4个字节,不压缩占8个字节)
-- 实例数据(instance data)(o对象的成员变量)
-- 对齐(padding)(不够被8整除的字节,补齐)
2、对象如何定位的
- 直接定位 (hosp)(好处:快;坏处:类型数据指针变换位置,对象指向会变动,导致垃圾回收会慢)
- 间接定位 (好处:类型数据指针变换位置,对象不会变,也不用垃圾回收。坏处:慢,经过两次指向)
3、对象如何分配
先上图
- new对象时,先入栈(针对入栈对象条件为,1、必须可以被基本数据类型替代,2、必须不被栈内或者堆内引用。否则无法回收。好处:栈顶指针向下移即可回收,效率高)
- 大对象(如何判断大对象,可以通过设置启动参数设置)直接进入老年代
- 小对象在进入s1前会有预处理(TLAB为避免处理多个线程同步问题,使用本地线程缓存)
4、对象的创建过程
- new (开辟空间,并且变量赋默认值)
- invokespecial (调用构造器,为变量赋值)
- astore_1 将空间与对象映射
5、DCL(单例双重检查-Double Check Lock)要不要加volatile问题(指令重排)
1)、(单线程)代码是否一定会按照顺序执行
不一定。当可以保证结果一致性时,cpu指令可以乱序。解决cpu与内存调用处理效率差问题(多线程的引用同样为了解决此问题)。
2)、指令重排导致单例创建时双重检查(DCL)失效
同样的,先上图
- synchronized内部可以进行指令重排
- 当其他线程访问synchronized外部时,可以拿到访问synchronized内部的中间状态
- volatile可以禁止指令重排
- 当new对象时,若发生指令重排(保持结果一致性的情况下,指令可以不按顺序执行)。使没有为对象变量赋值就将对象与内存空间映射。将会发生对象变量值为默认值,但是对象已经不为null,在其他线程访问时,外层检查(判空)不为空。导致其他线程获取到的对象的变量为默认值。