7、分布式系统中的链接抽象与时间假设

分布式系统中的链接抽象与时间假设

在分布式系统中，链接抽象和时间假设是非常重要的概念。链接抽象帮助我们处理消息传输中的各种问题，而时间假设则影响着系统的性能和功能实现。下面将详细介绍几种链接抽象和不同的时间假设模型。

1. 日志化完美点对点链接

日志化完美点对点链接（LoggedPerfectPointToPointLinks）是一种重要的链接抽象，其具体信息如下：
- 模块名称 ：LoggedPerfectPointToPointLinks，实例为 lpl。
- 事件 ：
- 请求：⟨lpl, Send | q, m ⟩，请求将消息 m 发送到进程 q。
- 指示：⟨lpl, Deliver | delivered ⟩，通知上层稳定存储中变量 delivered 的潜在更新。
- 属性 ：
- LPL1（可靠交付）：如果一个永不崩溃的进程向一个正确的进程 q 发送消息 m，那么 q 最终会日志交付 m。
- LPL2（无重复）：任何消息不会被一个进程日志交付超过一次。
- LPL3（无创建）：如果某个进程 q 日志交付了一个来自发送者 p 的消息 m，那么 m 之前一定是由进程 p 发送给 q 的。

对应的算法“Log Delivered”实现了该链接抽象，代码如下：

Algorithm 2.3: Log Delivered
Implements:
LoggedPerfectPointToPointL