2、分布式图算法概述与核心概念

分布式图算法概述与核心概念

1. 分布式图算法简介

分布式图算法将分布式系统视为一个连通图，图的顶点是进程（节点），边是通信通道。这些算法在分布式应用中具有重要作用，不仅能解决实际问题，还能帮助读者更好地理解“分布式”的概念，与传统的顺序算法形成对比。

2. 核心符号与概念

以下是一些重要的符号及其含义：
| 符号 | 含义 |
| — | — |
| no - op | 无操作 |
| process | 运行中的程序 |
| n | 进程数量 |
| e | 进程图中的边数 |
| D | 进程图的直径 |
| pi | 索引为 i 的进程 |
| idi | 进程 pi 的标识（通常 idi = i ） |
| τ | 时间点（相对于外部观察者） |
| ⟨a,b⟩ | 包含两个元素 a 和 b 的对 |
| ev −→ | 事件上的因果优先关系 |
| σ −→ | 局部状态上的因果优先关系 |
| zz −→ | 局部检查点上的