Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

时间:2022-05-22 16:34:37

8.初始化管理器BlockManager

无论是Spark的初始化阶段还是任务提交、执行阶段,始终离不开存储体系。Spark为了避免Hadoop读写磁盘的I/O操作成为性能瓶颈,优先将配置信息、计算结果等数据存入内存,这极大地提升了系统的执行效率。正是因为这一关键决策,才让Spark能在大数据应用中表现出优秀的计算能力。BlockManager是在sparkEnv中被创建的,代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.1 存储体系概述

8.1.1 块管理器BlockManager的实现

块管理器BlockManager是Spark存储体系中的核心组件。Driver Application和Executor都会创建BlockManager,BlockManager是在SparkEnv的创建过程中创建的,BlockManager的实现代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

上面代码中声明的BlockManager主要由以下部分组成:

  • shuffle客户端ShuffleClient;
  • BlockManagerMaster(对存在于所有Executor上的BlockManager统一管理);
  • 磁盘块管理器DiskBlockManager;
  • 内存存储MemoryStor;
  • 磁盘存储DiskStore;
  • 非广播Block清理器metadataCleaner和广播Block清理器broadcastCleaner;

BlockManager要生效,必须要初始化。BlockManager初始化步骤如下:

1) BlockTransferService的初始化和ShuffleClient的初始化。ShuffleClient默认是BlockTransferService,当有外部的ShuffleService时,调用外部ShuffleService的初始化方法。

2) 向BlockManagerMaster注册BlockManagerId。

3) BlockManagerId和ShuffleServerId的创建。当有外部的ShuffleService时,创建新的BlockManagerId,,否则ShuffleServerId默认使用当前BlockManager的BlockManagerId。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.1.2 Spark存储体系架构

Spark存储体系的架构

  • 记号①表示Executor的BlockManager与Driver的BlockManager进行消息通信,例如,注册BlockManager、更新Block信息、获取Block所在的BlockManager、删除Executor等;
  • 记号②表示对BlockManager的读操作(例如get、doGetLocal以及BlockManager内部进行的MemoryStore、DiskStore、getValues等操作)和写操作(例如doPut、putSingle、putBytes以及BlockManager内部进行的MemoryStore、DiskStore、putArray、putIterator等操作);
  • 记号③表示当MemoryStore的内存不足时,写入DiskStore,而DiskStore实际依赖于DiskBlockManager;
  • 记号④表示通过访问远端节点的Executor的BlockManager中的TransportServer提供的RPC服务下载或者上传Block;
  • 记号⑤表示远端节点的Executor的BlockManager访问本地Executor的BlockManager中的TransportServer提供的RPC服务下载或者上传Block;
  • 记号⑥

Spark目前支持HDFS、Amazon S3两种主流分布式存储系统,还使用也诞生于UCBerkeley的AMP实验室的Tachyon这种高效的分布式文件系统作为缓存。

Spark定义了抽象类BlockStore,用于制定所有存储类型的规范。目前BlockStore的具体实现包括MemoryStore、DiskStore和TachyonStore。BlockStore的继承体系如图:

8.2 shuffle服务与客户端

为什么需要把由Netty实现的网络服务组件也放到存储体系里面?这是由于Spark是分布式部署的,每个Task最终都运行在不同的机器节点上。map任务的输出结果直接存储到map任务所在机器的存储体系中,reduce任务极有可能不在同一机器上运行,所以需要远程下载map任务的中间输出。因此将ShuffleClient放到存储体系是最合适的。

ShuffleClient并不像它的名字一样,是shuffle的客户端,它不光是将shuffle文件上传到其他Executor或者下载到本地的客户端,也提供了可以被其他Executor访问的shuffle服务。Spark与Hadoop一样,都采用Netty作为shuffle server。从BlockManager初始化代码中可知,当有外部的ShuffleClient时,新建ExternalShuffleClient,否则默认为BlockTransferService。BlockTransferService只有在其init方法被调用,即被初始化后才提供服务。以默认的NettyBlockTransferService的init方法为例。NettyBlockTransferService的初始化步骤如下:

1) 创建RpcServer;

2) 构造TransportContext;

3) 创建RPC客户端工厂TransportClientFactory;

