4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级

ThreadLocal

实现每一个线程都有自己专属的本地变量副本
主要解决了让每个线程绑定自己的值,通过使用get()和set()方法,获取默认值或将其值更改为当前线程所存的副本的值从而避免了线程安全问题。

ThreadLocal<Integer> threadLocal = ThreadLocal.withInitial(() -> 0);
  1. 因为每个 Thread 内有自己的实例副本且该副本只由当前线程自己使用
  2. 既然其它 Thread 不可访问,那就不存在多线程间共享的问题。
  3. 统一设置初始值,但是每个线程对这个值的修改都是各自线程互相独立的
public class DateUtils
{
    private static final ThreadLocal<SimpleDateFormat>  sdf_threadLocal =
            ThreadLocal.withInitial(()-> new SimpleDateFormat("yyyy-MM-dd HH:mm:ss"));

    /**
     * ThreadLocal可以确保每个线程都可以得到各自单独的一个SimpleDateFormat的对象,那么自然也就不存在竞争问题了。
     * @param stringDate
     * @return
     * @throws Exception
     */
    public static Date parseDateTL(String stringDate)throws Exception
    {
        return sdf_threadLocal.get().parse(stringDate);
    }

    public static void main(String[] args) throws Exception
    {
        for (int i = 1; i <=30; i++) {
            new Thread(() -> {
                try {
                    System.out.println(DateUtils.parseDateTL("2020-11-11 11:11:11"));
                } catch (Exception e) {
                    e.printStackTrace();
                }
            },String.valueOf(i)).start();
        }
    }
}

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第1张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第2张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第3张图片

内存泄漏

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第4张图片

强引用
  • 当内存不足,JVM开始垃圾回收,对于强引用的对象,就算是出现了OOM也不会对该对象进行回收,死都不收。

强引用是我们最常见的普通对象引用,只要还有强引用指向一个对象,就能表明对象还“活着”,垃圾收集器不会碰这种对象。在 Java 中最常见的就是强引用,把一个对象赋给一个引用变量,这个引用变量就是一个强引用。当一个对象被强引用变量引用时,它处于可达状态,它是不可能被垃圾回收机制回收的,即使该对象以后永远都不会被用到JVM也不会回收。因此强引用是造成Java内存泄漏的主要原因之一。

对于一个普通的对象,如果没有其他的引用关系,只要超过了引用的作用域或者显式地将相应(强)引用赋值为 null,
一般认为就是可以被垃圾收集的了(当然具体回收时机还是要看垃圾收集策略)。

软引用

软引用是一种相对强引用弱化了一些的引用,需要用java.lang.ref.SoftReference类来实现,可以让对象豁免一些垃圾收集。

对于只有软引用的对象来说,

     当系统内存充足时它      不会     被回收,

     当系统内存不足时它         会     被回收。

软引用通常用在对内存敏感的程序中,比如高速缓存就有用到软引用,内存够用的时候就保留,不够用就回收!

弱引用

弱引用需要用java.lang.ref.WeakReference类来实现,它比软引用的生存期更短,

对于只有弱引用的对象来说,只要垃圾回收机制一运行,不管JVM的内存空间是否足够,都会回收该对象占用的内存。

虚引用

虚引用需要java.lang.ref.PhantomReference类来实现。

顾名思义,就是形同虚设,与其他几种引用都不同,虚引用并不会决定对象的生命周期。
如果一个对象仅持有虚引用,那么它就和没有任何引用一样,在任何时候都可能被垃圾回收器回收,
它不能单独使用也不能通过它访问对象,虚引用必须和引用队列 (ReferenceQueue)联合使用。

虚引用的主要作用是跟踪对象被垃圾回收的状态。 仅仅是提供了一种确保对象被 finalize以后,做某些事情的机制。 PhantomReference的get方法总是返回null,因此无法访问对应的引用对象。

其意义在于:说明一个对象已经进入finalization阶段,可以被gc回收,用来实现比finalization机制更灵活的回收操作。

换句话说,设置虚引用关联的唯一目的,就是在这个对象被收集器回收的时候收到一个系统通知或者后续添加进一步的处理。

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第5张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第6张图片

为什么要用弱引用

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第7张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第8张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第9张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第10张图片

set 、get方法会去检查所有键为null的Entry对象

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第11张图片

Java对象内存布局和对象头

对象在堆内存中布局

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第12张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第13张图片

对象头

对象标记Mark Word

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第14张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第15张图片

