jvm学习记录-对象的创建、对象的内存布局、对象的访问定位

简述

今天继续写《深入理解java虚拟机》的对象创建的理解。这次和上次隔的时间有些长,是因为有些东西确实不好理解,就查阅各种资料,然后弄明白了才来做记录。

(此文中所阐述的内容都是以HotSpot虚拟机为例的。)

对象的创建

java程序在运行过程中无时无刻都有对象被创建出来,那么创建对象是个怎么样的过程呢?还是看看我自己的理解吧。

判断是否已经执行类加载

当虚拟机遇到一条new指令时 ,首先去检查这个指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已经被加载、解析和初始化过,如果没有,那必须先执行相应的类加载过程。(类加载过程,以后我也会单独的介绍)

内存分配

当已经执行过类加载过程后,会为新对象在Java堆中分配一个大小已经确定的内存,具体的内存分配规则有两种:

  1. 指针碰撞(Bump the Pointer)
    如果Java堆中的内存是绝对规整的,所有用过的内存放一边,空闲的内存放到一边,中间放着指针为分界点,分配内存就是把指针向空闲的一边挪动一段与对象大小相等的距离。
  2. 空闲列表 (Free List )
    如果Java堆中的内存并不是规整对的,已使用的内存和空间相互交错,虚拟机会将可以用的内存维护到一个列表上,在分配内存时从这个列表中找到一块足够大的空间划给对象。然后更新列表记录。

Java堆中的内存是否是规整的是根据虚拟机所采用的垃圾收集器是否带有压缩整理功能决定的。Serial、ParNew带压缩整理的分配内存用指针碰撞,CMS这种通常用空闲列表方式分配内存(垃圾收集器我也会单独介绍的,看来对象创建涉及的地方很多呢。)

防止并发

在虚拟机上创建对象是非常频繁的行为,所以要做到防止并发,有以下两种方式可实现:

  1. 堆分配内存空间的动作进行同步处理,实际上JVM采用CAS(Cmpare And Set)配上失败重试的方式保证更新操作的原子性;
  2. 把内存分配的动作按照线程划分在不同的空间之中进行,即为每个线程在java堆中预先分配一块小内存,称为本地线程分配缓冲区(Thread Local Allocation Buffer,TLAB)。分配内存时在线程的TLBA上分配,只有TLAB用完并分配新的TLAB时,才需要同步锁定。JVM是否使用TLAB可以通过-XX:+UseTLAB参数来设定。

初始化对象内存空间

内存分配完成后,JVM将分配到的内存空间都初始化为零值(不包括对象头)。

对象头的设置

将对象的类、哈希码、对象的GC分代年龄等信息设置到对象头之中。

执行Java的init方法

设置完对象头后,从JVM的角度来看一个对象已经完成了,但是从java程序的角度来看还没有创建完成呢。此时就需要执行init方法,调用构造方法等过程,这样一个真正可用的对象才算完全的产生出来。

对象的内存布局

创建完对象后,对象对分配给自己的内存是如何布局的呢?下面来介绍一下。

对象在堆内存中的布局可分为三部分:对象头(Header)实例数据(Instance Data)对齐填充(Padding)

对象头:对象头包含两部分,第一部分存储自身运行时数据,如哈希码,GC分代年龄、锁状态标志、线程持有锁、偏向线程ID、偏向时间戳等,官方称为“Mark Word”。

第二部分是类型指针,即对象指向它的类元数据的指针,通过此指针来确定是哪个类的对象。

实例数据:存储对象中的各类型的字段内容。无论是从父类继承来的还是在子类中定义的。

对齐填充:并不是必然存在的,当对象实例数据部分没有对齐时,进行对齐补全。

对象的访问定位

Java程序需要通过栈上的reference数据来操作堆上的具体对象。reference数据只是一个指向对象的引用,具体的对象访问根据不同虚拟机有不同的实现,主流的访问方式有两种:使用句柄直接指针

使用句柄:

如果通过句柄来访问对象,Java堆中会划出一块内存作为句柄池,reference中存储句柄地址,而句柄中包含对象的实例数据与类型数据各自的地址。这样就能访问到对象了。

直接指针:

直接指针,就是指reference中直接存储对象的地址。但是Java堆对象的布局中就必须考虑如何防止访问类型数据相关信息。

这两种对象访问方式,各有优势,但是HotSpot使用的是指针对象访问,但是句柄访问对象在整个软件开发范围中也是十分常见的。

参考

《深入理解Java虚拟机》

原文地址:https://www.cnblogs.com/jimoer/p/8849025.html

时间: 2024-08-08 21:38:23

jvm学习记录-对象的创建、对象的内存布局、对象的访问定位的相关文章

JVM学习记录-对象已死吗

前言 先来回顾一下,在jvm运行时数据区,分为两部分,一个部分是线程共享区,主要包括堆和方法区,另一部是线程私有区分包括本地方法栈,虚拟机栈和程序计数器.在线程私有部分的三个区域是随着线程生和灭的.栈中的栈帧随着方法的进入和退出而执行着出栈和入栈操作.每一个栈帧所用内存大小在类结构确定下来时就已知了.因此这线程私有区的内存分配和回收都具备确定性,简单概括的说:这部分内存在类加载时分配,在线程结束时回收.(个人理解) 而线程共享区(堆和方法区)则不一样,一个方法中的多个分支需要的内存可能不一样,只