4) 创建Netty服务器TransportServer,可以修改属性spark.blockManager.port(默认为0,表示随机选择)改变TransportServer的端口。

NettyBlockTransferService的初始化代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

接下来我们逐步讲解Block的RPC,构造TransportContext,创建RPC客户端工厂TransportClientFactory,创建Netty服务器TransportServer的实现。此外还会介绍reduce任务是如何拉取map任务中间结果的(即shuffle过程的数据传输)。

8.2.1 Block的RPC服务

当map任务与reduce任务处于不同节点时,reduce任务需要从远端节点下载map任务的中间输出,因此NettyBlockRpcServer提供打开,即下载Block文件的功能;一些情况下,为了容错,需要将Block的数据备份到其他节点上,所以NettyBlockRpcServer还提供了上传Block文件的RPC服务,NettyBlockRpcServer的实现代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.2.2 构造传输上下文TransportContext

TransportContext用于维护传输上下文,它的构造器如下。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

TransportContext既可以创建Netty服务,也可以创建Netty访问客户端。TransportContext的组成如下:

  • TransportConf:主要控制Netty框架提供的shuffle的I/O交互的客户端和服务端线程数量;
  • RpcHandler:负责shuffle的I/O服务端在接收到客户端的RPC请求后,提供打开Block或者上传Block的RPC处理,此处即为NettyBlockRpcServer;
  • decoder:在shuffle的I/O服务端对客户端传来的ByteBuf进行解析,防止丢包和解析错误;
  • encoder:在shuffle的I/O客户端对消息内容进行编码,防止服务端丢包和解析错误。

8.2.3 RPC客户端工厂TransportClientFactory

TransportClientFactory是创建Netty客户端TransportClient的工厂类,TransportClient用于向Netty服务端发送RPC请求。TransportContext的createClientFactory方法用于创建TransportClientFactory,实现如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

从上述代码清单可以看到,TransportClientFactory由以下部分组成:

  • clientBootstraps:用于缓存客户端列表;
  • connectionPool:用于缓存客户端连接;
  • numConnectionsPerPeer:节点之间取数据的连接数,可以使用属性spark.shuffle.io.numConnectionsPerPeer来配置,默认为1;
  • socketChannelClass:客户端channel被创建时使用的类,可以使用属性spark.shuffle.io.mode来配置,默认为NioSocketChannel;
  • workerGroup:根据Netty的规范,客户端只有work组,所以此处创建workerGroup,实际是NioEventLoopGroup;
  • pooledAllocator:汇集ByteBuf但对本地线程缓存禁用的分配器。

TransportClientFactory里大量使用了NettyUtils。

8.2.4 Netty服务器TransportServer

TransportServer提供了Netty实现的服务器端,用于提供RPC服务(比如上传、下载等)。创建TransportServer的代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

TransportServer的构造器如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

上面代码中的init方法用于对TransportServer初始化,通过使用Netty框架的EventLoopGroup、ServerBootstrap等API创建shuffle的I/O交互的服务端,init的主要代码见代码清单:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

ServerBootstrap的childHandler方法调用了TransportContext的initializePipeline。initializePipeline中创建了TransportChannelHandler,并将它绑定到SocketChannel的pipeline的handler中,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.2.5 获取远程shuffle文件

NettyBlockTransferService的fetchBlocks方法用于获取远程shuffle文件,实际是利用NettyBlockTransferService中创建的Netty服务,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.2.6 上传shuffle文件

NettyBlockTransferService的uploadBlock方法用于上传shuffle文件到远程Executor,实际上也是利用NettyBlockTransferService中创建的Netty服务,见代码如下。NettyBlockTransferService上传Block的步骤如下:

1) 创建Netty服务的客户端,客户端连接的hostname和port正是我们随机选择的BlockManager的hostname和port。

2) 将Block的存储级别StorageLevel序列化。

3) 将Block的ByteBuffer转化为数组,便于序列化。

4) 将appId、execId、blockId、序列化的StorageLevel、转换为数组的Block封装为UploadBlock,并将UploadBlock序列化为字节数组。

5) 最终调用Netty客户端的sendRpc方法将字节数组上传,回调函数RpcResponseCallback根据RPC的结果更改上传状态。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.3 BlockManagerMaster对BlockManager的管理

