17、可靠广播与共享内存抽象技术解析

可靠广播与共享内存抽象技术解析

1. 可靠广播技术发展

可靠广播在分布式系统中是一项关键技术，它有着丰富的发展历程和多样的实现算法。以下是对其发展相关内容的详细介绍：

1.1 早期研究与基础实现

• 早期需求提出 ：可靠广播通信抽象的需求最早可追溯到 SIFT 的相关工作。
• 形式化与实现 ：Schneider、Gries 和 Schlichting 在 1984 年对可靠广播抽象进行了形式化，并在故障停止模型中实现了它。

1.2 系统应用与拓展

• ISIS 系统推动 ：ISIS 系统使得可靠广播在分布式编程中的应用得到普及，该系统被用于多种商业应用。同时，它还引入了因果广播抽象，这一概念最初由 Lamport 在 1978 年提出。
• 因果广播算法 ：“无等待因果广播”算法受 ISIS 中最早的因果广播实现之一的启发；“等待因果广播”算法基于向量时钟的概念，该概念在 1988 年左右被引入。

1.3 相关研究与问题探讨

• 综合调查与算法实现 ：Hadzilacos 和 Toueg 在 1993 年的综合调查中，以模块化的方式介绍了可靠广播、FIFO 广播和因果广播抽象及其相应实现。练习 3.15 中的从 FIFO 广播实现因果广播的算法就基于此工作。
• 广播