Java多线程编程-(20)-借ThreadLocal出现OOM内存溢出问题再谈弱引用WeakReference

一、简单回顾

在上几篇的时候,已经简单的介绍了不正当的使用ThreadLocal造成OOM的原因,以及ThreadLocal的基本原理,下边我们首先回顾一下ThreadLocal的原理图以及各类之间的关系:

1、Thread、ThreadLocal、ThreadLocalMap、Entry之间的关系(图A):

上图中描述了:一个Thread中只有一个ThreadLocalMap,一个ThreadLocalMap中可以有多个ThreadLocal对象,其中一个ThreadLocal对象对应一个ThreadLocalMap中一个的Entry实体(也就是说:一个Thread可以依附有多个ThreadLocal对象)。

2、ThreadLocal各类引用关系(图B):

在ThreadLocal的生命周期中,都存在这些引用。( 实线代表强引用,虚线代表弱引用)

ThreadLocal到Entry对象key的引用断裂,而不及时的清理Entry对象,可能会造成OOM内存溢出!

二、引用的类型

我们对引用的理解也许很简单,就是:如果 reference类型的数据中存储的数值代表的是另外一块内存的起始地址,就称这块内存代表着一个引用。但是书上说的这种方式过于狭隘,一个对象在这种定义下只有被引用或者没有被引用两种状态,对于如何描述一些“食之无味,弃之可惜”的对象就显得无能为力。我们希望能描述这样一类对象:当内存空间还足够时,则能保留在内存之中;如果内存在进行垃圾收集后还是非常紧张,则可以抛弃这些对象。很多系统的缓存功能都符合这样的应用场景。

一般的引用类型分为:强引用( Strong Reference)、软引用( Soft Reference)、弱引用( Weak Reference)、虚引用( Phantom Reference)四种,这四种引用强度依次逐渐减弱。

1、下边是四中类型的介绍:

(1)强引用:就是指在程序代码之中普遍存在的,类似“Object obj = new Object()”这类的引用,只要强引用还存在,垃圾收集器永远不会回收掉被引用的对象,也就是说即使Java虚拟机内存空间不足时,GC收集器也绝不会回收该对象,如果内存空间不够就会导致内存溢出。

(2)软引用:用来描述一些还有用,但并非必需的对象。对于软引用关联着的对象,在系统将要发生内存溢出异常之前,将会把这些对象列进回收范围之中并进行回收,以免出现内存溢出。如果这次回收还是没有足够的内存,才会抛出内存溢出异常。在 JDK 1.2 之后,提供了 SoftReference 类来实现软引用。

软引用适合引用那些可以通过其他方式恢复的对象,例如:数据库缓存中的对象就可以从数据库中恢复,所以软引用可以用来实现缓存。等会会介绍MyBatis中的使用软引用实现缓存的案例。

(3)弱引用:也是用来描述非必需对象的,但是它的强度比软引用更弱一些,被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时,无论当前内存是否足够,都会回收掉只被弱引用关联的对象。在 JDK 1.2 之后,提供了 WeakReference 类来实现弱引用。ThreadLocal使用到的就有弱引用。

(4)虚引用:也称为幽灵引用或者幻影引用,它是最弱的一种引用关系。一个对象是否有虚引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用关联的唯一目的就是希望能在这个对象被收集器回收时收到一个系统通知。在 JDK 1.2 之后,提供了PhantomReference 类来实现虚引用。

2、各引用类型的生命周期及作用:

三、ThreadLocal中的弱引用

上述我们知道了当垃圾收集器工作时,无论当前内存是否足够,都会回收掉只被弱引用关联的对象。我们的ThreadLocal中ThreadLocalMap中的Entry类的key就是弱引用的,如下:

而弱引用会在垃圾收集器工作的时候进行回收,也就是说,只要执行垃圾回收,这些对象就会被回收,也就是上述图B中的虚线连接的地方断开了,就成了一个没有key的Entry,下边演示一下:

