4、分布式系统：执行模式、设计挑战与算法难题

分布式系统：执行模式、设计挑战与算法难题

1. 通信原语相关库和标准

在分布式系统中，存在多种用于消息传递的原语。许多商业软件产品会使用供应商提供的专有原语库，例如 IBM CICS 软件就有自己的原语，且在全球拥有广泛的客户群体。而消息传递接口（MPI）库和 PVM（并行虚拟机）库则主要被科学界使用，当然也存在其他替代库。

商业软件常采用远程过程调用（RPC）机制，在这种机制下，用户可以像调用本地过程一样透明地调用网络中其他地方的过程。实际上，它是通过调用套接字原语或类似的传输层原语来远程调用过程的。RPC 有多种实现，如 Sun RPC 和分布式计算环境（DCE）RPC。

除了上述机制，“消息传递”和“流式传输”也是两种通信机制。随着基于对象的软件的发展，不同机构正在提出并标准化用于远程方法调用（RMI）和远程对象调用（ROI）的库及其原语。CORBA（通用对象请求代理体系结构）和 DCOM（分布式组件对象模型）是另外两种具有自己原语集的标准化体系结构。此外，一些处于研究阶段的项目也在设计自己的通信原语。

以下是部分通信机制和体系结构的总结表格：
| 类型 | 具体名称 | 应用场景 |
| — | — | — |
| 消息传递原语库 | MPI、PVM | 科学计算 |
| 远程过程调用（RPC） | Sun RPC、DCE RPC | 商业软件 |
| 标准化体系结构 | CORBA、DCOM | 分布式系统 |

2. 同步与异步执行

2.1 异步执行

异步执行具有以下特点：
- 处理器之间没有同步，处理器时钟的漂移率没有限制