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

分布式系统中的通信抽象与时间假设

在分布式系统的设计与实现中，通信抽象和时间假设是两个关键的概念。它们对于理解和构建分布式算法至关重要。下面我们将详细探讨这些内容。

1. 通信抽象

通信抽象是对分布式系统中通信机制的一种抽象表示，有助于简化分布式算法的设计。这里主要介绍几种不同的通信抽象。

1.1 记录完美点对点链路（Logged Perfect Point - to - Point Links）

• 模块定义 ：名为 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 的。