1、演示案例简介:

我们知道一个线程Thread可以有多个ThreadLocal变量,这些变量存放在Thread中的ThreadLocalMap变量中,那么我们下边就在主线程main中定义多个ThreadLocal变量,然后我们想办法执行几次GC垃圾回收,再看一下ThreadLocalMap中Entry数组的变化情况。

2、演示代码:

2、正常执行:

当for循环执行到最后一个的时候,看一下ThreadLocalMap的情况:

可以看到此时的ThreadLocalMap中有21个ThreadLocal变量(也就是21个Entry),其中有3个表示main线程中表示的其他ThreadLocal变量,这是正常的执行,并没有发生GC收集。

3、非正常执行:

当for循环执行到中间的时候手动执行GC收集,然后再看一下:

通过JConsole工具手动执行GC收集:

执行结果:

可以看出算上主线程中其他的Entry一共还有6个,也就可以证明在执行GC收集的时候,弱引用被回收了。

4、你可能会问道,弱引用被回收了只是回收了Entry的key引用,但是Entry应该还是存在的吧?

事情是这样的,我们的ThreadLocal已经帮我们把key为null的Entry清理了,在ThreadLocal的get(),set(),remove()的时候都会清除线程ThreadLocalMap里所有key为null的value。

上述源码中描述了清除并重建索引的过程,源码过多,不截图显示。所以,我们最后看到的实际上是已经清除过key为null的Entry之后的结果。这也说明了正常情况下使用ThreadLocal是不会出现OOM内存溢出的,出现内存溢出是和弱引用没有半点关系的!

5、上述代码虽然是手动执行的GC,但正常情况下的GC也是会回收弱引用的

如下(注意:实验请适当调节参数,避免电脑死机),假如我们上述的代码的主函数main改成如下方式:

设置VM参数:

最后的运行结果:

调试中查看threadLocal的数据,如下:

可见,虽然这里我们自己定义了30个ThreadLocal变量,但是最后的确只有14个,其中还有三个是属于其他的,还有一点值得注意的是,我们的threadLocal1threadLocal2 变量,在进行GC垃圾回收的时候,弱引用的Key是没有进行回收的,最后存活了下来!使得我们最后通过get方法可以获取到正确的数据。

6、为什么threadLocal1和threadLocal2变量没有被回收?

这里我们就需要重新认识一下,什么是:当垃圾收集器工作时,无论当前内存是否足够,都会回收掉只被弱引用关联的对象,这里的重点是:只被弱引用关联的对象。

首先举个实例:

执行结果:

可以看到,上述过程尽管GC执行了垃圾收集,但是弱引用还是可以访问到结果的,也就是没有被回收,这是因为除了一个弱引用userWeakReference 指向了User实例对象,还有user指向User的实例对象,只有当user和User实例对象的引用断了的时候,弱引用的对象才会被真正的回收,看下图:

由上图可知道,usernew User()是在不同的内存空间的,他们之间是通过引用进行关联起来的。

如果把上述主函数改成代码如下,将user = null,则断开了他们之间的引用关系,但是还有一个弱引用userWeakReference 指向new User()

执行结果如下:

可以看到断开了user和new User()之间的引用之后,就只有弱引用了,因此,上述的那段话:都会回收掉只被弱引用关联的对象。因此该new User()会被回收。

因此,就出现了最开始看到的threadLocal1、threadLocal2都还可以访问到数据(for循环里边的,由于作用于的问题,引用已经断开了),那我我们只有通过手动设为null的方式,看一下效果,代码改为如下:

执行结果:

可以看到,是我们想要的结果,弱引用也被回收了。

另外还有一种可能是,我们得到的结果有3个,分别是2、3、4,这是有可能的,这是由于垃圾回收器是一个优先级较低的线程, 因此不一定会很快发现那些只具有弱引用的对象,即只有等到系统垃圾回收机制运行时才会被回收。但是我们已经看到了我们想要的结果。

