Flink内存管理源代码解读之基础数据结构
2017-07-10 21:06
435 查看
概述
在分布式实时计算领域,怎样让框架/引擎足够高效地在内存中存取、处理海量数据是一个非常棘手的问题。在应对这一问题上Flink无疑是做得非常杰出的,Flink的自主内存管理设计或许比它自身的知名度更高一些。正好近期在研读Flink的源代码。所以开两篇文章来谈谈Flink的内存管理设计。Flink的内存管理的亮点体如今作为以Java为主的(部分功能用Scala实现。也是一种遵循JVM规范并依赖JVM解释执行的函数式编程语言)的程序却自主实现内存的管理而不全然依赖于JVM的内存管理机制。它的优势在于灵活、为大数据场景而生、避免(不受控的)频繁GC导致的性能波动。某种程度上跳出了JVM的限制。是一种思路上的开拓。
基本上我们将Flink的内存设计分为两个部分(遵循package的划分方式):
基础数据结构(package:org.apache.flink.core.memory)
内存管理机制(package:org.apache.flink.runtime.memory)
我们将分开来进行解说,本篇主要关注基本数据结构。内存管理机制请等待兴许文章分析。
下图是该package中全部类的关系图:
当中:
MemorySegment,
HeapMemorySegment,
HybridMemorySegment是最为关键的三个类。我们将重点分析。
Flink抽象出的内存类型
Flink将其管理的内存抽象为两种类型(基本的抽象根据内存的位置):HEAP:JVM堆内存
OFF_HEAP:非堆内存
这在Flink中被定义为一个枚举类型:
MemoryType。
MemorySegment
Flink所管理的内存被抽象为数据结构:MemorySegment。
据此,Flink为它提供了两种实现:
HeapMemorySegment : 管理的内存还是JVM堆内存的一部分
HybridMemorySegment : Hybrid(on-heap or off-heap)MemorySegment,内存可能为JVM堆内存,也可能不是。
MemorySegment的相关字段:
UNSAFE : 用来对堆/非堆内存进行操作。是JVM的非安全的API
BYTE_ARRAY_BASE_OFFSET : 二进制字节数组的起始索引,相对于字节数组对象
LITTLE_ENDIAN : 布尔值。是否为小端对齐(涉及到字节序的问题)
heapMemory : 假设为堆内存,则指向訪问的内存的引用,否则若内存为非堆内存,则为null
address : 字节数组相应的相对地址(若heapMemory为null。就可以能为off-heap内存的绝对地址,兴许会具体解释)
addressLimit : 标识地址结束位置(address+size)
size : 内存段的字节数
当中,LITTLE_ENDIAN获取的是当前操作系统的字节顺序,它是布尔值,兴许的非常多put/get操作都须要先推断是bigedian(大端)还是littleedian(小端)。
关于字节序的问题,假设不明确请自行Google
进入代码主题,针对on-heap内存和off-heap内存提供了两个构造器:
而且,提供了一大堆get/put方法,这些getXXX/putXXX大都直接或者间接调用了unsafe.getXXX/unsafe.putXXX。这些处理不同内存类型公共的方法在
MemorySegment中实现。
当然不止这么多,这仅仅是部分。
而特定的内存訪问实如今两个各自类中。
在MemorySegment类中还有三个值得关注的方法:
public final void copyTo(int offset, MemorySegment target, int targetOffset, int numBytes) { final byte[] thisHeapRef = this.heapMemory; final byte[] otherHeapRef = target.heapMemory; final long thisPointer = this.address + offset; final long otherPointer = target.address + targetOffset; if ( (numBytes | offset | targetOffset) >= 0 && thisPointer <= this.addressLimit - numBytes && otherPointer <= target.addressLimit - numBytes) { UNSAFE.copyMemory(thisHeapRef, thisPointer, otherHeapRef, otherPointer, numBytes); } else if (this.address > this.addressLimit) { throw new IllegalStateException("this memory segment has been freed."); } else if (target.address > target.addressLimit) { throw new IllegalStateException("target memory segment has been freed."); } else { throw new IndexOutOfBoundsException( String.format("offset=%d, targetOffset=%d, numBytes=%d, address=%d, targetAddress=%d", offset, targetOffset, numBytes, this.address, target.address)); } }
这是一个批量拷贝方法。用于从当前memory segment的offset偏移量開始拷贝numBytes长度的字节到target memory segment中从targetOffset起始的地方。
public final int compare(MemorySegment seg2, int offset1, int offset2, int len) { while (len >= 8) { long l1 = this.getLongBigEndian(offset1); long l2 = seg2.getLongBigEndian(offset2); if (l1 != l2) { return (l1 < l2) ^ (l1 < 0) ^ (l2 < 0) ? -1 : 1; } offset1 += 8; offset2 += 8; len -= 8; } while (len > 0) { int b1 = this.get(offset1) & 0xff; int b2 = seg2.get(offset2) & 0xff; int cmp = b1 - b2; if (cmp != 0) { return cmp; } offset1++; offset2++; len--; } return 0; }
自实现的比較方法,用于对当前memory segment偏移offset1长度为len的数据与seg2偏移起始位offset2长度为len的数据进行比較。
这里有两个while循环:
第一个while是逐字节比較。假设len的长度大于8就从各自的起始偏移量開始获取其数据的长整形表示进行对照,假设相等则各自后移8位(一个字节),而且长度减8,以此循环往复。
第二个循环比較的是最后剩余不到一个字节(八个比特位),因此是按位比較
public final void swapBytes(byte[] tempBuffer, MemorySegment seg2, int offset1, int offset2, int len) { if ( (offset1 | offset2 | len | (tempBuffer.length - len) ) >= 0) { final long thisPos = this.address + offset1; final long otherPos = seg2.address + offset2; if (thisPos <= this.addressLimit - len && otherPos <= seg2.addressLimit - len) { // this -> temp buffer UNSAFE.copyMemory(this.heapMemory, thisPos, tempBuffer, BYTE_ARRAY_BASE_OFFSET, len); // other -> this UNSAFE.copyMemory(seg2.heapMemory, otherPos, this.heapMemory, thisPos, len); // temp buffer -> other UNSAFE.copyMemory(tempBuffer, BYTE_ARRAY_BASE_OFFSET, seg2.heapMemory, otherPos, len); return; } else if (this.address > this.addressLimit) { throw new IllegalStateException("this memory segment has been freed."); } else if (seg2.address > seg2.addressLimit) { throw new IllegalStateException("other memory segment has been freed."); } } // index is in fact invalid throw new IndexOutOfBoundsException( String.format("offset1=%d, offset2=%d, len=%d, bufferSize=%d, address1=%d, address2=%d", offset1, offset2, len, tempBuffer.length, this.address, seg2.address)); }
这种方法用于对两个memory segment中的一段数据进行交换。除了一些边界值推断,就是一个借助于暂时变量的数据交换,仅仅只是用
unsafe.copyMemory取代了赋值号而已。
以下我们将探讨Flink提供的对两种类型的内存管理:on-heap 以及 off-heap。
HeapMemorySegment
基于JVM堆内存(on-heap)实现的memory segment,这也是Flink最早的内存自管理机制。该类内部定义一个字节数组的引用指向该内存段,之前提到
MemorySegment里的那些抽象方法在该类中的实现都基于该内部字节数组的引用进行操作的,以此来获得内建的而非额外的自实现检查(这些检查比方数组越界等)。这是什么意思呢?当你定义
private byte[] memory
该memory指向
MemorySegment中的heapMemory时,实现相似例如以下这样的方法时
public final byte get(int index) { return this.memory[index]; }
你就能够利用JVM自身的机制来推断index是否在0到length - 1之间。而不用去结合address等属性来推断索引范围了,比方上面这种方法在
HybridMemorySegment里是这么实现的
public byte get(int index) { final long pos = address + index; if (index >= 0 && pos < addressLimit) { return UNSAFE.getByte(heapMemory, pos); } else if (address > addressLimit) { throw new IllegalStateException("segment has been freed"); } else { // index is in fact invalid throw new IndexOutOfBoundsException(); } }
这个实现必须这么自行check边界值。
由于是JVM的堆内存,所以非常多方法的调用能够直接利用JDK自带的方法,比方数组拷贝
@Override public final void get(int index, byte[] dst, int offset, int length) { // system arraycopy does the boundary checks anyways, no need to check extra System.arraycopy(this.memory, index, dst, offset, length); } @Override public final void put(int index, byte[] src, int offset, int length) { // system arraycopy does the boundary checks anyways, no need to check extra System.arraycopy(src, offset, this.memory, index, length); }
其它方法的实现都非经常规,没有太多值得提点的地方。
HybridMemorySegment
这是还有一种内存管理实现:它既支持on-heap内存也支持off-heap内存。乍一看,似乎有些匪夷所思,由于已经有一个对on-heap的实现了,为什么还要搞一个Hybrid的,而不是off-heap的? 而且在一个类中对两种不同的内存区域进行操作。也会显得混乱。
那么我们先来看看Flink是怎样“优雅”地避免混乱的。这一切还要归功于JVM提供的非安全的操作类(unsafe)提供的一系列方法
unsafe.XXX(Object o, int offset/position, ...)
这些方法有例如以下特点:
(1)假设对象o不为null。而且后面的地址或者位置是相对位置,那么会直接对当前对象(比方数组)的相对位置进行操作,既然这里对象不为null,那么这样的情况自然满足on-heap的场景;
(2)假设对象o为null,而且后面的地址是某个内存块的绝对地址,那么这些方法的调用也相当于对该内存块进行操作。这里对象o为null,所操作的内存块不是JVM堆内存,这样的情况满足了off-heap的场景。
还记得我们在介绍
MemorySegment类时。提到的两个属性:
heapMemory
address
这两个属性组合就能够适配上面的两种场景了。
而且。
MemorySegment的一个构造參数:offHeapAddress 。已经基本指明了该构造器是专门针对off-heap的了。
MemorySegment给出了一些针对特定数据类型的公共实现,大部分也调用了unsafe的具有如上这样的特性的方法。因此事实上
MemorySegment里已经具有 Hybrid 的意思了。
问题来了,那么Flink是怎样获得某个off-heap数据的内存地址呢?答案在例如以下代码段
/** The reflection fields with which we access the off-heap pointer from direct ByteBuffers */ private static final Field ADDRESS_FIELD; static { try { ADDRESS_FIELD = java.nio.Buffer.class.getDeclaredField("address"); ADDRESS_FIELD.setAccessible(true); } catch (Throwable t) { throw new RuntimeException( "Cannot initialize HybridMemorySegment: off-heap memory is incompatible with this JVM.", t); } }
通过反射Buffer类获得 address 属性的Field表示,然后
private static long getAddress(ByteBuffer buffer) { if (buffer == null) { throw new NullPointerException("buffer is null"); } try { return (Long) ADDRESS_FIELD.get(buffer); } catch (Throwable t) { throw new RuntimeException("Could not access direct byte buffer address.", t); } }
拿到一个buffer的off-heap的地址表示。
尽管通过如上的
MemorySegment的两个属性再加上unsafe相关方法的特殊性,HybridMemorySegment的实现已经非常清晰,简洁。
但它内部还维护了一个指向它管理的off-heap数据的引用:offHeapBuffer。一方面是为了hold住那段内存空间不被释放,还有一方面是为了实现自身的一些方法。
MemorySegmentFactory
MemorySegmentFactory是用来创建
MemorySegment,而且Flink严重推荐使用它来创建
MemorySegment的实例,而不是手动实例化。
其目的是:为了让执行时仅仅存在某一种MemorySegment的子类实现的实例。而不是
MemorySegment的两个子类的实例都同一时候存在,由于这会让JIT有载入和选择上的开销。导致大幅减少性能。关于这一点,Flink官方博客专门开了一篇博文来解释他们的对照以及測试方案,请见最后的引用。
MemorySegmentFactory相关的类图
例如以下图:显而易见,这是设计模式中的工厂方法模式。
MemorySegmentFactory有个内部接口类
Factory。
MemorySegment的两个实现类的内部类各自实现了该接口。并定义了各自
Factory的实现。
这块并没有特别的,仅仅是为了防止外部直接实例化
HybridMemorySegmentFactory和
HeapMemorySegmentFactory,它们各自的构造器都被设置为 private。
MemorySegmentFactory类提供了跟
Factory接口相似的方法,或者应该说包裹了一层用来指定
Factory具体实例的逻辑(基本上每一个方法都先调用了
ensureInitialized方法):
private static void ensureInitialized() { if (factory == null) { factory = HeapMemorySegment.FACTORY; } }
从上面能够看出,
MemorySegmentFactory默认使用的是
HeapMemorySegment类的实例来实现
MemorySegment。
view构建在MemorySegment之上的抽象
除了MemorySegment的相关实现。Flink的Core包还提供了建立在
MemorySegment之上的更高的抽象:DataView(数据视图)。
数据视图相关的类关系图:
有两个接口,分别为输出视图
DataOutputView(数据写相关)。输入视图
DataInputView(数据读相关)。两个接口下分别各有一个子接口提供基于position的seek动作(即指定位置的数据读写操作)。另外分别有两个实现类。它们各自包装了相应的Stream接口。
这块也没什么特别的,不做过多说明。
以上是对Flink自主管理内存的数据结构部分的实现解读。
引用
[1]https://flink.apache.org/news/2015/09/16/off-heap-memory.html关注Flink微信公众号获得很多其它Flink的专题解读
微信搜索公众号:Apache_Flink
扫码关注:
相关文章推荐
- redis源码解读(二):基础数据结构之ADLIST
- redis源码解读(七):基础数据结构之skiplist
- redis源码解读(三):基础数据结构之dict
- redis源码解读(五):基础数据结构之ziplist
- Flink内存管理源码解读之基础数据结构
- redis源码解读(六):基础数据结构之quicklist
- redis源码解读(四):基础数据结构之intset
- MySQL列:innodb的源代码的分析的基础数据结构
- redis源码解读(一):基础数据结构之SDS
- 学习STL map, STL set之数据结构基础
- 数据结构与算法 Java语言描述-源代码
- 学习STL map, STL set之数据结构基础
- 学习STL map, STL set之数据结构基础
- 数据结构学习笔记一:数据结构基础
- 学习STL map, STL set之数据结构基础
- 数据结构基础
- 编程基础:深入分析Java中的数据结构
- 转: STL map, STL set之数据结构基础
- 学习STL map, STL set之数据结构基础
- 学习STL map, STL set之数据结构基础