64位的markword
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第16张图片
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第17张图片

  • hash: 保存对象的哈希码
  • age: 保存对象的分代年龄
  • biased_lock: 偏向锁标识位
  • lock: 锁状态标识位
  • JavaThread* :保存持有偏向锁的线程ID
  • epoch: 保存偏向时间戳
    4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第18张图片

在64位系统中,Mark Word占了8个字节,类型指针占了8个字节,一共是16个字节

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第19张图片

  • 默认存储对象的HashCode、分代年龄和锁标志位等信息。
  • 这些信息都是与对象自身定义无关的数据,所以MarkWord被设计成一个非固定的数据结构以便在极小的空间内存存储尽量多的数据。
  • 它会根据对象的状态复用自己的存储空间,也就是说在运行期间MarkWord里存储的数据会随着锁标志位的变化而变化。
类元信息(又叫类型指针)

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第20张图片

  • 对象指向它的类元数据的指针,虚拟机通过这个指针来确定这个对象是哪个类的实例。

对象头多大?

  • 在64位系统中,Mark Word占了8个字节,类型指针占了8个字节,一共是16个字节

实例数据

存放类的属性(Field)数据信息,包括父类的属性信息,如果是数组的实例部分还包括数组的长度,这部分内存按4字节对齐。

对齐填充

虚拟机要求对象起始地址必须是8字节的整数倍。填充数据不是必须存在的,仅仅是为了字节对齐这部分内存按8字节补充对齐。

 
<!--
官网:http://openjdk.java.net/projects/code-tools/jol/
定位:分析对象在JVM的大小和分布
-->
<dependency>
    <groupId>org.openjdk.jol</groupId>
    <artifactId>jol-core</artifactId>
    <version>0.9</version>
</dependency>
 
 public class MyObject
{
    public static void main(String[] args){
        //VM的细节详细情况
        System.out.println(VM.current().details());
        //所有的对象分配的字节都是8的整数倍。
        System.out.println(VM.current().objectAlignment());
    }
}

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第21张图片

public class JOLDemo
{
    public static void main(String[] args)
    {
        Object o = new Object();
        System.out.println( ClassLayout.parseInstance(o).toPrintable());
    }
}

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第22张图片

类型指针怎么只有4个字节?
  • ,默认开启了压缩 ==》 -XX:+UseCompressedClassPointers

  • 如果关闭了压缩呢
    4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第23张图片
    4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第24张图片

  • GC年龄采用4位bit存储,最大为15,例如MaxTenuringThreshold参数默认值就是15

Synchronized与锁升级

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第25张图片

Java5之前,用户态和内核态之间的切换

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第26张图片

  • java的线程是映射到操作系统原生线程之上的,如果要阻塞或唤醒一个线程就需要操作系统介入,需要在户态与核心态之间切换,这种切换会消耗大量的系统资源,因为用户态与内核态都有各自专用的内存空间,专用的寄存器等,用户态切换至内核态需要传递给许多变量、参数给内核,内核也需要保护好用户态在切换时的一些寄存器值、变量等,以便内核态调用结束后切换回用户态继续工作。
  • 在Java早期版本中,synchronized属于重量级锁,效率低下,因为监视器锁(monitor)是依赖于底层的操作系统的Mutex Lock来实现的,挂起线程和恢复线程都需要转入内核态去完成,阻塞或唤醒一个Java线程需要操作系统切换CPU状态来完成,这种状态切换需要耗费处理器时间,如果同步代码块中内容过于简单,这种切换的时间可能比用户代码执行的时间还长”,时间成本相对较高,这也是为什么早期的synchronized效率低的原因
  • Java 6之后,为了减少获得锁和释放锁所带来的性能消耗,引入了轻量级锁和偏向锁

java6开始,优化Synchronized

synchronized用的锁是存在Java对象头里的Mark Word中,锁升级功能主要依赖MarkWord中锁标志位和释放偏向锁标志位

无锁

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第27张图片

偏向锁

当一段同步代码一直被同一个线程多次访问,由于只有一个线程那么该线程在后续访问时便会自动获得锁
一个synchronized方法被一个线程抢到了锁时,那这个方法所在的对象就会在其所在的Mark Word中将偏向锁修改状态位,同时还
会有占用前54位来存储线程指针作为标识。若该线程再次访问同一个synchronized方法时,该线程只需去对象头的Mark Word 中去判断一下是否有偏向锁指向本身的ID,无需再进入 Monitor 去竞争对象了。

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第28张图片

