强如 Disruptor 也发生内存溢出？前言OutOfMemoryError问题相信很多

前言OutOfMemoryError 问题相信很多朋友都遇到过，相对于常见的业务异常（数组越界、空指针等）来说这类问题是很难定位和解决的。
本文以最近碰到的一次线上内存溢出的定位、解决问题的方式展开；希望能对碰到类似问题的同学带来思路和帮助。
主要从表现-->排查-->定位-->解决四个步骤来分析和解决问题。
表象最近我们生产上的一个应用不断的爆出内存溢出，并且随着业务量的增长出现的频次越来越高。
该程序的业务逻辑非常简单，就是从 Kafka 中将数据消费下来然后批量的做持久化操作。
而现象则是随着 Kafka 的消息越多，出现的异常的频次就越快。由于当时还有其他工作所以只能让运维做重启，并且监控好堆内存以及 GC 情况。
重启大法虽好，可是依然不能根本解决问题。
排查于是我们想根据运维之前收集到的内存数据、GC 日志尝试判断哪里出现问题。
文章插图
结果发现老年代的内存使用就算是发生 GC 也一直居高不下，而且随着时间推移也越来越高。
结合 jstat 的日志发现就算是发生了 FGC 老年代也已经回收不了，内存已经到顶。
文章插图
甚至有几台应用 FGC 达到了上百次，时间也高的可怕。
这说明应用的内存使用肯定是有问题的，有许多赖皮对象始终回收不掉。
定位由于生产商的内存 dump 文件非常大，达到了几十G 。也是由于我们的内存设置太大有关。
所以导致想使用 MAT 分析需要花费大量时间。
因此我们便想是否可以在本地复现，这样就要好定位的多。
为了尽快的复现问题，我将本地应用最大堆内存设置为 150M 。
然后在消费 Kafka 那里 Mock 为一个 while 循环一直不断的生成数据。
同时当应用启动之后利用 VisualVM 连上应用实时监控内存、GC 的使用情况。
结果跑了 10 几分钟内存使用并没有什么问题。根据图中可以看出，每产生一次 GC 内存都能有效的回收，所以这样并没有复现问题。
文章插图
没法复现问题就很难定位了。于是我们 review 代码，发现生产的逻辑和我们用 while 循环 Mock 数据还不太一样。
查看生产的日志发现每次从 Kafka 中取出的都是几百条数据，而我们 Mock 时每次只能产生一条。
为了尽可能的模拟生产情况便在服务器上跑着一个生产者程序，一直源源不断的向 Kafka 中发送数据。
果然不出意外只跑了一分多钟内存就顶不住了，观察左图发现 GC 的频次非常高，但是内存的回收却是相形见拙。
文章插图
同时后台也开始打印内存溢出了，这样便复现出问题。
解决从目前的表现来看就是内存中有许多对象一直存在强引用关系导致得不到回收。
于是便想看看到底是什么对象占用了这么多的内存，利用 VisualVM 的 HeapDump 功能可以立即 dump 出当前应用的内存情况。
文章插图
结果发现 com.lmax.disruptor.RingBuffer 类型的对象占用了将近 50% 的内存。
看到这个包自然就想到了 Disruptor 环形队列。
在次 review 代码发现：从 Kafka 里取出的 700 条数据是直接往 Disruptor 里丢的。
这里也就能说明为什么第一次模拟数据没复现问题了。
模拟的时候是一个对象放进队列里，而生产的情况是 700 条数据放进队列里。这个数据量是 700 倍的差距。
而 Disruptor 作为一个环形队列，再对象没有被覆盖之前是一直存在的。
我也做了一个实验，证明确实如此。
文章插图
我设置队列大小为 8，从 0~9 往里面写 10 条数据，当写到 8 的时候就会把之前 0 的位置覆盖掉，后面的以此类推（类似于 HashMap 的取模定位）。
所以在生产上假设我们的队列大小是 1024 ，那么随着系统的运行最终肯定会导致 1024 个位置上装满了对象，而且每个位置是 700 个！
于是查看了生产商 Disruptor 的 RingBuffer 配置，结果是：1024*1024 。
这个数量级就非常吓人了。
为了验证是否是这个问题，我在本地将该值换为 2，一个最小值试试。