Gossip 协议（又称 Epidemic Protocol，流行病协议）是一种去中心化的分布式通信协议，灵感来源于人类社会中”流言传播”或”病毒传播”机制。节点通过随机、周期性的信息交换，实现数据在整个集群中的快速传播和最终一致性。
核心特性
| 特性 | 描述 |
|---|---|
| 去中心化 | 无中心协调节点，所有节点对等 |
| 最终一致性 | 不保证强一致，但保证所有节点最终收到消息 |
| 容错性 | 部分节点故障不影响整体传播 |
| 可扩展性 | 消息传播时间与节点数量呈对数关系（O(log N)） |
| 简单性 | 协议逻辑简单，不依赖底层通信系统的保证 |
工作原理
基本传播模型
- 初始阶段：某个节点获得新信息（数据变更、状态更新等）
- 传播阶段：该节点随机选择一定数量的邻居节点（通常为 1-3 个）发送消息
- 扩散阶段：收到消息的节点重复上述过程，直到所有节点收到消息
传播一轮后，消息到达约 2^k 个节点（k 为轮数），所以整个集群在 O(log N) 轮内完成传播。
通信模式
| 模式 | 方向 | 描述 |
|---|---|---|
| Push | 主动推送 | 节点 A 将消息推送给随机选择的节点 B |
| Pull | 主动拉取 | 节点 A 向随机节点 B 拉取 B 有新而 A 没有的消息 |
| Push-Pull | 双向交换 | 双方互相交换各自缺失的消息，效率最高 |
传播策略
- 反熵（Anti-Entropy）：节点定期与随机节点交换全部数据，比较差异并修复。收敛慢但最终一致性强。
- 谣言传播（Rumor Spreading）：只传播新消息，节点收到消息后持续传播有限轮次后停止（避免网络风暴）。收敛快但可能有个别节点未收到。
SWIM 协议
SWIM（Scalable Weakly-consistent Infection-style Process Group Membership Protocol）是 Gossip 协议在成员管理场景的改进版本，被 Consul、Serf 等项目采用：
- 故障检测：每个周期随机选一个节点进行 ping，若超时则发起间接探测（选 k 个节点代为探测）
- 成员更新传播：通过 Gossip 传播节点的加入/离开/故障状态
- 可扩展性：O(log N) 检测延迟，O(1) 每节点带宽
典型应用
服务发现与成员管理
- Consul：使用基于 SWIM 的 Gossip 协议管理集群成员
- Serf：Hashicorp 的轻量级 Gossip 工具
- memberlist：Go 实现的 SWIM 协议库
分布式数据库与缓存
- Redis Cluster：节点间通过 Gossip 交换 slot 信息、节点状态
- Cassandra：使用 Gossip 进行节点发现和状态传播
- Riak：使用 Gossip 进行集群成员通信
消息传递与 P2P
- iroh-gossip：基于 QUIC 的 Pub-sub 覆盖网络，适合移动端省资源
- Bitcoin：交易和区块在网络中的传播
优缺点
优点
- 架构简单，无单点故障
- 扩展性好，适合大规模集群
- 容错性强，网络分区后自动恢复
- 节点增删无需重新配置
缺点
- 只保证最终一致性，不保证强一致
- 消息冗余传播，浪费带宽（可通过传播轮次上限缓解）
- 收敛时间不可精确预测（概率性）
- 删除消息难以处理（“墓碑”机制）
与其他协议对比
| 协议 | 一致性 | 中心化 | 容错 | 典型场景 |
|---|---|---|---|---|
| Gossip | 最终一致性 | 去中心化 | 高 | 成员管理、状态传播 |
| Raft | 强一致性 | 有 Leader | 中 | 分布式共识、选主 |
| Paxos | 强一致性 | 去中心化 | 高 | 分布式共识 |
关系图谱
- iroh — 使用 iroh-gossip 实现去中心化 Pub-sub
- Consul — 使用 SWIM/Gossip 管理集群成员