RDD 编程指南

概述

从高层次来看,每个 Spark 应用程序都包含一个驱动程序,它运行用户的 main 函数并在集群上执行各种并行操作。Spark 提供的主要抽象是*弹性分布式数据集* (RDD),它是一个在集群节点上分区并可以并行操作的元素集合。RDD 的创建可以通过 Hadoop 文件系统(或任何其他 Hadoop 支持的文件系统)中的文件,或者驱动程序中现有的 Scala 集合开始,然后进行转换。用户也可以要求 Spark 将 RDD *持久化*到内存中,使其能够在并行操作中高效重用。最后,RDD 可以自动从节点故障中恢复。

Spark 中的第二个抽象是可以在并行操作中使用的*共享变量*。默认情况下,当 Spark 将一个函数作为一组任务并行运行在不同节点上时,它会将函数中使用的每个变量的副本发送到每个任务。有时,一个变量需要在任务之间或任务与驱动程序之间共享。Spark 支持两种类型的共享变量:*广播变量*,可用于在所有节点上缓存内存中的值;以及*累加器*,是只能进行“添加”操作的变量,例如计数器和求和器。

本指南将展示 Spark 支持的每种语言中的这些功能。如果您启动 Spark 的交互式 Shell – Scala Shell 的 bin/spark-shell 或 Python Shell 的 bin/pyspark,将更容易理解。

链接 Spark

Spark 4.0.0 支持 Python 3.9+。它可以使用标准的 CPython 解释器,因此可以使用 NumPy 等 C 库。它也支持 PyPy 7.3.6+。

Python 中的 Spark 应用程序可以通过 bin/spark-submit 脚本(运行时包含 Spark)运行,或者通过将其包含在 setup.py 中来运行,如下所示:

    install_requires=[
        'pyspark==4.0.0'
    ]

要在不通过 pip 安装 PySpark 的情况下运行 Python Spark 应用程序,请使用 Spark 目录中的 bin/spark-submit 脚本。此脚本将加载 Spark 的 Java/Scala 库,并允许您向集群提交应用程序。您也可以使用 bin/pyspark 启动交互式 Python Shell。

如果您希望访问 HDFS 数据,您需要使用链接到您的 HDFS 版本的 PySpark 构建。Spark 主页上也提供了常见 HDFS 版本的预构建包。

最后,您需要将一些 Spark 类导入到您的程序中。添加以下行:

from pyspark import SparkContext, SparkConf

PySpark 要求驱动程序和工作节点使用相同的小版本 Python。它使用 PATH 中的默认 Python 版本,您可以通过 PYSPARK_PYTHON 指定要使用的 Python 版本,例如:

$ PYSPARK_PYTHON=python3.8 bin/pyspark
$ PYSPARK_PYTHON=/path-to-your-pypy/pypy bin/spark-submit examples/src/main/python/pi.py

Spark 4.0.0 默认构建并分发以支持 Scala 2.13。(Spark 也可以构建以支持其他 Scala 版本。)要用 Scala 编写应用程序,您需要使用兼容的 Scala 版本(例如 2.13.X)。

要编写 Spark 应用程序,您需要添加对 Spark 的 Maven 依赖。Spark 可通过 Maven Central 获取,地址为:

groupId = org.apache.spark
artifactId = spark-core_2.13
version = 4.0.0

此外,如果您希望访问 HDFS 集群,您需要为您的 HDFS 版本添加 hadoop-client 依赖。

groupId = org.apache.hadoop
artifactId = hadoop-client
version = <your-hdfs-version>

最后,您需要将一些 Spark 类导入到您的程序中。添加以下行:

import org.apache.spark.SparkContext
import org.apache.spark.SparkConf

(在 Spark 1.3.0 之前,您需要显式 import org.apache.spark.SparkContext._ 来启用必要的隐式转换。)

Spark 4.0.0 支持lambda 表达式来简洁地编写函数,否则您可以使用 org.apache.spark.api.java.function 包中的类。

请注意,Spark 2.2.0 中已移除对 Java 7 的支持。

要在 Java 中编写 Spark 应用程序,您需要添加对 Spark 的依赖。Spark 可通过 Maven Central 获取,地址为:

groupId = org.apache.spark
artifactId = spark-core_2.13
version = 4.0.0

此外,如果您希望访问 HDFS 集群,您需要为您的 HDFS 版本添加 hadoop-client 依赖。

groupId = org.apache.hadoop
artifactId = hadoop-client
version = <your-hdfs-version>

最后,您需要将一些 Spark 类导入到您的程序中。添加以下行:

import org.apache.spark.api.java.JavaSparkContext;
import org.apache.spark.api.java.JavaRDD;
import org.apache.spark.SparkConf;

初始化 Spark

Spark 程序首先必须创建一个 SparkContext 对象,它告诉 Spark 如何访问集群。要创建 SparkContext,您首先需要构建一个 SparkConf 对象,其中包含有关您应用程序的信息。

conf = SparkConf().setAppName(appName).setMaster(master)
sc = SparkContext(conf=conf)

Spark 程序首先必须创建一个 SparkContext 对象,它告诉 Spark 如何访问集群。要创建 SparkContext,您首先需要构建一个 SparkConf 对象,其中包含有关您应用程序的信息。

每个 JVM 只能有一个 SparkContext 处于活动状态。在创建新的 SparkContext 之前,您必须先 stop() 当前活动的 SparkContext。

val conf = new SparkConf().setAppName(appName).setMaster(master)
new SparkContext(conf)

Spark 程序首先必须创建一个 JavaSparkContext 对象,它告诉 Spark 如何访问集群。要创建 SparkContext,您首先需要构建一个 SparkConf 对象,其中包含有关您应用程序的信息。

SparkConf conf = new SparkConf().setAppName(appName).setMaster(master);
JavaSparkContext sc = new JavaSparkContext(conf);

appName 参数是您的应用程序在集群 UI 上显示的名称。master 是 Spark 或 YARN 集群的 URL,或者是一个特殊的“local”字符串以在本地模式下运行。实际上,当在集群上运行时,您不会希望在程序中硬编码 master,而是通过 spark-submit 启动应用程序并在那里接收它。然而,对于本地测试和单元测试,您可以传递“local”以在进程内运行 Spark。

使用 Shell

在 PySpark Shell 中,一个特殊的、解释器感知的 SparkContext 已经为您创建,位于名为 sc 的变量中。创建您自己的 SparkContext 将不起作用。您可以使用 --master 参数设置上下文连接的 master,并且可以通过向 --py-files 传递逗号分隔的列表来将 Python .zip、.egg 或 .py 文件添加到运行时路径。有关第三方 Python 依赖项,请参阅Python 包管理。您还可以通过向 --packages 参数提供逗号分隔的 Maven 坐标列表,将依赖项(例如 Spark Packages)添加到您的 Shell 会话中。任何可能存在依赖项的其他仓库(例如 Sonatype)都可以传递给 --repositories 参数。例如,要在恰好四个核心上运行 bin/pyspark,请使用:

$ ./bin/pyspark --master "local[4]"

或者,要将 code.py 也添加到搜索路径(以便稍后能够 import code),请使用:

$ ./bin/pyspark --master "local[4]" --py-files code.py

有关选项的完整列表,请运行 pyspark --help。在幕后,pyspark 调用了更通用的spark-submit 脚本

也可以在 IPython(增强型 Python 解释器)中启动 PySpark Shell。PySpark 支持 IPython 1.0.0 及更高版本。要使用 IPython,在运行 bin/pyspark 时将 PYSPARK_DRIVER_PYTHON 变量设置为 ipython

$ PYSPARK_DRIVER_PYTHON=ipython ./bin/pyspark

要使用 Jupyter Notebook(以前称为 IPython Notebook),

$ PYSPARK_DRIVER_PYTHON=jupyter PYSPARK_DRIVER_PYTHON_OPTS=notebook ./bin/pyspark

