新的数据抽象模型
- 传统的MapReduce框架运行缓慢
- 有向无环图的中间计算结果需要写入硬盘来防止运行结果丢失
- 每次调用中间计算结果都需要重新进行一次硬盘的读取
- 反复对硬盘进行读写操作以及潜在的数据复制和序列化操作大大地提高了计算的延迟
- RDD是一个基于分布式内存的数据抽象,不仅支持基于工作集的应用,同时具有数据流模型的特点
RDD的定义
RDD表示已被分区、不可变的、并能够被并行操作的数据集合
分区
- 分区代表同一个RDD包含的数据被存储在系统的不同节点中,这是RDD可以被并行处理的前提
- 逻辑上,可以认为RDD是一个大数组,数组中的每个元素代表一个分区
- 在物理存储中,每个分区指向一个存放在内存或硬盘中的数据块,数据块是独立的,可以被存放在系统的不同节点
- RDD只是抽象意义的数据集合,分区内部并不会存储具体的数据
- RDD中的每个分区都存有它在该RDD中的index,通过RDD的ID和分区的index可以唯一确定对应的数据块编号
- 从而通过底层存储层的接口提取到数据进行处理
- 在集群中,各个节点上的数据会尽可能地放在内存中,只有当内存没有空间时才会存入硬盘,最大化地减少硬盘读写的开销
- RDD内部存储的数据是只读的,但可以修改并行计算单元的划分结构,即可以修改分区的数量

不可变性
- 不可变性代表每个RDD都是只读的,它所包含的分区信息不可以被改变
- 已有的RDD不可以被改变,只能对现有的RDD进行转换操作,得到新的RDD作为中间计算结果
- 对于中间结果的RDD,只需记录该RDD是通过哪个RDD进行转换操作得来的,即依赖关系,而不必立刻去具体存储进行计算
- 有助于提升Spark的计算效率,并且使错误恢复更加容易
- 容错特性
- 对于有N步的计算模型,如果记载第N步输出RDD的节点发生故障,数据丢失
- 可以从第N-1步的RDD出发,再次计算,无需重复整个N步计算过程
- 这种容错特性也是RDD为什么是一个弹性的数据集的原因
1 | // 读入文本文件data.txt,创建第一个RDD lines,每个元素是一行文本 |
并行操作
由于单个RDD的分区特性,使得RDD天然支持并行操作,即不同节点上的数据可以被分别处理,然后产生一个新的RDD
RDD的结构

- SparkContext是所有Spark功能的入口,它代表了与Spark节点的连接,用来创建RDD对象以及在节点中的广播变量
- 一个线程只有一个SparkContext
- Partitions代表RDD中数据的逻辑结构,每个Partition都会映射到某个节点内存或硬盘的一个数据块
- Partitioner决定了RDD的分区方式,目前有两种主流的分区方式:Hash partitioner、Range partitioner
依赖关系
- Dependencies是RDD中最重要的组件之一
- Spark不需要将每个中间计算结果进行数据复制以防止数据丢失,因为每一步产生的RDD里面都会存储它的依赖关系
- Spark支持两种依赖关系:窄依赖(Narrow Dependency)、宽依赖(Wide Dependency)
- 窄依赖:父RDD的分区可以一一对应到子RDD的分区
- 窄依赖允许子RDD的每个分区可以被并行处理产生
- 宽依赖:父RDD的分区可以被多个子RDD的分区使用
- 宽依赖必须等父RDD的所有分区都被计算好之后才能开始处理
- 窄依赖:父RDD的分区可以一一对应到子RDD的分区
- 区分窄依赖和宽依赖的原因
- 窄依赖可以支持在同一个节点上链式执行多条命令,而宽依赖需要所有的父分区都是可用的
- 窄依赖的失效恢复更有效,因为只需要重新计算丢失的父分区即可,而宽依赖涉及到RDD各级的父分区
窄依赖

宽依赖

