讲一下 Flink 与 Spark 的区别吗？
Apache Flink 和 Apache Spark 都是当前大数据领域最主流的分布式计算框架，但它们的设计哲学、核心架构和适用场景有着本质的区别。
简单来说：Spark 的核心是“批处理”，流处理是模拟的；Flink 的核心是“流处理”，批处理是特例。
下面从几个关键维度为你详细对比 Flink 与 Spark 的区别：
1. 核心架构与计算模型
- Spark：微批处理（Micro-batching）
- 原理：Spark 将源源不断的数据流切分成一个个微小的“批次”（时间区间通常在几百毫秒到几秒），每个批次转化为一个 RDD（弹性分布式数据集）进行计算。
- 本质：Spark 认为“流是批的特例”。
- 注：Spark 后来推出了 Structured Streaming，并尝试引入 Continuous Processing 模式来实现真正流处理，但目前该模式功能和生态尚不完善。
- Flink：原生流处理（Native Streaming）
- 原理：Flink 是事件驱动的，每来一条数据（Event）就立即处理一条，数据在算子之间像水流一样流动。
- 本质：Flink 认为“批是流的特例”。批处理（有界流）只是流处理（无界流）的一种有界限的特殊形式。
2. 延迟与吞吐
- Spark (Streaming)：
- 延迟：由于是微批处理，延迟通常在 几十毫秒到几秒 之间。
- 吞吐量：极高。因为是批量攒数据一起处理，吞吐性能非常优秀。
- Flink：
- 延迟：由于是单条处理，延迟可以达到 微秒到毫秒级。
- 吞吐量：同样极高。通过优秀的内存管理和网络传输优化，Flink 在实现极低延迟的同时，也能保持与 Spark 相当甚至更高的吞吐量。
3. 时间语义与窗口支持 (Time & Window)
实时计算中，数据的到达往往存在延迟或乱序。
- Spark：
- 对 事件时间（Event Time） 和 乱序数据（Watermark 机制） 的支持较晚（在 Structured Streaming 中引入），且由于其微批的底座，处理复杂窗口（如滑动窗口、会话窗口 Session Window）时性能和灵活性不如 Flink。
- Flink：
- 天生支持完美的三种时间语义：事件时间（Event Time）、摄入时间（Ingestion Time）、处理时间（Processing Time）。
- 提供了极其强大的 Watermark（水位线） 机制，能优雅地处理数据乱序和延迟到达的问题。
- 内置了丰富的窗口类型，支持灵活的自定义窗口和 CEP（复杂事件处理）。
4. 状态管理与容错机制 (State & Fault Tolerance)
- Spark：
- 依赖 Lineage（血统/依赖关系） 机制。如果某个分区数据丢失，通过重新计算该分区的父 RDD 来恢复。
- 在流处理中，通过将状态定期写入分布式存储（如 HDFS）来进行 Checkpoint。
- Flink：
- 状态（State）是一等公民：Flink 内部实现了强大的状态管理（支持 ValueState, ListState, MapState 等），可以使用 RocksDB 作为状态后端，处理超大规模的状态数据。
- 容错算法：采用轻量级的 Chandy-Lamport 异步屏障快照算法（Asynchronous Barrier Snapshotting）。在不中断数据流的前提下，实现精确一次（Exactly-Once）的一致性保证，对性能影响极小。
5. 生态系统与应用场景
- Spark：一站式大数据处理平台
- 生态极其成熟：拥有 Spark SQL、Spark MLlib（机器学习）、GraphX（图计算）以及 Spark Core（离线批处理）。
- API 统一：DataFrame/Dataset API 已经将批和流在代码层面进行了高度统一。
- Flink：实时计算的绝对王者
- 生态快速发展：Flink SQL 发展迅猛，目前在实时数仓（流批一体）领域处于领跑地位。
- 在机器学习（Flink ML）和图计算（Gelly）方面相比 Spark 稍显逊色。
对比总结表
| 对比维度 | Apache Spark | Apache Flink |
|---|---|---|
| 计算模型 | 微批处理（Micro-Batch） | 原生流处理（Event-by-Event） |
| 延迟 | 秒级 / 百毫秒级 | 毫秒级 / 微秒级 |
| 吞吐量 | 极高 | 极高 |
| 时间语义 | 主要基于 Processing Time，对 Event Time 支持较弱 | 完美支持 Event Time、Processing Time、Ingestion Time |
| 窗口支持 | 较简单（滚动、滑动），性能受限于微批 | 极其丰富（滚动、滑动、会话等），支持自定义 |
| 状态管理 | 相对简单 | 极其强大，支持多种状态后端（RocksDB） |
| 批流一体 | 批处理中融入流（以批为核心） | 流处理中融入批（以流为核心） |
| 最强领域 | 离线批处理、大规模数据分析、机器学习 | 极低延迟的实时计算、实时告警、实时数仓 |
选型建议：我该用哪一个？
选择 Spark 的场景：
- 业务以离线批处理为主：如每日夜间 ETL、大规模数据清洗、报表生成。
- 需要深度机器学习：Spark 的 MLlib 提供了非常成熟且丰富的算法库。
- 对实时性要求不高：数据延迟在分钟级或秒级（如 5 秒、10 秒）即可满足需求（例如：每隔 10 秒统计一次网站 PV/UV）。
- 团队已有技术积累：团队对 Hadoop/Spark 生态非常熟悉。
选择 Flink 的场景：
- 对延迟要求极高：如金融风控防欺诈、实时大屏、实时推荐系统（毫秒级响应）。
- 有复杂的窗口和乱序数据处理需求：如根据用户行为的时间序列进行特征提取，处理由于网络延迟导致迟到的数据。
- 建设“实时数仓”或“流批一体”：Flink 是目前落地流批一体、Lakehouse（湖仓一体）实时写入的最佳引擎。
- 需要复杂事件处理（CEP）：如连续 3 次输入错误密码则报警。
右滑查看面试常问