* 实际上偏向锁在JDK1.6之后是默认开启的,但是启动时间有延迟,
* 所以需要添加参数-XX:BiasedLockingStartupDelay=0,让其在程序启动时立刻启动。
*
* 开启偏向锁:
* -XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0
*
* 关闭偏向锁:关闭之后程序默认会直接进入------------------------------------------>>>>>>>>   轻量级锁状态。
* -XX:-UseBiasedLocking

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第29张图片

偏向锁的撤销
  • 当有另外线程逐步来竞争锁的时候,就不能再使用偏向锁了,要升级为轻量级锁
  • 竞争线程尝试CAS更新对象头失败,会等待到全局安全点(此时不会执行任何代码)撤销偏向锁。

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第30张图片
偏向锁使用一种等到竞争出现才释放锁的机制,只有当其他线程竞争锁时,持有偏向锁的原来线程才会被撤销。
撤销需要等待全局安全点(该时间点上没有字节码正在执行),同时检查持有偏向锁的线程是否还在执行:

① 第一个线程正在执行synchronized方法(处于同步块),它还没有执行完,其它线程来抢夺,该偏向锁会被取消掉并出现锁升级。
此时轻量级锁由原持有偏向锁的线程持有,继续执行其同步代码,而正在竞争的线程会进入自旋等待获得该轻量级锁。
② 第一个线程执行完成synchronized方法(退出同步块),则将对象头设置成无锁状态并撤销偏向锁,重新偏向 。

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第31张图片

轻量级锁

有线程来参与锁的竞争,但是获取锁的冲突时间极短,本质就是自旋锁

+轻量级锁是为了在线程近乎交替执行同步块时提高性能。

  • 主要目的: 在没有多线程竞争的前提下,通过CAS减少重量级锁使用操作系统互斥量产生的性能消耗,说白了先自旋再阻塞。
  • 升级时机: 当关闭偏向锁功能或多线程竞争偏向锁会导致偏向锁升级为轻量级锁

假如线程A已经拿到锁,这时线程B又来抢该对象的锁,由于该对象的锁已经被线程A拿到,当前该锁已是偏向锁了。
而线程B在争抢时发现对象头Mark Word中的线程ID不是线程B自己的线程ID(而是线程A),那线程B就会进行CAS操作希望能获得锁。
此时线程B操作中有两种情况:

  • 如果锁获取成功,直接替换Mark Word中的线程ID为B自己的ID(A → B),重新偏向于其他线程(即将偏向锁交给其他线程,相当于当前线程"被"释放了锁),该锁会保持偏向锁状态,A线程Over,B线程上位;

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第32张图片

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第33张图片

自旋达到一定次数和程度
  • java6之前–>默认启用,默认情况下自旋的次数是 10 次(-XX:PreBlockSpin=10来修改) 或 或者自旋线程数超过cpu核数一半
  • java6之后–> 自适应, 同一个锁上一次自旋的时间 或 拥有锁线程的状态来决定。
轻量锁与偏向锁的区别和不同
  1. 争夺轻量级锁失败时,自旋尝试抢占锁
  2. 轻量级锁每次退出同步块都需要释放锁,而偏向锁是在竞争发生时才释放锁

重锁

有大量的线程参与锁的竞争,冲突性很高
在这里插入图片描述
4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第34张图片

锁总结

4. ThreadLocal,Java对象内存布局和对象头,Synchronized与锁升级_第35张图片

  • synchronized锁升级过程总结:一句话,就是先自旋,不行再阻塞。
  • 实际上是把之前的悲观锁(重量级锁)变成在一定条件下使用偏向锁以及使用轻量级(自旋锁CAS)的形式
  • synchronized在修饰方法和代码块在字节码上实现方式有很大差异,但是内部实现还是基于对象头的MarkWord来实现的。
  • JDK1.6之前synchronized使用的是重量级锁,JDK1.6之后进行了优化,拥有了无锁->偏向锁->轻量级锁->重量级锁的升级过程,而不是无论什么情况都使用重量级锁。
  1. 偏向锁:适用于单线程适用的情况,在不存在锁竞争的时候进入同步方法/代码块则使用偏向锁。
  2. 轻量级锁:适用于竞争较不激烈的情况(这和乐观锁的使用范围类似), 存在竞争时升级为轻量级锁,轻量级锁采用的是自旋锁,如果同步方法/代码块执行时间很短的话,采用轻量级锁虽然会占用cpu资源但是相对比使用重量级锁还是更高效。
  3. 重量级锁:适用于竞争激烈的情况,如果同步方法/代码块执行时间很长,那么使用轻量级锁自旋带来的性能消耗就比使用重量级锁更严重,这时候就需要升级为重量级锁。

你可能感兴趣的:(#,juc&并发编程,java,开发语言,面试)