最近后台收到不少私信,问的问题高度集中在几类:Spark代码到底该怎么写、一跑就OOM怎么调、集群搭起来之后怎么验证是否正常、Spark到底能不能直接读Redis和数据库。这些问题看着零散,其实都指向同一个根本诉求:在实际项目里把Spark用起来,并且用对、用好。
这篇内容不打算给你贴一个过于简单的Hello World,而是把我在多个数据平台上跑Spark任务时沉淀下来的代码模式、环境搭建细节和排障经验一次性整理出来。不管你是数据分析师想处理单机跑不动的数据,还是后端工程师要维护Spark集群,又或者是在准备Spark方向面试的开发,这篇文章都能给你一些可以直接落到代码里的东西。
1. 先搞懂Spark代码和普通Python脚本的本质区别
很多人第一次接触Spark时,会下意识地把它当成"大号pandas"。这种理解会在后续写代码时埋下很多坑,因为Spark的底层执行逻辑和单机脚本完全不是一回事。
1.1 惰性求值才是Spark代码的灵魂
以pandas为例,你用pd.read_csv("logs.csv")读文件,数据会立刻被加载进内存,后续的groupby、merge、agg都是马上执行、马上出结果。这种模式叫急切执行(eager execution)。
Spark则完全不同。看这段代码:
python复制from pyspark.sql import SparkSession
spark = SparkSession.builder.appName("demo").getOrCreate()
df = spark.read.csv("hdfs://logs/2025/", header=True)
filtered = df.filter(df["level"] == "ERROR")
result = filtered.groupBy("hour").count()
result.show()
当你执行read.csv、filter、groupBy时,Spark并没有真正去读文件、过滤数据,它只是把这些操作记录成一棵逻辑执行计划树。直到你调用show()或write这类行动操作(action)时,Spark才会基于这棵逻辑树生成物理执行计划,再把任务分发到各节点执行。
这个机制叫惰性求值(lazy evaluation)。理解这一点,你才能真正理解为什么Spark代码有时候"看着很慢"——你以为它在读数据,其实它只是构建了计划。反过来,这也是Spark能做很多自动优化的前提,比如谓词下推、列剪枝,都是在生成物理计划阶段根据整条计算链来完成的。
1.2 分区决定性能上限,代码决定逻辑正确性
Spark把数据切分成多个分区(partition),每个分区由集群中一个Executor上的一个Task来处理。分区的数量直接影响并行度和最终性能。
举个例子,如果一份100GB的数据只有一个分区,那Spark只会启动一个Task来处理它,即便Executor资源再充足,并行度也上不去。反过来,如果分区数过多,每个Task处理的数据量太小,调度和序列化开销反而会占大头,任务同样快不起来。
我之前接手过一个Spark任务,处理前一天的订单数据,数据量不大,但集群有64核。原始代码用默认分区跑,整个任务耗时22分钟。我加了repartition(64)之后,耗时直接降到6分钟。没有改任何业务逻辑,仅仅是把并行度从默认值拉到了与CPU核数匹配的水平。
写Spark代码时,先问自己三个问题:
- 数据量有多大,分区数应该设置成多少?
- 每个Task需要处理的数据量是否合理?
- 数据在节点间的分布是否会引发严重的网络传输?
这三个问题想清楚了,基本就能避免后期大量调优工作。代码本身的逻辑正确性只是第一步,分区和并行度才是Spark代码性能的分水岭。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 从零搭建Spark运行环境:安装、集群配置与第一个作业
热搜词里"spark集群搭建"和"spark安装详细步骤"都排得很靠前,说明动手第一步就拦住了一批人。我尽量把从零到能跑通第一个作业的路径给你理顺。
2.1 安装前的版本选择与前置条件
Spark本身依赖Java运行环境,所以第一步一定是先装JDK。目前Spark 3.x系列对JDK 8和JDK 11都支持,但不同小版本支持的细节略有差异。我建议直接用JDK 8或JDK 11,这俩在社区里验证最充分,遇到问题搜到的解决方案最多。
版本选择上,除非你有特殊需求,否则不要追最新版本,直接选当前最新的稳定版本即可。以Spark 3.5.x为例,它对应兼容的Hadoop版本是3.3.x系列。如果你需要对接Hive,还要确保Spark和Hive的版本兼容,否则后面跑spark.sql查Hive表时会踩一堆metastore的兼容问题。
安装步骤大致如下:
- 下载Spark安装包,解压到指定目录,比如
/opt/spark。 - 配置环境变量,在
~/.bashrc或/etc/profile里加上SPARK_HOME和PATH。 - 修改
$SPARK_HOME/conf/spark-env.sh,设置JAVA_HOME。 - 用
spark-shell或pyspark启动一个本地实例验证安装是否成功。
bash复制tar -zxvf spark-3.5.0-bin-hadoop3.tgz
mv spark-3.5.0-bin-hadoop3 /opt/spark
cat >> ~/.bashrc <<EOF
export SPARK_HOME=/opt/spark
export PATH=$SPARK_HOME/bin:$PATH
EOF
source ~/.bashrc
执行pyspark命令后,如果看到SparkSession启动的日志,说明本地模式已经OK了。
2.2 集群模式搭建:把一台机器的能力扩展成多台
本地模式(local)只在当前机器上跑,适合开发和测试。生产环境必须用集群模式,最常见的是Standalone集群。
Standalone集群包含一个Master节点和多个Worker节点。Master负责任务调度,Worker节点启动Executor来真正执行计算。
搭建步骤:
- 选定一台机器作为Master,在
conf/slaves(Spark 3.5及以后版本叫conf/workers)里填入所有Worker节点的IP或主机名。 - 在Master节点上执行
start-master.sh,在每台Worker节点上执行start-worker.sh。 - 访问Master的Web UI(默认端口8080)确认Worker节点都已经注册上来。
bash复制# Master节点
$SPARK_HOME/sbin/start-master.sh
# 每台Worker节点
$SPARK_HOME/sbin/start-worker.sh spark://MASTER_HOST:7077
我踩过的一个坑是Worker节点之间没有配置SSH免密登录,导致提交任务时JAR包分发失败。虽然Spark不是必须要SSH才能跑,但很多辅助脚本会依赖SSH来做文件同步,所以建议提前把Master到所有Worker的SSH免密配置好。
集群启动后,提交作业时通过--master spark://MASTER_HOST:7077指定集群地址,Spark就会把任务分发到集群中执行。
2.3 第一个能上生产环境的Spark作业示例
环境搭好后,第一个作业建议从读取本地文件、做简单过滤和统计开始,确认整个链路是通的:
python复制from pyspark.sql import SparkSession
spark = SparkSession \
.builder \
.appName("first_job") \
.master("spark://MASTER_HOST:7077") \
.getOrCreate()
df = spark.read.text("hdfs:///data/input/access.log")
# 统计每行包含"ERROR"的条数,顺便看看里面有什么
error_lines = df.filter(df["value"].contains("ERROR"))
print("error count:", error_lines.count())
spark.stop()
用spark-submit提交:
bash复制spark-submit \
--master spark://MASTER_HOST:7077 \
--executor-memory 4g \
--num-executors 8 \
first_job.py
这里特别提醒:getOrCreate()这个API在重复执行时,如果当前JVM里已经有一个SparkSession,它会直接复用,而不是重新创建。在写自动化脚本或测试代码时,如果不注意,很容易出现两个Session复用导致配置不生效的问题,建议在实际项目中用builder显式创建,并确保每个作业结束时stop()释放资源。
3. 实战代码拆解:Spark SQL、数据源读写与业务落地
Spark的代码能力远不止RDD和DataFrame,它真正强大的是能统一处理结构化数据、半结构化和非结构化数据。这一节我从业务视角拆几个高频代码场景。
3.1 Spark SQL在复杂ETL中的正确写法
Spark SQL是生产环境里用得最多的模块。它的核心优势有两个:一是兼容Hive语法,让做数据仓库的人能平滑迁移;二是能把SQL直接编译成Spark执行计划,免去手写DataFrame API的繁琐。
看一个常见的ETL场景:订单表关联商品表,按天统计每个品类的销售额Top 10。
python复制from pyspark.sql import SparkSession
from pyspark.sql.functions import col, rank
from pyspark.sql.window import Window
spark = SparkSession.builder.appName("etl_top10").enableHiveSupport().getOrCreate()
orders = spark.table("ods.orders")\
.filter(col("dt") == "2025-01-01")
products = spark.table("dim.products")
joined = orders.join(products, orders["product_id"] == products["id"], "inner")
# 用Window函数实现分组Top N
window_spec = Window.partitionBy("category").orderBy(col("sales_amount").desc())
ranked = joined.withColumn("rn", rank().over(window_spec))
result = ranked.filter(col("rn") <= 10)
result.write.mode("overwrite").saveAsTable("ads.category_top10")
这里有两个关键点:
- 使用了
enableHiveSupport(),这样能直接读写Hive表,如果只是用纯Spark SQL而不需要Hive元数据,可以不启用。 Window函数在Spark里的执行属于全局排序,如果数据量很大,它会触发shuffle,性能会明显下降。此时可以结合分区字段(比如partitionBy("dt", "category"))来减少单窗口内的数据量。
3.2 Spark读取Redis的两种姿势与性能取舍
"spark读取redis"这个词能上火搜,说明很多人遇到了同样的场景:Redis里存着用户画像、黑名单、配置数据,Spark任务需要一边读大表数据,一边去Redis里查维度信息。
这个场景最忌讳的写法是在Driver端用for循环一条条查Redis,因为这样Redis的网络往返会成为整个任务的瓶颈,且Driver会成为单点。
推荐的姿势是使用spark-redis库,它提供了Redis数据源,可以像读表一样查询Redis里的数据。
python复制import redis
from pyspark.sql import SparkSession
spark = SparkSession.builder \
.appName("spark_redis") \
.config("redis.host", "192.168.1.100") \
.config("redis.port", "6379") \
.getOrCreate()
# 方式一:使用spark-redis数据源(适合Hash、List等结构化类型)
df = spark.read \
.format("org.apache.bahir.spark.sql.redis") \
.option("table", "user:profile") \
.load()
# 方式二:广播变量 + 批量管道查询(适合海量key的小字段查询)
user_ids = spark.table("ods.orders").select("user_id").distinct().collect()
user_ids_list = [row["user_id"] for row in user_ids]
r = redis.Redis(host="192.168.1.100", port=6379, decode_responses=True)
profile_map = {}
with r.pipeline() as pipe:
for uid in user_ids_list:
pipe.hgetall(f"user:{uid}")
results = pipe.execute()
for uid, profile in zip(user_ids_list, results):
if profile:
profile_map[uid] = profile
broadcast_map = spark.sparkContext.broadcast(profile_map)
第二种方式的精髓在于:先在小数据量上把用户ID聚合起来,用Redis的pipeline批量获取,再把结果广播到每个Executor。这样每个Task在本地就能查到用户画像,不需要每次去请求Redis。这个模式在处理数百万级用户ID时性能提升非常明显,基本可以把原先小时级的任务压缩到分钟级。
3.3 适配达梦数据库等国产数据库的集成思路
"达梦数据库(dm)与 Apache Spark 的适配集成"能成为热搜,说明大量政企项目正在从传统数据库迁移到大数据平台。达梦是国内常用的关系型数据库,Spark连接达梦和无缝连接MySQL、PostgreSQL的思路是一致的,核心都是通过JDBC驱动。
python复制df = spark.read \
.format("jdbc") \
.option("url", "jdbc:dm://192.168.1.50:5236") \
.option("dbtable", "SYSDBA.ORDERS") \
.option("user", "SYSDBA") \
.option("password", "your_password") \
.option("driver", "dm.jdbc.driver.DmDriver") \
.load()
df.filter(df["dt"] == "2025-01-01") \
.write \
.mode("overwrite") \
.option("truncate", "true") \
.jdbc("jdbc:dm://192.168.1.50:5236", "STG.ORDERS_DELTA",
properties={"user": "SYSDBA", "password": "your_password", "driver": "dm.jdbc.driver.DmDriver"})
集成时有几个容易踩的坑:
- 达梦驱动的Class全名不是通用的
com.mysql.jdbc.Driver,而是dm.jdbc.driver.DmDriver,一定要确认自己下载的JDBC包版本。 - JDBC读取大表时,Spark会按分区读取,但如果表没有主键,Spark无法有效拆分查询,就会变成单Task读取,性能骤降。此时建议手动指定
partitionColumn、lowerBound、upperBound、numPartitions参数来做范围拆分。 - 写入达梦时,默认的
overwrite会先DROP表再重建,如果目标表存在很多索引和外键,重建时间会很长。这种情况下建议改成append模式,或者用truncate配合mode("overwrite")来清理数据再插入。
4. OOM复盘:一次生产环境Spark任务的内存排障全记录
OOM(Out Of Memory)是Spark任务出现频率最高的错误之一,也是最难排查的一类问题。我不给你罗列教科书式的原理,直接把一次真实的排障过程完整拆开。
4.1 现象:任务在Shuffle阶段频繁Executor Lost
当时跑的是一个Join任务,左侧大表有80GB,右侧维度表大概5GB,集群给了100个Executor,每个Executor分配10GB内存。启动后前10分钟一切正常,之后陆续出现ExecutorLostFailure告警,Spark开始自动重试,但重试后的任务还是继续失败,最终整个作业卡死。
日志里最明显的几行是:
text复制java.lang.OutOfMemoryError: Java heap space
WARN TaskSetManager: Lost task 182.0 in stage 41.0 (TID 932, executor 45): ExecutorLostFailure
4.2 逐步排查:不是内存不够,是分配策略不对
第一次排查直觉是内存给少了,把--executor-memory从10GB调到16GB,重跑后问题依旧,只是失败时间延后了几分钟。这让我意识到,问题不在总量,而在内存的结构分配上。
Spark Executor的内存分为三块:执行内存(execution memory)、存储内存(storage memory)、用户代码内存(user memory)。默认配置下,执行内存和存储内存共用统一内存池,比例是0.6,用户代码占0.4。但这里真正的问题出在这几个方面:
第一,Shuffle的默认并发度不足。右侧维度表5GB不算小,Join时Spark默认按照200个分区来Shuffle,每个分区要承担25MB左右的数据。在100个Executor上跑200个Shuffle分区,每个Executor只分到2个任务,分区内的数据在排序和聚合时,占据的堆内存很容易超过JVM能承受的范围。
第二,序列化方式用的是Java原生序列化,产生的对象体积大,内存占用高。
第三,Executor上实际有效的JVM堆内存并不是10GB,因为还要留出一些空间给元数据和守护线程,能真正用来跑Task的堆内存要比申请值小。
4.3 有效修复:三处改动让任务稳定跑完
针对上面的判断,我做了三处调整:
调整一,显式设置Shuffle分区数,让每个分区数据量控制在合理范围:
python复制spark.conf.set("spark.sql.shuffle.partitions", "500")
调整二,开启Kryo序列化,并注册需要频繁跨节点传输的类:
python复制spark.conf.set("spark.serializer", "org.apache.spark.serializer.KryoSerializer")
spark.conf.set("spark.kryo.registrationRequired", "true")
spark.conf.set("spark.kryo.classesToRegister",
"com.example.Order,com.example.Product")
调整三,把广播阈值调大,让右侧维度表走广播Join而不是Shuffle Join。既然维度表只有5GB,在Executors内存充足时可以广播到每个Executor,彻底避免Shuffle:
python复制spark.conf.set("spark.sql.autoBroadcastJoinThreshold", "734003200") # 700MB,按实际调整
严格来说,5GB已经超过默认广播阈值太多,Spark不会强制广播。更稳妥的做法是在代码里手动将维度表转为广播变量,再与订单表做map侧的关联。
在维度表确实不大且更新频率低的前提下,考虑把维度表做成广播变量,效果更直接:
python复制broadcast_product = spark.sparkContext.broadcast(
products.collectAsMap()
)
def enrich_with_map(order_row):
product_info = broadcast_product.value.get(order_row["product_id"])
# 返回一个新行或字段
return order_row + (product_info,)
修改完这三处后,同样的作业跑完耗时约18分钟,没有再出现OOM。这次排查的经验可以抽象成一个通用检查顺序:先看分区数和并行度,再看序列化方式,最后看是否存在不必要的Shuffle。按这个顺序排查,90%以上的OOM都能解决。
4.4 一个容易被忽略的OOM隐藏触发点
还有一个隐藏触发点,值得单独拿出来说,就是collect()这个API用得太随意。
在Spark里执行collect()时,所有Executor会把计算结果全部拉回Driver端。如果你的业务逻辑最终汇总结果只有几十KB,那没问题。但如果你在调试阶段在groupBy之后顺手跑了一个collect(),而分组结果有几千万行,Driver端内存瞬间就会被撑爆。
我见过不止一次项目里因为测试人员留了一个collect()在代码里,导致生产环境任务频繁OOM。排查非常难受,因为任务报错信息始终指向Driver端内存不足,但业务代码逻辑上看起来并不复杂。
最终解决办法是,要么用take(100)代替collect()只在调试时用,要么确保调用collect()前数据量已经通过聚合被缩小到可接受范围。
5. 面向AI时代的Spark:DGX Spark与大模型推理的融合趋势
热搜词里出现了"DGX Spark""DGX Spark部署Qwen3.8 Flash Next",这说明Spark不仅仅是大数据领域的工具,它正在进入AI基础设施的范畴。这里谈谈我的观察和实际尝试。
5.1 为什么Spark会和大模型扯上关系
传统AI项目的数据处理链路通常是:数据清洗用Spark或类似工具,模型训练用GPU集群,模型部署用专门的推理服务。这中间有一个断裂层——特征工程和训练数据准备往往需要把TB级的数据集在分布式环境下处理完,再转成模型需要的格式。
DGX Spark是面向AI负载优化的硬件平台,它把GPU加速能力与数据处理框架结合起来,让我可以在同一套基础设施上同时跑数据预处理和大模型推理调度。Spark在这个场景下的角色,不只是做ETL,更是整个AI数据流的调度中枢。
比如用Spark读入海量文本语料,切分、去重、清洗,再分发给后续的模型训练流程。这套流水线如果全部用Spark配置好,可以极大减少数据在不同系统之间的搬迁成本。
5.2 一个轻量实践:用Spark做语料预处理,衔接大模型微调
之前试过一个场景,要给通义千问系的小模型做领域微调,第一步是准备训练语料。原始数据是几百万条业务文档,散落在多个数据源里。
我在DGX Spark环境下用Spark做了整体语料清洗:
python复制from pyspark.sql import SparkSession
from pyspark.sql.functions import udf, col, length
from pyspark.sql.types import StringType
spark = SparkSession.builder \
.appName("corpus_clean") \
.config("spark.sql.shuffle.partitions", "200") \
.getOrCreate()
docs = spark.read.text("s3a://corpus/raw/*.txt")
# 清洗:去除空行、URL、过长过短文本、重复文档
clean_udf = udf(lambda text: clean_text(text), StringType())
df_clean = docs \
.filter(col("value").isNotNull()) \
.select(clean_udf(col("value")).alias("text")) \
.filter(length(col("text")) > 20) \
.dropDuplicates(["text"])
df_clean.write.parquet("s3a://corpus/clean/")
清洗后的结果直接交给后续大模型的SFT脚本做训练。整个过程完全在Spark的数据处理框架内完成,没有额外的中间系统。
这个实践给我最大的感受是,Spark代码本身没有变复杂,变的只是它的下游从传统报表变成了AI模型。这也提醒我们,做Spark的开发者,未来的核心竞争力不一定局限于分布式计算,而是如何把分布式数据处理和AI训练之间的缝隙填平。这两块技能叠在一起,在后续项目里的价值会越来越明显。
5.3 给正在接触DGX Spark的同学一个建议
因为这一领域的硬件和软件栈迭代很快,如果只是停留在"听说过"的层面,很难建立真实体感。建议从官方文档的快速入门开始,用一个内置的Spark样例,先在CPU模式下把代码跑通,再逐步迭代到GPU加速和AI推理部署。
大数据处理和AI推理之间的边界正在模糊,Spark作为一套成熟稳定的分布式计算框架,必然会在中间层扮演重要角色。如果你现在的工作里有大量数据预处理和特征加工的内容,尽早去尝试Spark和AI工具链的打通,是在为下一个阶段积累经验。
写在最后:Spark代码学习的一条务实路径
这么多年下来,我的体会是,Spark学习曲线陡峭的地方不在API,而在思维方式。写熟悉了之后,你会发现SQL和DataFrame API都只是表达工具,真正的难点永远是三件事:数据分区怎么设计、Shuffle怎么避免、内存怎么分配。
如果你现在刚入门,我给一条务实的路径参考:
- 先在本机用local模式跑通Spark SQL,把DataFrame常用算子练熟。
- 搭一个3节点的小集群,把Spark的作业提交、资源分配、日志查看这整套流程摸清。
- 试着把一个以前用pandas写的报表脚本改用Spark实现,对比两边的性能差异。
- 找一个OOM或数据倾斜的真实问题,完整走一遍排查流程,这是提升最快的方式。
最后再分享一个小技巧:平时多留意Spark Web UI里的Stage和Task耗时分布。大量场景下,问题在Web UI里已经写得明明白白,只是很多人没有认真去读那些指标。学会看Spark UI,比多记一百个API都有用。