Driver上的BlockManagerMaster对存在于Executor上的BlockManager统一管理,比如Executor需要向Driver发送注册BlockManager、更新Executor上Block的最新信息、询问所需要Block目前所在的位置以及当Executor运行结束需要将此Executor移除等。但是Driver与Executor却位于不同机器上,该怎么实现呢?Driver上的BlockManagerMaster会持有BlockManagerMasterEndpoint,所有Executor也会从RpcEnv中获取BlockManagerMasterEndpoint的引用,所有Executor与Driver关于BlockManager的交互都依赖于它。

8.3.1 BlockManagerMasterEndpoint

BlockManagerMasterEndpoint只存在于Driver上。Executor从RpcEnv获取BlockManagerMasterEndpoint的引用,然后给BlockManagerMasterEndpoint发送消息,实现和Driver交互。BlockManagerMasterEndpoint的实现见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

上面代码展示了BlockManagerMasterEndpoint维护的很多缓存数据结构:

  • blockManagerInfo:缓存所有的BlockManagerId及其BlockManager的信息;
  • blockManagerIdByExecutor:缓存executorId与其拥有的BlockManagerId之间的映射关系;
  • blockLocations:缓存Block与BlockManagerId的映射关系。

在上述代码中,receiveAndReply作为匹配BlockManagerMasterEndpoint接收到消息的偏函数;属性spark.blockManagerSlaveTimeoutMs和spark.executor.heartbeatInterval共同决定Slave节点,即BlockManager的超时时间;属性spark.storage.blockManagerTimeoutIntervalMs指定检查BlockManager超时的时间间隔。

8.3.2 询问Driver并获取回复方法

在Executor的BlockManager中,所有与Driver上BlockManagerMaster的交互方法最终都调用askWithRetry,可见它是一个最基础的方法,封装为updateId方法,它的代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

此外,tell方法作为askWithRetry的代理也经常被调用,代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.3.3 向BlockManagerMaster注册BlockManagerId

Executor或者Driver自身的BlockManager在初始化时,需要向Driver的BlockManagerMaster注册BlockManager信息,代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

从上面代码看到,消息内容包括BlockManagerId、最大内存、BlockManagerSlaveEndpoint。消息体带有BlockManagerSlaveEndpoint是为了便于接受BlockManagerMasterEndpoint回复的消息。这些消息被封装为RegisterBlockManager,并调用刚刚8.3.2节介绍的updateId方法。根据之前的分析,RegisterBlockManager消息会被BlockManagerMasterEndpoint匹配并执行register方法注册BlockManager,并在register方法执行结束后向发送者BlockManager,并在register方法执行结束后向发送者BlockManagerslaveEndpoint发送一个简单的消息true。注册BlockManager的实现代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

register方法确保blockManagerInfo持有消息中的blockManagerId及对应信息,并且确保每个Executor最多只能有一个blockManagerId,旧的blockManagerId会被移除。最后向listenerBus中post(推送)一个SparkListenerBlockManagerAdded事件。

8.4 磁盘块管理器DiskBlockManager

8.4.1 DiskBlockManager的构造过程

BlockManager初始化时会创建DiskBlockManager,DiskBlockManager的构造步骤如下:

1) 调用createLocalDirs方法创建本地文件目录,然后创建二维数组subDirs,用来缓存一级目录localDirs及二级目录,其中二级目录的数量根据配置spark.diskStore.subDircectories获取,默认为64.以笔者本地为例,创建的目录为:C:\Users\{username}\AppData\Local\Temp\spark-012f256-5040-b0ch-24434342391df0sd\spark-34663dsf,其中spark-012f256-5040-b0ch-24434342391df0sd是一级目录,spark-34663dsf是二级目录,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

注意:createLocalDirs方法具体创建目录的过程实际调用了Utils的createDirectory方法。

2) 添加运行时环境结束时的钩子,用于在进程关闭时创建线程,通过调用DiskBlockManager的stop方法,清除一些临时目录,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

DiskBlockManager为什么要创建二级目录结构呢?这是因为二级目录用于对文件进行散列存储,散列存储可以使所有文件都随机存放,写入或删除文件更方便,存取速度快,节省空间。

8.4.2 获取磁盘文件方法getFile

