JVM(一)

运行时数据区域

什么是线程独享

线程独享是指只归这个线程独有的数据区,在运行时数据区虚拟机栈,本地方法栈,程序计数器是线程独享的

程序计数器

记录到那个线程执行到哪一行,所以他必须是线程独享的,它可以看作是当前线程执行的字节码的行号指示器。在jvm的概念模型里面,字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。

多线程是通过线程轮流切换,分配处理器执行时间的方式来实现在,任何一个确定的时刻,一个处理器都只会执行一条线成中的指令。为了让线程切换后能恢复到正确的执行位置,每一个线程都需要有一个独立的程序技术器,以宝成每条线程之间的计数器互不影响,独立储存。

这个区域是唯一一个在java虚拟机规范中没有规定任何OutOfMemoryError情况的区域。

Java虚拟机栈:

它描述的是Java方法执行的线程内存模型: 每个方法执行的时候,java虚拟机栈都会同步创建一个栈帧用来储存局部变量表,操作数栈,动态连接,方法出口等信息,直到执行完毕的过程,这就对应着一个栈帧,就对应这一个在虚拟机栈中从入栈到出栈的过程。大多人说的java1中的堆和栈中的栈就是指这里的虚拟机栈,更多的是局部变量部分

其中局部变量表存放了Java虚拟机中的基本数据类型,队象的引用和returnAddress类型(指向了一条字节码指令的地址)

在局部变量表的储存空间以局部便令槽来表示,64位的long和double的数据会占用两个变量槽,其他的是一个。

如果线程深度大于虚拟机所允许的深度可以抛出StackoverflowError异常,如果虚拟机可以动态扩展的,当栈无法申请到足够的内存是就会抛出OutOfMemoryError异常。

本地方法栈:可以使用本地方法服务,有的虚拟机会把虚拟机栈和本地方法栈合2为1

什么是线程共享的

线程共享是可以几个线程共同拥有,运行时数据区中堆和方法区时线程共享的

堆:

堆是Java虚拟机中存放内存最大的一块区域,堆是在虚拟机启动时创建的,这个区的唯一的目的就是存放Java对象,几乎所有java队象都在这里分配内存空间,堆其中时垃圾手机去的区域,所以所也叫GC堆,java中可以处于物理上的不连续内存空间

方法区:

这个区域用来储存已经被虚拟机加载类的类型信息,常量,静态变量,即时编译器编译后的缓存等数据。在jvm规范中描述为堆的一个逻辑部分,

jvm规范对于方法区的约束时非常宽松的,甚至可以选择不实现垃圾回收机制。

运行时常量池:这个是方法区的提部分,class文件中有一个讯息是常量池表,用来存放生成的各种字面量和符号引用,这些就存放在这个常量池中。

直接内存:物理内存

对象创建

创建对象

  • new 指令的时候
  • newInstance()方法(反射)

对象创建的流程

遇到了一个new Student() 先去加载Student类

1.1new指令

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

1.2分配内存

接下来虚拟机将为新生代对象分配内存。对象所需的内存的大小在类加载完成后便可完全确定。分配方式有“指针碰撞(Bump the Pointer)”和“空闲列表(Free List)”两种方式,具体由所采用的垃圾收集器是否带有压缩整理功能决定。

1.3初始化

内存分配完成后,虚拟机需要将分配到的内存空间都初始化为零值(不包括对象头),这一步操作保证了对象的实例字段在Java代码中可以不赋初始值就直接使用,程序能访问到这些字段的数据类型所对应的零值。

1.4对象的初始设置

接下来虚拟机要对对象进行必要的设置,例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的GC分代年龄等信息。这些信息存放在对象的对象头(Object Header)之中。根据虚拟机当前的运行状态的不同,如对否启用偏向锁等,对象头会有不同的设置方式。

1.5方法

在上面的工作都完成了之后,从虚拟机的角度看,一个新的对象已经产生了,但是从Java程序的角度看,对象创建才刚刚开始—<init>方法还没有执行,所有的字段都还为零。所以,一般来说,执行new指令后悔接着执行init方法,把对象按照程序员的意愿进行初始化(应该是将构造函数中的参数赋值给对象的字段),这样一个真正可用的对象才算完全产生出来。

