10、分布式系统模型与基础抽象知识解析

分布式系统模型与基础抽象知识解析

1. 分布式系统模型概述

分布式系统模型主要分为以下几种：
- Fail - recovery ：该模型中的算法要应对进程失忆问题，即进程崩溃后可能忘记之前的操作，但可使用稳定存储来解决。其链接假定为顽固链接，算法可依赖最终领导者检测器（Ω）。
- Fail - arbitrary ：这是最通用的分布式系统模型，采用任意故障（或拜占庭）进程抽象和认证完美链接抽象。当拜占庭进程抽象与认证完美链接以及拜占庭最终领导者检测器抽象结合时，称为“fail - noisy - arbitrary”模型。
- Randomized ：随机化模型与其他分布式系统模型性质不同，可视为与它们正交。此模型用于更通用的进程抽象，算法不一定是确定性的，进程可使用随机源选择执行步骤，通常以一定概率实现给定抽象。随机化有时是解决问题或规避确定性算法固有低效性的唯一方法。

需要注意的是，许多抽象仅针对具有崩溃停止进程的三种模型（fail - stop、fail - noisy 和 fail - silent）进行指定。在其他分布式系统模型中，尤其是 fail - recovery 和 fail - arbitrary 模型，它们的表述不同，代表不同的抽象。而且，很多研究的抽象不能在所有模型中实现。

2. 系统设置

在所有考虑的系统模型中，所有进程的身份在执行开始前就已定义，且必须全局已知。在实践中，这些身份要么由管理员手动配置，要么由成员服务自动安装，而成员服务本身必须初始化。

密码学抽象还要