7、总结

到了这里,你应该明白,并不是所有弱引用的对象都会在第二次GC回收的时候被回收,而是回收掉只被弱引用关联的对象。因此,使用弱引用的时候要注意到!希望以后在面试的时候,不要上来张口就说,弱引用在第二次执行GC之后就会被回收!知其然,知其所以然!

四、引用队列

在很多场景中,我们的程序需要在一个对象的可达性(GC可达性,判断对象是否需要回收)发生变化的时候得到通知,引用队列就是用于收集这些信息的队列。

在创建SoftReference对象时,可以为其关联一个引用队列,当SoftReference所引用的对象被回收的时候,Java虚拟机就会将该SoftReference对象添加到预支关联的引用队列中。

需要检查这些通知信息时,就可以从引用队列中获取这些SoftReference对象。

不仅仅是SoftReference支持使用引用队列,软引用和虚引用也可以关相应的引用队列。

先看一个简单的案例:

执行结果:

ReferenceQueue引用队列记录了GC收集器回收的引用,这样的话,我们就可以通过引用队列的数据来判断引用是否被回收,以及被回收之后做相应的处理,例如:如果使用弱引用做缓存则需要清除缓存,或者重新设置缓存等。

其实,上述的代码,是从MyBatis的源码中抽离出来的,MyBatis在缓存的时候也提供了对弱引用和软引用的支持,MyBatis相关的源码如下:

任何一个牛逼的框架,也是一个一个知识点的使用。这篇文章的内容很多,似乎有点又长又臭,不过还是希望对你有所帮助!另外,个人能力有限,难免有所疏漏,如果有也请你及时提出来,以免误人子弟。

原文发布于微信公众号 - Java后端技术(JavaITWork)

原文发表时间:2017-11-14

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏蘑菇先生的技术笔记

探索c#之尾递归编译器优化

2327
来自专栏Golang语言社区

Golang逃逸分析

介绍逃逸分析的概念,go怎么开启逃逸分析的log。 以下资料来自互联网,有错误之处,请一定告之。 sheepbao 2017.06.10

4344
来自专栏苦逼的码农

【漫画】什么是外部排序?

排序的时候我们可以选择快速排序或归并排序等算法。为了方便,我们把排序好的2G有序数据称之为有序子串吧。接着我们可以把两个小的有序子串合并成一个大的有序子串。

1082
来自专栏Android Note

Kotlin中run, with, let, also and apply使用方法

1062
来自专栏个人分享

JAVA虚拟机垃圾回收算法原理

   除了释放不再被引用的对象外,垃圾收集器还要处理堆碎块。新的对象分配了空间,不再被引用的对象被释放,所以堆内存的空闲位置介于活动的对象之间。请求分配新对象时...

672
来自专栏Ryan Miao

Java并发编程:深入剖析ThreadLocal

Java并发编程:深入剖析ThreadLocal   想必很多朋友对ThreadLocal并不陌生,今天我们就来一起探讨下ThreadLocal的使用方法和实现...

3629
来自专栏JavaEdge

ThreadLocalMap里Entry为何声明为WeakReference

3308
来自专栏老马说编程

(82) 理解ThreadLocal / 计算机程序的思维逻辑

本节,我们来探讨一个特殊的概念,线程本地变量,在Java中的实现是类ThreadLocal,它是什么?有什么用?实现原理是什么?让我们接下来逐步探讨。 基本概...

19110
来自专栏DOTNET

.Net多线程编程—System.Threading.Tasks.Parallel

System.Threading.Tasks.Parallel类提供了Parallel.Invoke,Parallel.For,Parallel.ForEach...

41213
来自专栏JavaEdge

探究ThreadLocal原理(基于JAVA8源码分析)线程封闭ThreadLocal是什么ThreadLoalMaphash冲突内存泄露避免内存泄露题外小话ThreadLocal的应用场合

5985

扫码关注云+社区

领取腾讯云代金券