内存分配的方式

  • 指针碰撞
    如果堆内存是绝对规整的,我们把使用过的内存放在一边,而空闲的内存就放到另外一边,在这两个中间放一个指针作为分界点的指示器,分配内容就是把指针挪向空闲空间一段和对象内存相等大小的距离
  • 空闲列表
    虚拟机维护一个列表,用来记录那些是可以用的,在分配的时候从这个列表找到一个足够大的空间划分给这个对象
  • 使用那个由jvm堆空间是否规整来决定。
  • 而创建对象比较频繁,只是修改指针的位置,在并发的情况下并不是线程安全的,而解决这种情况有两种方法:
    1,对于分配内存进行同步处理----实际上是jvm采用CAS配上了失败重试的方法来实现更新操作的原子性
    2,每个线程在Java堆中预先分配一小块的内存,我们称为本地线程分配缓存(TLAB)那个线程分配内存,就在那个线程的本地缓存区中分配,只有本地缓存区用完了,分配先的缓存区时才需要同步锁定。

内存布局

有几部分组成

三部分构成:

对象头,实例数据,对齐填充

  • 对象头:
    • 如果对象是一个数组,对象头必须有一块儿用于记录数组长度的数据。JVM可以通过Java对象的元数据确定对象长度,但是对于数组不行。
      • 存储对象自身的运行时数据:Mark Word(在32bit和64bit虚拟机上长度分别为32bit和64bit),包含如下信息:
    1. 1.对象hashCode
    2. 2.对象GC分代年龄
    3. 3.锁状态标志(轻量级锁、重量级锁)
    4. 4.线程持有的锁(轻量级锁、重量级锁)
    5. 5.偏向锁相关:偏向锁、自旋锁、轻量级锁以及其他的一些锁优化策略是JDK1.6加入的,这些优化使得Synchronized的性能与ReentrantLock的性能持平,在Synchronized可以满足要求的情况下,优先使用Synchronized,除非是使用一些ReentrantLock独有的功能,例如指定时间等待等。
    6. 6.偏向线程Id
    7. 7.偏向时间戳
    8. 当对象处于不同的锁状态时,它的Mark Word里的东西会被替换成不同东西,如下表所示:
    9. https://www.cnblogs.com/ZoHy/p/11313155.html
    10. {
      . 1、对象未加锁的时候,lock标志位为01,包含哈希值、年龄分代和偏向锁标志位等,此时偏向锁标志位为0;
      . 2、当对象被施加偏向锁时,哈希值和一部分无用内存会转化为锁主人的线程信息,以及加锁的时间戳epoch,此时lock标志位没变,偏向锁为1,也就是说,偏向锁和lock标志位共同决定是否偏向锁状态。
    11. 偏向锁的加锁步骤:
      • Load-and-test,也就是简单判断一下当前线程id是否与Markword当中的线程id是否一致.
      • 如果一致,则说明此线程已经成功获得了锁,继续执行下面的代码.
      • 如果不一致,则要检查一下对象是否还是可偏向,即“是否偏向锁”标志位的值。
      • 如果还未偏向,则利用CAS操作来竞争锁,也即是第一次获取锁时的操作。
        . 3、当发生锁竞争时,偏向锁会变为轻量级锁,这时需要先将偏向锁进行锁撤销,这一步骤也会消耗不少的性能,轻量级锁的Mark Word中,lock标志位为00,其余内容被替换为一个指针,指向了栈里面的锁记录。
    12. 锁撤销的过程如下:
      • 在一个安全点停止拥有锁的线程。
      • 遍历线程栈,如果存在锁记录的话,需要修复锁记录和Markword,使其变成无锁状态。
      • 唤醒当前线程,将当前锁升级成轻量级锁。
        所以,如果某些同步代码块大多数情况下都是有两个及以上的线程竞争的话,那么偏向锁就会是一种累赘,对于这种情况,我们可以一开始就把偏向锁这个默认功能给关闭
        轻量级锁的加锁步骤:
      • 线程在自己的栈桢中创建锁记录LockRecord。
      • 将锁对象的对象头中的MarkWord复制到线程的刚刚创建的锁记录中。
      • 将锁记录中的Owner指针指向锁对象。
      • 将锁对象的对象头的MarkWord替换为指向锁记录的指针。
        轻量级锁主要有两种:自旋锁和自适应自旋锁。自旋锁会导致空耗CPU且很可能锁不公平;自适应是指根据上一次该线程是否成功或者多久获取过该锁设置旋转次数,若上次失败很可能直接进入重量级锁
        . 4、如果竞争线程增多,锁继续膨胀,变为重量级锁,也是互斥锁,即synchronized,其lock标志位为10,Mark Word其余内容被替换为一个指向对象监视器Monitor的指针。
    13. 特殊的是,如果此对象已经被GC标记过,lock会变为11,不含其余内容。
    14. }
    15. 2、当对象被施加偏向锁时,哈希值和一部分无用内存会转化为锁主人的线程信息,以及加锁的时间戳epoch,此时lock标志位没变,偏向锁为1,也就是说,偏向锁和lock标志位共同决定是否偏向锁状态。
    16. 偏向锁的加锁步骤:
      • Load-and-test,也就是简单判断一下当前线程id是否与Markword当中的线程id是否一致.
      • 如果一致,则说明此线程已经成功获得了锁,继续执行下面的代码.
      • 如果不一致,则要检查一下对象是否还是可偏向,即“是否偏向锁”标志位的值。
      • 如果还未偏向,则利用CAS操作来竞争锁,也即是第一次获取锁时的操作。
    17. 3、当发生锁竞争时,偏向锁会变为轻量级锁,这时需要先将偏向锁进行锁撤销,这一步骤也会消耗不少的性能,轻量级锁的Mark Word中,lock标志位为00,其余内容被替换为一个指针,指向了栈里面的锁记录。
    18. 锁撤销的过程如下:
      • 在一个安全点停止拥有锁的线程。
      • 遍历线程栈,如果存在锁记录的话,需要修复锁记录和Markword,使其变成无锁状态。
      • 唤醒当前线程,将当前锁升级成轻量级锁。
        所以,如果某些同步代码块大多数情况下都是有两个及以上的线程竞争的话,那么偏向锁就会是一种累赘,对于这种情况,我们可以一开始就把偏向锁这个默认功能给关闭
        轻量级锁的加锁步骤:
      • 线程在自己的栈桢中创建锁记录LockRecord。
      • 将锁对象的对象头中的MarkWord复制到线程的刚刚创建的锁记录中。
      • 将锁记录中的Owner指针指向锁对象。
      • 将锁对象的对象头的MarkWord替换为指向锁记录的指针。
        轻量级锁主要有两种:自旋锁和自适应自旋锁。自旋锁会导致空耗CPU且很可能锁不公平;自适应是指根据上一次该线程是否成功或者多久获取过该锁设置旋转次数,若上次失败很可能直接进入重量级锁
    19. 4、如果竞争线程增多,锁继续膨胀,变为重量级锁,也是互斥锁,即synchronized,其lock标志位为10,Mark Word其余内容被替换为一个指向对象监视器Monitor的指针。
    20. 特殊的是,如果此对象已经被GC标记过,lock会变为11,不含其余内容。
      • 类型指针(对象指向类元数据的指针):
    21. (32bit–>32bit,64bit–>64bit(未开启压缩指针),32bit(开启压缩指针))
    22. JVM通过这个指针来确定这个对象是哪个类的实例(根据对象确定其Class的指针)
  • 实例数据:对象真正存储的有效信息
  • 对齐填充
    • JVM要求对象的大小必须是8的整数倍,若不是,需要补位对齐

访问定位

两种形式

1.通过句柄访问对象:特点(稳定)

优点:reference存储的是稳定的句柄地址,在对象被移动(垃圾收集时移动对象是非常普遍的行为)时只会改变句柄中的实例数据指针,而reference本身不需要改变。

缺点:增加了一次指针定位的时间开销。

2.通过直接指针访问对象

优点:节省了一次指针定位的开销。

缺点:在对象被移动时reference本身需要被修改。

  • 使用句柄来访问的最大好处就是reference中存储的是稳定句柄地址,在对象被移动(垃圾收集时移动对象是非常普遍的行为)时只会改变句柄中的实例数据指针,而reference本身不需要被修改。
  • 使用直接指针来访问最大的好处就是速度更快,它节省了一次指针定位的时间开销,由于对象访问的在Java中非常频繁,因此这类开销积小成多也是一项非常可观的执行成本。

现在采用的哪一种

HotSpot主要用的是第二种

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值