17、可靠广播与共享内存寄存器：原理、特性与应用

可靠广播与共享内存寄存器：原理、特性与应用

在分布式系统中，可靠广播和共享内存寄存器是两个重要的概念。下面将详细介绍可靠广播的相关研究进展，以及共享内存寄存器的基本概念、操作和特性。

可靠广播研究进展

可靠广播在分布式系统中起着关键作用，以下是其相关研究的发展历程：
1. 早期研究
- 可靠广播通信抽象的需求最早可在SIFT的研究中找到。
- Schneider、Gries和Schlichting在1984年对可靠广播抽象进行了形式化并在故障停止模型中实现。
2. ISIS系统的贡献
- ISIS系统使可靠广播在分布式编程中的应用得到普及，它被用于多种商业应用。
- 该系统还引入了因果广播抽象，受Lamport 1978年提出的因果关系概念启发。“无等待因果广播”算法受ISIS中最早的因果广播实现之一的启发，“等待因果广播”算法基于向量时钟的概念，相关研究在1988年左右开始。
3. 广播抽象的综合研究
- Hadzilacos和Toueg在1993年对可靠广播、FIFO广播和因果广播抽象及其实现进行了全面调查。
- 关于可靠广播原语的一致性问题，Hadzilacos在1984年进行了讨论，Neiger和Toueg在1993年进一步探索。
4. 组播抽象
- 除了将消息广播到系统中所有进程的广播抽象，还考虑了组播抽象，消息仅传递给进程的任意子集，接收组可以动态确定。确保组播抽象的因果顺序传递需要更多的控制信息，Raynal、Schiper和T