JVM学习记录-线程安全与锁优化(二)

前言 高效并发是程序员们写代码时一直所追求的,HotSpot虚拟机开发团队也为此付出了很多努力,为了在线程之间更高效地共享数据,以及解决竞争问题,HotSpot开发团队做出了各种锁的优化技术常见的有:自适应自旋锁(Adaptive Spinning).锁消除(Lock Elimination).锁粗化(Lock Coarsening).轻量级锁(Lightweight Locking)和偏向锁(Biased Locking)等. 自旋锁与自适应自旋 互斥同步对性能最大的影响是阻塞的实现,线程的挂

JVM学习记录-垃圾回收算法

简述 因为各个平台的虚拟机的垃圾收集器的实现各有不同,所以只介绍几个常见的垃圾收集算法. JVM中常见的垃圾收集算法有以下四种: 标记-清除算法(Mark-Sweep). 复制算法(Copying). 标记整理算法(Mark-Compact). 分代收集算法(Generational Collecting). 标记-清除算法 标记-清除算法是现代垃圾回收算法的思想基础,主要分为两个阶段:标记阶段和清除阶段.首先根据可达分析算法,标记处可以回收的对象,标记完成后,进行清除阶段,将标记为可回收的对象

JVM学习记录-线程安全与锁优化(一)

前言 线程:程序流执行的最小单元.线程是比进程更轻量级的调度执行单位,线程的引入,可以把一个进程的资源分配和执行调度分开,各个线程既可以共享进程资源(内存地址.文件I/O等),又可以独立调度(线程是CPU调度的基本单位). Java语言定义了5中线程状态,在任意一个时间点,一个线程只能有且只有其中的一种状态,5中状态如下. 新建(New):创建后尚未启动的线程处于这种状态. 运行(Runnable):Runnable包括了操作系统线程状态中的Running和Ready,也就是处于此状态的线程可能

JVM学习记录-类加载的过程

类的整个生命周期的7个阶段是:加载(Loading).验证(Verification).准备(Preparation).解析(Resolution).初始化(Initialization).使用(Using).卸载(Unloading). 类加载的全过程主要包括:加载.验证.准备.解析.初始化这5个阶段的内容. 加载 加载是类加载过程的一个阶段, 在加载阶段JVM需要完成以下3件事情: 通过一个类的全限定明来获取定义此类的二进制字节流. 将这个字节流所代表的静态存储结构转化为方法区运行时数据结构

JVM学习记录1--JVM内存布局

先上个图 这是根据<Java虚拟机规范(第二版)>所画的jvm内存模型. 程序计数器:程序计数器是用来记录当前线程方法执行顺序的,对应的就是我们编程中一行行代码的执行顺序,如分支,跳转,循环,异常处理等.所以在多线程下,程序计数器必然是线程隔离的,每个线程都有自己独立的程序计数器.注意,Java虚拟机中的程序计数器指向正在执行的字节码地址. 本地方法栈:本地方法栈时用来保存本地方法,即jvm调用外部的方法,比如操作系统本身的方法,或者自定义的c方法,这类方法都带有native关键字.这类又被成

JVM学习记录-类加载器

前言 JVM设计团队把类加载阶段中的“通过一个类的全限定名来获取描述此类的二进制字节流”这个动作房东Java虚拟机外面去实现,以便让应用程序自己决定如何去获取所需要的类.实现这个动作的代码模块称为“类加载器”. 类与类加载器 类加载器虽然只用户实现类的加载动作,但它在Java程序中起到的作用却远远不限于类加载阶段.每个类都有一个独立的类名称空间,在比较两个类是否“相等”,只有两个类是由同一个类加载器加载的前提下才有意义,否则即使两个类来源于同一个Class文件,被同一个虚拟机加载,只要加载它们的

JVM学习记录-Java内存模型(二)

对于volatile型变量的特殊规则 关键字volatile可以说是Java虚拟机提供的最轻量级的同步机制. 在处理多线程数据竞争问题时,不仅仅是可以使用synchronized关键字来实现,使用volatile也可以实现. Java内存模型对volatitle专门定义了一些特殊的访问规则,当一个变量被定义为volatile时,它将具备以下两个特性: 第一个是保证此变量对所有线程的可见性,这里的“可见性”是指当一条线程修改了这个变量的值,新值对于其他线程来说是可以立即得知的.而普通变量不能做到这

JVM学习记录2--垃圾回收算法

首先要明确,垃圾回收管理jvm的堆内存,方法区是堆内存的一部分,所以也是. 而本地方法栈,虚拟机栈,程序计数器随着线程开始而产生,线程的结束而消亡,是不需要垃圾回收的. 1. 判断对象是否可以被回收 1.1 引用计数法 原理:给对象添加一个计数标志,被引用一次就加1,引用取消就减1,而垃圾回收时只需要回收计数值为0的即可. 优点:快,简单 缺点:无法解决循环引用,如A引用B,B引用A,然后A,B的计数值都是1,但实际上A,B都应该被回收. 1.2 根搜索算法 原理:通过一系列名为"GC Root