很多代码中都使用DiskBlockManager的getFile方法,获取磁盘上的文件,通过对getFile的分析,能够掌握spark磁盘散列文件存储的实现机制。getFile方法的实现见代码如下,其处理步骤为:

1) 根据文件名计算哈希值。

2) 根据哈希值与本地文件一级目录的总数求余数,记为dirId。

3) 根据哈希值与本地文件一级目录的总数求商数,此商数与二级目录的数目再求余数,记为subDirId。

4) 如果dirId/subDirId目录存在,则获取dirId/subDirId目录下的文件,否则新建dirId/subDirId目录。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.4.3 创建临时Block方法createTempShuffleBlock

当ShuffleMapTask运行结束需要把中间结果临时保存,此时就调用createTempShuffleBlock方法创建临时的Block,并返回TempShuffleBlockId与其文件的对偶,见代码如下,TempShuffleBlockId的生成规则:“temp_shuffle_”后加上UUID字符串。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.5 磁盘存储DiskStore

当MemoryStore没有足够空间时,就会使用DiskStore将块存入磁盘。DiskStore继承自BlockStore,并实现了getBytes、putBytes、putArray、putIterator等方法。

8.5.1 NIO读取方法getBytes

DiskStore的getBytes方法通过DiskBlockManager的getFile方法获取文件。然后使用NIO将文件读取到ByteBuffer,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.5.2 NIO写入方法putBytes

putBytes方法的作用是通过DiskBlockManager的getFile方法获取文件。然后使用NIO的Channel将ByteBuffer写入文件,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.6 内存存储MemoryStore

MemoryStore负责将没有序列化的Java对象数组或者序列化的ByteBuffer存储到内存中。我们先来看看MemoryStore的数据结构,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

MemoryStore的内存模型图

从图中看出,整个MemoryStore的存储分为两块:一块是被很多MemoryEntry占据的内存currentMemory,这些MemoryEntry实际是通过entries(即LinkedHashMap[BlockId, MemoryEntry])持有的;另一块是unrollMemoryMap通过占座方式占用的内存currentUnrollMemory。所谓占座,好比教室里空着的座位,有人在座位上放上书本,以防在需要坐的时候,却发现没有位置了。比起人的行为,unrollMemoryMap占座的出发点是“高尚”的,这样可以防止在向内存真正写入数据时,内存不足发生溢出。每个线程实际占用的空间,其实是vector(即SizeTrackingVector)占用的大小,但是unrollMemoryMap的大小会稍大些。

结合代码和图解释一些概念:

  • maxUnrollMemory:当前Driver或者Executor最多展开的Block所占用的内存,可以修改属性spark.storage.unrollFraction改变大小;
  • maxMemory:当前Driver或者Executor的最大内存;
  • currentMemory:当前Driver或者Executor已经使用的内存;
  • freeMemory:当前Driver或者Executor未使用的内存,freeMemory = maxMemory - currentMemory;
  • currentUnrollMemory:unrollMemoryMap中所有展开的Block的内存之和,即当前Driver或者Executor中所有线程展开的Block的内存之和;
  • unrollMemoryMap:当前Driver或者Executor中所有线程展开的Block都存入此Map中,key为线程Id,value为线程展开的所有块的内存的大小总和。

8.6.1 数据存储方法putBytes

如果Block可以被反序列化(即存储级别StorageLevel.Deserialized等于true),那么先对Block序列化,然后调用putIterator;否则调用tryToput方法,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.6.2 Iterator写入方法putIteratorAsBytes详解

MemoryStore的putIteratorAsBytes方法的实现见如下。

8.6.3 安全展开方法unrollSafely

8.6.4 确认空闲内存方法ensureFreeSpace

8.6.5 内存写入方法putArray

8.6.6 尝试写入内存方法tryToPut

8.6.7 获取内存数据方法getBytes

getBytes方法用于从entries中获取MemoryEntry,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.6.8 获取数据方法getValues

getValues也用于从内存中获取数据,即从entries中获取MemoryEntry,并将value返回

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7 块管理器BlockManager

已经介绍了BlockManager中的主要组件,现在来看看BlockManager自身的实现。

8.7.1 移出内存方法dropFromMemory

当内存不足时,可能需要腾出部分内存空间。dropFromMemory实现了这个功能,它的处理步骤如下:

