# 1.背景与大纲
在我们了解了java虚拟机的运行时数据区后,我们大概知道了虚拟机内存的概况,但是我们还是不清楚具体怎么存放的访问的;
接下来,我们将深入探讨HotSport虚拟机在java堆中对象的分配、布局、访问的全过程。
# 2.对象创建
![](https://img.kancloud.cn/76/3f/763fe00c0772fa696f91e55e066eed60_747x372.png)
1.类加载:当遇到new指令时,先判断这个类是否被加载、解析、初始化过,如果没有,先执行相应类的加载过程(后面会详细分析这个过程)。
2.分配内存:
如果Java堆内存是规整连续的,采用“指针碰撞”的分配方式,
![](https://img.kancloud.cn/d1/bf/d1bf1c1849def36a2ea299f9be3fa70c_448x253.png)
如果是不连续规整的,采用“空闲列表”分配方式。如下图:灰色表示已使用,数字表示可用
![](https://img.kancloud.cn/09/52/09527213a3a4e16285f922cbd772acf6_676x319.png)
内存是否规整取决于垃圾收集器是否带有压缩整理功能。
Serial,ParNew等带有Compact过程的收集器,采用的分配算法是“指针碰撞”。
而CMS这种基于Mark-Sweep算法的收集器,通常采用“空闲列表”分配方式。
线程安全问题:即便是修改指针指向位置,A\\B两个线程有可能会指向同一个地址
![](https://img.kancloud.cn/9f/04/9f04a52af161272b6586f2081a4d5fbd_667x318.png)
解决方案:
a.同步锁:
b.TLAB:本地线程分配缓冲,把内存的分配动作按照线程划分在不同的空间进行
等TLAB用完分配新的TLAB时,才需要同步锁
虚拟机是否使用TLAB,可以通过-XX:+/UseTLAB参数设定
![](https://img.kancloud.cn/15/37/1537f67d355aa601a40668cf5f6fb395_589x282.png)
3.对象初始化为零对象:
* a.如果使用的是TLAB,这一步可以提前到TLAB分配的时候进行
b.作用:保证了实例字段在java代码中可以不赋初始值就可以直接使用*
4.对象头进行设置,
包括这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的GC分代年龄等信息。
5.java程序初始化,最后执行init方法,把对象按照程序员的意愿进行初始化。这样一个真正可用的对象才算完全生产出来。
# 3.对象内存布局
![](https://img.kancloud.cn/b4/b5/b4b5414397e0b536897e20a587b22bc2_633x530.png)
对象内存布局分为三块区域
## 3.1.对象头(Header)
对象头主要包括:运行时数据、类型指针
### 3.1.1.运行时数据
对象头,存储对象自身的运行时数据,如哈希码、对象的GC分代年龄、锁状态标志、偏向线程ID、偏向时间戳,
1.这部分数据的长度在32位和64位虚拟机中,分别为32bit和64bit。
2.官方称其为:Mark Word
3.存储的运行时数据过多(超出32bit、64bit)
4.Mark Word被设计成为一个非固定数据结构,以便在极小的空间内存存储尽量多的信息
![](https://img.kancloud.cn/0e/f7/0ef706e36bfe2b061153dfd0eb51366b_787x279.png)
5.根据对象的状态复用自己的存储空间
### 3.1.2.类型指针
另一个部分是类型指针
1.定义:对象指向它的类元数据的指针
2.作用:虚拟机通过这个指针来确定这个对象是哪个类的实例
3.但是:并不是所有的虚拟机实现都必须在对象上保留类型指针
4.结论:查找对象的元数据信息并不一定要经过对象本身(下一节详细讲)
### 3.1.3.特例
另外,如果对象是java数组
1.对象头必须有一块用于记录数组长度的数据
2.原因:普通java对象的元数据信息可以确定java对象的大小
3.但是,从数组的元数据中却无法确定数组的大小
## 3.2.实例数据(Instance Data)
1.存储内容:是对象真正存储的有效信息,也是在程序代码中所定义的各种类型的字段内容
2.存储范围:无论是父类还是子类都要记录
3.存储顺序:存储顺序会受到虚拟机分配策略参数(fieldsAllocationStyle)和字段定义顺序的影响
4.默认分配策略顺序:按字节由大到小(即由宽到窄),
longs/doubles->ints->shorts/chars->bytes/booleans->oops(Ordinary Object Pointers)普通对象指针
5.在满足分配策略这个前提条件下,父类中定义的变量会出现在子类之前
6.如果CompactFields参数值为true,那么子类中较窄的变量也可能会插入到父类变量的空隙之中
## 3.3.对齐补充(Padding)
1.作用:对齐填充并不是必然存在的,也没有特别的含义,它仅仅起着占位符的作用。
2.原因:由于HotSpot VM的自动内存管理系统要求对象起始地址必须是8字节的整数倍,换句话说,就是对象的大小必须是8字节的整数倍。
3.解决:而对象头部分正好是8字节的倍数(1倍或者2倍),因此,当对象实例数据部分没有对齐时,就需要通过对齐填充来补全。
# 4.对象的访问定位
![](https://img.kancloud.cn/47/97/4797ad8cfe805a975e0d06503002c432_747x268.png)
对象的访问定位
1.Java程序需要通过栈上的reference数据来操作堆上的具体对象。
2.由于reference类型在Java虚拟机规范中只规定了一个指向对象的引用,
3.并没有定义这个引用应该通过何种方式去定位、访问堆中的对象的具体位置,
4.所以对象访问方式也是取决于虚拟机实现而定的。
5.目前主流的访问方式有使用句柄和直接指针两种。
6.总结:通过reference数据来定位具体对象,但reference只规定了对象的引用,并没有提供具体实现
![](https://img.kancloud.cn/9b/bb/9bbb6da3faadc3b14bbda26098e80733_908x581.png)
## 4.1.句柄方式
1.Java堆中将会划分出一块内存来作为句柄池,
2.reference中存储的就是对象的句柄地址,
3.而句柄中包含了对象实例数据与类型数据各自的具体地址信息。
优点:
使用句柄来访问的最大好处就是reference中存储的是稳定的句柄地址,
在对象被移动(垃圾收集时移动对象是非常普遍的行为)时只会改变句柄中的实例数据指针,而reference本身不需要修改。
## 4.2.直接指针方式
1.Java堆对象的布局中就必须考虑如何放置访问类型数据的相关信息,
2.而reference中存储的直接就是对象地址。
优点:
使用直接指针访问方式的最大好处就是速度更快,它节省了一次指针定位的时间开销,
由于对象的访问在Java中非常频繁,因此这类开销积少成多后也是一项非常可观的执行成本。
## 4.3.案例
虚拟机Sun HotSpot 使用的是直接指针的方式!
- 一.JVM
- 1.1 java代码是怎么运行的
- 1.2 JVM的内存区域
- 1.3 JVM运行时内存
- 1.4 JVM内存分配策略
- 1.5 JVM类加载机制与对象的生命周期
- 1.6 常用的垃圾回收算法
- 1.7 JVM垃圾收集器
- 1.8 CMS垃圾收集器
- 1.9 G1垃圾收集器
- 2.面试相关文章
- 2.1 可能是把Java内存区域讲得最清楚的一篇文章
- 2.0 GC调优参数
- 2.1GC排查系列
- 2.2 内存泄漏和内存溢出
- 2.2.3 深入理解JVM-hotspot虚拟机对象探秘
- 1.10 并发的可达性分析相关问题
- 二.Java集合架构
- 1.ArrayList深入源码分析
- 2.Vector深入源码分析
- 3.LinkedList深入源码分析
- 4.HashMap深入源码分析
- 5.ConcurrentHashMap深入源码分析
- 6.HashSet,LinkedHashSet 和 LinkedHashMap
- 7.容器中的设计模式
- 8.集合架构之面试指南
- 9.TreeSet和TreeMap
- 三.Java基础
- 1.基础概念
- 1.1 Java程序初始化的顺序是怎么样的
- 1.2 Java和C++的区别
- 1.3 反射
- 1.4 注解
- 1.5 泛型
- 1.6 字节与字符的区别以及访问修饰符
- 1.7 深拷贝与浅拷贝
- 1.8 字符串常量池
- 2.面向对象
- 3.关键字
- 4.基本数据类型与运算
- 5.字符串与数组
- 6.异常处理
- 7.Object 通用方法
- 8.Java8
- 8.1 Java 8 Tutorial
- 8.2 Java 8 数据流(Stream)
- 8.3 Java 8 并发教程:线程和执行器
- 8.4 Java 8 并发教程:同步和锁
- 8.5 Java 8 并发教程:原子变量和 ConcurrentMap
- 8.6 Java 8 API 示例:字符串、数值、算术和文件
- 8.7 在 Java 8 中避免 Null 检查
- 8.8 使用 Intellij IDEA 解决 Java 8 的数据流问题
- 四.Java 并发编程
- 1.线程的实现/创建
- 2.线程生命周期/状态转换
- 3.线程池
- 4.线程中的协作、中断
- 5.Java锁
- 5.1 乐观锁、悲观锁和自旋锁
- 5.2 Synchronized
- 5.3 ReentrantLock
- 5.4 公平锁和非公平锁
- 5.3.1 说说ReentrantLock的实现原理,以及ReentrantLock的核心源码是如何实现的?
- 5.5 锁优化和升级
- 6.多线程的上下文切换
- 7.死锁的产生和解决
- 8.J.U.C(java.util.concurrent)
- 0.简化版(快速复习用)
- 9.锁优化
- 10.Java 内存模型(JMM)
- 11.ThreadLocal详解
- 12 CAS
- 13.AQS
- 0.ArrayBlockingQueue和LinkedBlockingQueue的实现原理
- 1.DelayQueue的实现原理
- 14.Thread.join()实现原理
- 15.PriorityQueue 的特性和原理
- 16.CyclicBarrier的实际使用场景
- 五.Java I/O NIO
- 1.I/O模型简述
- 2.Java NIO之缓冲区
- 3.JAVA NIO之文件通道
- 4.Java NIO之套接字通道
- 5.Java NIO之选择器
- 6.基于 Java NIO 实现简单的 HTTP 服务器
- 7.BIO-NIO-AIO
- 8.netty(一)
- 9.NIO面试题
- 六.Java设计模式
- 1.单例模式
- 2.策略模式
- 3.模板方法
- 4.适配器模式
- 5.简单工厂
- 6.门面模式
- 7.代理模式
- 七.数据结构和算法
- 1.什么是红黑树
- 2.二叉树
- 2.1 二叉树的前序、中序、后序遍历
- 3.排序算法汇总
- 4.java实现链表及链表的重用操作
- 4.1算法题-链表反转
- 5.图的概述
- 6.常见的几道字符串算法题
- 7.几道常见的链表算法题
- 8.leetcode常见算法题1
- 9.LRU缓存策略
- 10.二进制及位运算
- 10.1.二进制和十进制转换
- 10.2.位运算
- 11.常见链表算法题
- 12.算法好文推荐
- 13.跳表
- 八.Spring 全家桶
- 1.Spring IOC
- 2.Spring AOP
- 3.Spring 事务管理
- 4.SpringMVC 运行流程和手动实现
- 0.Spring 核心技术
- 5.spring如何解决循环依赖问题
- 6.springboot自动装配原理
- 7.Spring中的循环依赖解决机制中,为什么要三级缓存,用二级缓存不够吗
- 8.beanFactory和factoryBean有什么区别
- 九.数据库
- 1.mybatis
- 1.1 MyBatis-# 与 $ 区别以及 sql 预编译
- Mybatis系列1-Configuration
- Mybatis系列2-SQL执行过程
- Mybatis系列3-之SqlSession
- Mybatis系列4-之Executor
- Mybatis系列5-StatementHandler
- Mybatis系列6-MappedStatement
- Mybatis系列7-参数设置揭秘(ParameterHandler)
- Mybatis系列8-缓存机制
- 2.浅谈聚簇索引和非聚簇索引的区别
- 3.mysql 证明为什么用limit时,offset很大会影响性能
- 4.MySQL中的索引
- 5.数据库索引2
- 6.面试题收集
- 7.MySQL行锁、表锁、间隙锁详解
- 8.数据库MVCC详解
- 9.一条SQL查询语句是如何执行的
- 10.MySQL 的 crash-safe 原理解析
- 11.MySQL 性能优化神器 Explain 使用分析
- 12.mysql中,一条update语句执行的过程是怎么样的?期间用到了mysql的哪些log,分别有什么作用
- 十.Redis
- 0.快速复习回顾Redis
- 1.通俗易懂的Redis数据结构基础教程
- 2.分布式锁(一)
- 3.分布式锁(二)
- 4.延时队列
- 5.位图Bitmaps
- 6.Bitmaps(位图)的使用
- 7.Scan
- 8.redis缓存雪崩、缓存击穿、缓存穿透
- 9.Redis为什么是单线程、及高并发快的3大原因详解
- 10.布隆过滤器你值得拥有的开发利器
- 11.Redis哨兵、复制、集群的设计原理与区别
- 12.redis的IO多路复用
- 13.相关redis面试题
- 14.redis集群
- 十一.中间件
- 1.RabbitMQ
- 1.1 RabbitMQ实战,hello world
- 1.2 RabbitMQ 实战,工作队列
- 1.3 RabbitMQ 实战, 发布订阅
- 1.4 RabbitMQ 实战,路由
- 1.5 RabbitMQ 实战,主题
- 1.6 Spring AMQP 的 AMQP 抽象
- 1.7 Spring AMQP 实战 – 整合 RabbitMQ 发送邮件
- 1.8 RabbitMQ 的消息持久化与 Spring AMQP 的实现剖析
- 1.9 RabbitMQ必备核心知识
- 2.RocketMQ 的几个简单问题与答案
- 2.Kafka
- 2.1 kafka 基础概念和术语
- 2.2 Kafka的重平衡(Rebalance)
- 2.3.kafka日志机制
- 2.4 kafka是pull还是push的方式传递消息的?
- 2.5 Kafka的数据处理流程
- 2.6 Kafka的脑裂预防和处理机制
- 2.7 Kafka中partition副本的Leader选举机制
- 2.8 如果Leader挂了的时候,follower没来得及同步,是否会出现数据不一致
- 2.9 kafka的partition副本是否会出现脑裂情况
- 十二.Zookeeper
- 0.什么是Zookeeper(漫画)
- 1.使用docker安装Zookeeper伪集群
- 3.ZooKeeper-Plus
- 4.zk实现分布式锁
- 5.ZooKeeper之Watcher机制
- 6.Zookeeper之选举及数据一致性
- 十三.计算机网络
- 1.进制转换:二进制、八进制、十六进制、十进制之间的转换
- 2.位运算
- 3.计算机网络面试题汇总1
- 十四.Docker
- 100.面试题收集合集
- 1.美团面试常见问题总结
- 2.b站部分面试题
- 3.比心面试题
- 4.腾讯面试题
- 5.哈罗部分面试
- 6.笔记
- 十五.Storm
- 1.Storm和流处理简介
- 2.Storm 核心概念详解
- 3.Storm 单机版本环境搭建
- 4.Storm 集群环境搭建
- 5.Storm 编程模型详解
- 6.Storm 项目三种打包方式对比分析
- 7.Storm 集成 Redis 详解
- 8.Storm 集成 HDFS 和 HBase
- 9.Storm 集成 Kafka
- 十六.Elasticsearch
- 1.初识ElasticSearch
- 2.文档基本CRUD、集群健康检查
- 3.shard&replica
- 4.document核心元数据解析及ES的并发控制
- 5.document的批量操作及数据路由原理
- 6.倒排索引
- 十七.分布式相关
- 1.分布式事务解决方案一网打尽
- 2.关于xxx怎么保证高可用的问题
- 3.一致性hash原理与实现
- 4.微服务注册中心 Nacos 比 Eureka的优势
- 5.Raft 协议算法
- 6.为什么微服务架构中需要网关
- 0.CAP与BASE理论
- 十八.Dubbo
- 1.快速掌握Dubbo常规应用
- 2.Dubbo应用进阶
- 3.Dubbo调用模块详解
- 4.Dubbo调用模块源码分析
- 6.Dubbo协议模块