您可以通过设置 PYSPARK_DRIVER_PYTHON_OPTS 来自定义 ipythonjupyter 命令。

Jupyter Notebook 服务器启动后,您可以从“文件”选项卡创建新笔记本。在笔记本内部,您可以在开始从 Jupyter Notebook 尝试 Spark 之前,将命令 %pylab inline 作为笔记本的一部分输入。

在 Spark Shell 中,一个特殊的、解释器感知的 SparkContext 已经为您创建,位于名为 sc 的变量中。创建您自己的 SparkContext 将不起作用。您可以使用 --master 参数设置上下文连接的 master,并且可以通过向 --jars 参数传递逗号分隔的列表来将 JAR 添加到 classpath。您还可以通过向 --packages 参数提供逗号分隔的 Maven 坐标列表,将依赖项(例如 Spark Packages)添加到您的 Shell 会话中。任何可能存在依赖项的其他仓库(例如 Sonatype)都可以传递给 --repositories 参数。例如,要在恰好四个核心上运行 bin/spark-shell,请使用:

$ ./bin/spark-shell --master "local[4]"

或者,要将 code.jar 也添加到其 classpath,请使用:

$ ./bin/spark-shell --master "local[4]" --jars code.jar

要使用 Maven 坐标包含依赖项:

$ ./bin/spark-shell --master "local[4]" --packages "org.example:example:0.1"

有关选项的完整列表,请运行 spark-shell --help。在幕后,spark-shell 调用了更通用的spark-submit 脚本

弹性分布式数据集 (RDD)

Spark 围绕着*弹性分布式数据集* (RDD) 的概念展开,它是一个容错的元素集合,可以并行操作。创建 RDD 有两种方式:在驱动程序中*并行化*现有集合,或引用外部存储系统中的数据集,例如共享文件系统、HDFS、HBase 或任何提供 Hadoop InputFormat 的数据源。

并行化集合

通过在驱动程序中对现有可迭代对象或集合调用 SparkContextparallelize 方法来创建并行化集合。集合中的元素被复制以形成一个可以并行操作的分布式数据集。例如,以下是如何创建一个包含数字 1 到 5 的并行化集合:

data = [1, 2, 3, 4, 5]
distData = sc.parallelize(data)

创建后,分布式数据集 (distData) 可以并行操作。例如,我们可以调用 distData.reduce(lambda a, b: a + b) 来将列表元素相加。我们稍后会介绍分布式数据集上的操作。

通过在驱动程序中对现有集合(一个 Scala Seq)调用 SparkContextparallelize 方法来创建并行化集合。集合中的元素被复制以形成一个可以并行操作的分布式数据集。例如,以下是如何创建一个包含数字 1 到 5 的并行化集合:

val data = Array(1, 2, 3, 4, 5)
val distData = sc.parallelize(data)

创建后,分布式数据集 (distData) 可以并行操作。例如,我们可以调用 distData.reduce((a, b) => a + b) 来将数组元素相加。我们稍后会介绍分布式数据集上的操作。

通过在驱动程序中对现有 Collection 调用 JavaSparkContextparallelize 方法来创建并行化集合。集合中的元素被复制以形成一个可以并行操作的分布式数据集。例如,以下是如何创建一个包含数字 1 到 5 的并行化集合:

List<Integer> data = Arrays.asList(1, 2, 3, 4, 5);
JavaRDD<Integer> distData = sc.parallelize(data);

创建后,分布式数据集 (distData) 可以并行操作。例如,我们可以调用 distData.reduce((a, b) -> a + b) 来将列表元素相加。我们稍后会介绍分布式数据集上的操作。

并行集合的一个重要参数是将数据集切分成多少个*分区*。Spark 将为集群的每个分区运行一个任务。通常,您希望集群中的每个 CPU 有 2-4 个分区。通常,Spark 会尝试根据您的集群自动设置分区数量。但是,您也可以通过将其作为第二个参数传递给 parallelize 来手动设置(例如 sc.parallelize(data, 10))。注意:代码中的某些地方使用术语 slices(分区的同义词)来保持向后兼容性。

外部数据集

PySpark 可以从 Hadoop 支持的任何存储源创建分布式数据集,包括本地文件系统、HDFS、Cassandra、HBase、Amazon S3 等。Spark 支持文本文件、SequenceFiles 和任何其他 Hadoop InputFormat

