上一篇文章我们谈了Flink自主内存管理的一些基础的数据结构。那篇中主要讲了数据结构的定义,这篇我们来看看那些数据结构的使用,以及内存的管理设计。
这篇文章我们主要探讨Flink的内存管理类 MemoryManager
涉及到对内存的分配、回收,以及针对预分配内存而提供的memory segment pool。还有支持跨越多个memory segment数据访问的page view。
本文探讨的类主要位于pageckage : org.apache.flink.runtime.memory 下。完整类图:
MemoryManager
作为Flink的内存管理器,承担着 MemorySegment
的分配、回收等职责。
为了提升 MemorySegment
的复用能力,它提供了不同memory type的MemorySegment池的实现,它们是:
首先,这里为了提升memory segment操作效率, MemoryManager
鼓励长度相等的memory segment。由此引入了 page 的概念。其实page跟memory segment没有本质上的区别,只不过是为了体现memory segment被分配为均等大小的内存空间而引入的。可以将这个类比于操作系统的 页式内存分配 ,page这里看着同等大小的block即可。 MemoryManager
提供的默认page size为32KB,并提供了自定义page size的下界值不得小于4KB。
/** The default memory page size. Currently set to 32 KiBytes. */
public static final int DEFAULT_PAGE_SIZE = 32 * 1024;
/** The minimal memory page size. Currently set to 4 KiBytes. */
public static final int MIN_PAGE_SIZE = 4 * 1024;
MemoryManager
允许自定义page size,它提供的构造器可以指定这个参数,一个 MemoryManager
应对一个page size,而且指定了就不允许改变。
page化的segment跟非page化的segment:
将segment page化会给后面的跨多个segment的访问带来更高的效率。
MemoryManager
这个类本身没有特别的地方,并可能会被跨线程共享。这时某些操作可能会牵扯到多线程的 并发 问题。因此, MemoryManager
提供了一个对象作为锁,以在某些方法上进行同步操作。
/** The lock used on the shared structures. */
private final Object lock = new Object();
两个构造器:
public MemoryManager(long memorySize, int numberOfSlots) {
public MemoryManager(long memorySize, int numberOfSlots, int pageSize, MemoryType memoryType, boolean preAllocateMemory) {
第一个构造器内部调用了第二个构造器,并用 DEFAULT_PAGE_SIZE
作为pageSize, HEAP
作为memory type。
需要提及一下的是,这里的参数 numberOfSlots
是跟Flink的task manager相关,暂时不做过多介绍,等到我们讲解Flink runtime时再细说。
第二个构造器的另一个参数 preAllocateMemory
,指定memory manager的内存分配策略是 预分配 还是 按需分配 。我们后面会看到,对于这两种策略,相关的内存申请和释放操作是不同的。
第二个构造器内就已经根据memory type将特定的memory pool对象初始化好了:
switch (memoryType) {
case HEAP:
this.memoryPool = new HeapMemoryPool(memToAllocate, pageSize);
break;
case OFF_HEAP:
this.memoryPool = new HybridOffHeapMemoryPool(memToAllocate, pageSize);
break;
default:
throw new IllegalArgumentException("unrecognized memory type: " + memoryType);
}
通过定位到两个pool对象的构造器,可以看到在实例化构造器的时候就已经将需要预分配的内存分配到位了(当然,这里是针对 preAllocateMemory
为true的调用情景而言),因为如果该参数为false,那么pool构造器的 memToAllocate
将会被置为0。
public HeapMemoryPool(int numInitialSegments, int segmentSize) {
this.availableMemory = new ArrayDeque<byte[]>(numInitialSegments);
this.segmentSize = segmentSize;
for (int i = 0; i < numInitialSegments; i++) {
this.availableMemory.add(new byte[segmentSize]);
}
}
public HybridOffHeapMemoryPool(int numInitialSegments, int segmentSize) {
this.availableMemory = new ArrayDeque<ByteBuffer>(numInitialSegments);
this.segmentSize = segmentSize;
for (int i = 0; i < numInitialSegments; i++) {
this.availableMemory.add(ByteBuffer.allocateDirect(segmentSize));
}
}
针对offheap的内存池对象,分配内存调用的是java SE的API
public static ByteBuffer allocateDirect(int capacity);
该API用于分配一个新的 direct byte buffer
,大小限制即为 capacity
,其他的一切都是不确定的(包括它内部是否是一个byte数组)。
MemoryManager
并没有类似于 open 这样的方法,它的构造器已经包含了这些动作。但它有明确的shutdown方法,主要的作用是:释放内存,清空内存池。
public void shutdown() {
// -------------------- BEGIN CRITICAL SECTION -------------------
synchronized (lock)
{
if (!isShutDown) {
// mark as shutdown and release memory
isShutDown = true;
numNonAllocatedPages = 0;
// go over all allocated segments and release them
for (Set<MemorySegment> segments : allocatedSegments.values()) {
for (MemorySegment seg : segments) {
seg.free();
}
}
memoryPool.clear();
}
}
// -------------------- END CRITICAL SECTION -------------------
}
下面进入到allocate以及release方法,这里因为篇幅的关系,我们只关注核心逻辑。这两个方法都共同拥有一个参数 owner
,说白了就是一个映射关系,谁申请的memory segment,将会挂到谁的名下,释放的时候也从谁的名下删除。大致如下图所示:
allocate:
synchronized (lock)
{
Set<MemorySegment> segmentsForOwner = allocatedSegments.get(owner);
if (segmentsForOwner == null) {
segmentsForOwner = new HashSet<MemorySegment>(numPages);
allocatedSegments.put(owner, segmentsForOwner);
}
if (isPreAllocated) {
for (int i = numPages; i > 0; i--) {
MemorySegment segment = memoryPool.requestSegmentFromPool(owner);
target.add(segment);
segmentsForOwner.add(segment);
}
}
else {
for (int i = numPages; i > 0; i--) {
MemorySegment segment = memoryPool.allocateNewSegment(owner);
target.add(segment);
segmentsForOwner.add(segment);
}
numNonAllocatedPages -= numPages;
}
}
上面的预防性检查就不看了,主要逻辑有三段。先获取该owner下的segment集合,如何不存在,则初始化;然后如果是预分配的模式,则直接从池里取出来,加入到当前owner申请的segment集合中;如果不是预分配模式,则立即分配。
release分为单个memory segment释放以及多segment一起释放。
先来看单个memory segment释放:
synchronized (lock)
{
// remove the reference in the map for the owner
try {
Set<MemorySegment> segsForOwner = this.allocatedSegments.get(owner);
if (segsForOwner != null) {
segsForOwner.remove(segment);
if (segsForOwner.isEmpty()) {
this.allocatedSegments.remove(owner);
}
}
if (isPreAllocated) {
// release the memory in any case
memoryPool.returnSegmentToPool(segment);
}
else {
segment.free();
numNonAllocatedPages++;
}
}
catch (Throwable t) {
throw new RuntimeException("Error removing book-keeping reference to allocated memory segment.", t);
}
}
基本和allocate是相反的逻辑,不过有一点要注意的是,如果当前释放的segment是segsForOwner集合中的最后一个,那么将segsForOwner也从allocatedSegments中移除。
释放多个memory segment:
synchronized (lock)
{
// since concurrent modifications to the collection
// can disturb the release, we need to try potentially multiple times
boolean successfullyReleased = false;
do {
final Iterator<MemorySegment> segmentsIterator = segments.iterator();
Object lastOwner = null;
Set<MemorySegment> segsForOwner = null;
try {
// go over all segments
while (segmentsIterator.hasNext()) {
final MemorySegment seg = segmentsIterator.next();
if (seg == null || seg.isFreed()) {
continue;
}
final Object owner = seg.getOwner();
try {
// get the list of segments by this owner only if it is a different owner than for
// the previous one (or it is the first segment)
if (lastOwner != owner) {
lastOwner = owner;
segsForOwner = this.allocatedSegments.get(owner);
}
// remove the segment from the list
if (segsForOwner != null) {
segsForOwner.remove(seg);
if (segsForOwner.isEmpty()) {
this.allocatedSegments.remove(owner);
}
}
if (isPreAllocated) {
memoryPool.returnSegmentToPool(seg);
}
else {
seg.free();
numNonAllocatedPages++;
}
}
catch (Throwable t) {
throw new RuntimeException(
"Error removing book-keeping reference to allocated memory segment.", t);
}
}
segments.clear();
// the only way to exit the loop
successfullyReleased = true;
}
catch (ConcurrentModificationException e) {
// this may happen in the case where an asynchronous
// call releases the memory. fall through the loop and try again
}
} while (!successfullyReleased);
}
可以看到,核心逻辑跟单个segment的释放并没有太大的不同,但最外层套了个do/while循环,用于在释放失败之后不断重试,直到释放成功为止。这里可能涉及到对正在释放的segments的并发修改产生 ConcurrentModificationException
异常而失败。
还有一个基于owner的释放方法:
public void releaseAll(Object owner) {
逻辑也是大同小异,不再废话。
以上, MemoryManager
的绝大部分方法都介绍完毕,逻辑相对还是比较清晰的。下面简单介绍一下几个内部的Pool,上面也已经提过了。
MemoryPool
是真正跟 MemorySegment
打交道的地方,涉及到申请、分配、回收等操作。它提供了两个实现类,两个pool的实现都采用JDK的 ArrayDeque
(双端队列)作为存储所有内存块引用的数据结构。
对于内存块的类型, HeapMemoryPool
所代表的on-heap内存使用 byte[]
表示,而 HybridOffHeapMemoryPool
所代表的 off-heap
内存使用 ByteBuffer
表示。
注意这里的分类方式不同于我们讲基础数据结构时的 HeapMemorySegement
以及 HybirdMemorySegment
划分方式,这里为了表示内存块的引用,直接区分了on-heap和off-heap,没有所谓的hybird memory segment。
关于pool对象,没有太多特别的,主要是三个接口方法:
ArrayDeque
的remove(首元素出队)方法,获得一个内存块引用,并包装成segment ArrayDeque
的add(入队到尾部)方法,添加内存块引用并调用 MemorySegment
的 free
方法释放该segement 还记得我们在谈Flink内存管理基础数据结构时谈到 DataInputView
及 DataOutputView
。这个包就提供了基于page的对view的进一步实现(并非完整实现,从名字也能看出,它只是个抽象类)。
说得更直白一点就是,它提供了跨越多个memory page的数据访问(input/output)视图。它包含了从page中读取/写入数据的解码/编码方法以及跨越page的边界检查(边界检查主要由实现类来完成)。
说说两个View类都有的几个字段:
AbstractPagedInputView
AbstractPagedOutputView
两个view类都有一些共同的方法,其中的一个是advance,它用于从当前segment切换到下一个segment。
其他的一些方法都是数据输入/输出相关的特定方法。
我们看一个最核心的方法,AbstractPagedOutputView的write方法:
public void write(byte[] b, int off, int len) throws IOException {
int remaining = this.segmentSize - this.positionInSegment;
if (remaining >= len) {
this.currentSegment.put(this.positionInSegment, b, off, len);
this.positionInSegment += len;
}
else {
if (remaining == 0) {
advance();
remaining = this.segmentSize - this.positionInSegment;
}
while (true) {
int toPut = Math.min(remaining, len);
this.currentSegment.put(this.positionInSegment, b, off, toPut);
off += toPut;
len -= toPut;
if (len > 0) {
this.positionInSegment = this.segmentSize;
advance();
remaining = this.segmentSize - this.positionInSegment;
}
else {
this.positionInSegment += toPut;
break;
}
}
}
}
这就是一个跨越多个segment的写数据的核心方法,我们大致分析一下逻辑。
前提说明: remaining
这个变量始终表示, currentSegment
剩余的内存。
首先,判断 remaining
跟len的大小关系,如果
remaining >= len
即剩余空间是足够写入len长度的数据的,那么就直接写入数据,将 positionInSegment
后移len长度
否则,表明 currentSegment
剩余空间不够。首先判断一个临界点,如果没有剩余空间了:
remaining == 0
则直接切换到下一个segment,并重新计算 remaining
。然后进入一个循环:判断,切换segment,计算剩余空间,移动指针。大致是:
在 remaining
和 len
之间取较小值,作为待写入的长度。然后将 toPut
长度的数据写入 currentSegemnt
。然后off指针后移toPut长度(注意,off是指向待写入数据b数组的);同时写入的数据长度len减去已写入的toPut长度。
接着判断,如果是
len > 0
`` 那么说明还是要切换到下一个segment(
currentSegment 不够存)。然后重新计算新的
currentSegment`重新进入循环流程。
否则,说明 remainng
大于 len
,说明数据已经足够存储了,则移动 positionInSegment
指针,然后跳出循环。
那么 AbstractPagedInputView
的read方法也就不难理解了的。
本文分析了Flink的内存管理机制。总得来说有几点是其核心思路: