本文是学习《深入理解JAVA虚拟机》的学习笔记(1)
虚拟机调优,貌似是一个高深的技能。《深入理解JAVA虚拟机》,在程序员世界里,肯定是一本推荐阅读的书。万丈高楼平地起,从最基础的开始,走近这部大作吧!
Java虚拟机运行时数据区
虚拟机运行时,内存会被划分为多个区,什么堆呀,栈呀,方法区呀。看下图,来彻底搞清楚内存的分区。
程序计数器(Program counter Register)
当前线程所执行的字节码程序的行号指示器。线程切换后,能恢复到正确的执行位置,每条线程需要有一个独立的程序计数器。(运行Native方法,计数器值为空),唯一一个不会报空指针的区域。可笼统的认为,就是记住代码执行到哪一行了。
Java 虚拟机栈(Java Virtual Machine Stacks)
线程私有,生命周期与线程相同。每个方法执行时,都会开辟一个栈桢(Stack Frame),用于存储局部变量、操作数栈、动态链接、方法出口等等。调用栈的深度过大,抛出StackOverflowError异常,无法申请足够内存时,抛出OutOfMemoryError异常。比如说我在代码中计算3+4是多少,这里的3和4,包括加号,都是在栈桢里的
本地方法栈(Native Method Stack)
虚拟机调用native方法时开辟的内存空间,若内存不够,同样是抛出两种异常。java类库中,某某些方法是用C++,这种方法专门开辟一块内在
Java堆(Java Heap)
所有线程共用的内在区域,用来存放对象实例。其大小是可以实现成固定的,也可以实现成可扩展的(-Xmx和-Xms)。如果堆中没有内存完成实例分配,并且无法再扩展时,抛出OOM异常。new出来的对象就在这个地方呆着
方法区(Method Area)
各线程共用,存储已被虚拟机加载的类的信息、常量、静态变量、编译后的代码等数据。HotSpot虚拟机,将永久代(Permanent Generation)放在这个区域。此区域内存不不足时,也会抛出OOM。 运行时常量池(Runtime Constant Pool)是方法区的一部分,类加载后,各种字面量和符号引用放入其中。HotSpot永久代就在这里面
对象的创建
知道了内存的分区,咱再来看下,本篇的正题,对象是怎么创建的。虚拟机收到一条new指令(创建普通对象)时,首先检查指令的参数,在常量池中是否可定位到一个类的符号引用,并且检查这具符号引用代表的类是否已被加载、解析和初始化。如果没有就执行类加载过程。一句话,先看下之前是不是创建过
类加载检查通过后,虚拟机将为新生对象分配内存。若Java堆中对象是绝对规整的,用指针碰撞(Bump the Pointer)的方法,否则使用空闲列表(Free List)的方式分配。Java对象是否规整,又与采用的垃圾收集器有关。 这里的内容比较多,咱以后文章再详细说
出于并发安全角度考虑,在正在给A对象分配内存时,指针还没来及修改,对象B又使用了原来的指针。解决这个问题的两个方案,其一是同步处理,虚拟机使用CAS配上失败重试的方式保证操作的原子性。其二是本地线程分配缓冲(Thread Local Allocation Buffer, TLAB)CAS是啥?对就是和乐观锁差不多
内在分配之后,虚拟机将分配到的内在空间都初始化为0(不包括对象头),此时对象是可以被访问到的,字段对应的值,就是该数据类型对应的零值。
之后设置对象头(Object Header),然后 int方法执行,对象创建完成。对象头回头单独拎出来详细说
对象的内存布局
对象在内存中的布局有三个部分, 对象头(Header)、实例数据(Instance Data)和对齐填充(Padding)。
对象头包含两部分 Mark Word和类型指针。前者存储对象自身运行的数据,如HashCode、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等。后者是虚拟机用来确定此对象属于哪个类。
32位和64位虚拟机(未开启压缩指针),Mark Word 分别占32bit 和64bit
实例数据中,无论是父类继承的,还是子类定义的都要记录下来。(默认是相同宽度的分配在一起)
对齐填充,是HotSpot VM 规定,对象起始地址必需是8字节的整数倍。所有对象实例数据部分没有对齐时,就需要补全来对齐。
对象的访问定位
这个直接看图,很直观
HotSpot VM 中,java栈里对象引用,是通过直接指针(非句柄)。
好了,第一篇结束,总结下,谈了三个问题,1、内存分区,2、对象创建,3、对象的内在布局与访问定位