1) 从blockInfo:HashMap[BlockId, BlockInfo]中检查是否存在要迁移的blockId。如果存在,从BlockInfo中获取Block的StorageLevel。

2) 如果StorageLevel允许存入硬盘,并且DiskStore中不存在此文件,那么调用DiskStore的putBytes方法,将此Block存入硬盘。

3) 从MemoryStore中清除此BlockId对应的Block。

4) 使用getCurrentBlockStatus方法获取Block的最新状态。如果此Block的tellMaster属性为true,则调用reportBlockStatus方法给BlockManagerMasterEndpoint报告状态。

5) 更新TaskMetrics中Block的状态。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.2 状态报告方法reportBlockStatus

reportBlockStatus用于向BlockManagerMasterEndpoint报告Block的状态并且重新注册BlockManager。reportBlockStatus的实现见代码,它的处理步骤如下:

1) 调用tryToReportBlockStatus方法,tryToReportBlockStatus调用了BlockManagerMaster的updateBlockInfo方法向BlockManagerMasterEndpoint发送UpdateBlockInfo消息更新Block占用的内存大小、磁盘大小、存储级别等信息。

2) 如果BlockManager还没有向BlockManagerMasterEndpoint注册,则调用asyncReregister方法,asyncReregister调用了reregister,最后reregister实际调用了BlockManagerMaster的registerBlockManager方法和reportAllBlocks方法,reportAllBlocks方法实际也是调用了tryToReportBlockStatus。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

BlockManagerMaster的updateBlockInfo,代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

从上面updateBlockInfo方法的实现中发现它也调用了我们熟悉的askDriverWithReply方法,只不过消息是UpdateBlockInfo。BlockManagerMasterEndpoint接收后会调用updateBlockInfo方法更新blockManagerInfo及blockLocations等信息。

8.7.3 单对象块写入方法putSingle

putSingle方法用于将由一个对象构成的Block写入存储系统。putSingle经过调用,实际调用了doPut方法,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.4 序列化字节块写入方法putBytes

putBytes方法用于将序列化字节组成的Block写入存储系统,putBytes实际也调用了doPut方法,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.5 数据写入方法doPut

putSingle、putBytes等方法真正的数据写入实际由doPut实现,doPut的处理流程如图:

doPut的处理步骤如下:

1) 获取putBlockInfo。如果blockInfo中已经缓存了BlockInfo,则使用缓存的BlockInfo,否则使用新建的BlockInfo。获取PutBlockInfo的实现,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

2) 获取块最终使用的存储级别putLevel,根据putLevel判断块写入的BlockStore,从代码中可以看到,优先使用MemoryStorce;

3) xxxxxx

4) 如果putLevel.replication大于1,即为了容错考虑,数据的备份数量大于1的时候,需要将记录写入日志;

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.7 创建DiskBlockObjectWriter的方法getDiskWriter

getDiskWriter用于创建DiskBlockObjectWriter,见代码。属性spark.shuffle.sync决定写操作是同步还是异步。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.8 获取本地Block数据方法getBlockData

getBlockData用于从本地获取Block的数据,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

getBlockData的处理实现如下:

1) 如果Block是ShuffleMapTask的输出,那么多个partition的中间结果都写入了同一个文件,怎样读取不同partition的中间结果?IndexShuffleBlockManager的getBlockData方法解决了这个问题。

2) 如果Block是ResultTask的输出,则使用doGetLocal来获取本地中间结果数据。

8.7.9 获取本地shuffle数据方法doGetLocal

当reduce任务与map任务处于同一节点时,不需要远程拉取,只需调取doGetLocalBytes方法从本地获取中间处理结果即可。doGetLocalBytes的实现见代码如下,其处理步骤如下:

1) 如果Block允许使用内存,则调用MemoryStore的getValues或者getBytes方法获取。

2) 如果Block允许使用DiskStore,则调用DiskStore的getBytes方法获取。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.10 获取远程Block数据方法doGetRemote

getRemoteBytes用于从远端节点上获取Block数据,见代码如下。其处理步骤如下:

1) 向BlockManagerMasterEndpoint发送GetLocations消息获取Block数据存储的BlockManagerId。如果Block数据复制份数多于1个,则会返回多个BlockManagerId,对这些BlockManagerId洗牌,避免总是从一个远程BlockManager获取Block数据。发送GetLocations消息使用了getLocations方法,代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