检查点
- 基于RDD的依赖关系,如果任意一个RDD在相应的节点丢失,只需要从上一步的RDD出发再次计算,就能恢复该RDD
- 如果一个RDD的依赖链比较长,而且中间又有多个RDD出现故障的话,进行恢复可能会非常耗费时间和计算资源
- 检查点的引入,就是为了优化这些情况下的数据恢复
- 在计算过程中,对于一些计算过程比较耗时的RDD
- 可以将它缓存至硬盘或HDFS中
- 标记这个RDD被检查点处理过,并清空它的所有依赖关系,同时给它新建一个依赖于CheckpointRDD的依赖关系
- CheckpointRDD可以用来从硬盘中读取RDD并生成新的分区信息
- 当某个子RDD需要错误恢复时,回溯至该RDD,发现它被检查点记录过
- 就可以直接去硬盘中读取该RDD,而无需再往前回溯计算
存储级别
- 存储级别是一个枚举类型,用来记录RDD持久化时的存储级别
- MEMORY_ONLY:只缓存在内存中,如果内存空间不够则不缓存多出来的部分,默认值
- MEMORY_AND_DISK:缓存在内存中,如果空间不够则缓存在硬盘中
- DISK_ONLY:只缓存在硬盘中
- MEMORY_ONLY_2、MEMORY_AND_DISK_2:与上面功能相同,只不过每个分区在集群的两个节点上建立副本
- Spark相比于Hadoop在性能上的提升,可以随时把计算好的RDD缓存在内存中,大幅减少磁盘读写的开销
迭代函数
- 迭代函数(Iterator)和计算函数(Compute)用来表示RDD怎样通过父RDD计算得到的
- 迭代函数首先会判断缓存中是否有想要计算的RDD
- 如果有就直接读取,如果没有就查找想要计算的RDD是否被检查点处理过,如果有,就直接读取
- 如果没有就调用计算函数向上递归,查找父RDD进行计算
RDD的数据操作
- RDD的数据操作分为两种:转换(Transformation)和动作(Action)
- 转换:把一个RDD转换为另一个RDD
- 动作:通过计算返回一个结果
转换
Map
把一个RDD中的所有数据通过一个函数,映射成一个新的RDD,任何原RDD中的元素在新RDD中都有且只有一个元素与之对应
1 | rdd = sc.parallelize(["b", "a", "c"]) |
Filter
选择原RDD里所有数据中满足特定条件的数据,去返回一个新的RDD
1 | rdd = sc.parallelize([1, 2, 3, 4, 5]) |
mapPartitions
- mapPartitions是map的变种,
- map的输入函数是应用于RDD中每个元素
- mapPartitions的输入函数式应用于RDD的每个分区,将每个分区中的内容作为整体来处理
1 | // 创建了两个分区的RDD,mapPartitions的输入函数是对每个分区内的元素求和,1+2=3,3+4=7 |
groupByKey
1 | rdd = sc.parallelize([("a", 1), ("b", 1), ("a", 2)]) |
动作
collect
- RDD中的collect操作与函数式编程中的collect类似,会以数组的形式,返回RDD的所有元素
- collect操作只有在数组所含的数据量较小的时候使用,如果数据量较大,会占用JVM内存,导致内存溢出
1 | rdd = sc.parallelize(["b", "a", "c"]) |
reduce
reduce操作与MapReduce中的reduce类似,会把RDD中的元素根据一个输入函数聚合起来
1 | from operator import add |
count
count操作会返回RDD中元素的个数
1 | sc.parallelize([2, 3, 4]).count() // 3 |
countByKey
countByKey操作仅适用于键值对类型的RDD,返回具有每个Key计数的<Key,Count>的map
1 | rdd = sc.parallelize([("a", 1), ("b", 1), ("a", 1)]) |
区别
- 所有转换操作都很懒,只是生成新的RDD,并且记录依赖关系,但Spark不会立刻计算出新RDD中各个分区的数值
- 直到遇到一个动作时,数据才会被计算,并且输出结果给Driver
- 这种惰性求值的方式可以让Spark的运算更加高效和快速
操作流程
- Spark在每次转换操作时,使用新产生的RDD来记录计算逻辑,这样把作用在RDD上的所有计算逻辑串连起来形成一个链条
- 当对RDD执行动作时,Spark会从计算链的最后一个RDD开始,依次从上一个RDD获取数据并执行计算逻辑,最后输出结果
RDD的持久化(缓存)
- 每当对一个RDD调用新的动作操作时,整个RDD都会从头开始运算
- 如果某个RDD会被反复重用的话,每次都从头计算是非常低效的,应该对多次使用的RDD进行一个持久化操作
- Spark的persist和cache(默认:MEMORY_ONLY)方法支持将RDD的数据缓存至内存或硬盘中
- 当下次对同一个RDD进行动作操作时,可以直接读取RDD的结果,大幅提高Spark的计算效率
- 在缓存RDD时,它所有的依赖关系也会被一并存下来,所以持久化RDD有自动的容错机制
- 如果RDD的任一分区丢失了,通过使用原先创建它的转换操作,它将被自动重算
1 | rdd = sc.parallelize([1, 2, 3, 4, 5]) |