文本文件 RDD 可以使用 SparkContexttextFile 方法创建。此方法接受文件的 URI(可以是机器上的本地路径,也可以是 hdfs://s3a:// 等 URI),并将其作为行集合读取。以下是调用示例:

>>> distFile = sc.textFile("data.txt")

创建后,distFile 可以通过数据集操作进行处理。例如,我们可以使用 mapreduce 操作将所有行的长度相加,如下所示:distFile.map(lambda s: len(s)).reduce(lambda a, b: a + b)

Spark 读取文件的一些注意事项

  • 如果使用本地文件系统中的路径,则该文件也必须在工作节点上的相同路径可访问。要么将文件复制到所有工作节点,要么使用网络挂载的共享文件系统。

  • Spark 所有基于文件的输入方法,包括 textFile,都支持对目录、压缩文件和通配符进行操作。例如,您可以使用 textFile("/my/directory")textFile("/my/directory/*.txt")textFile("/my/directory/*.gz")

  • textFile 方法还接受一个可选的第二个参数,用于控制文件的分区数量。默认情况下,Spark 为文件的每个块创建一个分区(HDFS 中块的默认大小为 128MB),但您也可以通过传递更大的值来请求更多的分区。请注意,分区数量不能少于块的数量。

除了文本文件,Spark 的 Python API 还支持其他几种数据格式:

  • SparkContext.wholeTextFiles 允许您读取包含多个小文本文件的目录,并将它们作为 (filename, content) 对返回。这与 textFile 不同,textFile 会为每个文件中的每行返回一条记录。

  • RDD.saveAsPickleFileSparkContext.pickleFile 支持以一种简单的格式保存 RDD,该格式由 pickled Python 对象组成。pickle 序列化使用批处理,默认批处理大小为 10。

  • SequenceFile 和 Hadoop 输入/输出格式

注意:此功能目前标记为 Experimental(实验性),旨在供高级用户使用。将来可能会被基于 Spark SQL 的读写支持所取代,届时 Spark SQL 将是首选方法。

Writable 支持

PySpark SequenceFile 支持在 Java 内部加载键值对的 RDD,将 Writable 类型转换为基本的 Java 类型,然后使用 pickle 序列化生成的 Java 对象。当将键值对的 RDD 保存到 SequenceFile 时,PySpark 执行相反的操作:它将 Python 对象反序列化为 Java 对象,然后将它们转换为 Writable 类型。以下 Writable 类型会自动转换:

Writable 类型Python 类型
Textstr
IntWritableint
FloatWritablefloat
DoubleWritablefloat
BooleanWritablebool
BytesWritablebytearray
NullWritableNone
MapWritabledict

数组不能开箱即用。用户在读写时需要指定自定义的 ArrayWritable 子类型。在写入时,用户还需要指定自定义转换器,将数组转换为自定义的 ArrayWritable 子类型。在读取时,默认转换器会将自定义的 ArrayWritable 子类型转换为 Java Object[],然后这些对象会被 pickled 为 Python 元组。要获取原始类型数组的 Python array.array,用户需要指定自定义转换器。

保存和加载 SequenceFiles

与文本文件类似,可以通过指定路径来保存和加载 SequenceFiles。可以指定键和值类,但对于标准 Writable 类型则不需要。

>>> rdd = sc.parallelize(range(1, 4)).map(lambda x: (x, "a" * x))
>>> rdd.saveAsSequenceFile("path/to/file")
>>> sorted(sc.sequenceFile("path/to/file").collect())
[(1, u'a'), (2, u'aa'), (3, u'aaa')]

保存和加载其他 Hadoop 输入/输出格式

PySpark 还可以读取任何 Hadoop InputFormat 或写入任何 Hadoop OutputFormat,支持“新”和“旧”的 Hadoop MapReduce API。如果需要,可以将 Hadoop 配置作为 Python 字典传入。以下是使用 Elasticsearch ESInputFormat 的示例:

$ ./bin/pyspark --jars /path/to/elasticsearch-hadoop.jar
>>> conf = {"es.resource" : "index/type"}  # assume Elasticsearch is running on localhost defaults
>>> rdd = sc.newAPIHadoopRDD("org.elasticsearch.hadoop.mr.EsInputFormat",
                             "org.apache.hadoop.io.NullWritable",
                             "org.elasticsearch.hadoop.mr.LinkedMapWritable",
                             conf=conf)
>>> rdd.first()  # the result is a MapWritable that is converted to a Python dict
(u'Elasticsearch ID',
 {u'field1': True,
  u'field2': u'Some Text',
  u'field3': 12345})

请注意,如果 InputFormat 仅依赖于 Hadoop 配置和/或输入路径,并且键和值类可以根据上述表格轻松转换,则此方法适用于此类情况。

如果您有自定义的序列化二进制数据(例如从 Cassandra / HBase 加载数据),那么您首先需要将这些数据在 Scala/Java 端转换为可以由 pickle 的 pickler 处理的格式。为此提供了一个 Converter trait。只需扩展此 trait 并在 convert 方法中实现您的转换代码即可。请记住,确保此类别以及访问您的 InputFormat 所需的任何依赖项都打包到您的 Spark 作业 jar 中,并包含在 PySpark classpath 中。

有关使用自定义转换器使用 Cassandra / HBase InputFormatOutputFormat 的示例,请参阅Python 示例Converter 示例

Spark 可以从 Hadoop 支持的任何存储源创建分布式数据集,包括本地文件系统、HDFS、Cassandra、HBase、Amazon S3 等。Spark 支持文本文件、SequenceFiles 和任何其他 Hadoop InputFormat

文本文件 RDD 可以使用 SparkContexttextFile 方法创建。此方法接受文件的 URI(可以是机器上的本地路径,也可以是 hdfs://s3a:// 等 URI),并将其作为行集合读取。以下是调用示例:

scala> val distFile = sc.textFile("data.txt")
distFile: org.apache.spark.rdd.RDD[String] = data.txt MapPartitionsRDD[10] at textFile at <console>:26

创建后,distFile 可以通过数据集操作进行处理。例如,我们可以使用 mapreduce 操作将所有行的长度相加,如下所示:distFile.map(s => s.length).reduce((a, b) => a + b)

Spark 读取文件的一些注意事项

  • 如果使用本地文件系统中的路径,则该文件也必须在工作节点上的相同路径可访问。要么将文件复制到所有工作节点,要么使用网络挂载的共享文件系统。

  • Spark 所有基于文件的输入方法,包括 textFile,都支持对目录、压缩文件和通配符进行操作。例如,您可以使用 textFile("/my/directory")textFile("/my/directory/*.txt")textFile("/my/directory/*.gz")。当读取多个文件时,分区的顺序取决于文件系统返回文件的顺序。它可能(也可能不)遵循文件按路径的字典顺序。在一个分区内,元素的顺序是根据它们在底层文件中的顺序排列的。

  • textFile 方法还接受一个可选的第二个参数,用于控制文件的分区数量。默认情况下,Spark 为文件的每个块创建一个分区(HDFS 中块的默认大小为 128MB),但您也可以通过传递更大的值来请求更多的分区。请注意,分区数量不能少于块的数量。

除了文本文件,Spark 的 Scala API 还支持其他几种数据格式:

  • SparkContext.wholeTextFiles 允许您读取包含多个小文本文件的目录,并将它们作为 (filename, content) 对返回。这与 textFile 不同,textFile 会为每个文件中的每行返回一条记录。分区由数据局部性决定,在某些情况下可能会导致分区过少。对于这些情况,wholeTextFiles 提供了一个可选的第二个参数,用于控制最小分区数量。

  • 对于 SequenceFiles,使用 SparkContextsequenceFile[K, V] 方法,其中 KV 是文件中键和值的类型。这些类型应该是 Hadoop Writable 接口的子类,例如 IntWritableText。此外,Spark 允许您为一些常见的 Writable 指定原生类型;例如,sequenceFile[Int, String] 将自动读取 IntWritables 和 Texts。

  • 对于其他 Hadoop InputFormats,您可以使用 SparkContext.hadoopRDD 方法,该方法接受任意的 JobConf、输入格式类、键类和值类。设置这些参数的方式与您在 Hadoop 作业中使用输入源的方式相同。您也可以使用 SparkContext.newAPIHadoopRDD 处理基于“新”MapReduce API (org.apache.hadoop.mapreduce) 的 InputFormats。

  • RDD.saveAsObjectFileSparkContext.objectFile 支持以一种由序列化 Java 对象组成的简单格式保存 RDD。虽然这不如 Avro 等专用格式高效,但它提供了一种保存任何 RDD 的简单方法。

Spark 可以从 Hadoop 支持的任何存储源创建分布式数据集,包括本地文件系统、HDFS、Cassandra、HBase、Amazon S3 等。Spark 支持文本文件、SequenceFiles 和任何其他 Hadoop InputFormat

文本文件 RDD 可以使用 SparkContexttextFile 方法创建。此方法接受文件的 URI(可以是机器上的本地路径,也可以是 hdfs://s3a:// 等 URI),并将其作为行集合读取。以下是调用示例:

JavaRDD<String> distFile = sc.textFile("data.txt");

创建后,distFile 可以通过数据集操作进行处理。例如,我们可以使用 mapreduce 操作将所有行的长度相加,如下所示:distFile.map(s -> s.length()).reduce((a, b) -> a + b)

Spark 读取文件的一些注意事项

  • 如果使用本地文件系统中的路径,则该文件也必须在工作节点上的相同路径可访问。要么将文件复制到所有工作节点,要么使用网络挂载的共享文件系统。

  • Spark 所有基于文件的输入方法,包括 textFile,都支持对目录、压缩文件和通配符进行操作。例如,您可以使用 textFile("/my/directory")textFile("/my/directory/*.txt")textFile("/my/directory/*.gz")

  • textFile 方法还接受一个可选的第二个参数,用于控制文件的分区数量。默认情况下,Spark 为文件的每个块创建一个分区(HDFS 中块的默认大小为 128MB),但您也可以通过传递更大的值来请求更多的分区。请注意,分区数量不能少于块的数量。

除了文本文件,Spark 的 Java API 还支持其他几种数据格式:

  • JavaSparkContext.wholeTextFiles 允许您读取包含多个小文本文件的目录,并将它们作为 (filename, content) 对返回。这与 textFile 不同,textFile 会为每个文件中的每行返回一条记录。

  • 对于 SequenceFiles,使用 SparkContext 的 sequenceFile[K, V] 方法,其中 KV 是文件中键和值的类型。这些类型应该是 Hadoop Writable 接口的子类,例如 IntWritableText

  • 对于其他 Hadoop InputFormats,您可以使用 JavaSparkContext.hadoopRDD 方法,该方法接受任意的 JobConf、输入格式类、键类和值类。设置这些参数的方式与您在 Hadoop 作业中使用输入源的方式相同。您也可以使用 JavaSparkContext.newAPIHadoopRDD 处理基于“新”MapReduce API (org.apache.hadoop.mapreduce) 的 InputFormats。

  • JavaRDD.saveAsObjectFileJavaSparkContext.objectFile 支持以一种由序列化 Java 对象组成的简单格式保存 RDD。虽然这不如 Avro 等专用格式高效,但它提供了一种保存任何 RDD 的简单方法。

RDD 操作

RDD 支持两种类型的操作:*转换*(从现有数据集创建新数据集)和*行动*(在数据集上运行计算后向驱动程序返回一个值)。例如,map 是一种转换,它将每个数据集元素通过一个函数,并返回一个代表结果的新 RDD。另一方面,reduce 是一种行动,它使用某个函数聚合 RDD 的所有元素,并将最终结果返回给驱动程序(尽管也有一个并行的 reduceByKey 返回一个分布式数据集)。

Spark 中的所有转换都是*惰性*的,它们不会立即计算结果。相反,它们只是记住应用于某个基础数据集(例如文件)的转换。只有当一个行动需要将结果返回给驱动程序时,才会计算这些转换。这种设计使得 Spark 运行更高效。例如,我们可以意识到通过 map 创建的数据集将用于 reduce,并且只将 reduce 的结果返回给驱动程序,而不是返回更大的映射数据集。

默认情况下,每次您对转换后的 RDD 运行行动时,它可能会被重新计算。但是,您也可以使用 persist(或 cache)方法将 RDD *持久化*到内存中,这样 Spark 会将元素保留在集群上,以便下次查询时更快地访问。还支持将 RDD 持久化到磁盘,或在多个节点上复制。

基础

为了说明 RDD 的基础知识,请看下面的简单程序:

lines = sc.textFile("data.txt")
lineLengths = lines.map(lambda s: len(s))
totalLength = lineLengths.reduce(lambda a, b: a + b)

第一行定义了一个从外部文件读取的基础 RDD。此数据集既没有加载到内存中,也没有进行其他操作:lines 仅仅是一个指向文件的指针。第二行将 lineLengths 定义为 map 转换的结果。同样,由于惰性,lineLengths *没有*立即计算。最后,我们运行 reduce,这是一个行动。此时,Spark 将计算分解为在不同机器上运行的任务,每台机器都运行其 map 部分和局部归约,只将其结果返回给驱动程序。

如果我们稍后还想再次使用 lineLengths,我们可以添加:

lineLengths.persist()

reduce 之前,这将导致 lineLengths 在第一次计算后保存到内存中。

为了说明 RDD 的基础知识,请看下面的简单程序:

val lines = sc.textFile("data.txt")
val lineLengths = lines.map(s => s.length)
val totalLength = lineLengths.reduce((a, b) => a + b)

第一行定义了一个从外部文件读取的基础 RDD。此数据集既没有加载到内存中,也没有进行其他操作:lines 仅仅是一个指向文件的指针。第二行将 lineLengths 定义为 map 转换的结果。同样,由于惰性,lineLengths *没有*立即计算。最后,我们运行 reduce,这是一个行动。此时,Spark 将计算分解为在不同机器上运行的任务,每台机器都运行其 map 部分和局部归约,只将其结果返回给驱动程序。

如果我们稍后还想再次使用 lineLengths,我们可以添加:

lineLengths.persist()

reduce 之前,这将导致 lineLengths 在第一次计算后保存到内存中。

为了说明 RDD 的基础知识,请看下面的简单程序:

JavaRDD<String> lines = sc.textFile("data.txt");
JavaRDD<Integer> lineLengths = lines.map(s -> s.length());
int totalLength = lineLengths.reduce((a, b) -> a + b);

第一行定义了一个从外部文件读取的基础 RDD。此数据集既没有加载到内存中,也没有进行其他操作:lines 仅仅是一个指向文件的指针。第二行将 lineLengths 定义为 map 转换的结果。同样,由于惰性,lineLengths *没有*立即计算。最后,我们运行 reduce,这是一个行动。此时,Spark 将计算分解为在不同机器上运行的任务,每台机器都运行其 map 部分和局部归约,只将其结果返回给驱动程序。

如果我们稍后还想再次使用 lineLengths,我们可以添加:

lineLengths.persist(StorageLevel.MEMORY_ONLY());

reduce 之前,这将导致 lineLengths 在第一次计算后保存到内存中。

向 Spark 传递函数

Spark 的 API 大量依赖于在驱动程序中传递函数以在集群上运行。有三种推荐的方法可以做到这一点:

  • Lambda 表达式,用于可以写成表达式的简单函数。(Lambda 不支持多语句函数或不返回值的语句。)
  • 在调用 Spark 的函数内部使用本地 def 定义,用于较长的代码。
  • 模块中的顶级函数。

例如,要传递一个比 lambda 支持的更长的函数,请考虑以下代码:

"""MyScript.py"""
if __name__ == "__main__":
    def myFunc(s):
        words = s.split(" ")
        return len(words)

    sc = SparkContext(...)
    sc.textFile("file.txt").map(myFunc)

请注意,虽然也可以传递对类实例中方法(而不是单例对象)的引用,但这需要将包含该类的对象与方法一起发送。例如,考虑:

class MyClass(object):
    def func(self, s):
        return s
    def doStuff(self, rdd):
        return rdd.map(self.func)

在这里,如果我们创建一个 new MyClass 并对其调用 doStuff,那么内部的 map 引用的是 *该 MyClass 实例* 的 func 方法,因此整个对象都需要发送到集群。

类似地,访问外部对象的字段将引用整个对象:

class MyClass(object):
    def __init__(self):
        self.field = "Hello"
    def doStuff(self, rdd):
        return rdd.map(lambda s: self.field + s)

为了避免这个问题,最简单的方法是将 field 复制到局部变量中,而不是外部访问它:

def doStuff(self, rdd):
    field = self.field
    return rdd.map(lambda s: field + s)

Spark 的 API 大量依赖于在驱动程序中传递函数以在集群上运行。有两种推荐的方法可以做到这一点:

  • 匿名函数语法,可用于短代码片段。
  • 全局单例对象中的静态方法。例如,您可以定义 object MyFunctions,然后传递 MyFunctions.func1,如下所示:
object MyFunctions {
  def func1(s: String): String = { ... }
}

myRdd.map(MyFunctions.func1)

请注意,虽然也可以传递对类实例中方法(而不是单例对象)的引用,但这需要将包含该类的对象与方法一起发送。例如,考虑:

class MyClass {
  def func1(s: String): String = { ... }
  def doStuff(rdd: RDD[String]): RDD[String] = { rdd.map(func1) }
}

在这里,如果我们创建一个新的 MyClass 实例并对其调用 doStuff,那么内部的 map 引用的是 *该 MyClass 实例* 的 func1 方法,因此整个对象都需要发送到集群。这类似于编写 rdd.map(x => this.func1(x))

类似地,访问外部对象的字段将引用整个对象:

class MyClass {
  val field = "Hello"
  def doStuff(rdd: RDD[String]): RDD[String] = { rdd.map(x => field + x) }
}

等效于编写 rdd.map(x => this.field + x),这引用了整个 this。为了避免这个问题,最简单的方法是将 field 复制到局部变量中,而不是外部访问它:

def doStuff(rdd: RDD[String]): RDD[String] = {
  val field_ = this.field
  rdd.map(x => field_ + x)
}

Spark 的 API 大量依赖于在驱动程序中传递函数以在集群上运行。在 Java 中,函数由实现 org.apache.spark.api.java.function 包中接口的类表示。有两种创建此类函数的方法:

  • 在您自己的类中实现函数接口,可以是匿名内部类或命名类,然后将其实例传递给 Spark。
  • 使用 lambda 表达式来简洁地定义实现。

虽然本指南中的大部分内容都使用 lambda 语法以求简洁,但所有相同的 API 都可以轻松地以长形式使用。例如,我们可以将上面的代码写成如下形式:

JavaRDD<String> lines = sc.textFile("data.txt");
JavaRDD<Integer> lineLengths = lines.map(new Function<String, Integer>() {
  public Integer call(String s) { return s.length(); }
});
int totalLength = lineLengths.reduce(new Function2<Integer, Integer, Integer>() {
  public Integer call(Integer a, Integer b) { return a + b; }
});

或者,如果内联编写函数不方便:

class GetLength implements Function<String, Integer> {
  public Integer call(String s) { return s.length(); }
}
class Sum implements Function2<Integer, Integer, Integer> {
  public Integer call(Integer a, Integer b) { return a + b; }
}

JavaRDD<String> lines = sc.textFile("data.txt");
JavaRDD<Integer> lineLengths = lines.map(new GetLength());
int totalLength = lineLengths.reduce(new Sum());

请注意,Java 中的匿名内部类也可以访问封闭范围内的变量,只要它们被标记为 final。Spark 会将这些变量的副本发送到每个工作节点,就像它对其他语言所做的那样。

理解闭包

Spark 中一个较难理解的问题是,当在集群上执行代码时,变量和方法的范围及生命周期。修改超出其范围的变量的 RDD 操作可能会频繁导致混淆。在下面的示例中,我们将查看使用 foreach() 递增计数器的代码,但类似的问题也可能发生在其他操作中。

示例

考虑下面朴素的 RDD 元素求和,其行为可能因执行是否发生在同一个 JVM 内而异。一个常见例子是,当在 local 模式 (--master = "local[n]") 下运行 Spark 与将 Spark 应用程序部署到集群(例如通过 spark-submit 提交到 YARN)时。

counter = 0
rdd = sc.parallelize(data)

# Wrong: Don't do this!!
def increment_counter(x):
    global counter
    counter += x
rdd.foreach(increment_counter)

print("Counter value: ", counter)
var counter = 0
var rdd = sc.parallelize(data)

// Wrong: Don't do this!!
rdd.foreach(x => counter += x)

println("Counter value: " + counter)
int counter = 0;
JavaRDD<Integer> rdd = sc.parallelize(data);

// Wrong: Don't do this!!
rdd.foreach(x -> counter += x);

println("Counter value: " + counter);

本地模式与集群模式

上述代码的行为是未定义的,可能无法按预期工作。为了执行作业,Spark 将 RDD 操作的处理分解为任务,每个任务由一个执行器执行。在执行之前,Spark 会计算任务的闭包。闭包是执行器在 RDD 上执行计算(在本例中为 foreach())时必须可见的变量和方法。这个闭包被序列化并发送到每个执行器。

发送到每个执行器的闭包中的变量现在是副本,因此,当在 foreach 函数中引用 counter 时,它不再是驱动节点上的 counter。驱动节点的内存中仍然有一个 counter,但它对执行器不再可见!执行器只看到序列化闭包中的副本。因此,counter 的最终值仍将为零,因为对 counter 的所有操作都引用了序列化闭包中的值。

在本地模式下,在某些情况下,foreach 函数实际上会在与驱动程序相同的 JVM 中执行,并将引用相同的原始 counter,并且可能会实际更新它。

为了确保在这些情况下行为明确,应该使用一个Accumulator。Spark 中的累加器专门用于提供一种机制,以便在执行分布在集群中的工作节点时安全地更新变量。本指南的“累加器”部分将更详细地讨论这些内容。

通常,闭包(例如循环或局部定义的方法)不应用于改变某些全局状态。Spark 不定义或保证对闭包外部引用的对象进行修改的行为。某些这样做​​的代码可能在本地模式下有效,但这只是偶然情况,此类代码在分布式模式下不会按预期运行。如果需要进行全局聚合,请改用累加器(`Accumulator`)。

打印 RDD 元素

另一种常见的习惯用法是尝试使用 rdd.foreach(println)rdd.map(println) 打印 RDD 的元素。在单台机器上,这将生成预期的输出并打印所有 RDD 的元素。然而,在 cluster 模式下,执行器调用的 stdout 输出现在写入到执行器的 stdout,而不是驱动程序上的 stdout,因此驱动程序上的 stdout 不会显示这些内容!要在驱动程序上打印所有元素,可以使用 collect() 方法首先将 RDD 收集到驱动节点,如下所示:rdd.collect().foreach(println)。不过,这可能导致驱动程序内存不足,因为 collect() 会将整个 RDD 提取到一台机器上;如果您只需要打印 RDD 的少量元素,更安全的方法是使用 take()rdd.take(100).foreach(println)

使用键值对

虽然大多数 Spark 操作适用于包含任何类型对象的 RDD,但少数特殊操作仅适用于键值对的 RDD。最常见的是分布式“混洗”操作,例如按键分组或聚合元素。

在 Python 中,这些操作适用于包含内置 Python 元组(如 (1, 2))的 RDD。只需创建这样的元组,然后调用您想要的操作即可。

例如,以下代码使用 reduceByKey 操作在键值对上计算文件中每行文本出现的次数:

lines = sc.textFile("data.txt")
pairs = lines.map(lambda s: (s, 1))
counts = pairs.reduceByKey(lambda a, b: a + b)

我们还可以使用 counts.sortByKey(),例如,按字母顺序对对进行排序,最后使用 counts.collect() 将它们作为对象列表带回驱动程序。

虽然大多数 Spark 操作适用于包含任何类型对象的 RDD,但少数特殊操作仅适用于键值对的 RDD。最常见的是分布式“混洗”操作,例如按键分组或聚合元素。

在 Scala 中,这些操作自动适用于包含 Tuple2 对象的 RDD(语言中的内置元组,通过简单地编写 (a, b) 创建)。键值对操作在 PairRDDFunctions 类中可用,该类会自动包装元组的 RDD。

例如,以下代码使用 reduceByKey 操作在键值对上计算文件中每行文本出现的次数:

val lines = sc.textFile("data.txt")
val pairs = lines.map(s => (s, 1))
val counts = pairs.reduceByKey((a, b) => a + b)

我们还可以使用 counts.sortByKey(),例如,按字母顺序对对进行排序,最后使用 counts.collect() 将它们作为对象数组带回驱动程序。

注意:当在键值对操作中使用自定义对象作为键时,您必须确保自定义的 equals() 方法伴随有匹配的 hashCode() 方法。有关完整详细信息,请参阅 Object.hashCode() 文档中概述的契约。

虽然大多数 Spark 操作适用于包含任何类型对象的 RDD,但少数特殊操作仅适用于键值对的 RDD。最常见的是分布式“混洗”操作,例如按键分组或聚合元素。

在 Java 中,键值对使用 Scala 标准库中的 scala.Tuple2 类表示。您可以简单地调用 new Tuple2(a, b) 来创建一个元组,然后通过 tuple._1()tuple._2() 访问其字段。

键值对的 RDD 由 JavaPairRDD 类表示。您可以使用 map 操作的特殊版本(如 mapToPairflatMapToPair)从 JavaRDD 构建 JavaPairRDD。JavaPairRDD 将同时具有标准的 RDD 函数和特殊的键值函数。

例如,以下代码使用 reduceByKey 操作在键值对上计算文件中每行文本出现的次数:

JavaRDD<String> lines = sc.textFile("data.txt");
JavaPairRDD<String, Integer> pairs = lines.mapToPair(s -> new Tuple2(s, 1));
JavaPairRDD<String, Integer> counts = pairs.reduceByKey((a, b) -> a + b);

我们还可以使用 counts.sortByKey(),例如,按字母顺序对对进行排序,最后使用 counts.collect() 将它们作为对象数组带回驱动程序。

注意:当在键值对操作中使用自定义对象作为键时,您必须确保自定义的 equals() 方法伴随有匹配的 hashCode() 方法。有关完整详细信息,请参阅 Object.hashCode() 文档中概述的契约。

转换

下表列出了 Spark 支持的一些常见转换。有关详细信息,请参阅 RDD API 文档(PythonScalaJavaR)和键值对 RDD 函数文档(ScalaJava)。

转换含义
map(func) 通过将源数据集的每个元素传递给函数 func 来形成新的分布式数据集。
filter(func) 返回一个新数据集,该数据集由源数据集中 func 返回 true 的元素组成。
flatMap(func) 类似于 map,但每个输入项可以映射到 0 个或更多个输出项(因此 func 应该返回一个 Seq 而不是单个项)。
mapPartitions(func) 类似于 map,但单独运行在 RDD 的每个分区(块)上,因此当在类型为 T 的 RDD 上运行时,func 的类型必须是 Iterator<T> => Iterator<U>。
mapPartitionsWithIndex(func) 类似于 mapPartitions,但还向 func 提供一个表示分区索引的整数值,因此当在类型为 T 的 RDD 上运行时,func 的类型必须是 (Int, Iterator<T>) => Iterator<U>。
sample(withReplacement, fraction, seed) 使用给定的随机数生成器种子,有放回或无放回地采样数据的一个 fraction
union(otherDataset) 返回一个新数据集,其中包含源数据集和参数中元素的并集。
intersection(otherDataset) 返回一个新 RDD,其中包含源数据集和参数中元素的交集。
distinct([numPartitions])) 返回一个包含源数据集不同元素的新数据集。
groupByKey([numPartitions]) 当在 (K, V) 对的数据集上调用时,返回一个 (K, Iterable<V>) 对的数据集。
注意:如果您是为了对每个键执行聚合(例如求和或平均值)而进行分组,则使用 reduceByKeyaggregateByKey 将获得更好的性能。
注意:默认情况下,输出中的并行度取决于父 RDD 的分区数量。您可以传递一个可选的 numPartitions 参数来设置不同的任务数量。
reduceByKey(func, [numPartitions]) 当在 (K, V) 对的数据集上调用时,返回一个 (K, V) 对的数据集,其中每个键的值使用给定的 reduce 函数 func 进行聚合,该函数必须是 (V,V) => V 类型。与 groupByKey 一样,reduce 任务的数量可以通过可选的第二个参数进行配置。
aggregateByKey(zeroValue)(seqOp, combOp, [numPartitions]) 当在 (K, V) 对的数据集上调用时,返回一个 (K, U) 对的数据集,其中每个键的值使用给定的组合函数和中性“零”值进行聚合。允许聚合值类型与输入值类型不同,同时避免不必要的分配。与 groupByKey 一样,reduce 任务的数量可以通过可选的第二个参数进行配置。
sortByKey([ascending], [numPartitions]) 当在 (K, V) 对的数据集上调用时(其中 K 实现了 Ordered 接口),返回一个 (K, V) 对的数据集,按键以升序或降序排列,具体取决于布尔型 ascending 参数的指定。
join(otherDataset, [numPartitions]) 当在类型为 (K, V) 和 (K, W) 的数据集上调用时,返回一个 (K, (V, W)) 对的数据集,其中包含每个键的所有元素对。外部连接通过 leftOuterJoinrightOuterJoinfullOuterJoin 支持。
cogroup(otherDataset, [numPartitions]) 当在类型为 (K, V) 和 (K, W) 的数据集上调用时,返回一个 (K, (Iterable<V>, Iterable<W>)) 元组的数据集。此操作也称为 groupWith
cartesian(otherDataset) 当在类型为 T 和 U 的数据集上调用时,返回一个 (T, U) 对的数据集(所有元素对)。
pipe(command, [envVars]) 将 RDD 的每个分区通过一个 Shell 命令(例如 Perl 或 bash 脚本)进行管道操作。RDD 元素被写入进程的标准输入,其标准输出的行作为字符串 RDD 返回。
coalesce(numPartitions) 将 RDD 中的分区数量减少到 numPartitions。在对大型数据集进行过滤后,这对于更高效地运行操作很有用。
repartition(numPartitions) 随机地重新混洗 RDD 中的数据,以创建更多或更少的分区并使其在这些分区中保持平衡。这总是通过网络混洗所有数据。
repartitionAndSortWithinPartitions(partitioner) 根据给定的分区器重新分区 RDD,并在每个结果分区内按键对记录进行排序。这比调用 repartition 然后在每个分区内排序更高效,因为它可以在混洗机制中下推排序。

行动

下表列出了 Spark 支持的一些常见行动。有关详细信息,请参阅 RDD API 文档(PythonScalaJavaR

和键值对 RDD 函数文档(ScalaJava)。

行动含义
reduce(func) 使用函数 func(接受两个参数并返回一个)聚合数据集的元素。该函数应该是可交换和结合的,以便可以并行正确计算。
collect() 将数据集的所有元素作为数组返回给驱动程序。这通常在过滤器或其他操作返回足够小的数据子集后很有用。
count() 返回数据集中的元素数量。
first() 返回数据集的第一个元素(类似于 take(1))。
take(n) 返回一个包含数据集前 n 个元素的数组。
takeSample(withReplacement, num, [seed]) 返回一个包含数据集 num 个元素的随机样本数组,有放回或无放回,可选地预先指定随机数生成器种子。
takeOrdered(n, [ordering]) 使用元素的自然顺序或自定义比较器,返回 RDD 的前 n 个元素。
saveAsTextFile(path) 将数据集的元素作为文本文件(或一组文本文件)写入本地文件系统、HDFS 或任何其他 Hadoop 支持的文件系统中的给定目录。Spark 将对每个元素调用 toString 方法,将其转换为文件中的一行文本。
saveAsSequenceFile(path)
(Java 和 Scala)
将数据集的元素作为 Hadoop SequenceFile 写入本地文件系统、HDFS 或任何其他 Hadoop 支持的文件系统中的给定路径。此操作适用于实现了 Hadoop Writable 接口的键值对 RDD。在 Scala 中,它也适用于可以隐式转换为 Writable 的类型(Spark 包含对 Int、Double、String 等基本类型的转换)。
saveAsObjectFile(path)
(Java 和 Scala)
使用 Java 序列化以简单格式写入数据集元素,然后可以使用 SparkContext.objectFile() 加载。
countByKey() 仅适用于类型为 (K, V) 的 RDD。返回一个 (K, Int) 对的哈希映射,其中包含每个键的计数。
foreach(func) 对数据集的每个元素运行函数 func。这通常用于产生副作用,例如更新累加器或与外部存储系统交互。
注意:在 foreach() 之外修改除了累加器(`Accumulator`)之外的变量可能会导致未定义的行为。有关更多详细信息,请参阅理解闭包

Spark RDD API 还公开了一些行动的异步版本,例如 foreachforeachAsync,它们会立即向调用者返回一个 FutureAction,而不是阻塞等待行动完成。这可用于管理或等待行动的异步执行。

混洗操作

Spark 中的某些操作会触发一个称为混洗(shuffle)的事件。混洗是 Spark 重新分发数据的机制,以便数据在分区之间以不同方式分组。这通常涉及在执行器和机器之间复制数据,使得混洗成为一个复杂且代价高昂的操作。

背景

要了解混洗期间发生的情况,我们可以考虑 reduceByKey 操作的示例。reduceByKey 操作会生成一个新的 RDD,其中单个键的所有值都被组合成一个元组——键以及针对与该键关联的所有值执行 reduce 函数的结果。挑战在于,并非单个键的所有值都必然位于同一个分区,甚至同一台机器上,但它们必须共存才能计算结果。

在 Spark 中,数据通常不会跨分区分布以使其处于特定操作所需的正确位置。在计算期间,单个任务将在单个分区上操作——因此,为了组织所有数据以执行单个 reduceByKey 的 reduce 任务,Spark 需要执行“所有到所有”的操作。它必须从所有分区读取以查找所有键的所有值,然后将跨分区的值汇集起来以计算每个键的最终结果——这被称为混洗

尽管新混洗数据中每个分区的元素集将是确定的,分区本身的顺序也是确定的,但这些元素的顺序却不是。如果希望在混洗后获得可预测的有序数据,则可以使用:

可能导致混洗的操作包括:重新分区操作,如 repartitioncoalesce`ByKey 操作(除了计数),如 groupByKeyreduceByKey;以及 连接 操作,如 cogroupjoin

性能影响

混洗是一个代价高昂的操作,因为它涉及磁盘 I/O、数据序列化和网络 I/O。为了组织用于混洗的数据,Spark 会生成一组任务——*map* 任务用于组织数据,一组 *reduce* 任务用于聚合数据。这种命名法源自 MapReduce,与 Spark 的 mapreduce 操作没有直接关系。

在内部,单个 map 任务的结果会保留在内存中,直到它们无法容纳。然后,这些结果会根据目标分区进行排序并写入单个文件。在 reduce 端,任务读取相关的已排序块。

某些混洗操作会消耗大量的堆内存,因为它们在传输记录之前或之后使用内存中的数据结构来组织记录。具体来说,reduceByKeyaggregateByKey 在 map 端创建这些结构,而 `'ByKey` 操作在 reduce 端生成这些结构。当数据不适合内存时,Spark 会将这些表溢写到磁盘,从而产生额外的磁盘 I/O 开销和增加垃圾回收。

混洗还会在磁盘上生成大量中间文件。从 Spark 1.3 开始,这些文件会一直保留,直到相应的 RDD 不再使用并被垃圾回收。这样做是为了在重新计算 lineage 时不需要重新创建混洗文件。如果应用程序保留对这些 RDD 的引用,或者垃圾回收不频繁触发,垃圾回收可能只在很长一段时间后才发生。这意味着长时间运行的 Spark 作业可能会消耗大量磁盘空间。临时存储目录由配置 Spark 上下文时的 spark.local.dir 配置参数指定。

混洗行为可以通过调整各种配置参数来调优。请参阅Spark 配置指南中的“混洗行为”部分。

RDD 持久化

Spark 最重要的功能之一是*持久化*(或*缓存*)内存中的数据集以供跨操作使用。当您持久化一个 RDD 时,每个节点会将它计算的任何分区存储在内存中,并在该数据集(或从其派生的数据集)上的其他行动中重用它们。这使得未来的行动速度大大加快(通常超过 10 倍)。缓存是迭代算法和快速交互使用的关键工具。

您可以使用 RDD 上的 persist()cache() 方法将其标记为持久化。它在行动中首次计算时,将保留在节点内存中。Spark 的缓存具有容错性——如果 RDD 的任何分区丢失,它将使用最初创建它的转换自动重新计算。

此外,每个持久化的 RDD 可以使用不同的*存储级别*存储,例如,您可以将数据集持久化到磁盘上,或将其持久化到内存中但作为序列化的 Java 对象(以节省空间),或在节点之间复制。这些级别通过将 StorageLevel 对象(PythonScalaJava)传递给 persist() 来设置。cache() 方法是使用默认存储级别 StorageLevel.MEMORY_ONLY(在内存中存储反序列化对象)的简写。完整的存储级别集如下:

存储级别含义
MEMORY_ONLY 在 JVM 中将 RDD 存储为反序列化的 Java 对象。如果 RDD 不适合内存,某些分区将不会被缓存,并且每次需要时都会即时重新计算。这是默认级别。
MEMORY_AND_DISK 在 JVM 中将 RDD 存储为反序列化的 Java 对象。如果 RDD 不适合内存,则将不适合的分区存储在磁盘上,并在需要时从磁盘读取。
MEMORY_ONLY_SER
(Java 和 Scala)
将 RDD 存储为*序列化*的 Java 对象(每个分区一个字节数组)。这通常比反序列化对象更节省空间,尤其是在使用快速序列化器时,但读取时更耗 CPU。
MEMORY_AND_DISK_SER
(Java 和 Scala)
类似于 MEMORY_ONLY_SER,但将不适合内存的分区溢写到磁盘,而不是每次需要时即时重新计算它们。
DISK_ONLY 仅将 RDD 分区存储在磁盘上。
MEMORY_ONLY_2, MEMORY_AND_DISK_2, etc. 与上述级别相同,但在两个集群节点上复制每个分区。
OFF_HEAP (实验性) 类似于 MEMORY_ONLY_SER,但将数据存储在堆外内存中。这要求启用堆外内存。

注意:在 Python 中,存储的对象总是会使用 Pickle 库进行序列化,因此您是否选择序列化级别无关紧要。Python 中可用的存储级别包括 MEMORY_ONLYMEMORY_ONLY_2MEMORY_AND_DISKMEMORY_AND_DISK_2DISK_ONLYDISK_ONLY_2DISK_ONLY_3

Spark 还会自动在混洗操作(例如 reduceByKey)中持久化一些中间数据,即使用户没有调用 persist。这样做是为了避免在混洗期间节点失败时重新计算整个输入。如果用户计划重用结果 RDD,我们仍然建议他们调用 persist

选择哪种存储级别?

Spark 的存储级别旨在提供内存使用和 CPU 效率之间的不同权衡。我们建议通过以下过程选择一个:

删除数据

Spark 会自动监控每个节点上的缓存使用情况,并以最近最少使用(LRU)的方式淘汰旧数据分区。如果您想手动移除 RDD 而不是等待它从缓存中淘汰,请使用 RDD.unpersist() 方法。请注意,此方法默认不阻塞。要阻塞直到资源被释放,请在调用此方法时指定 blocking=true

共享变量

通常,当传递给 Spark 操作(如 mapreduce)的函数在远程集群节点上执行时,它会在函数中使用的所有变量的独立副本上工作。这些变量被复制到每台机器,并且对远程机器上变量的任何更新都不会传播回驱动程序。支持跨任务的通用读写共享变量将是低效的。但是,Spark 为两种常见的用法模式提供了两种有限类型的*共享变量*:广播变量和累加器。

广播变量

广播变量允许程序员将只读变量缓存在每台机器上,而不是随任务一起发送其副本。例如,它们可以用来以高效的方式为每个节点提供大型输入数据集的副本。Spark 还尝试使用高效的广播算法来分发广播变量,以降低通信成本。

Spark 行动通过一组阶段执行,这些阶段由分布式“混洗”操作分隔。Spark 会自动广播每个阶段内任务所需的公共数据。以这种方式广播的数据以序列化形式缓存,并在运行每个任务之前进行反序列化。这意味着显式创建广播变量仅在多个阶段的任务需要相同数据时,或者当以反序列化形式缓存数据很重要时才有用。

广播变量是通过调用 SparkContext.broadcast(v) 从变量 v 创建的。广播变量是 v 的一个包装器,可以通过调用 value 方法访问其值。以下代码展示了这一点:

>>> broadcastVar = sc.broadcast([1, 2, 3])
<pyspark.core.broadcast.Broadcast object at 0x102789f10>

>>> broadcastVar.value
[1, 2, 3]
scala> val broadcastVar = sc.broadcast(Array(1, 2, 3))
broadcastVar: org.apache.spark.broadcast.Broadcast[Array[Int]] = Broadcast(0)

scala> broadcastVar.value
res0: Array[Int] = Array(1, 2, 3)
Broadcast<int[]> broadcastVar = sc.broadcast(new int[] {1, 2, 3});

broadcastVar.value();
// returns [1, 2, 3]

创建广播变量后,在集群上运行的任何函数中都应使用它而不是值 v,以确保 v 不会多次发送到节点。此外,对象 v 在广播后不应被修改,以确保所有节点获取到相同的广播变量值(例如,如果变量稍后被发送到新节点)。

要释放广播变量复制到执行器上的资源,请调用 .unpersist()。如果之后再次使用该广播变量,它将被重新广播。要永久释放广播变量使用的所有资源,请调用 .destroy()。此后不能再使用该广播变量。请注意,这些方法默认不阻塞。要阻塞直到资源被释放,请在调用它们时指定 blocking=true

累加器

累加器(`Accumulator`)是只能通过关联和交换操作进行“添加”的变量,因此可以高效地并行支持。它们可用于实现计数器(如在 MapReduce 中)或求和。Spark 原生支持数值类型的累加器,程序员可以添加对新类型的支持。

作为用户,您可以创建命名或未命名的累加器。如下图所示,命名累加器(在此示例中为 counter)将显示在修改该累加器的阶段的 Web UI 中。Spark 在“任务”表中显示每个任务修改的累加器的值。

Accumulators in the Spark UI

在 UI 中跟踪累加器有助于理解运行阶段的进度(注意:Python 尚不支持此功能)。

累加器是通过调用 SparkContext.accumulator(v) 从初始值 v 创建的。在集群上运行的任务可以使用 add 方法或 += 运算符向其添加值。但是,它们不能读取其值。只有驱动程序才能使用其 value 方法读取累加器的值。

以下代码展示了如何使用累加器对数组元素进行求和:

>>> accum = sc.accumulator(0)
>>> accum
Accumulator<id=0, value=0>

>>> sc.parallelize([1, 2, 3, 4]).foreach(lambda x: accum.add(x))
...
10/09/29 18:41:08 INFO SparkContext: Tasks finished in 0.317106 s

>>> accum.value
10

虽然此代码使用了对 Int 类型累加器的内置支持,但程序员也可以通过继承 AccumulatorParam 来创建自己的类型。AccumulatorParam 接口有两个方法:zero 用于为您的数据类型提供一个“零值”,以及 addInPlace 用于将两个值相加。例如,假设我们有一个表示数学向量的 Vector 类,我们可以这样编写

class VectorAccumulatorParam(AccumulatorParam):
    def zero(self, initialValue):
        return Vector.zeros(initialValue.size)

    def addInPlace(self, v1, v2):
        v1 += v2
        return v1

# Then, create an Accumulator of this type:
vecAccum = sc.accumulator(Vector(...), VectorAccumulatorParam())

可以通过调用 SparkContext.longAccumulator()SparkContext.doubleAccumulator() 来创建数值累加器,分别累加 Long 或 Double 类型的值。在集群上运行的任务可以使用 add 方法向其添加值。然而,它们无法读取其值。只有驱动程序可以使用其 value 方法读取累加器的值。

以下代码展示了如何使用累加器对数组元素进行求和:

scala> val accum = sc.longAccumulator("My Accumulator")
accum: org.apache.spark.util.LongAccumulator = LongAccumulator(id: 0, name: Some(My Accumulator), value: 0)

scala> sc.parallelize(Array(1, 2, 3, 4)).foreach(x => accum.add(x))
...
10/09/29 18:41:08 INFO SparkContext: Tasks finished in 0.317106 s

scala> accum.value
res2: Long = 10

虽然此代码使用了对 Long 类型累加器的内置支持,但程序员也可以通过继承 AccumulatorV2 来创建自己的类型。AccumulatorV2 抽象类有几个必须重写的方法:reset 用于将累加器重置为零,add 用于将另一个值添加到累加器中,merge 用于将另一个同类型累加器合并到此累加器中。其他必须重写的方法包含在 API 文档中。例如,假设我们有一个表示数学向量的 MyVector 类,我们可以这样编写

class VectorAccumulatorV2 extends AccumulatorV2[MyVector, MyVector] {

  private val myVector: MyVector = MyVector.createZeroVector

  def reset(): Unit = {
    myVector.reset()
  }

  def add(v: MyVector): Unit = {
    myVector.add(v)
  }
  ...
}

// Then, create an Accumulator of this type:
val myVectorAcc = new VectorAccumulatorV2
// Then, register it into spark context:
sc.register(myVectorAcc, "MyVectorAcc1")

请注意,当程序员定义自己的 AccumulatorV2 类型时,结果类型可以与添加的元素类型不同。

可以通过调用 SparkContext.longAccumulator()SparkContext.doubleAccumulator() 来创建数值累加器,分别累加 Long 或 Double 类型的值。在集群上运行的任务可以使用 add 方法向其添加值。然而,它们无法读取其值。只有驱动程序可以使用其 value 方法读取累加器的值。

以下代码展示了如何使用累加器对数组元素进行求和:

LongAccumulator accum = jsc.sc().longAccumulator();

sc.parallelize(Arrays.asList(1, 2, 3, 4)).foreach(x -> accum.add(x));
// ...
// 10/09/29 18:41:08 INFO SparkContext: Tasks finished in 0.317106 s

accum.value();
// returns 10

虽然此代码使用了对 Long 类型累加器的内置支持,但程序员也可以通过继承 AccumulatorV2 来创建自己的类型。AccumulatorV2 抽象类有几个必须重写的方法:reset 用于将累加器重置为零,add 用于将另一个值添加到累加器中,merge 用于将另一个同类型累加器合并到此累加器中。其他必须重写的方法包含在 API 文档中。例如,假设我们有一个表示数学向量的 MyVector 类,我们可以这样编写

class VectorAccumulatorV2 implements AccumulatorV2<MyVector, MyVector> {

  private MyVector myVector = MyVector.createZeroVector();

  public void reset() {
    myVector.reset();
  }

  public void add(MyVector v) {
    myVector.add(v);
  }
  ...
}

// Then, create an Accumulator of this type:
VectorAccumulatorV2 myVectorAcc = new VectorAccumulatorV2();
// Then, register it into spark context:
jsc.sc().register(myVectorAcc, "MyVectorAcc1");

请注意,当程序员定义自己的 AccumulatorV2 类型时,结果类型可以与添加的元素类型不同。

警告:当 Spark 任务完成时,Spark 将尝试将此任务中累积的更新合并到一个累加器中。如果失败,Spark 将忽略失败并仍然将任务标记为成功,并继续运行其他任务。因此,一个有缺陷的累加器不会影响 Spark 作业,但即使 Spark 作业成功,它也可能无法正确更新。

对于仅在操作 (actions) 内部执行的累加器更新,Spark 保证每个任务对累加器的更新只会应用一次,即重新启动的任务不会更新该值。在转换 (transformations) 中,用户应该注意,如果任务或作业阶段被重新执行,每个任务的更新可能会被应用多次。

累加器不会改变 Spark 的惰性求值模型。如果它们在 RDD 上的操作中更新,它们的值只会在该 RDD 作为操作的一部分被计算后才更新。因此,当累加器更新在像 map() 这样的惰性转换中执行时,不保证会被执行。下面的代码片段演示了此特性

accum = sc.accumulator(0)
def g(x):
    accum.add(x)
    return f(x)
data.map(g)
# Here, accum is still 0 because no actions have caused the `map` to be computed.
val accum = sc.longAccumulator
data.map { x => accum.add(x); x }
// Here, accum is still 0 because no actions have caused the map operation to be computed.
LongAccumulator accum = jsc.sc().longAccumulator();
data.map(x -> { accum.add(x); return f(x); });
// Here, accum is still 0 because no actions have caused the `map` to be computed.

部署到集群

应用程序提交指南描述了如何将应用程序提交到集群。简而言之,一旦您将应用程序打包成 JAR (用于 Java/Scala) 或一组 .py.zip 文件 (用于 Python),bin/spark-submit 脚本就可以让您将其提交到任何支持的集群管理器。

从 Java / Scala 启动 Spark 作业

org.apache.spark.launcher 包提供了使用简单的 Java API 以子进程形式启动 Spark 作业的类。

单元测试

Spark 适合使用任何流行的单元测试框架进行单元测试。只需在测试中创建一个 SparkContext,将其 master URL 设置为 local,运行您的操作,然后调用 SparkContext.stop() 来将其关闭。确保在 finally 块或测试框架的 tearDown 方法中停止上下文,因为 Spark 不支持在同一个程序中同时运行两个上下文。

下一步

您可以在 Spark 网站上查看一些 Spark 示例程序。此外,Spark 在 examples 目录中包含了一些示例 (PythonScalaJavaR)。您可以通过将类名传递给 Spark 的 bin/run-example 脚本来运行 Java 和 Scala 示例;例如

./bin/run-example SparkPi

对于 Python 示例,请改用 spark-submit

./bin/spark-submit examples/src/main/python/pi.py

对于 R 示例,请改用 spark-submit

./bin/spark-submit examples/src/main/r/dataframe.R

有关优化程序的帮助,配置指南调优指南提供了有关最佳实践的信息。它们对于确保您的数据以高效格式存储在内存中尤为重要。有关部署的帮助,集群模式概述描述了分布式操作中涉及的组件和支持的集群管理器。

最后,完整的 API 文档可在 PythonScalaJavaR 中找到。