2) 根据返回的BlockManagerId信息,使用BlockTransferService远程同步获取Block数据。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.11 获取Block数据方法get

get方法用于通过BlockId获取Block。get方法在实现上首先从本地获取,如果没有则去远程获取,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.7.12 数据流序列化方法dataSerializeStream

如果写入存储体系的数据本身是序列化的,那么读取时应该对其反序列化。dataSerializeStream方法使用compressionCodec对文件输入流进行压缩和序列化处理,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

4.9 metadataCleaner和broadcastCleaner

为了有效利用磁盘空间和内存,metadataCleaner和broadcastCleaner分别用于清除blockInfo(HashMap[BlockId, BlockInfo])中很久不用的非广播和广播Block信息。

8.10 缓存管理器CacheManager

8.11 压缩算法

为了节省磁盘存储空间,有些情况下需要对Block进行压缩。根据配置属性spark.io.compression.codec来确定要使用的压缩算法(默认为snappy,此压缩算法在牺牲少量压缩比例的条件下,却极大地提高了压缩速度),并生成SnappyCompressionCodec的实例,见代码:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.12 磁盘写入实现DiskBlockObjectWriter

DiskBlockObjectWriter被用于输出Spark任务的中间计算结果。在DiskBlockObjectWriter的commitAndGet方法中创建文件分片FileSegment(FileSegment记录分片的起始、结束偏移量),代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

下面我们逐个讲解DiskBlockObjectWriter的其他方法,包括open、write、close、commitAndGet。

1. 打开一个文件输出流

DiskBlockObjectWriter的open方法,利用NIO、压缩、缓存、序列化方式打开一个文件输出流,见代码:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

2. 写入文件

DiskBlockObjectWriter的write方法用于将数据写入文件,并更新测量信息,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

3. 关闭文件输出流

DiskBlockObjectWriter的close方法用于关闭文件输出流,并更新测量信息,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

4. 缓存数据提交

DiskBlockObjectWriter的commitAndGet方法将缓存数据写入磁盘并关闭缓存,然后更新测量数据,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.13 块索引shuffle管理器IndexShuffleBlockResolver

IndexShuffleBlockResolver通常用于获取Block索引文件,并根据索引文件读取Block文件的数据。

1. 获取shuffle文件方法getBlockData

有时候我们不知道Block的BlockId,所以无法使用BlockManager的get方法获取Block。如果知道ShuffleBlockId,我们依然可以通过ShuffleBlockId记录的shuffleId和mapId获取Block。ShuffleBlockId的格式如下。

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

按照此格式生成的ShuffleBlockId能够关联shuffleId、mapId和reduceId的信息,例如,shuffle_0_0_0、shuffle_0_1_0等。

getBlockData方法根据shuffleId和mapId(即partitionId)读取索引文件,从索引文件中获得partition计算中间结果写入文件的偏移量和中间结果的大小,根据此偏移量和大小读取文件中partition的中间计算结果,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

2. 获取shuffle数据文件方法getDataFile

getDataFile的实现代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

getDataFile的实质是调用diskBlockManager的getFile方法。

3. 索引文件偏移量记录方法writeIndexFileAndCommit

writeIndexFileAndCommit方法用于在Block索引文件中记录各个partition的偏移量信息,便于下游Stage的任务读取,见代码如下:

Spark源码剖析 - SparkContext的初始化(八)_初始化管理器BlockManager

8.14 shuffle内存管理器ShuffleMemoryManager

ShuffleMemoryManager用于执行shuffle操作的线程分配内存池。每种磁盘溢出集合(如ExternalAppendOnlyMap和ExternalSorter)都能从这个内存池获得内存。当溢出集合的数据已经输出到存储系统,获得的内存会释放。当线程执行的任务结束,整个内存池都会被Executor释放。ShuffleMemoryManager会保证每个线程都能合理地共享内存,而不会使得一些线程获得了很大的内存,导致其他线程经常不得不将溢出的数据写入磁盘。

尝试获得内存方法tryToAcquire

此方法用于当前线程尝试获得numBytes大小的内存,并返回实际获得的内存大小,见代码如下:

好像没有这个类ShuffleMemoryManager